Section 6.2

Homomorphisms and Subgroups

[22/95%]
Show
LaTeX
Problem 6.2.1

How many homomorphisms are there from the group Z2×Z2\mathbb {Z}_{2} \times \mathbb {Z}_{2} to the symmetric group on three objects?

?
Problem 6.2.2
?
(1)

Let GG be a finite group and let XX be the set of pairs of commuting elements of GG:

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

Prove that ∣X∣=c∣G∣\left|X\right| = c\left|G\right| where cc is the number of conjugacy classes in GG.

(2)

Compute the number of pairs of commuting permutations on five letters.

Problem 6.2.3

The set of 5×55 \times 5 complex matrices AA satisfying A3=A2A^{3} = A^{2} is a union of conjugacy classes. How many conjugacy classes?

?
Problem 6.2.4

Let C∗\mathbb {C}^{*} be the multiplicative group of nonzero complex numbers. Suppose that HH is a subgroup of finite index of C∗\mathbb {C}^{*}. Prove that H=C∗H = \mathbb {C}^{*}.

?
Problem 6.2.5

Let GG be a finite group and H⊂GH \subset G a subgroup.

?
(1)

Show that the number of subgroups of GG of the form xHx−1xHx^{-1} for some x∈Gx \in G is ≤\leq the index of HH in GG.

(2)

Prove that some element of GG is not in any subgroup of the form xHx−1xHx^{-1}, x∈Gx \in G.

Problem 6.2.6

Prove that the group of automorphisms of a cyclic group of prime order pp is cyclic and find its order.

?
Problem 6.2.7

Let GG be a finite group, and let φ\varphi be an automorphism of GG which leaves fixed only the identity element of GG.

?
(1)

Show that every element of GG may be written in the form g−1φ(g)g^{-1}\varphi (g).

(2)

If φ\varphi has order 2 (i.e., φ⋅φ=id⁡\varphi \cdot \varphi = \operatorname {id}) show that φ\varphi is given by the formula g↦g−1g \mapsto g^{-1} and that GG is an abelian group whose order is odd.

Problem 6.2.8

Prove that every finite group of order >2> 2 has a nontrivial automorphism.

?
Problem 6.2.9

Let AA be an additively written abelian group, and u,v:A→Au, v : A \to A homomorphisms. Define the group homomorphisms f,g:A→Af, g : A \to A by

f(a)=a−v(u(a)),g(a)=a−u(v(a))(a∈A). f(a) = a - v(u(a)), \qquad g(a) = a - u(v(a)) \qquad (a \in A).

Prove that the kernel of ff is isomorphic to the kernel of gg.

?
Problem 6.2.10

Let GG be an additive group, and u,v:G→Gu, v : G \to G homomorphisms. Show that the map f:G→Gf : G \to G, f(x)=x−v(u(x))f(x) = x - v(u(x)) is surjective if the map h:G→Gh : G \to G, h(x)=x−u(v(x))h(x) = x - u(v(x)) is surjective.

?
Problem 6.2.11

Let HH be the group of integers mod pp, under addition, where pp is a prime number. Suppose that nn is an integer satisfying 1≤n≤p1 \leq n \leq p, and let GG be the group H×H×⋯×HH \times H \times \cdots \times H (nn factors). Show that GG has no automorphism of order p2p^{2}.

?
Problem 6.2.12
?
(1)

Suppose that H1H_{1} and H2H_{2} are subgroups of a group GG such that H1∪H2H_{1} \cup H_{2} is a subgroup of GG. Prove that either H1⊂H2H_{1} \subset H_{2} or H2⊂H1H_{2} \subset H_{1}.

(2)

Show that for each integer n≥3n \geq 3, there exists a group GG with subgroups H1,H2,…,HnH_{1}, H_{2}, \ldots , H_{n}, such that no HiH_{i} is contained in any other, and such that H1∪H2∪…∪HnH_{1} \cup H_{2} \cup \ldots \cup H_{n} is a subgroup of GG.

Problem 6.2.13

Let GG be a group and HH a subgroup of index n<∞n < \infty. Prove or disprove the following statements:

?
(1)

If a∈Ga \in G, then an∈Ha^{n} \in H.

(2)

If a∈Ga \in G, then for some kk, 1≤k≤n1 \leq k \leq n, we have ak∈Ha^{k} \in H.

Problem 6.2.14

Find all automorphisms of the additive group of rational numbers.

?
Problem 6.2.15

Let α\alpha and β\beta be real numbers such that the subgroup Γ\Gamma of R\mathbb {R} generated by α\alpha and β\beta is closed. Prove that α\alpha and β\beta are linearly dependent over Q\mathbb {Q}.

?
Problem 6.2.16

Prove that the group G=Q/ZG = \mathbb {Q}/\mathbb {Z} has no proper subgroup of finite index.

?
Problem 6.2.17

Let AA be the group of rational numbers under addition, and let MM be the group of positive rational numbers under multiplication. Determine all homomorphisms φ:A→M\varphi : A \to M.

?
Problem 6.2.18

Suppose that H1H_{1} and H2H_{2} are distinct subgroups of a group GG such that [G:H1]=[G:H2]=3[G:H_{1}] = [G:H_{2}] = 3. What are the possible values of [G:H1∩H2][G:H_{1} \cap H_{2}]?

?
Problem 6.2.19

Let GG be a group and HH and KK subgroups such that HH has a finite index in GG. Prove that K∩HK \cap H has a finite index in KK.

?
Problem 6.2.20

Suppose the group GG has a nontrivial subgroup HH which is contained in every nontrivial subgroup of GG. Prove that HH is contained in the center of GG.

?
Problem 6.2.21

Show that for each positive integer kk there exists a positive integer NN such that there are at least kk nonisomorphic groups of order NN.

?
Problem 6.2.22

Let GG be a group generated by nn elements. Find an upper bound N(n,k)N(n,k) for the number of subgroups HH of GG with the index [G:H]=k[G:H] = k.

?