En [[Matematiko|matematiko]], [[idealo]] <math>''Q</math>'' en [[Komuta ringo|komuta ringo]] <math>''R</math>'' estas '''unuagrada idealo''' se por ĉiuj eroj <math>x, y\in R</math>, ni havi (tiu, ke) se <math>xy\in Q</math>, tiam ĉu <math>x\in Q</math> ĉuaŭ <math>y^n\in Q</math> por iu <math>n\in\mathbb{N}.</math>.
Ĉi tiutio estas klare ĝeneraligo de la komprenaĵo de [[Prima idealo|prima idealo]], kaj (tre) lakse spegulojrespektivas laal interrilato en <math>\mathbb{Z}</math> inter [[Primo|primojprimo]]j kaj primaj povojpotencoj.
Ĉiu prima idealo estas unuagrada idealo.
'''Ekzemplo.:''' LasiEstu <math>''Q=(25)</math>'' en <math>R=\mathbb{Z}.</math>. Supozi (tiu,Supozu ke) <math>xy\in Q</math> sed <math>x\notin Q.</math>. Tiam <math>25| xy</math>, sed 25 faras ne divididividas <math>''x''.</math> Tial 5 devas dividi <math>''y</math>'', kaj tial iu povopotenco de <math>''y</math>'' (nome,konkrete <math>y^2</math>), devas furori <math>Q.</math>
Se la radikala 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.
