Neutraal element
In de wiskunde, meer bepaald in de abstracte algebra, is een neutraal element 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.
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
- .
Notatieconventie
Indien men een additieve notatie gebruikt, noteert men het neutraal element met 0.
Indien men een multiplicatieve notatie gebruikt, noteert men het neutraal element met 1.
Voorbeelden
- In de verzameling van de rationale getallen met de bewerking optellen is 0 het neutrale element.
- In de verzameling van de gehele getallen met de bewerking vermenigvuldigen is 1 het neutrale element.
- In de verzameling van de m × n-matrices met de bewerking matrixoptelling is de m × n-nulmatrix (geheel gevuld met nullen) het neutrale element.
- In de verzameling van de (vierkante) n × n-matrices en de bewerking matrixvermenigvuldiging is de eenheidsmatrix het neutrale element.
- In de verzameling van de even getallen met bewerking vermenigvuldigen bestaat géén neutraal element.