58

Гомоморфизмы и нормальные подгруппы. Факторгруппы, центр

[52/77%]
Показать
LaTeX
Задача 58.1

Доказать, что подгруппа HH группы GG нормальна, если:

?
(а)

GG — коммутативная группа, HH — любая её подгруппа;

(б)

G=GLn(R),HG=\mathbf{G} \mathbf{L}_{n}(\mathbb {R}), H — подгруппа матриц с определителем, равным 1 ;

(в)

G=Sn,H=AnG=\mathbf{S}_{n}, \quad H=\mathbf{A}_{n};

(г)

G=S4,H=V4G=\mathbf{S}_{4}, \quad H=\mathbf{V}_{4};

(д)

GG — группа невырожденных комплексных верхнетреугольных матриц, HH — группа матриц вида

E+∑1⩽i<j⩽nj−i⩾kαijEij,αij∈C E+\sum _{\substack {1 \leqslant i<j \leqslant n \\ j-i \geqslant k}} \alpha _{i j} E_{i j}, \quad \alpha _{i j} \in \mathbb {C}
Задача 58.2

Будет ли нормальной подгруппой в группе GLn(Z)\mathbf{G L}_{n}(\mathbb {Z}) множество всех матриц вида

[abcd] \left[\begin{smallmatrix} a & b \\ c & d \end{smallmatrix}\right]

где числа a,da, d нечётны, а числа b,cb, c чётны?

?
Задача 58.3

Доказать, что любая подгруппа индекса 2 является нормальной.

?
Задача 58.4

Найти все нормальные подгруппы, отличные от единичной и от всей группы в группах:

?
(а)

S3\mathbf{S}_{3};

(б)

A4\mathbf{A}_{4};

(в)

S4S_{4}.

Задача 58.5

На примере группы A4\mathbf{A}_{4} показать, что нормальная подгруппа KK нормальной подгруппы HH группы GG не обязательно является нормальной в GG.

?
Задача 58.6

Пусть AA и BB — нормальные подгруппы группы GG и A∩BA \cap B единичная подгруппа. Доказать, что xy=yxx y=y x для любых x∈A,y∈Bx \in A, y \in B.

?
Задача 58.7

Пусть HH — подгруппа в GG индекса 2,C2, C — класс сопряжённых в GG элементов и C⊂HC \subset H. Доказать, что CC является либо классом сопряжённых в HH элементов, либо объединением двух классов сопряжённых в HH элементов, состоящих из одинакового числа элементов.

?
Задача 58.8

Доказать, что факторгруппа R∗/Q∗\mathbb {R}^{*} / \mathbb {Q}^{*} не является циклической.

?
Задача 58.9

Найти число классов сопряжённости в группе A5\mathbf{A}_{5} и число элементов в каждом из классов.

?
Задача 58.10

Доказать, что группа A5\mathbf{A}_{5} является простой.

?
Задача 58.11
?
(а)

Доказать, что в группе кватернионов Q8\mathbf{Q}_{8} любая подгруппа является нормальной.

(б)

Найти центр и все классы сопряжённости в группе Q8\mathbf{Q}_{8}.

(в)

Доказать, что комплексные матрицы

\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

относительно умножения матриц образуют группу, изоморфную Q8\mathbf{Q}_{8}.

Задача 58.12

Найти все нормальные подгруппы в группе диэдра Dn\mathbf{D}_{n}.

?
Задача 58.13

Пусть FF — поле и GG — подгруппа в GLn(F)\mathbf{G} \mathbf{L}_{n}(F), содержащая SLn(F)\mathbf{S L}_{n}(F). Доказать, что GG нормальна в GLn(F)\mathbf{G} \mathbf{L}_{n}(F).

?
Задача 58.14

Сопоставим каждой матрице (acbd)∈GL2(C)\left(\begin{array}{ll}a & c \\ b & d\end{array}\right) \in \mathbf{G L}_{2}(\mathbb {C}) дробнолинейное преобразование

f(z)=az+bcz+d f(z)=\frac{a z+b}{c z+d}

Найти ядро этого гомоморфизма.

?
Задача 58.15

Доказать, что ядро любого гомоморфизма группы C∗\mathbb {C}^{*} в аддитивную группу R\mathbb {R} является бесконечной группой.

?
Задача 58.16

