# Product van ringen

In de ringtheorie, een deelgebied van de wiskunde, is het mogelijk om verschillende ringen te combineren tot een grotere productring. Het directe product van de samenstellende ringen. Het directe product van de ringen $(R_{i})_{i\in I}$, met $I$ een willekeurige indexverzameling wordt gevormd door het cartesisch product $\prod _{i\in I}R_{i}$ met als bewerkingen de coördinaatsgewijze uitgevoerde bewerkingen van de samenstellende ringen. Dat houdt in dat voor de elementen $(a_{i})=(a_{i})_{i\in I}$ en $(b_{i})_{i\in I}$ geldt:
    $(a_{i})+(b_{i})=(a_{i}+_{i}b_{i})$
en
    $(a_{i})*(b_{i})=(a_{i}*_{i}b_{i})$

## Voorbeeld

Een belangrijk voorbeeld is de ring $\mathbb {Z} /n\mathbb {Z}$ van de gehele getallen modulo $n$. Als
    $n={p_{1}}^{n_{1}}{p_{2}}^{n_{2}}\ldots {p_{k}}^{n_{k}}$
is ontbonden in priemfactoren (zie hoofdstelling van de rekenkunde), volgt uit de Chinese reststelling dat $\mathbb {Z} /n\mathbb {Z}$ op natuurlijke wijze isomorf met de productring
    $(\mathbb {Z} /{p_{1}}^{n_{1}}\mathbb {Z} )\times (\mathbb {Z} /{p_{2}}^{n_{2}}\mathbb {Z} )\times \ldots \times (\mathbb {Z} /{p_{k}}^{n_{k}}\mathbb {Z} )$

## Eigenschappen

Als $R=\prod _{i\in I}R_{i}$ een product van ringen is, dan bestaat voor elke $i\in I$ een surjectief ringhomomorfisme $p_{i}\colon R\to R_{i}$ dat het product op de $i$-de coördinaat projecteert. Het product $R$ heeft, samen met de projecties $p_{i}$, de volgende universele eigenschap:
    Voor een willekeurige ring $S$ en ringhomomorfismen $f_{i}\colon S\to R_{i}$ voor iedere $i\in I$ bestaat er precies één ringhomomorfisme $f\colon S\to R$, zodanig dat voor alle $i\in I$ geldt: $p_{i}\circ f=f_{i}$.
Dit toont aan dat het product van ringen een instantiëring van producten in de zin van de categorietheorie is.
Als $A_{i}$ voor alle $i\in I$ een ideaal is van $R_{i}$, dan is $A=\prod _{i\in I}A_{i}$ een ideaal van $R$. Als $I$ eindig is, dan is ook het omgekeerde waar, dat wil zeggen dat ieder ideaal van $R$ van deze vorm is. Maar als $I$ oneindig is en de ringen $R_{i}$ niet de nulring zijn, dan is het omgekeerde onwaar: de verzameling van alle elementen met op een eindig aantal na, alle coördinaten ongelijk aan 0, vormt een ideaal dat geen direct product van idealen van de samenstellende ringen $R_{i}$ is. Het ideaal $A$ is een priemideaal in $R$ als op één na elke $A_{i}$ gelijk is aan $R_{i}$ en de enige andere $A_{i}$ een priemideaal in $R_{i}$ is. Het omgekeerde is echter niet waar als $I$ oneindig is. De directe som van de $R_{i}$ bijvoorbeeld vormt een ideaal dat niet vervat is in enige dergelijke $A$, maar uit het keuzeaxiomavolgt dat het vervat is in een maximaal ideaal, dat a fortiori priem is.
Een element $x\in R$ is dan en slechts dan een eenheid als al zijn componenten ook eenheden zijn dat btekent: dan en slechts dan als voor elke $i\in I$ de projectie $p_{i}(x)$ een eenheid is in $R_{i}$. De groep van de eenheden van $R$ is het directe product van de groepen van de eenheden van de $R_{i}$. Een product van meer dan een ring ongelijk aan de nulring heeft altijd nuldelers: als namelijk voor $i\neq j$ de elementen $x$ en $y$ van het product zo zijn dat alle coördinaten gelijk zijn aan 0 behalve $x_{i}$ en $y_{j}$ dan is in de productring $xy=0$.