Eindige ring

In de abstracte algebra, meer specifiek de ringtheorie, een deelgebied van de wiskunde, is een eindige ring een ring (niet noodzakelijkerwijs met een multiplicatieve identiteit) die een eindig aantal elementen heeft.

Elk eindig lichaam (Ned) / eindig veld (Be) is een eindige ring. Het additieve gedeelte van elke eindige ring is een abelse eindige groep.

Hoewel ringen meer structuur hebben dan groepen, is de theorie van eindige ringen eenvoudiger dan die van eindige groepen. De classificatie van eindige enkelvoudige groepen was bijvoorbeeld een van de belangrijkste doorbraken van de 20e-eeuwse wiskunde, waarvan het bewijs duizenden tijdschriftpagina's besloeg. Daarentegen is het sinds 1907 bekend dat elke eindige enkelvoudige ring isomorf is met de ring $\mathrm {M} _{n}(\mathbb {F} _{q})$ van $n\times n$-matrices over een eindig lichaam/veld van orde $q$ (dit is een gevolg van de stelling van Wedderburn en de stelling van Artin-Wedderburn).

Aantallen

Over het aantal eindige ringen van een gegeven orde is onder andere het volgende bekend:

Voor priemgetallen $p$ en $q\neq p$ zijn er:

• 2 eindige ringen van de orde $p$;
• 4 eindige ringen van de orde $pq$;
• 11 eindige ringen van de orde $p^{2}$;
• 22 eindige ringen van de orde $p^{2}q$;
• 52 eindige ringen van de orde $2^{3}=8$;
• $3p+50$ eindige ringen van de orde $p^{3},p>2$;

Het aantal ringen $A(n)$ met $n$ elementen is (met $A(0)=1$)
1, 1, 2, 2, 11, 2, 4, 2, 52, 11, 4, 2, 22, 2, 4, 4, 390, 2, 22, 2, 22, 4, 4, 2, 104, 11, 4, 59, 22, 2, 8, 2, >18590, 4, 4, 4, 121, 2, 4, 4, 104, 2, 8, 2, 22, 22, 4, 2, 780, 11, 22, ... OEIS2C: A027623 in the On-Line Encyclopedia of Integer Sequences.

Voorbeelden

Er zijn twee ringen van de orde 2. De elementen zijn het nulelement $0$ en $a$, waarvoor geldt: $a+a=0$. Het element $a$ moet een eenheid zijn of een nuldeler. De ene ring heeft dus de elementen $0$ en $1$, en is het lichaam/veld $\mathbb {F} _{2}$. De andere ring heeft de elementen $0$ en $a$, waarvoor geldt: $a+a=0,\ a*a=0$. Deze ring is dus isomorf met de ring $\{0,2\}({\bmod {4}})$.

Er zijn ook twee ringen van de orde 3, met de elementen $a,b$ en $0$. Voor de optelling geldt noodzakelijk:

$a+a=b,\ a+b=0,\ b+b=a$

Als de ring het eenheidselement, zeg $b=1$ bevat, kan $a$ geen nuldeler zijn, want dan moet $a*a=0$, en zou $0=a*(a+1)=a*a+a=a$ De ene ring is dus isomorf met het galoislichaam/-veld $\mathbb {F} _{3}$ van de orde 3.

De andere ring van de orde 3 bevat dus niet het eenheidselement en bestaat uit de elementen $a,b$, beide ongelijk aan $1$, en het nulelement $0$. Voor het product $a*b$ moet gelden $a*b=0$, want stel $a*b=a$, dan volgt:

$0=(a+b)*b=a*b+b*b=a+b*b$,

dus $b*b=b$. Maar dan is $b=1$. De vermenigvuldiging is dus triviaal:

$a*a=a*b=b*b=0$