1632
правки
Изменения
м
__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
Действительно, пусть <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>.
}}
Поскольку при перемножении матриц перемножаются и их определители, матричное умножение не выводит из множества матриц с единичным определителем, и это множество образует группу (учитывая существование единичных и обратных матриц). Нейтральный элемент {{---}} единичная матрица, обратный {{---}} обратная матрица.
[[Категория: Теория групп]]
