Unuagrada idealo
El Vikipedio
| Ĉi tiu artikolo bezonas poluradon, ĉar ĝi montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn, kiuj ne konformas al bona kvalitnivelo. La priskribo de la problemo troviĝas ĉi tie. |
En matematiko, idealo Q en komuta ringo R estas unuagrada idealo se por ĉiuj eroj
, ni havi (tiu, ke) se
, tiam ĉu
ĉu
por iu 
Ĉi tiu estas klare ĝeneraligo de la komprenaĵo de prima idealo, kaj (tre) lakse speguloj la interrilato en
inter primoj kaj primaj povoj.
Ĉiu prima idealo estas unuagrada.
Ekzemplo. Lasi Q = (25) en
Supozi (tiu, ke)
sed
Tiam 25 | xy, sed 25 faras ne dividi x. Tial 5 devas dividi y, kaj tial iu povo de y (nome, y2), devas furori Q.
Se la radikala de la unuagrada idealo Q estas la prima idealo P, tiam Q estas dirita al esti P-unuagrada.
Vidi ankaŭ: unuagrada malkomponaĵo

