Thread: Groups of Order 6

Originally Posted by pleasehelpme1

Can anyone prove that there are only 2 non-isomorphic groups of order 6.

What knowledge do you have? What theorems do you know that can be used? I mean, if you are a masochist you can draw up the Cayley tables.

it's a nicer problem to prove that for any prime number there are only two groups (up to isomorphism) of order

can your prove that then.

that for any prime number there are only two groups (up to isomorphism) of order

Every group has generators:

You can start by showing that G is either
1.generated by an element of order 6
2.an element of order 3 and an element of order 2.

Since all orders of the generators divide the group-order
(This follows from the Lagrange Theorem: #[G/H].#[H] = #G
For any subgroup H)


Once you figured that out you show that (1) and (2) are not isomorphic.
Secondly you show that 2 groups G and G' of type (1) are isomorhpic
and 2 groups of type (2) are isomorphic.

(This isomorphism is made by sending generators to generators)

Originally Posted by Dinkydoe

Every group has generators:

You can start by showing that G is either
1.generated by an element of order 6
2.an element of order 3 and an element of order 2.

Since all orders of the generators divide the group-order
(This follows from the Lagrange Theorem: #[G/H].#[H] = #G
For any subgroup H)


Once you figured that out you show that (1) and (2) are not isomorphic.
Secondly you show that 2 groups G and G' of type (1) are isomorhpic
and 2 groups of type (2) are isomorphic.

(This isomorphism is made by sending generators to generators)

In (2) you also want the generators to not commute with one another, as otherwise you get your cyclic group again.

Originally Posted by Swlabr

In (2) you also want the generators to not commute with one another, as otherwise you get your cyclic group again.

suppose G is a group of order 6 and let be with since we have now consider two cases:

1) : in this case and thus where is the cyclic group of order 6.

2) : since we have for some if then which is not true. if then which is

the first case. so and therefore the dihedral group of order 6.