2014 dxdy logo

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

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




 
 Найти все нормальные подгруппы и факторгруппы по ним
Сообщение08.07.2012, 02:23 
Найти все нормальные подгруппы и факторгруппы по ним у группы : $\mathbb{Z}_2 \times \mathbb{Z}_2 $

Пусть $\mathbb{Z}_2 \times \mathbb{Z}_2  : {e_1 , a} \times {e_2, b}$

$\mathbb{Z}_2 \times \mathbb{Z}_2  : (e_1, e_2) ; (e_1, b) ; (a,e_2) ; (a,b) $

Подгруппы у неё:
$H_1 :  (e_1 , e_2)  $
$H_2 :  (e_1 , e_2) ; (a , b)  $
$H_3 :  (e_1 , e_2) ; (e_1 , b)  $
$H_4 :  (e_1 , e_2) ; (a , e_2 ) $
$H_5 : (e_1, e_2) ; (e_1, b) ; (a,e_2) ; (a,b)$

А как дальше?

хм, а группа $\mathbb{Z}_2 \times \mathbb{Z}_2 $ Коммутативная? Если да то все подгруппы являются нормальными. А как дальше?

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение08.07.2012, 08:34 
Аватара пользователя
http://ru.wikipedia.org/wiki/Четверная_группа_Клейна

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение08.07.2012, 14:49 
Четвертая группа Клейна является прямым произведением циклических групп второго порядка $\mathbb{C}_2 \times \mathbb{C}_2$.

Группа Клейна является конечной коммутативной группой.

$\mathbb{Z}_2 \times \mathbb{Z}_2$ изоморфна $\mathbb{Z}_4$
А $\mathbb{C}_2 \times \mathbb{C}_2$ изоморфна $\mathbb{Z}_4$ значит и $\mathbb{Z}_2 \times \mathbb{Z}_2$.
А дальше?

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение08.07.2012, 14:55 
nglain в сообщении #593438 писал(а):
$\mathbb{Z}_2 \times \mathbb{Z}_2$ изоморфна $\mathbb{Z}_4$

Упражнение: докажите, что $\mathbb{Z}_2\times\mathbb{Z}_2$ не изоморфна $\mathbb{Z}_4$.

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение08.07.2012, 16:06 
apriv в сообщении #593447 писал(а):
Упражнение: докажите, что $\mathbb{Z}_2\times\mathbb{Z}_2$ не изоморфна $\mathbb{Z}_4$.


Пусть $\mathbb{Z}_2 : e_1 , a$
$  \mathbb{Z'}_2 : e_2 , b$
$ \mathbb{Z}_4 : e , c, c^2 , c^3$
Найдем порядок элемента $A=(a,b)$
$ c^2 = (a^2 , b^2 ) = (e_1 , e_2)$
Следовательно порядок элемента c не может быть выше 2.
Значит $\mathbb{Z}_2\times\mathbb{Z'}_2$ не изоморфна $\mathbb{Z}_4$.
Так можно доказать?

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение09.07.2012, 05:19 
Аватара пользователя
Так ведь группа же абелева! Значит, все подгруппы будут нормальными.

К тому же всего 4 элемента в группе. И, значит, тупой перебор годится. Ясно, что есть одна подгруппа индекса 4, три подгруппы индекса 2 и одна подгруппа индекса 1. И фсё...

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение09.07.2012, 13:13 
Профессор Снэйп,
Да но, как найти факторгруппы по ним?

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение09.07.2012, 16:13 
Аватара пользователя
По их порядку :D

Фактор по нулевой подгруппе, очевидно, изоморфен исходной группе. Фактор-группа по самой себе, очевидно, изоморфна нулевой (или единичной) группе.

Остаётся три фактора по подгруппам индекса 2. Несложно убедиться, что существует единственная (с точностью до изоморфизма) двухэлементная группа.

-- Пн июл 09, 2012 19:26:24 --

apriv в сообщении #593447 писал(а):
nglain в сообщении #593438 писал(а):
$\mathbb{Z}_2 \times \mathbb{Z}_2$ изоморфна $\mathbb{Z}_4$

Упражнение: докажите, что $\mathbb{Z}_2\times\mathbb{Z}_2$ не изоморфна $\mathbb{Z}_4$.


Ну вот зачем издеваться над ТС?

В одной группе есть элемент порядка $4$, в другой нет...

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение09.07.2012, 16:41 
найдем факторгруппу по подгруппе $H_2 : (e_1, e_2) ; (a, b)$.
Факторгруппа характеризуется смежными классами, для определенности найдем все левые смежные классы по подгруппе $H_2$:
1) $\mathbb{Z}_2 \times \mathbb{Z}_2$
2) ${ (a,b);(a,bb),(b,aa)(aa,bb)}$ = исходной группе ведь так?

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение09.07.2012, 17:46 
Аватара пользователя
Ой! Вы тут многабукафф написали, в которых я, если чё, ничерта не понимаю!

Но вообще всё довольнго просто. В $\mathbb{Z}_2^2$ ровно три подгруппы индекса $2$, каждая из них главная и порождается соответствующим элементом порядка $2$. А фактор-группа - это разбиение всей $\mathbb{Z}_2^2$ на две части... в одной из частей ноль и единственный элемент подгруппы, в другой всё остальное. Мне казалось, что всё это настолько прозрачно... Нафига Вы нас мучаете, скажите честно! Я не верю в то, что ситуация Вам ещё не ясна с предельной отчётливостью восприятия.

 
 
 
 Re: Найти все нормальные подгруппы и факторгруппы по ним
Сообщение10.07.2012, 00:18 
все, разобрался, спасибо

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


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