Element neutralny

Element neutralny – element struktury algebraicznej, który dla danego działania dwuargumentowego przyłożony do dowolnego elementu nie zmieni go.

Pojęcie to pojawia się w definicjach podstawowych struktur algebraicznych takich jak:

• grupy^[1] i ich uogólnienia jak monoidy^[2] i lupy^[3];
• ciała^[4] i bardziej ogólne pierścienie^[5];
• przestrzenie liniowe^[6] i ogólniejsze moduły^[7];
• algebry Boole’a^[8].

Rozważa się też ich uogólnienia jak półgrupa, quasi-grupa, grupoid, półpierścień czy krata, w których taki element nie musi istnieć.