AATA Exercises

Skip to main content

Exercises 13.4 Exercises

1.

Find all of the abelian groups of order less than or equal to

40

up to isomorphism.

2.

Find all of the abelian groups of order

200

up to isomorphism.

3.

Find all of the abelian groups of order

720

up to isomorphism.

4.

Find all of the composition series for each of the following groups.

$Z_{12}$
$Z_{48}$
The quaternions, $Q_{8}$
$D_{4}$
$S_{3} \times Z_{4}$
$S_{4}$
$S_{n},$ $n \geq 5$
$Q$

5.

Show that the infinite direct product

G = Z_{2} \times Z_{2} \times \dots

is not finitely generated.

6.

Let

G

be an abelian group of order

m .

If

n

divides

m,

prove that

G

has a subgroup of order

n .

7.

A group

G

is a torsion group if every element of

G

has finite order. Prove that a finitely generated abelian torsion group must be finite.

8.

Let

G,

H,

and

K

be finitely generated abelian groups. Show that if

G \times H ≅ G \times K,

then

H ≅ K .

Give a counterexample to show that this cannot be true in general.

9.

Let

G

and

H

be solvable groups. Show that

G \times H

is also solvable.

10.

If

G

has a composition (principal) series and if

N

is a proper normal subgroup of

G,

show there exists a composition (principal) series containing

N .

11.

Prove or disprove: Let

N

be a normal subgroup of

G .

If

N

and

G / N

have composition series, then

G

must also have a composition series.

12.

Let

N

be a normal subgroup of

G .

If

N

and

G / N

are solvable groups, show that

G

is also a solvable group.

13.

Prove that

G

is a solvable group if and only if

G

has a series of subgroups

G = P_{n} \supset P_{n - 1} \supset \dots \supset P_{1} \supset P_{0} = {e}

where

P_{i}

is normal in

P_{i + 1}

and the order of

P_{i + 1} / P_{i}

is prime.

14.

Let

G

be a solvable group. Prove that any subgroup of

G

is also solvable.

15.

Let

G

be a solvable group and

N

a normal subgroup of

G .

Prove that

G / N

is solvable.

16.

Prove that

D_{n}

is solvable for all integers

n .

17.

Suppose that

G

has a composition series. If

N

is a normal subgroup of

G,

show that

N

and

G / N

also have composition series.

18.

Let

G

be a cyclic

p

-group with subgroups

H

and

K .

Prove that either

H

is contained in

K

or

K

is contained in

H .

19.

Suppose that

G

is a solvable group with order

n \geq 2 .

Show that

G

contains a normal nontrivial abelian subgroup.

20.

Recall that the commutator subgroup

G^{'}

of a group

G

is defined as the subgroup of

G

generated by elements of the form

a^{- 1} b^{- 1} a b

for

a, b \in G .

We can define a series of subgroups of

G

by

G^{(0)} = G,

G^{(1)} = G^{'},

and

G^{(i + 1)} = (G^{(i)})^{'} .

Prove that $G^{(i + 1)}$ is normal in $(G^{(i)})^{'} .$ The series of subgroups

$G^{(0)} = G \supset G^{(1)} \supset G^{(2)} \supset \dots$

is called the derived series of $G .$
Show that $G$ is solvable if and only if $G^{(n)} = {e}$ for some integer $n .$

21.

Suppose that

G

is a solvable group with order

n \geq 2 .

Show that

G

contains a normal nontrivial abelian factor group.

22. Zassenhaus Lemma.

Let

H

and

K

be subgroups of a group

G .

Suppose also that

H^{*}

and

K^{*}

are normal subgroups of

H

and

K

respectively. Then

$H^{*} (H \cap K^{*})$ is a normal subgroup of $H^{*} (H \cap K) .$
$K^{*} (H^{*} \cap K)$ is a normal subgroup of $K^{*} (H \cap K) .$
$H^{*} (H \cap K) / H^{*} (H \cap K^{*}) ≅ K^{*} (H \cap K) / K^{*} (H^{*} \cap K) ≅ (H \cap K) / (H^{*} \cap K) (H \cap K^{*}) .$

23. Schreier’s Theorem.

Use the Zassenhaus Lemma to prove that two subnormal (normal) series of a group

G

have isomorphic refinements.

24.

Use Schreier’s Theorem to prove the Jordan-Hölder Theorem.

web analytics