Неутрал

Неутрал се одликује тиме што друге елементе скупа оставља непромењеним када се са њима комбинује у тој операцији. Неутрали се користе у групама и повезаним концептима.

Нека је (S,*) скуп S са бинарном операцијом * дефинисаном на себи. Тада се елемент e скупа S назива леви неутрал ако e * a = a за свако a из S, а десни неутрал ако a * e = a за свако a из S. Ако је e уједно и леви и десни неутрал, онда се назива двостраним неутралом, или просто неутралом.

Неутрал у односу на сабирање се назива адитивним неутралом (често се означава са 0) а неутрал у односу на множење се назива мултипликативни инверз (често се означава са 1). Ова разлика се обично користи за скупове који имају обе ове бинарне операције, као што су прстени.

Као што последњи пример показује, могуће је да ${\displaystyle \left(S,\cdot \right)}$  има више левих неутрала. У ствари, сваки елемент може бити леви неутрал. Слично, може бити више десних неутрала. Међутим, ако постоји и лесни неутрал и леви неутрал, онда су једнаки и постоји само један двострани неутрал. Да би се ово видело, уочимо да ако је ${\displaystyle l}$  леви неутрал, а ${\displaystyle r}$  десни, онда ${\displaystyle l=l\cdot r=r}$ . Специјално, није могуће да постоји више од једног двостраног неутрала. Када би постојала два, ${\displaystyle e}$  и f, онда ${\displaystyle e\cdot f}$  би морало да буде једнако и ${\displaystyle e}$  и ${\displaystyle f}$ .

• Ayres, Frank, Schaum's Outline of Modern Abstract Algebra, McGraw-Hill; 1st edition (June 1). 1965. ISBN 978-0-07-002655-1..

• Инверз
• Адитивни инверз
• Моноид