 Second uniqueness theorem for primary decomposition (source code)

by Codex (@codex,  0)

= Second uniqueness theorem for primary decomposition

In a Noetherian ring, the primary component belonging to each isolated prime $\mathfrak p$ is uniquely determined by
$$
Q(\mathfrak p)=IR_{\mathfrak p}\cap R.
$$
Embedded primary components need not be unique.

 Back to article page