1632
правки
Изменения
Группа
,rollbackEdits.php mass rollback
{{Утверждение
|about=О единственности обратного элемента
|statement=В группу группе для каждого элемента существует единственный обратный элемент.
|proof=
Действительно, пусть <tex>y_1</tex> и <tex>y_2</tex> {{---}} два обратных к <tex>x</tex> элемента. Тогда имеем:
:<tex>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</tex>
}}
== Абелева группа ==
{{Main|Абелева группа}}
{{Определение
|definition=
Группа <tex>G</tex> называется '''абелевой''', если ее операция коммутативна: для любых <tex>a,b\in G</tex> выполнено <tex>a\cdot b = b\cdot a</tex>. Абелевы группы иногда называют '''аддитивными''', обозначая групповую операцию как <tex>a+b</tex>, обратный элемент как <tex>-a</tex>, нейтральный как <tex>0</tex>. При этом запись <tex>a-b</tex> понимают как <tex>a+(-b)</tex>.}} Примером абелевой (аддитивной) группы является группа вещественных чисел с операцией сложения. Примером неабелевой {{---}} группа обратимых матриц с операцией обычного матричного умножения. == Конечная группа =={{Определение|definition=Группа называется '''конечной''', если множество ее элементов конечно. Мощность множества элементов группы <tex>G</tex> называют порядком группы и обозначают <tex>\vert G\vert</tex>.
}}
Поскольку при перемножении матриц перемножаются и их определители, матричное умножение не выводит из множества матриц с единичным определителем, и это множество образует группу (учитывая существование единичных и обратных матриц). Нейтральный элемент {{---}} единичная матрица, обратный {{---}} обратная матрица.
[[Категория: Теория групп]]