Пусть n,m⩾2n, m \geqslant 2 — натуральные числа и SLn(Z;mZ)\mathbf{S L}_{n}(\mathbb {Z} ; m \mathbb {Z}) подмножество в SLn(Z)\mathbf{S L}_{n}(\mathbb {Z}), состоящее из матриц вида E+XmE+X m, где XX целочисленная квадратная матрица размера nn. Доказать, что:

?
(а)

SLn(Z;mZ)\mathbf{S L}_{n}(\mathbb {Z} ; m \mathbb {Z}) — нормальная подгруппа в SLn(Z)\mathbf{S L}_{n}(\mathbb {Z});

(б)

если m=pm=p — простое число, то

SLn(Z)/SLn(Z;pZ)≃SLn(Zp); \mathbf{S L}_{n}(\mathbb {Z}) / \mathbf{S} \mathbf{L}_{n}(\mathbb {Z} ; p \mathbb {Z}) \simeq \mathbf{S L}_{n}\left(\mathbb {Z}_{p}\right) ;
(в)

группа SLn(Z;mZ)\mathbf{S L}_{n}(\mathbb {Z} ; m \mathbb {Z}) не содержит элементов конечного порядка при m⩾3m \geqslant 3;

(г)

если GG — конечная подгруппа в SLn(Z)\mathbf{S L}_{n}(\mathbb {Z}), то порядок GG делит

12(3n−1)(3n−3)…(3n−3n−1) \frac{1}{2}\left(3^{n}-1\right)\left(3^{n}-3\right) \ldots \left(3^{n}-3^{n-1}\right)
Задача 58.17

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

?
Задача 58.18

Доказать, что любая подгруппа, содержащая коммутант группы, нормальна.

?
Задача 58.19

Найти центр группы:

?
(а)

Sn\mathbf{S}_{n};

(б)

An\mathbf{A}_{n};

(в)

Dn\mathbf{D}_{n}.

Задача 58.20

Пусть группа GG порождена элементами a,ba, b, причём

a2=b2=(ab)4=1 a^{2}=b^{2}=(a b)^{4}=1

Доказать, что элемент (ab)2(a b)^{2} лежит в центре группы GG.

?
Задача 58.21

Доказать, что центр группы порядка pnp^{n}, где pp — простое число (n∈N)(n \in \mathbb {N}), содержит более одного элемента.

?
Задача 58.22

Пусть GG — множество верхних унитреугольных матриц порядка 3 с элементами из поля Zp\mathbf{Z}_{p}.

?
(а)

Доказать, что GG — некоммутативная группа порядка p3p^{3} относительно умножения.

(б)

Найти центр группы GG.

(в)

Найти все классы сопряжённых элементов группы GG.

Задача 58.23

Найти центр группы:

?
(а)

GLn(R)\mathbf{G} \mathbf{L}_{n}(\mathbb {R});

(б)

O2(R)\mathbf{O}_{2}(\mathbb {R});

(в)

SO2(R)\mathbf{S O}_{2}(\mathbb {R});

(г)

SO3(R)\mathbf{S O}_{3}(\mathbb {R});

(д)

SU2(C)\mathrm{SU}_{2}(\mathbb {C});

(е)

SUn(C)\mathbf{S U}_{n}(\mathbb {C});

(ж)

верхнетреугольных матриц.

Задача 58.24

Найти центр:

?
(а)

группы всех дробно-линейных преобразований комплексной плоскости;

(б)

группы всех преобразований единичного круга из задачи 24.25.

Задача 58.25

Доказать, что группа HH является гомоморфным образом конечной циклической группы GG тогда и только тогда, когда HH также циклическая, и её порядок делит порядок группы GG.

?
Задача 58.26

Доказать, если группа GG гомоморфно отображена на группу HH, причём a↦a′a \mapsto a^{\prime }, то:

?
(а)

порядок aa делится на порядок a′a^{\prime };

(б)

порядок GG делится на порядок HH.

Задача 58.27

Найти все гомоморфные отображения:

?
(а)

Z6→Z6\mathbf{Z}_{6} \rightarrow \mathbf{Z}_{6};

(б)

Z6→Z18\mathbf{Z}_{6} \rightarrow \mathbf{Z}_{18};

(в)

Z18→Z6\mathbf{Z}_{18} \rightarrow \mathbf{Z}_{6};

(г)

Z12→Z15\mathbf{Z}_{12} \rightarrow \mathbf{Z}_{15};

(д)

