Гомоморфизмы и нормальные подгруппы. Факторгруппы, центр
[52/77%]Доказать, что подгруппа группы нормальна, если:
— коммутативная группа, — любая её подгруппа;
— подгруппа матриц с определителем, равным 1 ;
;
;
— группа невырожденных комплексных верхнетреугольных матриц, — группа матриц вида
Будет ли нормальной подгруппой в группе множество всех матриц вида
где числа нечётны, а числа чётны?
Доказать, что любая подгруппа индекса 2 является нормальной.
Найти все нормальные подгруппы, отличные от единичной и от всей группы в группах:
;
;
.
На примере группы показать, что нормальная подгруппа нормальной подгруппы группы не обязательно является нормальной в .
Пусть и — нормальные подгруппы группы и единичная подгруппа. Доказать, что для любых .
Пусть — подгруппа в индекса — класс сопряжённых в элементов и . Доказать, что является либо классом сопряжённых в элементов, либо объединением двух классов сопряжённых в элементов, состоящих из одинакового числа элементов.
Доказать, что факторгруппа не является циклической.
Найти число классов сопряжённости в группе и число элементов в каждом из классов.
Доказать, что группа является простой.
Доказать, что в группе кватернионов любая подгруппа является нормальной.
Найти центр и все классы сопряжённости в группе .
Доказать, что комплексные матрицы
\begin{array}{ll} \pm E= \pm \left[\begin{smallmatrix} 1 & 0 \\ 0 & 1 \end{array}, I= i 0 0 -i J= 0 1 -1 0 , K= 0 i i 0
относительно умножения матриц образуют группу, изоморфную .
Найти все нормальные подгруппы в группе диэдра .
Пусть — поле и — подгруппа в , содержащая . Доказать, что нормальна в .
Сопоставим каждой матрице дробнолинейное преобразование
Найти ядро этого гомоморфизма.
Доказать, что ядро любого гомоморфизма группы в аддитивную группу является бесконечной группой.
Пусть — натуральные числа и подмножество в , состоящее из матриц вида , где целочисленная квадратная матрица размера . Доказать, что:
— нормальная подгруппа в ;
если — простое число, то
группа не содержит элементов конечного порядка при ;
если — конечная подгруппа в , то порядок делит
Доказать, что для любой группы множество всех внутренних автоморфизмов является нормальной подгруппой в группе Aut всех автоморфизмов группы .
Доказать, что любая подгруппа, содержащая коммутант группы, нормальна.
Найти центр группы:
;
;
.
Пусть группа порождена элементами , причём
Доказать, что элемент лежит в центре группы .
Доказать, что центр группы порядка , где — простое число , содержит более одного элемента.
Пусть — множество верхних унитреугольных матриц порядка 3 с элементами из поля .
Доказать, что — некоммутативная группа порядка относительно умножения.
Найти центр группы .
Найти все классы сопряжённых элементов группы .
Найти центр группы:
;
;
;
;
;
;
верхнетреугольных матриц.
Найти центр:
группы всех дробно-линейных преобразований комплексной плоскости;
группы всех преобразований единичного круга из задачи 24.25.
Доказать, что группа является гомоморфным образом конечной циклической группы тогда и только тогда, когда также циклическая, и её порядок делит порядок группы .
Доказать, если группа гомоморфно отображена на группу , причём , то:
порядок делится на порядок ;
порядок делится на порядок .
Найти все гомоморфные отображения:
;
;
;
;
.
Доказать, что аддитивную группу рациональных чисел нельзя гомоморфно отобразить на аддитивную группу целых чисел.
Найти факторгруппы:
;
;
;
.
Пусть — аддитивная группа -мерного линейного пространства над полем и — подгруппа векторов -мерного подпространства. Доказать, что факторгруппа изоморфна .
Пусть — множество чисел с аргументами вида . Доказать, что:
;
;
;
;
;
;
;
.
Пусть
Доказать, что:
;
;
;
;
;
.
Пусть — группа аффинных преобразований -мерного пространства, — подгруппа параллельных переносов, — подгруппа преобразований, оставляющих неподвижной данную точку . Доказать, что:
является нормальной подгруппой в ;
.
Доказать, что факторгруппа группы по нормальной подгруппе изоморфна группе .
Доказать, что если — подгруппа индекса в группе , то содержит некоторую нормальную в подгруппу, индекс которой в делит .
Доказать, что подгруппа, индекс которой является наименьшим простым делителем порядка группы, нормальна.
Доказать, что факторгруппа группы по её центру изоморфна группе .
Доказать, что в группе :
каждый элемент имеет конечный порядок;
для каждого натурального имеется в точности одна подгруппа порядка .
Доказать, что группа внутренних автоморфизмов группы изоморфна факторгруппе группы по её центру.
Доказать, что факторгруппа некоммутативной группы по её центру не может быть циклической.
Доказать, что группа порядка , где — простое число, коммутативна.
Доказать, что группа всех автоморфизмов некоммутативной группы не может быть циклической.
Найти число классов сопряжённости и число элементов в каждом классе для некоммутативной группы порядка , где простое число.
Подгруппа называется максимальной в группе , если и любая подгруппа, содержащая , совпадает с или . Доказать, что:
пересечение любых двух различных максимальных коммутативных подгрупп содержится в центре группы;
во всякой конечной простой некоммутативной группе найдутся две различные максимальные подгруппы, пересечение которых содержит более одного элемента;
во всякой конечной простой некоммутативной группе существует собственная некоммутативная подгруппа.
Доказать, что факторгруппа по её центру изоморфна .
Доказать, что всякая конечная подгруппа в является подгруппой одной из следующих групп: .
Пусть — поле, и — нормальная подгруппа в . Доказать, что либо , либо состоит из скалярных матриц.
Пусть — поле, содержащее не менее четырех элементов и — нормальная подгруппа в . Доказать, что либо , либо состоит из скалярных матриц.
Доказать, что .
Найти все нормальные подгруппы в .
Пусть — нормальная подгруппа конечного индекса в . Тогда существует такое натуральное число , что .
Пусть — поле, и — автоморфизм группы . Доказать, что существует такой гомоморфизм групп и автоморфизм поля , что либо
либо
где .