Loading AI tools
wiskunde Van Wikipedia, de vrije encyclopedie
In de ringtheorie, een deelgebied van de abstracte algebra, is een ring een algebraïsche structuur, die uit een verzameling bestaat, waarop twee bewerkingen zijn gedefinieerd die intuïtief overeenkomen met optellen en vermenigvuldigen. Deze bewerkingen zijn zodanig dat de ring met betrekking tot de optelling een commutatieve groep is en dat de vermenigvuldiging associatief is en distributief over de optelling.
De gehele getallen , de vierkante matrices en de verzameling van polynomen zijn voorbeelden van ringen. De rationale getallen en de reële getallen zijn met de gebruikelijke optelling en vermenigvuldiging voorbeelden van ringen, maar dat zijn ook velden (Be) of lichamen (Ned).
Het begrip ring, dat uit onderstaande definitie van Emmy Noether afkomstig is, speelt een belangrijke rol in veel gebieden van de zuivere wiskunde, met name de abstracte algebra. Om zich te kwalificeren als een ring, moet de verzameling samen met de beide operaties voldoen aan bepaalde voorwaarden: de verzameling moet onder optelling een commutatieve groep en onder vermenigvuldiging een monoïde zijn.[1] Hoewel deze operaties bekend zijn uit vele wiskundige structuren, zoals de talstelsels van de gehele getallen, kunnen zij ook zeer algemeen een breed scala van wiskundige objecten betreffen. Daardoor kunnen objecten van zeer verschillende wiskundige oorsprong op een flexibele manier, met behoud van essentiële structurele aspecten, in de abstracte algebra en daarbuiten worden bestudeerd. De tak van de wiskunde die ringen bestudeert staat bekend als de ringtheorie.[2]
Ringen komen fundamenteel overeen met de getaltheorie en de lineaire algebra. De getaltheorie kent verschillende overeenkomstige stellingen in de ringtheorie. De hoofdstelling van de rekenkunde komt bijvoorbeeld overeen met een bepaalde speciale klasse van ringen die bekend staan als unieke factorisatiedomeinen. De theorie van matrixringen is bijvoorbeeld een opvallend gevolg van de wijze waarop de niet-commutatieve ringtheorie kan worden gebruikt om de fundamentele natuurwetten die ten grondslag liggen aan de speciale relativiteitstheorie, en symmetriefenomenen in de moleculaire scheikunde, beter te begrijpen.
Te beginnen bij Richard Dedekind in de jaren 1880, is het concept van een ring ontstaan uit pogingen om de laatste stelling van Fermat te bewijzen. Andere gebieden uit de wiskunde, voornamelijk de getaltheorie, droegen aan de ringtheorie bij, maar in de jaren 1920 kreeg de theorie door Emmy Noether, Emil Artin, Wolfgang Krull en anderen een vaste en algemene vorm.[3] De moderne ringtheorie is een zeer actieve wiskundige discipline en geeft ringen hun eigen bestaansrecht. Ringtheoretici maken onderscheid tussen de theorie van de commutatieve ringen en niet-commutatieve ringen. Deze laatste theorie behoort tot de algebraïsche getaltheorie en de algebraïsche meetkunde. De niet-commutatieve delingsringen zijn hiervan een onderwerp. De niet-commutatieve meetkunde is sinds de ontdekking in de jaren 1980 door Alain Connes van een verband tussen de niet-commutatieve ringtheorie en de meetkunde uitgegroeid tot een actieve discipline binnen de ringtheorie.[4]
Om ringen te onderzoeken hebben wiskundigen verschillende begrippen bedacht om ringen in kleinere, beter begrijpelijke stukken op te delen, zoals idealen, quotiëntringen en enkelvoudige ringen. Er bestaat de volgende hiërarchie:
De studie van de ringen is uit de theorie van de veeltermringen en de theorie van algebraïsche gehele getallen ontstaan. Verder leidde het verschijnen van hypercomplexe getallen, vanaf het midden van de negentiende eeuw, ertoe, dat de centrale rol van lichamen in de wiskundige analyse werd afgezwakt. Centraal in de geschiedenis van de ringtheorie staan de ringen van de gehele getallen.
Richard Dedekind introduceerde het idee van een ring. Zahlring werd in 1892 door David Hilbert bedacht.[5] Volgens Harvey Cohn, gebruikte Hilbert de term voor een specifieke ring die de eigenschap had om "direct terug te cirkelen" op een element van zichzelf.[6]
De eerste axiomatische definitie van een ring werd door Adolf Fraenkel gegeven in een essay in de Journal für die reine und angewandte Mathematik (A. L. Crelle), vol. 145, 1914.[3] In 1921 gaf Emmy Noether de eerste axiomatische fundering van de theorie van de commutatieve ringen in haar monumentale artikel Ideal Theory in Rings (Ideaaltheorie in ringen).[3]
Algebraïsche structuur | ||
---|---|---|
Groep · Halfgroep · Ideaal · Lichaam/veld · Magma · Monoïde · Ring |
Een ring is een drietal bestaande uit een niet-lege verzameling en twee bewerkingen, optellen en vermenigvuldigen, gedefinieerd op , waarbij het optellen associatief en commutatief is en vermenigvuldigen in ieder geval associatief. De optelling van de elementen en wordt meestal als genoteerd en het product, de vermenigvuldiging, hier met , maar ook als of alleen . De vermenigvuldiging is verder zowel links- als rechts-distributief over de optelling.
is een commutatieve groep en is een halfgroep. Optellen en vermenigvuldigen zijn beide een binaire operatie.
· | 0 | 1 | 2 | 3 |
---|---|---|---|---|
0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 2 | 3 |
2 | 0 | 2 | 0 | 2 |
3 | 0 | 3 | 2 | 1 |
+ | 0 | 1 | 2 | 3 |
---|---|---|---|---|
0 | 0 | 1 | 2 | 3 |
1 | 1 | 2 | 3 | 0 |
2 | 2 | 3 | 0 | 1 |
3 | 3 | 0 | 1 | 2 |
De verzameling , bestaande uit de getallen 0, 1, 2, 3, met de bewerkingen optellen en vermenigvuldigen, beide modulo 4, is een ring. In de nevenstaande cayley-tabellen staan de additieve structuur en de multiplicatieve structuur van weergeven.
Het is te verifiëren dat onder deze operaties een ring is. Allereerst kan men gebruikmaken van de linkertabel om aan te tonen dat gesloten is onder optelling (een resultaat is ofwel 0, 1, 2 of 3). De associativiteit van de optelling in volgt uit de associativiteit van de optelling in de verzameling van alle gehele getallen. De additieve identiteit is 0, zoals kan worden gecontroleerd door te kijken naar de linkertabel. Bij elk van de elementen is er een tegengestelde, namelijk , zoals men kan zien in de optellingstabel. Daarom is onder de optelling een commutatieve groep. is een cyclische groep.
is ook onder de vermenigvuldiging gesloten, zoals men kan zien aan de rechter tabel: een resultaat is ofwel 0, 1, 2 of 3. De associativiteit van de vermenigvuldiging in 4 volgt uit de associativiteit van de vermenigvuldiging voor gehele getallen. De multiplicatieve identiteit, het eenheidselement is 1, zoals kan worden geverifieerd. Daarom is onder vermenigvuldiging een monoïde met eenheidselement.
De distributiviteit van de twee operaties over elkaar volgt uit de distributiviteit van optelling over de vermenigvuldiging (en vice versa) voor de gehele getallen.
Daarom vormt deze verzameling met optellen en vermenigvuldigen inderdaad een ring.
Als het product van twee gehele getallen en gelijk is aan 0, dan is of . Deze eigenschap geldt niet voor de ring , bijvoorbeeld is . Het getal 2 is dus een nuldeler in de ring , overigens de enige nuldeler.
Een deelring van een ring is een andere ring met dezelfde twee bewerkingen en , waarbij een deelverzameling is van . De beide bewerkingen en in zijn restricties van de overeenkomstige bewerkingen in .
Als een ring is met eenheidselement dan is een deelring met eenheidselement als een deelring is van en beide hetzelfde eenheidselement hebben.
Als een deelring is van en de deelverzameling van is ook een deelring van , dan is tevens een deelring van .
Een homomorfisme van een ring naar een ring is een functie die commuteert met de ringoperaties. Dat houdt in dat voor alle geldt:
en
Bovendien moet de functie het eenheidselement van afbeelden op het eenheidselement van .
De functie die bijvoorbeeld een geheel getal op haar rest modulo 4 afbeeldt (een getal in {0, 1, 2, 3}), is een homomorfisme van de ring naar de ring .
Als een ringhomomorfisme is van naar , is het origineel van het nulelement van een deelring van .
Van een ringhomomorfisme zegt men dat dit een isomorfisme is, als het in de categorie van ringen zowel een epimorfisme als een monomorfisme is.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.