1. (Show details of your computation). Let be a free abelian group of rank 2 . Let be a subgroup. Find a new basis of so that can be written as with .

2. Let be two finite cyclic groups. Prove that is a cyclic group if and only if .

\begin{proof} Assume that , .

If , then generates and so it is cyclic.

If is cyclic, then there exists generates . The order of

and so . \end{proof}

3. Let be a finite group with center . Show that is abelian if and only if for each , the conjugacy class of is contained in the coset .

\begin{proof} If is abelian, then for any we have where is the quotient map and so .

If for each , the conjugacy class of is contained in the coset , then for any , for some . It deduces that \overline{x^y}=\overline x^\overline y=\overline x and so is abelian. \end{proof}

4. Let be a group with two subgroups such that . Show that the union is never a subgroup of .

\begin{proof} Since , then there exists and . If is a subgroup, then is contained in either or , neither is impossible. \end{proof}

5. Show that there does not exist group isomorphisms between and .

\begin{proof} Assume that is a group isomorphism, then for any .

Assume that , then and so , is not injective and so it is not an isomorphism. \end{proof}

6. In the following problem, you need to explain why your answer is right.

  • (a) Construct a commutative ring which has only one prime ideal.
  • (b) Construct a commutative ring with finite elements which has precisely two prime ideals.
  • (c) (maybe difficult) Construct a commutative ring with infinite elements which has precisely two prime ideals.

\begin{proof} a) has only one prime ideals are .

b) .

c) .

7. (a) Suppose G is a group of order 42. Show it has a normal Sylow subgroup.

(b) Suppose G is a group of order 30. Show it has a normal Sylow subgroup.

\begin{proof} a)

b) and . If and , then , contradiction. \end{proof}

8. Suppose is a group of order 6 .

  • (a) Show it has a normal Sylow subgroup.
  • (b) Show there are only two possible groups (up to isomorphism) of order 6. You need to prove it.

\begin{proof} a) By Sylow theorems, and so with .

b) Since , by Cauchy’s theorem there exist such that and . Furthermore, and . Let and . Then .

If , then and .

If , then . Define , then . \end{proof}

9. Let be a group of order with three distinct prime numbers. Prove it has a normal Sylow subgroup.

Easy.