Восьмиэлементные ассоциативные кольца (стр. 2 из 3)
| 1®3 3®1 5®7 7®5 4®4 6®6 2®2 | 1®1 3®3 5®7 7®5 4®6 6®4 2®2 | 1®3 3®1 5®5 7®7 4®6 6®4 2®2 | 1®5 5®1 3®7 7®3 4®4 6®6 2®2 | 1®7 7®1 3®5 5®3 4®4 6®6 2®2 |
Колец с абелевой группой по сложению
будет 89, так как независимых элементов в полугруппе по умножению будет 9. Нужные нам кольца, мы будем искать аналогично предыдущему случаю. Только автоморфизмы данной группы мы будем искать другим способом. Заметим, что группа является трехмерным векторным пространством над полем Z2и базисом группы мы назовем любой ее базис, как векторное пространство над Z2. Данная группа задается некоторыми тремя элементами – базисом группы, а остальные элементы выражаются через данный базис. К примеру начальный базис: (1,2,3). Соответственно: 4=1+2, 5=1+3, 6=2+3, 7=1+2+3. Таким образом, количество всех базисов – это количество всевозможных упорядоченных троек из данных семи элементов, за исключением таких троек, которые базис не образуют, на пример: (1,2,4), так как 4=1+2. Количество всех базисов – это и будет количество всех автоморфизмов данной группы. Сначала найдем всевозможные неупорядоченные тройки из 7 элементов, которые образуют базис. Получим 28 таких троек. Чтобы найти все базисы, нужно каждую найденную тройку, упорядочить, т.е. 28·6. Таким образом получаем 168 различных базисов.§2. Кольца, образованные аддитивной группой 
Для нахождения колец, с абелевой группой по сложению мы будем использовать программу на языке Pascal (Приложение 1). Принцип работы программы следующий:
1) Находим все полугруппы по умножению, так, чтобы выполнялась дистрибутивность;
2) Проверяем каждую полугруппу на ассоциативность, и, соответственно, ненужные вычеркиваем;
3) Находим изоморфные кольца следующим образом: а) берем первую полугруппу по умножению и действуем на нее автоморфизмами для аддитивной абелевой группы; б) находим получившиеся полугруппы среди остальных, и вычеркиваем их из общего списка; в) затем берем следующую не вычеркнутую полугруппу и проделываем операции а)-б).
Поясним пункт а). Пусть f – автоморфизм группы . Берем мультипликативную полугруппу <A,·> соответствующего кольца, представленную таблицей Кэли. Тогда через <fA,*> обозначим мультипликативную полугруппу на , полученную следующим образом. Длялюбыхa,bÎ полагаемa*b=f(f –1(a)· f –1(b)). При этом кольца <A,·,+> и <fA,*,+> изоморфны.
Таким образом, мы получим 33 кольца с абелевой группой по сложению и мультипликативными полугруппами:
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 1 1 1 1
0 0 0 0 1 1 1 1
0 0 0 0 1 1 1 1
0 0 0 0 1 1 1 1
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 0 0 0 2 2 2 2
0 0 0 0 2 2 2 2
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 4 4 4 4
0 0 0 0 4 4 4 4
0 0 0 0 4 4 4 4
0 0 0 0 4 4 4 4
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 5 5 5 5
0 0 0 0 5 5 5 5
0 0 0 0 5 5 5 5
0 0 0 0 5 5 5 5
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 1 2 3 4 5 6 7
0 1 2 3 4 5 6 7
0 1 2 3 4 5 6 7
0 1 2 3 4 5 6 7
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 2 0 2 0 2 0 2
0 2 0 2 0 2 0 2
0 2 0 2 0 2 0 2
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 2 0 2 2 0 2 0
0 2 0 2 2 0 2 0
0 2 0 2 2 0 2 0
0 2 0 2 2 0 2 0
0 0 0 0 0 0 0 0
0 0 0 0 1 1 1 1
0 0 0 0 2 2 2 2
0 0 0 0 3 3 3 3
0 0 0 0 4 4 4 4
0 0 0 0 5 5 5 5
0 0 0 0 6 6 6 6
0 0 0 0 7 7 7 7
0 0 0 0 0 0 0 0
0 0 0 0 1 1 1 1
0 0 0 0 2 2 2 2
0 0 0 0 3 3 3 3
0 1 2 3 4 5 6 7
0 1 2 3 5 6 7 4
0 1 2 3 6 7 4 5
0 1 2 3 7 4 5 6
0 0 0 0 0 0 0 0
0 0 0 0 1 1 1 1
0 0 0 0 2 2 2 2
0 0 0 0 3 3 3 3
0 1 2 3 5 6 7 4
0 1 2 3 6 7 4 5
0 1 2 3 7 4 5 6
0 1 2 3 4 5 6 7
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 2 0 2 0 2 0 2
0 2 0 2 2 0 2 0
0 2 0 2 0 2 0 2
0 2 0 2 2 0 2 0
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 2 0 2 1 3 1 3
0 2 0 2 3 1 3 1
0 2 0 2 1 3 1 3
0 2 0 2 3 1 3 1
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 0 0 0 2 2 2 2
0 2 0 2 2 0 2 0
0 2 0 2 0 2 0 2
0 2 0 2 2 0 2 0
0 2 0 2 0 2 0 2
0 0 0 0 0 0 0 0
0 1 2 3 0 1 2 3
0 2 0 2 0 2 0 2
0 3 2 1 0 3 2 1
0 0 0 0 0 0 0 0
0 1 2 3 0 1 2 3
0 2 0 2 0 2 0 2
0 3 2 1 0 3 2 1
0 0 0 0 0 0 0 0
0 1 2 3 0 1 2 3
0 2 0 2 0 2 0 2
0 3 2 1 0 3 2 1
0 0 0 0 4 4 4 4
0 1 2 3 4 5 6 7
0 2 0 2 4 6 4 6
0 3 2 1 4 7 6 5
0 0 0 0 0 0 0 0
0 1 2 3 0 1 2 3
0 2 0 2 0 2 0 2
0 3 2 1 0 3 2 1
0 4 0 4 0 4 0 4
0 5 2 7 0 5 2 7
0 6 0 6 0 6 0 6
0 7 2 5 0 7 2 5
0 0 0 0 0 0 0 0
0 1 2 3 1 2 3 0
0 2 0 2 2 0 2 0
0 3 2 1 3 2 1 0
0 1 2 3 1 2 3 0
0 2 0 2 2 0 2 0
0 3 2 1 3 2 1 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 1 2 3 1 2 3 0
0 2 0 2 2 0 2 0
0 3 2 1 3 2 1 0
0 1 2 3 4 5 6 7
0 2 0 2 5 7 5 7
0 3 2 1 6 5 4 7
0 0 0 0 7 7 7 7
0 0 0 0 0 0 0 0
0 1 2 3 4 5 6 7
0 2 0 2 0 2 0 2
0 3 2 1 4 7 6 5
0 0 0 0 0 0 0 0
0 1 2 3 4 5 6 7
0 2 0 2 0 2 0 2
0 3 2 1 4 7 6 5
0 0 0 0 0 0 0 0
0 1 2 3 4 5 6 7
0 2 0 2 0 2 0 2
0 3 2 1 4 7 6 5
0 4 0 4 0 4 0 4
0 5 2 7 4 1 6 3
0 6 0 6 0 6 0 6
0 7 2 5 4 3 6 1
0 0 0 0 0 0 0 0
0 1 2 3 4 5 6 7
0 2 0 2 0 2 0 2
0 3 2 1 4 7 6 5
0 4 0 4 2 6 2 6
0 5 2 7 6 3 4 1
0 6 0 6 2 4 2 4
0 7 2 5 6 1 4 3
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 0 0 0 4 4 4 4
0 2 0 2 4 6 4 6
0 0 0 0 4 4 4 4
0 2 0 2 4 6 4 6
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 0 0 0 0 0 0 0
0 2 0 2 0 2 0 2
0 2 0 2 2 0 2 0
0 0 0 0 2 2 2 2
0 2 0 2 2 0 2 0
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 2 0 2 1 3 1 3
0 0 0 0 2 2 2 2
0 2 0 2 3 1 3 1
0 1 2 3 4 5 6 7
0 3 2 1 5 4 7 6
0 1 2 3 6 7 4 5
0 3 2 1 7 6 5 4
0 0 0 0 0 0 0 0
0 2 0 2 2 0 2 0
0 0 0 0 0 0 0 0
0 2 0 2 2 0 2 0
0 2 0 2 0 2 0 2
0 0 0 0 2 2 2 2
0 2 0 2 0 2 0 2
0 0 0 0 2 2 2 2
0 0 0 0 0 0 0 0
0 2 0 2 2 0 2 0
0 0 0 0 0 0 0 0
0 2 0 2 2 0 2 0
0 2 0 2 5 7 5 7
0 0 0 0 7 7 7 7
0 2 0 2 5 7 5 7
0 0 0 0 7 7 7 7
0 0 0 0 0 0 0 0
0 2 0 2 3 1 3 1
0 0 0 0 2 2 2 2
0 2 0 2 1 3 1 3
0 3 2 1 5 4 7 6
0 1 2 3 4 5 6 7
0 3 2 1 7 6 5 4
0 1 2 3 6 7 4 5
0 0 0 0 0 0 0 0
0 4 0 4 0 4 0 4
0 0 0 0 0 0 0 0
0 4 0 4 0 4 0 4
0 0 0 0 0 0 0 0
0 4 0 4 0 4 0 4
0 0 0 0 0 0 0 0
0 4 0 4 0 4 0 4
0 0 0 0 0 0 0 0
0 4 0 4 2 6 2 6
0 0 0 0 0 0 0 0
0 4 0 4 2 6 2 6
0 2 0 2 0 2 0 2
0 6 0 6 2 4 2 4
0 2 0 2 0 2 0 2
0 6 0 6 2 4 2 4
0 0 0 0 0 0 0 0
0 4 0 4 6 2 6 2
0 0 0 0 0 0 0 0
0 4 0 4 6 2 6 2
0 6 0 6 6 0 6 0
0 2 0 2 0 2 0 2
0 6 0 6 6 0 6 0
0 2 0 2 0 2 0 2
§3. Кольца, образованные аддитивной группой
Для нахождения колец с данной группой по сложению использовалась программа на языке Pascal (Приложение 2). Принцип действия данной программы, аналогичен принципу, описанному в предыдущем параграфе. Добавляется только пункт по нахождению всех базисов данной аддитивной группы.
Всего колец с аддитивной группой будет 355. Выпишем некоторые из них:
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 1 0 1 1 1
0 0 0 0 0 0 0 0
0 0 0 1 0 1 1 1
0 0 0 1 0 1 1 1
0 0 0 1 0 1 1 1
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 3 0 3 3 3
0 0 0 0 0 0 0 0
0 0 0 3 0 3 3 3
0 0 0 3 0 3 3 3
0 0 0 3 0 3 3 3
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 1 0 1 0 1 1
0 0 0 0 0 0 0 0
0 0 1 0 1 0 1 1
0 0 1 0 1 0 1 1
0 0 1 0 1 0 1 1
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 1 1 1 1 0 0
0 0 0 0 0 0 0 0
0 0 1 1 1 1 0 0
0 0 1 1 1 1 0 0
0 0 1 1 1 1 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 2 3 2 3 6 6
0 0 0 0 0 0 0 0
0 0 2 3 2 3 6 6
0 0 2 3 2 3 6 6
0 0 2 3 2 3 6 6
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 2 5 2 5 7 7
0 0 0 0 0 0 0 0
0 0 2 5 2 5 7 7
0 0 2 5 2 5 7 7
0 0 2 5 2 5 7 7