title: Neutraal element
text: In de wiskunde, meer bepaald in de abstracte algebra, is een neutraal element of identiteitselement ten aanzien van een bepaalde bewerking, een element dat bij bewerking met een ander element geen verandering teweegbrengt, dus het betrokken element onveranderd laat. Een neutraal element wordt ook wel eenheidselement genoemd, speciaal bij de vermenigvuldigingsoperatie, en nul-element bij de optelling. 
  
  Men noteert het neutrale element bij een additieve notatie vaak met een 0 en noemt dat de additieve identiteit.
  
  Definitie 
  Een neutraal element in een magma , is een element  met de eigenschap dat voor elke  geldt:
  
   .
  
  Daaraan ziet men waarom van neutraal element wordt gesproken, want bij bewerking met een neutraal element verandert er niets, het element  gedraagt zich neutraal.
  
  Men zou zich kunnen afvragen of het niet voldoende zou zijn slechts een van de gelijkheden te eisen. Door echter beide gelijkheden te eisen, is gegarandeerd dat ook als de bewerking  niet commutatief is, er slechts één neutraal element is. Stel namelijk dat  en  beide neutraal element zijn. Dan volgt direct:
   
  en
   ,
  dus
  
  Voorbeelden 
   In de verzameling van de rationale getallen met de bewerking optellen is 0 de additieve identiteit.
   
   In de verzameling van de gehele getallen met de bewerking vermenigvuldigen is 1 het neutrale element.
   
   In de verzameling van alle matrices met de bewerking matrixoptelling is de nulmatrix, geheel met nullen gevuld, het neutrale element.
   
   In de verzameling van de vierkante matrices en de bewerking matrixvermenigvuldiging is de eenheidsmatrix het neutrale element.
   
   Er bestaat geen neutraal element in de verzameling van de even getallen met de bewerking vermenigvuldigen.
   De identieke afbeelding is  onder de bewerking functiecompositie het neutrale element.
  
  Andere definities 
   Een idempotent element is een element  waarvoor geldt dat .
   Een absorberend element in  is een element  met de eigenschap dat voor alle  geldt: .
  
  Een
  Getaltheorie
  Groepentheorie
  Lineaire algebra
  Rekenen