Z6→Z25\mathbf{Z}_{6} \rightarrow \mathbf{Z}_{25}.

Задача 58.28

Доказать, что аддитивную группу рациональных чисел нельзя гомоморфно отобразить на аддитивную группу целых чисел.

?
Задача 58.29

Найти факторгруппы:

?
(а)

Z/nZ\mathbb {Z} / n \mathbb {Z};

(б)

U12/U3\mathbf{U}_{12} / \mathbf{U}_{3};

(в)

4Z/12Z4 \mathbb {Z} / 12 \mathbb {Z};

(г)

R∗/R+\mathbb {R}^{*} / \mathbb {R}_{+}.

Задача 58.30

Пусть FnF^{n} — аддитивная группа nn-мерного линейного пространства над полем FF и HH — подгруппа векторов kk-мерного подпространства. Доказать, что факторгруппа Fn/HF^{n} / H изоморфна Fn−kF^{n-k}.

?
Задача 58.31

Пусть HnH_{n} — множество чисел с аргументами вида 2πk/n2 \pi k / n (k∈Z)(k \in \mathbb {Z}). Доказать, что:

?
(а)

R/Z≃U\mathbb {R} / \mathbb {Z} \simeq \mathrm{U};

(б)

C∗/R∗≃U\mathbb {C}^{*} / \mathbb {R}^{*} \simeq \mathrm{U};

(в)

C∗/U≃R+\mathbb {C}^{*} / \mathbf{U} \simeq \mathbb {R}_{+};

(г)

U/Un≃U\mathbf{U} / \mathbf{U}_{n} \simeq \mathbf{U};

(д)

C∗/Un≃C∗\mathbb {C}^{*} / \mathrm{U}_{n} \simeq \mathbb {C}^{*};

(е)

C∗/Hn≃U\mathbb {C}^{*} / H_{n} \simeq \mathbf{U};

(ж)

Hn/R+≃UnH_{n} / \mathbb {R}_{+} \simeq \mathbf{U}_{n};

(з)

Hn/Un≃R+H_{n} / \mathbf{U}_{n} \simeq \mathbb {R}_{+}.

Задача 58.32

Пусть

G=GLn(R),H=GLn(C),P=SLn(R),Q=SLn(C)A={X∈G∣∣det⁡X∣=1},B={X∈H∣∣det⁡X∣=1}B={X∈G∣det⁡X>1},N={X∈H∣det⁡X>0} \begin{aligned} G=\mathbf{G L}_{n}(\mathbb {R}), \quad H=\mathbf{G L}_{n}(\mathbb {C}), & & P=\mathbf{S L}_{n}(\mathbb {R}), \quad Q=\mathbf{S L}_{n}(\mathbb {C}) \\ A=\left\{ X \in G| | \operatorname {det} X \mid =1\right\} , & & B=\left\{ X \in H| | \operatorname {det} X \mid =1\right\} \\ B=\left\{ X \in G \mid \operatorname {det} X>1\right\} , & & N=\left\{ X \in H \mid \operatorname {det} X>0\right\} \end{aligned}

Доказать, что:

?
(а)

G/P≃R∗G / P \simeq \mathbb {R}^{*};

(б)

H/Q≃C∗H / Q \simeq \mathbb {C}^{*};

(в)

G/(N∩G)≃Z2G /(N \cap G) \simeq \mathbf{Z}_{2};

(г)

H/N≃UH / N \simeq \mathbf{U};

(д)

G/A≃R+G / A \simeq \mathbb {R}_{+};

(е)

H/B≃R+H / B \simeq \mathbb {R}_{+}.

Задача 58.33

Пусть GG — группа аффинных преобразований nn-мерного пространства, HH — подгруппа параллельных переносов, KK — подгруппа преобразований, оставляющих неподвижной данную точку OO. Доказать, что:

?
(а)

HH является нормальной подгруппой в GG;

(б)

G/H≃KG / H \simeq K.

Задача 58.34

Доказать, что факторгруппа группы S4\mathbf{S}_{4} по нормальной подгруппе {e,(12)(34),(13)(24),(14)(23)}\left\{ e,(12)(34),(13)(24),(14)(23)\right\} изоморфна группе S3\mathbf{S}_{3}.

?
Задача 58.35

Доказать, что если HH — подгруппа индекса kk в группе GG, то HH содержит некоторую нормальную в GG подгруппу, индекс которой в GG делит k!k!.

