.01 Алгебра. Теория групп.

Поскольку - циклическая, то все однозначно определяется тем, куда перейдет её порождающий элемент 1.

Действительно, если , то для любого , если мы хотим, чтобы было гомоморфизмом, должно быть выполнено

То есть все однозначно определяется - образом единицы.

Куда же можно отправить эту единицу, то есть чему может быть равно ?

Ну, заметим, что для , а по свойству порядка при гомоморфизме должен делить . Таким образом, может быть равно 1, 2, 3 или 6.

Получаем 6 разных гомоморфизмов, так как по сути 1 можно отправить куда угодно:

1. и это тогда нулевой гомоморфизм - все отображается в ноль;

2. , так как 2 - это элемент порядка 3 в , тогда ;

3. , так как 3 - это элемент порядка 2 в , тогда ;

4. , так как 4 - это элемент порядка 3 в , тогда ;

5. , так как 5 - это элемент порядка 6 в ,тогда ;

6. , тогда ;