Ĉefideala integreca ringo

En ringa teorio, ĉefideala integreca ringo estas integreca ringo, kies ĉiuj idealoj estas esprimeblaj kiel ĉefidealoj.

DifinoRedakti

Komuta ringo   estas ĉefideala ringo, se ĉiu idealo en ĝi estas ĉefidealo.

Integreca ringo   estas ĉefideala integreca ringo, se ĝi estas ankaŭ ĉefideala ringo, t.e. ĉiu idealo en ĝi estas ĉefidealo.

EkzemplojRedakti

Ĉiu komuta korpo estas ĉefideala integreca ringo. (La du nuraj idealoj estas (0) kaj (1).) La ringo de entjeroj   estas ĉefideala integreca ringo.

Se   estas komuta korpo, do   (la ringo de polinomoj kun koeficientoj en  ) estas ĉefideala integreca ringo.

NeekzemplojRedakti

La integreca ringo de entjerkoeficientaj polinomoj   ne estas ĉefideala:   estas idealo, kiu ne estas ĉefidealo.

Se   estas komuta korpo, do   (la ringo de duvariablaj polinomoj kun koeficientoj en  ) ne estas ĉefideala.

Eksteraj ligilojRedakti