Unuagrada idealo

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En matematiko, idealo Q en komuta ringo R estas unuagrada idealo se por ĉiuj eroj , se , tiam por iu .

Ĉi tio estas klare ĝeneraligo de la komprenaĵo de prima idealo, kaj (tre) lakse respektivas al interrilato en inter primoj kaj primaj potencoj.

Ĉiu prima idealo estas unuagrada idealo.

Ekzemplo: Estu Q=(125) en . Supozu ke sed . Tiam , sed 125 ne dividas x. Tial 5 devas dividi y, kaj tial iu potenco de y (konkrete ), devas esti en Q.

Se la radikalo de la unuagrada idealo Q estas la prima idealo P, tiam Q estas dirita al esti P-unuagrada.

Vidu ankaŭ[redakti | redakti fonton]