Ringo (algebro)

Ne konfuzu ĉi tiun artikolon kun Ringo aŭ Ringo (geometrio).

Ringo estas algebra strukturo $(R,+,\cdot )$ tia, ke

• $(R,+)$ estas abela grupo,
• $(R,\cdot )$ estas duongrupo kaj
• validas la aksiomoj de distribueco:
  • $(a+b)\cdot c=a\cdot c+b\cdot c$
  • $a\cdot (b+c)=a\cdot b+a\cdot c$

Ecoj

• La neŭtralan elementon de $(R,+)$ oni nomas nulo (0).
• Se ekzistas neŭtrala elemento en $(R,\cdot )$, ĝi nomiĝas unuo (1) kaj $(R,+,\cdot )$ unuohava ringo aŭ ringo kun unuo.
• Se la duongrupo $(R,\cdot )$ estas komuta, oni nomas $(R,+,\cdot )$ komuta ringo (kaj tiam sufiĉas validigi nur unu el la du distribuecaj aksiomoj, ĉar ankaŭ la dua aŭtomate validas).
• Se $(R\setminus \{0\},\cdot )$ estas grupo, tiam $(R,+,\cdot )$ estas jam korpo. Se la grupo $(R\setminus \{0\},\cdot )$ estas komuta, oni nomas la korpon kampo.

Substrukturoj

La substrukturoj de ringoj estas la idealoj kaj subringoj (tiuj ĉi estas subaroj, kiuj mem estas ringoj kun la samaj operacioj, kaj kun la sama unuo, se ringoj devas esti unuohavaj).

Ekzemploj de ringoj

• la aro $\mathbb {Z}$ de entjeraj nombroj
• por ĉiu natura nombro n la aro $\mathbb {R} ^{n\times n}$ de la n-dimensiaj reelaj matricoj kun matrica multipliko

Vidu ankaŭ

• Korpo (algebro)
• Kampo (algebro)
• Integreca ringo

Eksteraj ligiloj

• http://www.bibmath.net/dico/index.php3?action=affiche&quoi=./a/anneaupart.html
• http://www.u-cergy.fr/rech/pages/delcourt/fc2002PDF.pdf
• http://www.les-mathematiques.net
• http://kvant.mccme.ru/1974/02/kolca.htm