Minimale Primärideale eines Ideals. (Q563404)

\(\mathfrak q\) heißt mimmales Primärideal eines Ideals \(\mathfrak a\), wenn es zwischen \(\mathfrak a\) und \(\mathfrak q\) kein Primärideal gibt. Die minimalen Primärideale gehören zu den ``höchsten'' Primidealen oder zum Einheitsideal. Es sei der Teilerkettensatz im Ring vorausgesetzt. In jeder kürzesten Darstellung durch größte Primärideale kommen die minimalen Primärideale vor. Die Darstellung ist dann und nur dann eindeutig, wenn alle vorkommenden Primärideale minimal sind (s. d. auch \textit{Krull}, 1929; F. d. M. 55\(_{\text{II}}\). 681).