Определение 2. Множество G называется группой, если в этом множестве определена бинарная алгебраическая операция, удовлетворяющая следующим аксиомам (в мультипликативной записи операций):

1. Для всех элементов a, b, c из множества G (аксиома ассоциативности).

2. Для всех элементов а из множества G существует элемент e из этого множества, такой, что (е называется единичным элементом группы).

3. Для каждого элемента а для множества G существует элемент а-1 из этого из этого множества, такой, что (а-1 называется обратным элементом к элементу а).

Рассмотрев таблицу Кэли для множества C3V, можно убедиться, что множество операций симметрии молекулы аммиака является группой относительно введенной нами операции умножения в этом множестве.

Определение 3. Подмножество H группы G называется подгруппой группы G, если H само является группой относительно операции, введенной в группе G.

Для проверки того, что H является подгруппой группы G, надо проверить два условия: произведение двух элементов из Н снова принадлежит Н и вместе с элементом h обратный к нему элемент из группы G (он должен существовать) также принадлежит Н. В самом деле, тогда ; ассоциативность же умножения, будучи верной во всей группе G, будет иметь место и в подгруппе Н.

Теорема 1. Множество всех операций симметрии молекулы является группой. Эта группа является подгруппой симметрической группы перестановок фигуры, изображающей геометрическую модель молекулы.

Определение 4. Группой симметрии молекулы называется множество S всех операций симметрии молекулы, на котором введена структура группы относительно умножения операций симметрии молекулы.