Изменения

Перейти к: навигация, поиск
Группа перестановок
{{Определение
|definition=
Пусть <tex> M </tex> - Дано множество, <tex> M = \{ x, y, z, ... \} </tex>, и на этом множестве задана бинарная операция на нём <tex> \circ </tex>, такая, что для любого <tex> x, y \in M: x \circ y = z \in M </tex>.
Тогда группой называется алгебраическая структура, удовлетворяющая следующим свойствам:
# <tex> (g_1 \circ g_2) \circ g_3 = g_1 \circ (g_2 \circ g_3) </tex> - ассоциативность соответствующей бинарной операции.
# Существование нейтрального элемента <tex> e </tex> относительно операции <tex> \circ </tex>, такого, что для любого <tex> g \in M: g \circ e = e \circ g = g </tex>
# Существование обратного элемента <tex> g^{-1} </tex>, такого, что для Для любого <tex> g \in M </tex>существует <tex> g^{-1} \in M</tex> называемый обратным элементом, такой, что <tex>: g \circ g^{-1} = g^{-1} \circ g = e </tex>
}}
Анонимный участник

Навигация