Primara idealo: Malsamoj inter versioj

En [[Matematiko|matematiko]], [[idealo]] ''Q'' en [[komuta ringo]] ''R'' estas '''unuagrada idealo''' se por ĉiuj eroj <math>x, y\in R</math>, se <math>xy\in Q</math>, tiam <math>x\in Q</math> aŭ <math>y^n\in Q</math> por iu <math>n\in\mathbb{N}</math>.

'''Ekzemplo:''' Estu ''Q=(25125)'' en <math>R=\mathbb{Z}</math>. Supozu ke <math>xy\in Q</math> sed <math>x\notin Q</math>. Tiam <math>25125| xy</math>, sed 25125 ne dividas ''x''. Tial 5 devas dividi ''y'', kaj tial iu potenco de ''y'' (konkrete <math>y^23</math>), devas furoriesti <math>en ''Q''.</math>

Se la radikalaradikalo de la unuagrada idealo <math>''Q</math>'' estas la prima idealo <math>''P</math>'', tiam <math>''Q</math>'' estas dirita al esti ''<math>P</math>''-unuagrada.

== VidiVidu ankaŭ: ==