Ring (algebra)

Ring on hulk R koos liitmise ja korrutamisega, mis on sellel hulgal defineeritud nii, et R moodustab liitmise suhtes Abeli rühma ning korrutamine on liitmise suhtes distributiivne. Et terminit "ring" kasutatakse sageli ka kitsamas tähenduses (nõutakse, et korrutamistehe oleks assotsiatiivne), siis nimetatakse ringe sageli (tinglikult) mitteassotsiatiivseteks ringideks (kasutatakse ka väljendit "mitte tingimata assotsiatiivsed ringid" ).

Rühma, mille ringi elemendid liitmise suhtes moodustavad, nimetatakse ringi aditiivseks rühmaks. Korrutamise suhtes moodustab ringi elemendid rühmoidi, mida nimetatakse ringi multiplikatiivseks rühmoidiks.

Definitsioon 

Formaalsemalt defineeritakse ring universaalalgebrana, kus on antud kaks binaarset tehet (liitmine ja korrutamine), mis rahuldavad järgmiseid tingimusi:

 R on liitmise suhtes Abeli rühm: kehtivad samasused
 
 
 Hulgas R on olemas nullelement 0 (mis tahes a korral hulgast R kehtib võrdus ).
 Hulga R mis tahes elemendil a on vastandelement -a (mis tahes a korral hulgast R kehtib võrdus ).
 Korrutamine on distributiivne: kehtivad samasused 
  (vasakpoolne distributiivsus)
  (parempoolne distributiivsus)

Üldjuhul ei ole korrutamine assotsiatiivne. Mõnel ringide klassil on assotsiatiivsuse asemel mõni muu tingimus, näiteks Lie ringidel Jacobi samasus ja Jordani ringidel Jordani samasus.

Sõna "ring" kasutamine kitsamas tähenduses 

Matemaatilises kirjanduses ei ole algebraterminil "ring" ühtset tähendust. Käesolevas artiklis kasutatakse seda sõna selle kõige üldisemas tähenduses. Kirjanduses esineb ringi definitsioone, milles esitatakse assotsiatiivse ringi või assotsiatiivse ühikelemendiga ringi mõiste. 

Matemaatilises kirjanduses kasutatakse sõna "ring" sageli ka kokkuleppelise lühendina väljendite "assotsiatiivne ring", "assotsiatiivne ühikelemendiga ring" või "assotsiatiivne kommutatiivne ühikelemendiga ring" asemel.

Näited 

 Kõik assotsiatiivsed ringid on ringid. 
 John T. Gravesi poolt 1843 konstrueeritud oktaavid olid esimene mitteassotsiatiivse ringi näide. 
 Alexander MacFarlane'i hüperboolsed kvaternioonid olid matemaatiliseks aluseks hilisemale aegruumi teooriale. 
 Cayley-Dicksoni konstruktsioon annab mitteassotsiatiivsete ringide lõpmatu pere. 
 Lie ringid ja Jordani ringid on mitteassotsiatiivsed ringid. 
 Mitteassotsiatiivne ring on alternatiivne ring, kui [x,x,y]=[y,x,x]=0, kus [x,y,z] = (xy)z - x(yz) on assotsiaator.

Omadused 

Mitteassotsiatiivsetel ringidel puuduvad paljud assotsiatiivsete ringide omadused. 

Ühikelemendiga ringide puhul:

 Kui elemendil  on vasakpoolne pöördelement  ja parempoolne pöördelement , siis  ja  võivad olla erinevad. 
 Multiplikatiivse pöördelemendiga element võib olla nullitegur.

Alamringid 

Ringi R mittetühja alamhulka nimetatakse alamringiks, kui A ise on ringi R liitmise ja korrutamise suhtes ring. Selleks peab A olema ringi R aditiivse rühma alamrühm ja selle ringi multiplikatiivse rühmoidi alamrühmoid. 

Iga ringi alamringide seas on see ring ise ja nullalamring, mille ainus element on nullelement. 

Ringi alamringide ühisosa on selle ringi alamring. Ringi R alamringide Aα ühendiks nimetatakse kõikide selliste alamringide ühisosa, mis sisaldavad kõiki alamringe Aα. Alamringide ühisosa ja ühendi võtmise suhtes moodustavad ringi R alamringid võre S(R). Ringi R ideaalide hulk moodustab võre S(R) alamvõre.

Vaata ka 
Ringiteooria

Üldalgebra