Integers mod 4

  • #1

Homework Statement


Why does it make sense (when considering Z4)to form the factor group

Z4 / (2Z4) where kZn = {0, k mod n, 2k mod n, ..., nk mod n}?

I believe that this above factor group is isomorphic to Z2, but how can I prove this?
 

Answers and Replies

  • #2
737
0
The quotient group exists because 2Z4 is a normal subgroup of Z4 (since Z4 is abelian, all its subgroups are normal). To show that it is isomorphic to Z2, list the elements of Z4/2Z4 (which are cosets), and write down the isomorphism. Then, prove what you have is indeed an isomorphism, i.e. that it has the properties of an isomorphism.
 
  • #3
621
1
How many elements are in Z4/2Z4? How many groups have that many elements?
 

Related Threads on Integers mod 4

  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
9
Views
6K
  • Last Post
Replies
2
Views
1K
Replies
19
Views
7K
  • Last Post
Replies
5
Views
921
Replies
1
Views
4K
Replies
1
Views
566
  • Last Post
Replies
1
Views
1K
Top