Proof: Proving Klein 4 Group is Not Isomorphic to ##Z_4##

  • Thread starter Thread starter LagrangeEuler
  • Start date Start date
  • Tags Tags
    Group Klein Proof
Click For Summary

Homework Help Overview

The discussion revolves around proving that the Klein 4 group is not isomorphic to the group ##Z_4##. Participants are examining the properties and orders of elements within both groups to establish their differences.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants are exploring the cyclic nature of ##Z_4## compared to the Klein group, noting the orders of elements and questioning the correctness of their reasoning regarding group isomorphism.

Discussion Status

There is an ongoing examination of the orders of elements in both groups, with some participants providing feedback on the accuracy of these counts. Guidance has been offered regarding the need for careful counting of element orders.

Contextual Notes

Participants are discussing the definitions and properties of the groups involved, with some confusion noted about the orders of elements, particularly in relation to the Klein group and ##Z_4##.

LagrangeEuler
Messages
711
Reaction score
22

Homework Statement


Prove that Klein 4 group is not isomorphic with ##Z_4##.


Homework Equations


Klein group has four elements ##\{e,a,b,c\}## such that ##e^2=e,a^2=e,b^2=e,c^2=e##
As far as I know ##Z_4## group is ##(\{\pm 1,\pm i\},\cdot)##. Right?


The Attempt at a Solution


As far as I know I can say group ##Z_4## is cyclic (all elements I could get as ##i^n,n=1,2,3,4##) and group and Klein group is not.
Q.E.D.
Is this correct prove?
Klein group has four element of order ##2##, and ##Z_4## group has one element of order ##4##, two element of order ##2## and one element of order one. Right?
 
Physics news on Phys.org
LagrangeEuler said:

Homework Statement


Prove that Klein 4 group is not isomorphic with ##Z_4##.


Homework Equations


Klein group has four elements ##\{e,a,b,c\}## such that ##e^2=e,a^2=e,b^2=e,c^2=e##
As far as I know ##Z_4## group is ##(\{\pm 1,\pm i\},\cdot)##. Right?


The Attempt at a Solution


As far as I know I can say group ##Z_4## is cyclic (all elements I could get as ##i^n,n=1,2,3,4##) and group and Klein group is not.
Q.E.D.
Is this correct prove?
Klein group has four element of order ##2##, and ##Z_4## group has one element of order ##4##, two element of order ##2## and one element of order one. Right?

Yes, that's a good proof. But you've got some problems with counting orders. ##e^1## is also equal to ##e##. Go back and count them carefully and say which elements have which orders.
 
So ##i^4=1=e## has order ##1##. ##i^2=-1## has order 2. ##i^3=-i## has order ##4## and ##i## has order ##4##.
 
LagrangeEuler said:
So ##i^4=1=e## has order ##1##. ##i^2=-1## has order 2. ##i^3=-i## has order ##4## and ##i## has order ##4##.

Yes, that's better. And the Klein group has 3 elements of order 2, and 1 element of order 1, yes?
 
Yes! Thanks!
 

Similar threads

Replies
15
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 14 ·
Replies
14
Views
6K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
4
Views
2K
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
5
Views
3K