Neutraal element: verschil tussen versies

'''Neutraal element''' is een begrip uit de [[wiskunde]], meer bepaald uit de [[abstracte algebra]]. Een neutraal element wordt ook wel '''eenheidselement''' genoemd. Een '''neutraal''' element in een [[Magma (wiskunde)|magma]] <math>(V,*)</math>, is een element ''e'' &isin; ''V'' met de eigenschap dat voor elke ''a'' &isin; ''V'' geldt:

:<math>\,a (V,*) e = a = e * a\,</math>, .

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 <math>*</math> niet [[commutatief]] is, er slechts één neutraal element is. Stel namelijk dat <math>e_1</math> en <math>e_2</math> beide neutraal element zijn. Dan volgt direct:

:<math>\, e_1= e_2 * e_1</math>,

:<math>\, e_2 = e_2 * e_1 = e_1</math>.