221
правка
Изменения
м
| <tex>\mathbb{Z}/3\mathbb{Z}</tex>
|-
| <tex>\mathbb{Z}/4\mathbb{Z}</tex>
|-
| <tex>\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}</tex>
|-
| <tex>\mathbb{Z}/2\mathbb{Z}</tex>
|-
| <tex>\mathbb{Z}/6\mathbb{Z}</tex>
|-
| <tex>\mathbb{S}_3</tex>
|-
Нет описания правки
== Таблицы умножения для конечных групп ==
Таблица умножения(таблица Кэли) — таблица, которая описывает структуру конечных алгебраических систем с одной бинарной операцией. Таблица позволяет определить, является ли группа абелевой, найти ядро группы и обратные элементы по отношению к другим элементам в этой группе.
=== Свойства ===
{{Утверждение
|statement=Каждая строка или столбец являются перестановкой элементов группы.
|proof=Пусть <tex>a,b,c,d \in G</tex>. Тогда <tex>ab=d</tex> и <tex>ac=d \Rightarrow b=c</tex>. Так как количество клеток в строке равно количеству элементов, то, по принципу Дирихле, каждый элемент группы встречается в строке один раз.
}}
{{Утверждение
|statement=Если таблица симметрична относительно главной диагонали, то операция умножения коммутативна.
|proof=Таблица симметрична <tex>\Rightarrow ab = ba</tex> для любых <tex>a,b \in G</tex>
}}
{{Утверждение
|statement=В простой группе порядок каждого элемента является делителем порядка группы.
|proof=
Рассмотрим элемент <tex>x\in G</tex> c порядком <tex>n</tex> и подмножество <tex>\langle x\rangle=\lbrace e,\,x,\,x^2,\,...,x^{n—1}\rbrace</tex> (все <tex>x^k</tex> различны при <tex>k<n</tex> — в противном случае при <tex>x^k=x^m (m<k<n)\Rightarrow x^{k—m}=e</tex>, т.е. <tex>n>k—m</tex> не является порядком элемента <tex>x</tex>). Очевидно, <tex>\langle x\rangle</tex> — подгруппа <tex>G</tex>, изоморфная <tex>\mathbb{Z}/n\mathbb{Z}</tex>. Но порядок любой подгруппы делит порядок группы. Значит, и <tex>n</tex> делит порядок <tex>G</tex>.
}}
{{Утверждение
|statement=Все группы простого порядка <tex>p</tex> изоморфны <tex>\mathbb{Z}/p\mathbb{Z}</tex>.
|proof=
Рассмотрим элемент <tex>x\in G,\,x\neq e</tex> c порядком <tex>n</tex> и подмножество <tex>\langle x\rangle=\lbrace e,\,x,\,x^2,\,...,x^{n—1}\rbrace</tex> (все <tex>x^k</tex> различны при <tex>k<n</tex> — см. выше). Очевидно, <tex>\langle x\rangle</tex> — подгруппа <tex>G</tex>, изоморфная <tex>\mathbb{Z}/n\mathbb{Z}</tex>. Но тогда <tex>n</tex> делит <tex>p</tex>(как порядок подгруппы) и не равняется единице(<tex>x^1\neq e</tex>), значит <tex>n=p</tex>. Раз порядок конечной подгруппы <tex>\mathbb{Z}/p\mathbb{Z}\subseteq G</tex> совпадает с порядком группы, то группа и подгруппа просто совпадают: <tex>\mathbb{Z}/p\mathbb{Z}\eqsim G</tex>.
Ниже перечислены все группы до шестого порядка включительно:
1) n <tex>|G| = 1</tex> Тривиальная группа
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| *
|}
2) n <tex>|G| = 2</tex> Группа вычетов по модулю два относительно сложения: <tex>\mathbb{Z}/2\mathbb{Z}</tex>
{| border="1" cellpadding="4" align="center"
| <tex>\mathbb{Z}/2\mathbb{Z}</tex>
|}
3) n <tex>|G| = 3</tex> Группа вычетов по модулю три относительно сложения: <tex>\mathbb{Z}/3\mathbb{Z}</tex>
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| +
!style="background:#efefef;"| <big>0</big>
|}
4) n <tex>|G| = 4</tex> Группа вычетов по модулю четыре относительно сложения: <tex>\mathbb{Z}/4\mathbb{Z}</tex>
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| +
!style="background:#efefef;"| <big>0</big>
|}
Группа <tex>\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}</tex>
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| +
!style="background:#efefef;"| <big>(0,0)</big>
|}
5) n <tex>|G| = 5</tex> Группа вычетов по модулю пять относительно сложения: <tex>\mathbb{Z}/5\mathbb{Z}</tex>
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| +
!style="background:#efefef;"| <big>0</big>
|}
6) n <tex>|G| = 6</tex>
Группа вычетов по модулю шесть относительно сложения: <tex>\mathbb{Z}/6\mathbb{Z}</tex>
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| +
!style="background:#efefef;"| <big>0</big>
|}
Группа перестановок множества из трех элементов: <tex>\mathbb{S}_3</tex>
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| *
!style="background:#efefef;"| <big>e</big>
