Minimal primary decomposition
= Minimal primary decomposition
A minimal primary decomposition of an <ideal> $I$ is an irredundant finite intersection $I=\bigcap_iQ_i$ of primary <ideals> whose radicals are pairwise distinct.
= Minimal primary decomposition
A minimal primary decomposition of an <ideal> $I$ is an irredundant finite intersection $I=\bigcap_iQ_i$ of primary <ideals> whose radicals are pairwise distinct.