Algebraïsche structuren: definitie en voorbeelden (magma, groep, ring, veld)
Overzicht van algebraïsche structuren: magma, semigroep, monoïde, groep, ring, veld — definities, eigenschappen en heldere voorbeelden voor studenten en liefhebbers.
In de wiskunde is een algebraïsche structuur een set waarop één, twee of meer binaire bewerkingen zijn gedefinieerd. Een binaire bewerking op een set S is een regel die aan elk geordend paar (a, b) uit S × S een element a ∗ b in S toekent. Belangrijke eigenschappen van binaire bewerkingen die in de definities van algebraïsche structuren terugkeren zijn onder andere:
- Sluiting: voor alle a, b in S geldt a ∗ b ∈ S.
- Associativiteit: (a ∗ b) ∗ c = a ∗ (b ∗ c) voor alle a, b, c in S.
- Neutraal (identiteitselement): er bestaat e in S zodat e ∗ a = a ∗ e = a voor alle a in S.
- Inverse: voor een gegeven a bestaat b in S met a ∗ b = b ∗ a = e (het identiteitselement).
- Commutativiteit: a ∗ b = b ∗ a voor alle a, b in S.
- Distributiviteit: een bewerking ∗ is distributief over + als a ∗ (b + c) = (a ∗ b) + (a ∗ c) en (b + c) ∗ a = (b ∗ a) + (c ∗ a).
Basale algebraïsche structuren met één binaire bewerking
Een magma is de meest zwakke structuur: een set S met één binaire bewerking ∗ die gesloten is (voor alle a, b in S is a ∗ b in S). Er worden geen verdere eisen gesteld (geen associativiteit of identiteit nodig). Voorbeeld: de verzameling ℤ met bewerking a ∗ b = a − b is een magma, maar geen semigroep omdat aftrekken niet associatief is.
- Semigroep
Een semigroep is een magma waarvan de bewerking associatief is. Voorbeelden: (ℕ, +) en de verzameling van vierkante matrices met de gebruikelijke matrixvermenigvuldiging (associatief, maar zonder neutraal element in sommige subverzamelingen).
- Monoïde
Een monoïde is een semigroep met een identiteitselement e (neutraal element). Voorbeelden: (ℕ₀, +) met 0 als neutraal element; de verzameling van alle woorden over een alfabet met concatenatie en lege woord als neutraal element.
- Groep
Een groep is een monoïde waarbij elk element een (tweedelig) inverse heeft. Formeel: (G, ∗) met associativiteit, een neutraal element e en voor elk a ∈ G bestaat a⁻¹ zodanig dat a ∗ a⁻¹ = a⁻¹ ∗ a = e. Voorbeelden: (ℤ, +) (elke integer heeft inverse zijn negatieve); de symmetrische groep S3 (permutaties op drie elementen) is een niet‑abelse groep.
- Commutatieve groep
Een commutatieve groep (ook wel abelse groep) is een groep waarvan de operatie commutatief is: a ∗ b = b ∗ a voor alle a, b. Voorbeeld: (ℝ, +), de reële getallen onder optelling.
Basale algebraïsche structuren met twee binaire operaties
- Bel
Het bovenstaande anker verwijst naar een structuur met twee bewerkingen (gewoonlijk genoemd "ring" in vele bronnen). Algemeen geldt bij zo'n structuur dat we twee bewerkingen onderscheiden, vaak geschreven als + (optelling) en · (vermenigvuldiging). Een gebruikelijke moderne definitie van een ring is:
- De set R met + vormt een commutatieve groep (dus optelling is associatief, commutatief, heeft een neutraal element 0 en elk element heeft een additieve inverse).
- Vermenigvuldiging · is een associatieve binaire bewerking op R (soms wordt vereist dat er een multiplicatieve identiteit 1 bestaat; dit is een keuze van definitie).
- De vermenigvuldiging is distributief ten opzichte van de optelling: a · (b + c) = a·b + a·c en (a + b)·c = a·c + b·c.
Simpler gezegd: optellen vormt een abelse groep en vermenigvuldigen is compatibel met optellen via distributiviteit. Sommige auteurs eisen dat de ring een multiplicatieve identiteit heeft; anderen laten dat weg. Als men vereist dat 1 ≠ 0 in de ring, wordt dat vaak expliciet genoemd.
- Commutatieve ring
Een commutatieve ring is een ring waarvan de vermenigvuldiging commutatief is: a·b = b·a voor alle a, b. Voorbeelden: de gehele getallen ℤ, reële getallen ℝ, polynoomringen K[x] over een veld K.
- Veld
Een veld (of body) is een commutatieve ring met 1 ≠ 0 waarin elke niet‑nul element een multiplicatieve inverse heeft. Met andere woorden: (F, +, ·) waarbij (F \ {0}, ·) een abelse groep is. Voorbeelden: de rationale getallen ℚ, reële getallen ℝ, complexe getallen ℂ en de eindige velden GF(p) voor p priemgetal.
Overige veelvoorkomende begrippen en voorbeelden
- Niet-commutatieve voorbeelden: matrices over een veld vormen een ring Mn(K) waarvan de vermenigvuldiging doorgaans niet commutatief is. De quaternions vormen een deelring (division ring) waarin elke niet‑nul element een inverse heeft, maar de vermenigvuldiging is niet commutatief — daarom is het geen veld maar wel een skew field of division algebra.
- Waarom Z geen veld is: in ℤ heeft bijvoorbeeld 2 geen multiplicatieve inverse in ℤ; daarom is ℤ wel een commutatieve ring maar geen veld.
- Polynoomringen: als R een ring is, dan is R[x] de ring van veeltermpolynomen over R; als R een veld is, is R[x] een integriteitsdomein maar meestal geen veld.
- Finiete velden: velden met eindig aantal elementen bestaan precies wanneer hun grootte p^n is voor p priem en n ≥ 1; het eenvoudigste voorbeeld is GF(p) = ℤ/pℤ.
- Toepassingen: algebraïsche structuren spelen een centrale rol in algebra, getaltheorie, cryptografie, coderingsleer en vele gebieden van de natuur- en informatica.
Voorbeelden hiervan zijn
- De gehele getallen ℤ: commutatieve ring (met eenheid), maar geen veld.
- De rationale ℚ, reële ℝ en complexe ℂ getallen: velden.
- De verzameling van alle n×n-matrices over ℝ: ring, meestal niet-commutatief.
- Permutatiegroepen zoals S3: niet-abelse groepen met belangrijke combinatorische toepassingen.
- Polynoomringen K[x], residuoklassenringen ℤ/nℤ, en eindige velden GF(p).
Vragen en antwoorden
V: Wat is een algebraïsche structuur?
A: Een algebraïsche structuur is een verzameling met één, twee of meer binaire bewerkingen erop.
V: Wat zijn de algebraïsche basisstructuren met één binaire bewerking?
A: De algebraïsche basisstructuren met één binaire bewerking zijn Magma (wiskunde), Semigroep, Monoïde, Groep en Commutatieve groep.
V: Wat zijn de algebraïsche basisstructuren met twee binaire operaties?
A: De algebraïsche basisstructuren met twee binaire operaties zijn Ring, Commutatieve ring en Veld.
V: Wat is een Magma (wiskunde)?
A: Een Magma (wiskunde) is een verzameling met één binaire bewerking.
V: Wat is een Semigroep?
A: Een Semigroep is een verzameling met een associatieve operatie.
V: Wat betekent het dat een bewerking commutatief is?
A: Dat een bewerking commutatief is, betekent dat de volgorde van de elementen in de vergelijking geen invloed heeft op het resultaat van de vergelijking; d.w.z. als u de volgorde van de elementen in een vergelijking omdraait, krijgt u nog steeds hetzelfde resultaat.
Zoek in de encyclopedie