Изменения
Нет описания правки
[[группа|Группа]] называется '''конечной''', если множество ее элементов конечно. Мощность множества элементов группы <tex>G</tex> называют порядком группы и обозначают <tex>\vert G\vert</tex>.
}}
== Таблицы умножения ==
Таблица умножения(таблица Кэли) — таблица, которая описывает структуру конечных алгебраических систем с одной бинарной операцией. Таблица позволяет определить, является ли группа абелевой, найти ядро группы и обратные элементы по отношению к другим элементам в этой группе.
'''Структура'''
Пусть <math>\mathbb{A}_n</math> = <math>\{a_1,a_2,\dots,a_n\}</math> - группа из n элементов.
Тогда таблица будет выглядеть следующим образом образом:
{| border="2" cellpadding="8" align="center"
!style="background:#efefef;"| *
!style="background:#efefef;"| <big>a<sub>1</sub></big>
!style="background:#efefef;"| <big>a<sub>2</sub></big>
!style="background:#efefef;"| <big>...</big>
!style="background:#efefef;"| <big>a<sub>n</sub></big>
|-
!style="background:#efefef;"| <big>a<sub>1</sub></big>
| <big>a<sub>1</sub>a<sub>1</sub></big> || <big>a<sub>1</sub>a<sub>2</sub></big> || <big>...</big> || <big>a<sub>1</sub>a<sub>n</sub></big>
|-
!style="background:#efefef;"| <big>a<sub>2</sub>
| <big>a<sub>2</sub>a<sub>1</sub></big> || <big>a<sub>2</sub>a<sub>2</sub></big> || <big>...</big> || <big>a<sub>2</sub>a<sub>n</sub></big>
|-
!style="background:#efefef;"| <big>...
| <big>...</big> || <big>...</big> || <big>...</big> || <big>...</big>
|-
!style="background:#efefef;"| <big>a<sub>n</sub>
| <big>a<sub>n</sub>a<sub>1</sub></big> || <big>a<sub>n</sub>a<sub>2</sub></big> || <big>...</big> || <big>a<sub>n</sub>a<sub>n</sub></big>
|}
'''Свойства'''
1) Каждая строка или столбец являются перестановкой элементов группы
2) Если таблица симметрична относительно главной диагонали, то операция умножения коммутативна
3) Если главная диагональ заполнена нейтральными элементами, то операция коммутативна
4) Если у таблицы группы A и таблицы группы B расположение ячеек с нейтральными элементами не одинаково, то группа A не изоморфна группе B
'''Построение'''
Вследствие первого свойства, можно заполнить таблицу не имея всей информации об операции умножения. Если таблицу заполнить не удаётся, значит операции, удовлетворяющей данным свойствам, не существует.
''Алгоритм построения'':
1) заполнить "скелет" таблицы - ячейки в которых стоит нейтральный элемент. "Скелет" симметричен относительно главной диагонали(если a - обратный к b, то b - обратный к a, то есть любой элемент коммутирует со своим обратным).
2) используя известные соотношения и свойство 2 заполнить таблицу.
''Замечание'': по соглашению в заголовках таблицы 1-ым идёт нейтральный элемент, затем элементы, которые совпадают с обратным, затем остальные.
'''Примеры'''
1) n = 1
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| *
!style="background:#efefef;"| <big>e</big>
|-
!style="background:#efefef;"| <big>e</big>
| <big>e</big>
|}
2) n = 2
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| *
!style="background:#efefef;"| <big>e</big>
!style="background:#efefef;"| <big>a</big>
|-
!style="background:#efefef;"| <big>e</big>
| <big>e</big> || <big>a</big>
|-
!style="background:#efefef;"| <big>a</big>
| <big>a</big> || <big>e</big>
|}
3) n = 3
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| *
!style="background:#efefef;"| <big>e</big>
!style="background:#efefef;"| <big>a</big>
!style="background:#efefef;"| <big>b</big>
|-
!style="background:#efefef;"| <big>e</big>
| <big>e</big> || <big>a</big> || <big>b</big>
|-
!style="background:#efefef;"| <big>a</big>
| <big>a</big> || <big>b</big> || <big>e</big>
|-
!style="background:#efefef;"| <big>b</big>
| <big>b</big> || <big>e</big> || <big>a</big>
|}
4) n = 4
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| *
!style="background:#efefef;"| <big>e</big>
!style="background:#efefef;"| <big>a</big>
!style="background:#efefef;"| <big>b</big>
!style="background:#efefef;"| <big>c</big>
|-
!style="background:#efefef;"| <big>e</big>
| <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big>
|-
!style="background:#efefef;"| <big>a</big>
| <big>a</big> || <big>e</big> || <big>c</big> || <big>b</big>
|-
!style="background:#efefef;"| <big>b</big>
| <big>b</big> || <big>c</big> || <big>e</big> || <big>a</big>
|-
!style="background:#efefef;"| <big>c</big>
| <big>c</big> || <big>b</big> || <big>a</big> || <big>e</big>
|}
5) n = 5
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| *
!style="background:#efefef;"| <big>e</big>
!style="background:#efefef;"| <big>a</big>
!style="background:#efefef;"| <big>b</big>
!style="background:#efefef;"| <big>c</big>
!style="background:#efefef;"| <big>d</big>
|-
!style="background:#efefef;"| <big>e</big>
| <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big>
|-
!style="background:#efefef;"| <big>a</big>
| <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>e</big>
|-
!style="background:#efefef;"| <big>b</big>
| <big>b</big> || <big>c</big> || <big>d</big> || <big>e</big> || <big>a</big>
|-
!style="background:#efefef;"| <big>c</big>
| <big>c</big> || <big>d</big> || <big>e</big> || <big>a</big> || <big>b</big>
|-
!style="background:#efefef;"| <big>d</big>
| <big>d</big> || <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big>
|}
6) n = 6
{| border="1" cellpadding="4" align="center"
!style="background:#efefef;"| *
!style="background:#efefef;"| <big>e</big>
!style="background:#efefef;"| <big>a</big>
!style="background:#efefef;"| <big>b</big>
!style="background:#efefef;"| <big>c</big>
!style="background:#efefef;"| <big>d</big>
!style="background:#efefef;"| <big>f</big>
|-
!style="background:#efefef;"| <big>e</big>
| <big>e</big> || <big>a</big> || <big>b</big> || <big>c</big> || <big>d</big> || <big>f</big>
|-
!style="background:#efefef;"| <big>a</big>
| <big>a</big> || <big>e</big> || <big>d</big> || <big>f</big> || <big>b</big> || <big>c</big>
|-
!style="background:#efefef;"| <big>b</big>
| <big>b</big> || <big>f</big> || <big>e</big> || <big>d</big> || <big>c</big> || <big>a</big>
|-
!style="background:#efefef;"| <big>c</big>
| <big>c</big> || <big>d</big> || <big>f</big> || <big>e</big> || <big>a</big> || <big>b</big>
|-
!style="background:#efefef;"| <big>d</big>
| <big>d</big> || <big>c</big> || <big>a</big> || <big>b</big> || <big>f</big> || <big>e</big>
|-
!style="background:#efefef;"| <big>f</big>
| <big>f</big> || <big>b</big> || <big>c</big> || <big>a</big> || <big>e</big> || <big>d</big>
|}
[[Категория: Теория групп]]
