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.