?
Задача 58.36

Доказать, что подгруппа, индекс которой является наименьшим простым делителем порядка группы, нормальна.

?
Задача 58.37

Доказать, что факторгруппа группы GL2(Z3)\mathbf{G} \mathbf{L}_{2}\left(\mathbf{Z}_{3}\right) по её центру изоморфна группе S4\mathbf{S}_{4}.

?
Задача 58.38

Доказать, что в группе Q/Z\mathbb {Q} / \mathbb {Z} :

?
(а)

каждый элемент имеет конечный порядок;

(б)

для каждого натурального nn имеется в точности одна подгруппа порядка nn.

Задача 58.39

Доказать, что группа внутренних автоморфизмов группы GG изоморфна факторгруппе группы GG по её центру.

?
Задача 58.40

Доказать, что факторгруппа некоммутативной группы по её центру не может быть циклической.

?
Задача 58.41

Доказать, что группа порядка p2p^{2}, где pp — простое число, коммутативна.

?
Задача 58.42

Доказать, что группа всех автоморфизмов некоммутативной группы не может быть циклической.

?
Задача 58.43

Найти число классов сопряжённости и число элементов в каждом классе для некоммутативной группы порядка p3p^{3}, где pp простое число.

?
Задача 58.44

Подгруппа HH называется максимальной в группе GG, если H≠GH \neq G и любая подгруппа, содержащая HH, совпадает с HH или GG. Доказать, что:

?
(а)

пересечение любых двух различных максимальных коммутативных подгрупп содержится в центре группы;

(б)

во всякой конечной простой некоммутативной группе найдутся две различные максимальные подгруппы, пересечение которых содержит более одного элемента;

(в)

во всякой конечной простой некоммутативной группе существует собственная некоммутативная подгруппа.

Задача 58.45

Доказать, что факторгруппа SL2(Z5)\mathbf{S L}_{2}\left(\mathbf{Z}_{5}\right) по её центру изоморфна A5\mathbf{A}_{5}.

?
Задача 58.46

Доказать, что всякая конечная подгруппа в SL2(Q)\mathrm{SL}_{2}(\mathbb {Q}) является подгруппой одной из следующих групп: D3,D4,D6\mathbf{D}_{3}, \mathbf{D}_{4}, \mathbf{D}_{6}.

?
Задача 58.47

Пусть FF — поле, n⩾3n \geqslant 3 и GG — нормальная подгруппа в GLn(F)\mathbf{G L}_{n}(F). Доказать, что либо G⊇SLn(F)G \supseteq \mathbf{S L}_{n}(F), либо GG состоит из скалярных матриц.

?
Задача 58.48

Пусть FF — поле, содержащее не менее четырех элементов и GG — нормальная подгруппа в GL2(F)\mathbf{G} \mathbf{L}_{2}(F). Доказать, что либо G⊇SL2(F)G \supseteq \mathbf{S L}_{2}(F), либо GG состоит из скалярных матриц.

?
Задача 58.49

Доказать, что SL2(2)≃S3\mathbf{S L}_{2}(2) \simeq \mathbf{S}_{3}.

?
Задача 58.50

Найти все нормальные подгруппы в SL2(3)\mathbf{S L}_{2}(3).

?
Задача 58.51

Пусть GG — нормальная подгруппа конечного индекса в SLn(Z),n⩾3\mathbf{S L}_{n}(\mathbb {Z}), n \geqslant 3. Тогда существует такое натуральное число mm, что G⊆SLn(Z,mZ)G \subseteq \mathbf{S L}_{n}(\mathbb {Z}, m \mathbb {Z}).

?
Задача 58.52

Пусть FF — поле, n⩾3n \geqslant 3 и φ\varphi — автоморфизм группы GLn(F)\mathbf{G L}_{n}(F). Доказать, что существует такой гомоморфизм групп τ:GLn(F)→F∗\tau : \mathbf{G} \mathbf{L}_{n}(F) \rightarrow F^{*} и автоморфизм τ\tau поля FF, что либо

φ(x)=τ(x)gτ(x)g−1, \varphi (x)=\tau (x) g \tau (x) g^{-1},

либо

φ(x)=τ(x)gtτ(x)−1g−1 \varphi (x)=\tau (x) g^{t} \tau (x)^{-1} g^{-1}

где g∈GLn(F)g \in \mathbf{G L}_{n}(F).

?