Приведем пример симметрической группы подстановок как модели психических явлений эмоциональной сферы личности. В отечественной психологии распространено представление о существовании четырех базовых эмоциональных состояний: радости, гнева, страха и печали. Будем считать, что в любой момент времени человек находится в одном из указанных состояний, интенсивность переживания эмоций может быть, конечно, различной: от сильного гнева до едва осознаваемой раздражительности, от сильной радости до удовлетворенности – нас это сейчас не интересует. Важно, что с течением времени человек переходит из одного эмоционального состояния в другое. Таким образом, динамика эмоциональной жизни человека представляет собой подстановку, а множество возможных эмоциональных состояний есть симметрическая группа порядка 4. Эта группа является конечной и содержит 24 различных подстановки. Это число, однако, слишком велико для того, чтобы использовать эту группу для типологии эмоциональности личности. Действительно, в экспериментальном исследовании, проведенном с помощью специально разработанной нами методики на основе нижеописанной модели, выяснилось, что число типов (подстановок), которые с большей частотой встречаются среди людей, гораздо меньше. В дальнейшем анализе выяснилось, что чаще всего встречаются три следующих подстановки (обозначим эмоции начальными буквами):
Мы видим, что в каждой из этих подстановок пары эмоций образуют как бы независимые подстановки или циклы. Так, например, в первом случае гнев сменяет печаль, а печаль – гнев, точно так же, как радость – страх, а страх – радость. В таких случаях говорят, что подстановка допускает разложение на независимые циклы, цикл из двух элементов называется транспозицией. Для обозначения циклов используют запись: (ГП), (PC), а вся подстановка рассматривается как произведение циклов – (ГП)(РС). Отметим, что если подстановка не может быть разложена на независимые циклы, то она сама может рассматриваться как цикл. Этот факт используют для сокращенной записи подстановок. Так, например, уже использованная нами подстановка «
Рассмотрим теперь некоторое подмножество множества
Возвращаясь теперь к нашему примеру, предлагаем читателю показать, что если к трем указанным подстановкам: (ГП)(РС), (ГР)(ПС), (ГС)(ПР) добавить тождественную подстановку, то мы получим подгруппу симметрической группы порядка 4. Эта подгруппа называется четверной подгруппой Клейна. Кроме того, эта подгруппа является так называемой нормальной подгруппой. Для того чтобы ввести понятие нормальной подгруппы, нам необходимо предварительно определить понятие смежного класса. Пусть
следовательно, правый смежный класс совсем не всегда будет равен левому смежному классу по одной и той же подгруппе.
Если равенство (12) верно для любых двух элементов группы, то такая группа называется коммутативной или абелевой. Однако даже если сама группа