Loka ringo
En algebro, loka ringo estas komuta ringo kun unika maksimuma idealo. En algebra geometrio, loka ringo priskribas la "ĉirkaŭaĵon" de unu punkto (la unika maksimuma idealo).
Difino
redaktiKomuta ringo estas loka, se ĝi plenumas unu el la jenaj ekvivalentaj aksiomoj:
- havas unikan maksimuman idealon.
- , kaj la sumo de du neinversigeblaj elementoj estas neinversigebla.
- , kaj se estas ajna elemento, tiam aŭ aŭ (aŭ ambaŭ) estas inversigebla.
- Por nenegativa entjero , se estas inversigebla, tiam ekzistas tia , ke estas inversigebla. (En la speciala kazo tio signifas, ke la tiel nomata nul-sumo 0 ne povas esti inversigebla, t.e. 1 ≠ 0.)
Ekzemplo
redaktiĈiu kampo estas loka ringo: la unika maksimuma idealo estas (0).
La ringo de formalaj potencoserioj estas loka ringo: la unika maksimuma idealo estas .
![{\displaystyle \mathbb {C} [[x]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a73c34ee2333f14e92e4dc6c5f8da064bd9ff211)
Neekzemploj
redaktiLa triviala ringo ne estas loka ringo; ĝi havas neniun maksimuman idealon.
La ringo de polinomoj ne estas loka ringo; ĝi havas plurajn maksimumajn idealojn.
![{\displaystyle \mathbb {C} [x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/244ad3bb0a1d2ff11dde84c4edee1171f670fdb0)