Exercises 4

1. Prove that the intersection of two ideals of a ring is an ideal.
   If I and J are ideals of a commutative ring with identity, let IJ be the ideal generated by the set {ij | i I, j J }.
   Prove that IJ I J.
   The ideal I + J is the ideal generated by I J.
   Let I be the ideal < 4 > in and let J = < 6 > . Describe the ideals IJ, I J and I + J.

   Solution to question 1

2. Prove that the ring _n is a principal ideal domain for any n. How would you determine the number of ideals of _n ?

   Solution to question 2

3. Prove that 2 and 3 are isomorphic as abelian groups but not as rings (under, of course, the usual addition and multiplication).
   The addititive groups ₆ and _{2 3} are isomorphic as groups. Show that they are also isomorphic as rings.
   [Hint: A suitable group isomorphism maps 1 ₆ to (1, 1) _{2 3} .]
   More generally, show that if m, n are coprime integers then _mn and _{m n} are isomorphic both as groups and as rings.

   Solution to question 3

4. Prove that the map from ₁₂ to ₄ given by n n mod 4 for n ₁₂ is a ring homomorphism. What is its kernel?
   Is the map from ₁₄ to ₄ given by n n mod 4 for n ₁₄ a ring homomorphism?

   Solution to question 4

5. Which of the maps from to given by the following are ring homomorphisms.
   x + yi x    x + yi x - yi    x + yi |x + iy|    x + yi y + xi

   Solution to question 5

6. Show that the units (multiplicatively invertible elements) in any ring form a group under multiplication.
   Denote the group of units of _n by U_n.
   For various values of n (as far as you can!) identify the groups U_n as products of cyclic groups. Can you spot any pattern? Question 3 above should be helpful.

   Solution to question 6

7. Describe all the ring homomorphisms from ₁₂ onto ₄ .
   Describe all the ring homomorphisms from ₁₂ to ₅ .
   For which values of m, n can one find a ring homomorphism from _m onto _n ?

   Solution to question 7

8. Look at possible addition and multiplication tables and prove that up to isomorphism there are two rings of order 2.
   If the additive group of a ring is cyclic, generated (say) by an element a, prove that the multiplication is determined once you know a.a . Hence determine how many different rings of order 3 there are.

   Prove that there are three non-isomorphic rings of order 4 whose additive group is cyclic.

   If you have sufficient determination you can try and establish how many non-isomorphic rings there are whose additive group is the Klein 4-group _{2 2} .

   Solution to question 8