Конечная группа

Эта статья требует доработки!

1. Необходимо привести таблицы умножения всех конечных групп из не более шести элементов.(исправлено)

Если Вы исправили некоторые из указанных выше замечаний, просьба дописать в начало соответствующего пункта (Исправлено).

Определение:

Группа называется конечной, если множество ее элементов конечно. Мощность множества элементов группы [math]G[/math] называют порядком группы и обозначают [math]\vert G\vert[/math].

Таблицы умножения для конечных групп

Таблица умножения(таблица Кэли) — таблица, которая описывает структуру конечных алгебраических систем с одной бинарной операцией. Таблица позволяет определить, является ли группа абелевой, найти ядро группы и обратные элементы по отношению к другим элементам в этой группе.

Структура

Пусть [math]\mathbb{A}_n[/math] = [math]\{a_1,a_2,\dots,a_n\}[/math] - группа из n элементов.

Тогда таблица будет выглядеть следующим образом:

*	a1	a2	...	an
a1	a1a1	a1a2	...	a1an
a2	a2a1	a2a2	...	a2an
...	...	...	...	...
an	ana1	ana2	...	anan

Свойства

1) Каждая строка или столбец являются перестановкой элементов группы

2) Если таблица симметрична относительно главной диагонали, то операция умножения коммутативна

Построение

Вследствие первого свойства, можно заполнить таблицу не имея всей информации об операции умножения. Если таблицу заполнить не удаётся(нарушается первое свойство - в ряде или колонке оказывается 2 одинаковых элемента), значит операции, удовлетворяющей данным соотношениям, не существует.

Алгоритм построения:

1) заполнить "скелет" таблицы - ячейки в которых стоит нейтральный элемент. "Скелет" симметричен относительно главной диагонали(если a - обратный к b, то b - обратный к a, то есть любой элемент коммутирует со своим обратным).

2) используя известные соотношения и свойство 1 заполнить таблицу.

Замечание: по соглашению в заголовках таблицы 1-ым идёт нейтральный элемент, затем элементы, которые совпадают с обратным, затем остальные.