Is it correct to say that any order 4 group is only isomorphic to either

C4 or C2+C2 ?

where C4 is the order 4 cyclic group and C2 the order 2 cyclic group

Printable View

- May 23rd 2012, 07:52 AMJesssaOrder 4 groups are isomorphic to...
Is it correct to say that any order 4 group is only isomorphic to either

C4 or C2+C2 ?

where C4 is the order 4 cyclic group and C2 the order 2 cyclic group - May 23rd 2012, 08:48 AMAntRe: Order 4 groups are isomorphic to...
Yep, you're right

- May 23rd 2012, 03:24 PMDevenoRe: Order 4 groups are isomorphic to...
if a group G of order 4 has an element of order 4, say x, then {x,x

^{2},x^{3},x^{4}= e} must be all of G, so G = <x>, and is isomorphic to C_{4}.

if not, then all 3 non-identity elements must be of order 2 (the only other divisor (besides 1) of 4 left). pick any two of them, say a and b.

now <a> and <b> are two subgroups of order 2. it is straightforward to show that G is isomorphic to <a> x <b> (which is obviously isomorphic to C_{2}x C_{2}):

e --> (e,e)

a --> (a,e)

b --> (e,b)

ab --> (a,b) is the isomorphism.

(proving ba = ab is the only "non-obvious thing" (which must be true if we have an isomorphism since (a,e)*(e,b) = (ae,eb) = (a,b) = (ea,be) = (e,b)*(a,e)). it is perhaps easiest to show that ba = e,a, or b leads to a contradiction).