Show that any group of order 10 is either cyclic (so isomorphic toZ10),
or is isomorphic to the dihedral group D5 of order 10 (symmetries of a regular
I have no idea how to even get started on this
Just a thought from the logical side of things. You have:
So we can start by assuming that G is NOT isomorphic to Z10. This is a common approach to proofs of the form P -> (Q v R), where "v" is the logical operator "or".
In other words, not being Z10 means no elements have order ten. But the order of an element must divide the order of the group, so look for elements of orders 5 and 2.
Have you studied Sylow's theorems, semidirect products, and the fundamental theorem of finitely-generated abelian groups yet? Those are the usual way to attack this kind of problem, although when the order is this small, you can usually make more basic arguments.
For instance, if the group is abelian it's cyclic, since 2 and 5 are coprime. You also know (in any case) that there's a normal subgroup of order 5 (Cauchy's theorem gives you the existence of an order-5 element, and the cyclic subgroup generated by it has index 2 in G, so it's normal).
Let G be a group with 10 elements. The number of Sylow 5-subgroups must divide 10 (the possibilities are 1, 2, 5, 10) and be congruent to 1 modulo 5. Thus there is only one Sylow 5-subgroup, P, which in thus a normal subgroup of G. Since the order of P is 5, P is cyclic, say P = <x>. G also has at least one Sylow 2-subgroup, so let y be an element of order 2. Thus the elements of G are . Since P is normal, is in P, and so is of the form for some .
If , then , and G is isomorphic to
Assume . Since . So the even powers of are powers of x, whereas the odd powers of are of the form for some j. The order of divides 10, and so is 1, 2, 5, or 10. We see that is not of order 1 (otherwise ), itís not of order 2 (since ), and itís not of order 5 (since its 5th power is for some j). Thus has order 10, and G is cyclic (thus, G is abelian, and ).
Anyway, I was thinking of proof along these lines.
By lagrange's theorem, elements (except identity) must have orders 2,5 or 10. If there is an element order 10, it is cyclic. If not such and such must be true. But I am not given any information on the elements.