2014 dxdy logo

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

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




 
 Конечная простая абелева группа циклична
Сообщение07.10.2010, 09:45 
Добрый день!

Мне понадобилось восстановить доказательство, которое во всех учебниках считается очевидным:
Конечная простая абелева группа G является циклической.
Я придумал следующее:
Если $G = \{e\}$, то она циклическая.
Если $G\neq \{e\}$, то $\exists a \in G, a \neq e$.
Рассмотрим множество степеней: $H=\{e, a^1, a^2, ...\}$, оно конечно (поскольку сама G конечна), замкнуто относительно умножения, поэтому является подгруппой. Но G - простая, следовательно у нее нет других подгрупп, кроме {e} и самой G.
Так как $H \neq \{e\}$, то $H = G$. И понятно, что H - циклическая.

Но вот что меня смущает: здесь вроде не используется абелевость. Что мешает мне применить те же рассуждения к неабелевой конечной простой группе, например $A_n, n \ge 5$? Так и она станет циклической, что вроде бы неверно.
Не могу понять, где важна абелевость или может доказательство неверно?

 
 
 
 Re: Конечная простая абелева группа циклична
Сообщение07.10.2010, 09:59 
G-простая если у нее нет нормальных подгрупп кроме {e} и самой G.

 
 
 
 Re: Конечная простая абелева группа циклична
Сообщение07.10.2010, 11:11 
Отлично, спасибо!

Теперь я понял: в абелевой группе любая подгруппа нормальна (всегда $aH = Ha$), а в неабелевой некоторые подгруппы могут быть ненормальны

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


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