Примарный идеал

Прима́рный идеа́л коммутативного кольца $R$, такой идеал $I \subset R$, что если $a, b \in R$ и $a b \in I$, то либо $b \in I$, либо $a^n \in I$ для некоторого натурального числа $n$. В кольце целых чисел $\mathbb{Z}$ примарный идеал – идеал вида $p^n \mathbb{Z}$, где $p$ – простое, $n$ – натуральное число.