1632
правки
Изменения
м
Примером группы является множество действительных чисел <tex>\mathbb{R}</tex> c операцией сложения (но не умножения -- 0 не имеет в этом случае обратного элемента).
__NOTOC__=== Группа подстановок ===Подстановка {{---}} взаимно однозначное отображение конечного множества на себя. Если некоторая совокупность подстановок замкнута относительно композиции отображений, определяющей бинарную операцию для подстановок на одном и том же множестве, то эта совокупность называется '''группой подстановок'''. == Cсылки ==[http://kirill.chuvilin.pro/images/4/49/%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B0%D0%BD_(%D1%81%D0%B5%D0%BC%D0%B5%D1%81%D1%82%D1%80_2)_-_%D0%A1%D0%B5%D0%BC%D0%B8%D0%BD%D0%B0%D1%80_5.pdf Задания на группы]
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>.
}}
Поскольку при перемножении матриц перемножаются и их определители, матричное умножение не выводит из множества матриц с единичным определителем, и это множество образует группу (учитывая существование единичных и обратных матриц). Нейтральный элемент {{---}} единичная матрица, обратный {{---}} обратная матрица.
[[Категория: Теория групп]]
