Rengas on keskeinen algebrassa käytetty matemaattinen käsite, joka sijoittuu rakenteellisesti ryhmän ja kunnan väliin. Rengas sisältää kaksi laskutoimutusta: yhteen- ja kertolaskun. Yhteenlaskun suhteen se on Abelin ryhmä. Kertolaskun suhteen ryhmällä on olemassa neutraalialkio ja voimassa assosiatiivi- ja distributiivilait. Sen sijaan renkaan alkioilla ei ole olemassa käänteisalkiota kertolaskun suhteen. Tämä ominaisuus liitetään kuntaan.

Määritelmä

---

Ryhmä $R$ on rengas binääristen operaatioiden $+$ ja $\backslash cdot$ suhteen (merkitään $(R,+,\backslash cdot)$) kun se toteuttaa seuraavat ehdot:

1. $\backslash forall\; a,\; b\; \backslash in\; R\; :\; a\; +\; b\; \backslash in\; R$,
2. $\backslash forall\; a,\; b\; \backslash in\; R\; :\; a\; \backslash cdot\; b\; \backslash in\; R$,
3. $\backslash forall\; a,\; b,\; c\; \backslash in\; R\; :\; (a\; +\; b)\; +\; c\; =\; a\; +\; (b\; +\; c)$,
4. $\backslash forall\; a,\; b,\; c\; \backslash in\; R\; :\; (a\; \backslash cdot\; b)\; \backslash cdot\; c\; =\; a\; \backslash cdot\; (b\; \backslash cdot\; c)$,
5. $\backslash exists\; 0\; \backslash in\; R\; :\; \backslash forall\; a\; \backslash in\; R\; :\; a\; +\; 0\; =\; a\; =\; 0\; +\; a\; =\; a$,
6. $\backslash exists\; 1\; \backslash in\; R\; :\; \backslash forall\; a\; \backslash in\; R\; :\; 1\; \backslash cdot\; a\; =\; a\; =\; a\; \backslash cdot\; 1$,
7. $\backslash forall\; a\; \backslash in\; R\; :\; \backslash exists\; (-a)\; \backslash in\; R\; :\; a\; +\; (-a)\; =\; 0\; =\; (-a)\; +\; a$,
8. $\backslash forall\; a,\; b\; \backslash in\; R\; :\; a\; +\; b\; =\; b\; +\; a$,
9. $\backslash forall\; a,\; b\; \backslash in\; R\; :\; a\; \backslash cdot\; (b\; +\; c)\; =\; (a\; \backslash cdot\; b)\; +\; (a\; \backslash cdot\; c)$.

Toisin sanoen

1. $R$ on Abelin ryhmä operaation $+$ suhteen.
2. $R$ on monoidi operaation $\backslash cdot$ suhteen.
3. $\backslash forall\; a,\; b\; \backslash in\; R\; :\; a\; \backslash cdot\; (b\; +\; c)\; =\; (a\; \backslash cdot\; b)\; +\; (a\; \backslash cdot\; c)$.

Jos $\backslash cdot$ on kommutatiivinen, $R$ on kommutatiivinen rengas.

Rengas on siis monoidia ja ryhmää monimutkaisempi rakenne jo siinä mielessä, että se yhdistää kaksi operaatiota. Näin rengas eroaa olennaisesti suorasta tulosta.

Kannattaa huomata, etteivät edellä merkityt $+$, $\backslash cdot$, $1$ ja $0$ eivät tarkoita lukujen yhteen- tai kertolaskua, tai lukuja 1 tai 0, vaan joukossa käytettäviä operaattoreita ja joukon alkioita. Tosin lukurenkaista puhuttaessa nämä ovat usein yhteneviä.

Kuten muillekin algebrallisille struktuureille, renkaiden välille voidaan määritellä rakenteen säilyttävä kuvaus eli homomorfismi.

Esimerkkejä:

1. Kokonaislukujen joukko muodostaa kommutatiivisen renkaan yhteen- ja kertolaskun suhteen. Kannattaa huomata, että vaikka luvuilla onkin yhteenlaskun suhteen käänteisalkio, kertolaskun suhteen sitä ei ole.
2. Kompleksilukujen joukko muodostaa kommutatiivisen renkaan yhteen- ja kertolaskun suhteen.
3. Imaginaarilukujen joukko ei yksinään voi muodostaa rengasta, jossa on kertolasku, sillä kertolaskun yksikköalkio on luku 1, eikä se kuulu imaginaarilukujen joukkoon. Lisäksi imaginaarilukujen joukko ei ole kertolaskun suhteen suljettu.
4. Neliömatriisit, joiden determinantti on 1, muodostavat ei-kommutatiivisen renkaan matriisien yhteen- ja -kertolaskun suhteen. Yhteenlaskun nolla-alkiona on tällöin nollamatriisi ja kertolaskun yksikköalkiona identiteettimatriisi.

Kääntyvät alkiot ja nollanjakajat

---

Renkaan $R$ alkio $u$ on kääntyvä eli säännöllinen, jos on olemassa sellainen $(R,+,\; \backslash cdot)$:n alkio $u^\{-1\}$, että $uu^\{-1\}=u^\{-1\}u=1$. Kääntyvää alkiota kutsutaan yleisesti yksiköksi. $R$:n kääntyvien alkioiden joukosta, eli yksikköryhmästä, käytetään merkintää $R^*$. $(R^*,\; \backslash cdot)$ on ryhmä, mikä todistetaan seuraavasti:

1. Koska $1\; \backslash cdot\; 1\; =\; 1$, kääntyvien alkioiden joukko ei ole tyhjä.
2. $R^*$:n ykkösalkio on $1$.
3. Oletetaan, että $a,b\; \backslash in\; R^*$. Tällöin $(ab)\; (b^\{-1\}a^\{-1\})\; =\; a(bb^\{-1\})a^\{-1\}\; =\; a\; \backslash cdot\; 1\; \backslash cdot\; a^\{-1\}\; =\; 1$, joten kääntyvien alkioiden joukko on suljettu kertolaskun suhteen.
4. $R^*$ on assosiatiivinen, koska $R$ on assosiatiivinen $\backslash cdot$:n suhteen.

Nollasta poikkeavaa alkiota $a\; \backslash in\; R$ sanotaan nollanjakajaksi, jos on nollasta poikkeava $b\; \backslash in\; R$, jolle $ab\; =\; 0$. Tällöin tietysti myös $b$ on nollanjakaja. Kommutatiivista rengasta, jossa ei ole nollanjakajia, sanotaan kokonaisalueeksi.

Renkaan alkioista kääntyvät alkiot käyttäytyvät yleensä kaikkein säännöllisimmin, kun taas nollanjakajat vaikeuttavat tarkastelua. Erityisesti supistamissääntö $ab\; =\; ac\; \backslash Rightarrow\; b\; =\; c$ on voimassa vain, jos $a$ ei ole nollanjakaja. Tästä seuraa muun muassa se, että astetta n olevalla polynomilla, jonka kertoimet ovat $R$:n alkioita, voi olla enemmän kuin n juurta, jos ryhmässä $R$ on nollanjakajia.

Algebra