Группа

Определение:

Моноид [math]\langle G,\cdot\rangle[/math] называется группой, если для каждого элемента существует обратный: [math]\forall x\in G : \exists x^{-1} \in G : x\cdot x^{-1}=x^{-1}\cdot x=e[/math] где [math]e[/math] — нейтральный элемент моноида.

Утверждение (О единственности обратного элемента):

В группе для каждого элемента существует единственный обратный элемент.

[math]\triangleright[/math]

Действительно, пусть [math]y_1[/math] и [math]y_2[/math] — два обратных к [math]x[/math] элемента. Тогда имеем: [math]y_1 = y_1\cdot e = y_1\cdot (x \cdot y_2) = (y_1\cdot x)\cdot y_2 = e\cdot y_2 = y_2[/math]

[math]\triangleleft[/math]

Абелева группа

Определение:

Группа [math]G[/math] называется абелевой, если ее операция коммутативна: для любых [math]a,b\in G[/math] выполнено [math]a\cdot b = b\cdot a[/math].