title: Moduul
text: In de abstracte algebra, een deelgebied van de wiskunde, is een moduul over een ring een generalisatie van een vectorruimte. In plaats van te eisen, zoals bij een vectorruimte, dat de scalairen in een lichaam liggen, mogen de "scalairen" bij een moduul in een willekeurige ring liggen. Modulen zijn generalisaties van abelse groepen, die op hun beurt modulen over  zijn.
  
  Een moduul is dus, net als een vectorruimte, een additieve abelse groep. Er is een product gedefinieerd tussen elementen van de ring en elementen van de moduul. Deze vermenigvuldiging is gemengd associatief (bij vermenigvuldiging in de ring) en distributief.
  
  Modulen vormen een centraal begrip in de commutatieve algebra en de homologische algebra. Zij worden op grote schaal gebruikt in de algebraïsche meetkunde en de algebraïsche topologie.
  
  Achtergrond
  In een vectorruimte vormt de verzameling van scalairen een lichaam; tussen de scalairen en een vector is een bewerking gedefinieerd, de scalaire vermenigvuldiging, mits aan bepaalde formele wetten, zoals de distributieve wet is voldaan. In een moduul hoeven de scalairen slechts een ring te vormen; in die zin is het begrip moduul dus een belangrijke generalisatie. In de commutatieve algebra is het belangrijk dat zowel idealen als quotiëntringen modulen zijn, zodat vele argumenten over idealen of quotiëntringen kunnen worden gecombineerd tot een enkel argument over modulen. In de niet-commutatieve algebra wordt het onderscheid tussen linksidealen, idealen, en modulen meer uitgesproken, hoewel sommige belangrijke ringtheoretische voorwaarden, hetzij over linkeridealen als linkermodulen, kunnen worden uitgedrukt.
  
  Veel van de theorie over modulen bestaat uit het zo veel mogelijk uitbreiden van de wenselijke eigenschappen van vectorruimten naar modulen over een zich "goedgedragende" ring, zoals een hoofdideaaldomein. Modulen kunnen echter een stuk ingewikkelder zijn dan vectorruimten; niet alle modulen hebben bijvoorbeeld een basis, en zelfs de modulen die dat wel hebben, vrije modulen, hoeven geen unieke rang te hebben als de onderliggende ring niet voldoet aan de invariante basisgetal voorwaarde. Dit in tegenstelling tot vectorruimten, die altijd een basis hebben waarvan de kardinaliteit dan uniek is (uitgaande van het keuzeaxioma).
  
  Definities 
  Zij  een ring. Een linkermoduul over  is een drietal  waarvan  een abelse groep is en  een bewerking, gewoonlijk genoteerd als  of zelfs  in plaats van , die scalaire vermenigvuldiging heet en die op al de volgende manieren compatibel is met de optelling in  en de bewerkingen van de ring :
  
  Als  een ring met eenheidselement  is, wordt vaak expliciet of impliciet verondersteld dat 
  
  De punt-notatie  hierboven is nuttig om de definitie expliciet te maken, maar meestal wordt de scalaire vermenigvuldiging zonder bewerkingsteken genoteerd, net als de inwendige vermenigvuldiging van elementen van de ring .
  
  Op analoge wijze wordt een rechtermoduul gedefinieerd met een "rechter" scalaire vermenigvuldiging , genoteerd als , als in plaats van eigenschap 3 geldt:
  
  Als  een commutatieve ring is, valt het onderscheid tussen linker- en rechtermoduul weg en spreekt men eenvoudigweg van een moduul.
  
  Een bimoduul is een moduul die een linkermoduul over een ring  is en een rechtermoduul over een ring , waarbij de linker en rechter scalaire vermenigvuldigingen compatibel zijn, dat wil zeggen:
  
  Voorbeelden 
   Als  een lichaam is, dan zijn de begrippen -vectorruimte (een vectorruimte over ) en -moduul identiek. (Vectorruimten zijn modulen over een lichaam.)
   Het begrip -moduul komt overeen met een abelse groep. Dat wil zeggen dat elke abelse groep  op een unieke manier een moduul is over de ring van de gehele getallen . Laat namelijk voor  en   (d.w.z. de som van  keer ),  en . Een dergelijke moduul hoeft geen basis-groepen te hebben die torsie-elementen bevatten.
   Als  een ring is en  een natuurlijk getal, dan is het -voudig cartesisch product  onder de voor de hand liggende samengestelde operaties, zowel een linker- als een rechtermoduul over . Vandaar dat  zelf een -moduul is, waar de scalaire vermenigvuldiging gewoon de ringvermenigvuldiging is. Modulen van dit type worden vrije modulen genoemd.
  
  Dualiteit
  De duale moduul  bestaat uit de lineaire afbeeldingen van de moduul  naar de ring  (deze laatste opgevat als -moduul).
  
  Morfismen
  Omdat de definitie van een moduul zowel een ring als een abelse groep omvat, kan men vanuit verschillende invalshoeken categorieën en de bijhorende morfismen onderscheiden. De meest gebruikelijke opvatting gaat echter uit van één vaste ring  en beschouwt als morfismen, de lineaire afbeeldingen tussen -modulen. In deze categorie fungeert de nulmoduul (het singleton {0}) als initiaal en finaal object.
  
  Abstracte algebra
  Wiskundige structuur