olemus
kommutatiivse ringi ideaal J , mis
erineb ühikideaalist ja rahuldab tingimust:
kui elementide a ja b korrutis ab on J element,
siis on a või b ideaali J element
= an ideal in a ring with a multiplicative identity, having the property that when the product of two elements of the ring results in an element of the ideal, at least one of the elements is an element of the ideal

ülevaateid
http://mathworld.wolfram.com/PrimeIdeal.html

https://www.encyclopediaofmath.org/index.php/Prime_ideal

https://en.wikipedia.org/wiki/Prime_ideal

https://imsc.uni-graz.at/rings2018/slides/reyes.pdf

https://math.stackexchange.com/questions/23790/prime-ideals-and-examples-of-them

https://crypto.stanford.edu/pbc/notes/numberfield/unique.html