2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Автоморфизмы прямой суммы групп
Сообщение24.12.2015, 23:04 
Аватара пользователя
Здравствуйте.
Была задача найти группу автоморфизмов группы $Z_{3} \bigoplus Z_{3}$. Я доказал , что она изоморфна $GL(Z_{3})$ и состоит из 48 элементов . Теперь задача состоит в том, чтобы найти автоморфизм порядка 9. Получается нужно найти матрицу два на два над $Z_{3}$, чтобы в 9 степени она равнялась единичной матрице. Только как это сделать не приложу ума. Может кто-то знает ?

 
 
 
 Re: Автоморфизмы прямой суммы групп
Сообщение24.12.2015, 23:16 
Аватара пользователя
48 не делится на 9

 
 
 
 Re: Автоморфизмы прямой суммы групп
Сообщение24.12.2015, 23:16 
Аватара пользователя
Разве не проще задавать автоморфизм на образующих абелевой группы?

 
 
 
 Re: Автоморфизмы прямой суммы групп
Сообщение24.12.2015, 23:20 
Аватара пользователя
Brukvalub в сообщении #1085590 писал(а):
Разве не проще задавать автоморфизм на образующих абелевой группы?
Так это же оно и есть.

 
 
 
 Re: Автоморфизмы прямой суммы групп
Сообщение24.12.2015, 23:23 
Аватара пользователя
Xaositect
Ах да ... порядок элемента же должен делить порядок группы. :facepalm:
А если надо было бы найти элемент порядка 8 ?

 
 
 
 Re: Автоморфизмы прямой суммы групп
Сообщение24.12.2015, 23:40 
Аватара пользователя
В добавление к мной сказанному: разве не проще для задания автоморфизма просто указать, в какие элементы группы переходят образующие, не привлекая матрицы?

 
 
 
 Re: Автоморфизмы прямой суммы групп
Сообщение25.12.2015, 14:42 
Аватара пользователя
Brukvalub
Образующие должны переходить в образующие.
$
x \mapsto ax + by $
$
 y \mapsto cx + dy 
$
, где
$ x=(1,0)$
$ y=(0,1)$
и матрица составленная из $a,b,c,d$ должна быть невырожденной (может кто объяснить почему?) то есть определитель должен быть не равен нулю по модулю 3. Таких матриц 48.

 
 
 [ Сообщений: 7 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group