Integreca ringo: Malsamoj inter versioj
[kontrolita revizio] | [kontrolita revizio] |
Enhavo forigita Enhavo aldonita
Moldur (diskuto | kontribuoj) e {{Algebraj strukturoj}} |
Moldur (diskuto | kontribuoj) e →Difino |
||
Linio 7:
* La nulidealo (0) estas [[prima idealo]].
* <math>1\ne 0</math>, kaj ĉiu nenula elemento <math>x</math> estas forigebla sub multipliko, t.e. se <math>x \cdot a=x \cdot b</math>, do <math>a=b</math>
* La aro de nenulaj elementoj konsistigas [[monoido]]n laŭ multipliko (ĉar monoido postulas ''fermitecon'': <math>\forall a, b \in R \setminus \{0\}: a\cdot b \in R \setminus \{0\} </math>).
* Ĉiu elemento <math>r</math> estas '''regula''': la [[funkcio (matematiko)|funkcio]] <math>R\to R</math>, <math>x\mapsto r \cdot x</math> estas [[disĵeto|disĵeta]].
* <math>R</math> estas izomorfa al subringo de [[korpo (matematiko)|korpo]].
'''Integreca ringo''' estas ringo, kiu plenumas unu
== Propraĵoj ==
|