6.2

Гомоморфизмы и подгруппы

[22/95%]
Показать
LaTeX
Задача 6.2.1

Сколько существует гомоморфизмов из группы Z2×Z2\mathbb {Z}_{2} \times \mathbb {Z}_{2} в симметрическую группу на трёх объектах?

?
Задача 6.2.2
?
(1)

Пусть GG — конечная группа, и пусть XX — множество пар коммутирующих элементов GG:

X={(g,h)G×G:gh=hg}. X = \{ (g,h) \in G \times G : gh = hg\} .

Докажите, что X=cG\left|X\right| = c\left|G\right|, где cc — число классов сопряжённости в GG.

(2)

Вычислите число пар коммутирующих перестановок на пяти буквах.

Задача 6.2.3

Множество комплексных матриц AA размера 5×55 \times 5, удовлетворяющих A3=A2A^{3} = A^{2}, является объединением классов сопряжённости. Сколько классов сопряжённости?

?
Задача 6.2.4

Пусть C\mathbb {C}^{*} — мультипликативная группа ненулевых комплексных чисел. Предположим, что HH — подгруппа конечного индекса в C\mathbb {C}^{*}. Докажите, что H=CH = \mathbb {C}^{*}.

?
Задача 6.2.5

Пусть GG — конечная группа и HGH \subset G — подгруппа.

?
(1)

Покажите, что число подгрупп GG вида xHx1xHx^{-1} для некоторого xGx \in G не превосходит индекса HH в GG.

(2)

Докажите, что некоторый элемент GG не лежит ни в одной подгруппе вида xHx1xHx^{-1}, xGx \in G.

Задача 6.2.6

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

?
Задача 6.2.7

Пусть GG — конечная группа, и пусть φ\varphi — автоморфизм GG, оставляющий неподвижным только единичный элемент GG.

?
(1)

Покажите, что каждый элемент GG может быть записан в виде g1φ(g)g^{-1}\varphi (g).

(2)

Если φ\varphi имеет порядок 2 (то есть φφ=id\varphi \cdot \varphi = \operatorname {id}), покажите, что φ\varphi задаётся формулой gg1g \mapsto g^{-1} и что GG — абелева группа нечётного порядка.

Задача 6.2.8

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

?
Задача 6.2.9

Пусть AA — абелева группа с аддитивной записью, и u,v:AAu, v : A \to A — гомоморфизмы. Определим групповые гомоморфизмы f,g:AAf, g : A \to A как

f(a)=av(u(a)),g(a)=au(v(a))(aA). f(a) = a - v(u(a)), \qquad g(a) = a - u(v(a)) \qquad (a \in A).

Докажите, что ядро ff изоморфно ядру gg.

?
Задача 6.2.10

Пусть GG — аддитивная группа, и u,v:GGu, v : G \to G — гомоморфизмы. Покажите, что отображение f:GGf : G \to G, f(x)=xv(u(x))f(x) = x - v(u(x)) сюръективно, если отображение h:GGh : G \to G, h(x)=xu(v(x))h(x) = x - u(v(x)) сюръективно.

?
Задача 6.2.11

Пусть HH — группа целых чисел по модулю pp относительно сложения, где pp — простое число. Предположим, что nn — целое число, удовлетворяющее 1np1 \leq n \leq p, и пусть GG — группа H×H××HH \times H \times \cdots \times H (nn сомножителей). Покажите, что GG не имеет автоморфизма порядка p2p^{2}.

?
Задача 6.2.12
?
(1)

Предположим, что H1H_{1} и H2H_{2} — подгруппы группы GG такие, что H1H2H_{1} \cup H_{2} является подгруппой GG. Докажите, что либо H1H2H_{1} \subset H_{2}, либо H2H1H_{2} \subset H_{1}.

(2)

Покажите, что для каждого целого n3n \geq 3 существует группа GG с подгруппами H1,H2,,HnH_{1}, H_{2}, \ldots , H_{n} такими, что ни одна HiH_{i} не содержится ни в какой другой, и такими, что H1H2HnH_{1} \cup H_{2} \cup \ldots \cup H_{n} является подгруппой GG.

Задача 6.2.13

Пусть GG — группа и HH — подгруппа индекса n<n < \infty. Докажите или опровергните следующие утверждения:

?
(1)

Если aGa \in G, то anHa^{n} \in H.

(2)

Если aGa \in G, то для некоторого kk, 1kn1 \leq k \leq n, имеем akHa^{k} \in H.

Задача 6.2.14

Найдите все автоморфизмы аддитивной группы рациональных чисел.

?
Задача 6.2.15

Пусть α\alpha и β\beta — вещественные числа такие, что подгруппа Γ\Gamma группы R\mathbb {R}, порождённая α\alpha и β\beta, замкнута. Докажите, что α\alpha и β\beta линейно зависимы над Q\mathbb {Q}.

?
Задача 6.2.16

Докажите, что группа G=Q/ZG = \mathbb {Q}/\mathbb {Z} не имеет собственной подгруппы конечного индекса.

?
Задача 6.2.17

Пусть AA — группа рациональных чисел относительно сложения, и пусть MM — группа положительных рациональных чисел относительно умножения. Определите все гомоморфизмы φ:AM\varphi : A \to M.

?
Задача 6.2.18

Предположим, что H1H_{1} и H2H_{2} — различные подгруппы группы GG такие, что [G:H1]=[G:H2]=3[G:H_{1}] = [G:H_{2}] = 3. Каковы возможные значения [G:H1H2][G:H_{1} \cap H_{2}]?

?
Задача 6.2.19

Пусть GG — группа, и HH и KK — подгруппы такие, что HH имеет конечный индекс в GG. Докажите, что KHK \cap H имеет конечный индекс в KK.

?
Задача 6.2.20

Предположим, что группа GG имеет нетривиальную подгруппу HH, которая содержится в каждой нетривиальной подгруппе GG. Докажите, что HH содержится в центре GG.

?
Задача 6.2.21

Покажите, что для каждого положительного целого kk существует положительное целое NN такое, что существует не менее kk неизоморфных групп порядка NN.

?
Задача 6.2.22

Пусть GG — группа, порождённая nn элементами. Найдите верхнюю оценку N(n,k)N(n,k) для числа подгрупп HH группы GG с индексом [G:H]=k[G:H] = k.

?