Finite groups and order of their elements

In summary: I didn't reply?In summary, the conversation is discussing how to prove that a finite group of order 10 must contain an element of order 2 and an element of order 5. One person suggests using Lagrange's theorem to show that there must be an element of order 5 if all other elements are of order 2. Another person suggests that if all elements are of order 2, then the group must be abelian. However, this cannot be directly used to prove the existence of an element of order 5. They then discuss using Cauchy's theorem to show that there must be an element of order 2 or an element of order 5. Finally, they discuss constructing a new group to show
  • #1
Chen
977
1
Hi,

This time around I need to prove that a finite group of order 10 must contain an element of order 2 and an element of order 5.

If the group is cyclic then this is trivial. So assuming the group is not cyclic, it's easy to show that there exists an element of order 2 in the group. And it is just as trivial to show that any element, except for e, must be of either order 2 or order 5. But I'm having a hard time proving that there must be an element of order 5 in the group. I think I just need to show that it's impossible to have every element in the group be of order 2, only problem is I don't know how... I do know that if a group consists only of elements of order 2, then it must be abelian. So perhaps it would be just as good to show that a non-cyclic group of order 10 cannot be abelian?

I'd much appreciate hints and nudges in the right direction. :)

Chen
 
Physics news on Phys.org
  • #2
Ok, I think I have an idea. Let's assume that there are two elements of order 2 in G, let them be a and b. If I can prove that the subset {e, a, b, ab, ba} forms a subgroup within G, I'm done. So is it? And is this a good idea?

Another thought: if G is abelian then it's easy to prove that that subset is indeed a subgroup. So now I solved the question for the case that G is abelian. Now how I do proceed from here, proving that it's also true if G is not abelian?

Got it. :smile:
 
Last edited:
  • #3
Sometimes it's easier to solve a slightly more general problem.

[Nonsense]
There is always exactly one element of order 1 (the identity) in any group, so if all other elements are of order 2, then the order of the group must be odd.
[/Nonsense]
:redface:
 
Last edited:
  • #4
Huh? How can a group contain an element of order 2 and have an odd order itself? Isn't that in contradiction with Lagrange's theorem?
 
  • #5
I thought I posted an answer?

Anyway, if every element is of order 2 then G is abelian, but we know the abelian groups of order 10. There is exactly one of them. So, not abelian implies there is an element of order 5 (since all elements of order 2 implies abelian), and abelian implies the group is C_2xC_5, and again there is an element of order 5.
 
  • #6
There is always exactly one element of order 1 (the identity) in any group, so if all other elements are of order 2, then the order of the group must be odd.

That doesn't follow. Take Z2 as a trivial counterexample.
 
  • #7
Ack. I wrote A, but I meant B, while the answer is C.
I wanted to show that a finite group of even group always has an element of order 2, but it can't be used directly to show there has to be an element of order 5 in your case.

Sowry'bout that.
 
  • #8
Thanks, matt. We've not studied this material yet, so I can't use that proof (and even if I could, I don't understand one bit of it :biggrin:). But thanks.
 
  • #9
well what do youi know? certainly there is either an element of order 2 or an element of roder 5, by cauchy.

So if all elements have order 2, then G is abelian. Then take one of those elements, say x, and mod out by it. I.e. construct a new group of order 5, whose elements are all 5 pairs of form {y,yx} for all y in G. The product of the pair {y,yx} with {z,zx} is of course {yz,yzx}.

the fact this group has order 5 implies every y in G, except e and x, has order greater than 2.

so you cannot have a groupo of order 10 with all elements of order 2.


now suppose all elements have order 5, except e. then do something similar.




is it ok that
 

Related to Finite groups and order of their elements

What are finite groups?

Finite groups are mathematical structures consisting of a set of elements and a binary operation that combines any two elements in the set to produce a third element, while satisfying certain properties.

How are finite groups classified?

Finite groups are classified based on their order, which is the number of elements in the group. They can also be classified based on their structure, such as whether they are abelian or non-abelian.

What is the order of an element in a finite group?

The order of an element in a finite group is the smallest positive integer n such that raising the element to the power of n results in the identity element of the group. In other words, it is the number of times the element needs to be multiplied by itself to get the identity element.

What is the significance of the order of elements in a finite group?

The order of elements in a finite group is important because it helps determine the structure and properties of the group. It also helps in classifying and studying different types of finite groups.

How can the order of elements in a finite group be calculated?

The order of an element in a finite group can be calculated by finding the smallest positive integer n such that the element raised to the power of n equals the identity element. This can be done through trial and error or by using mathematical formulas and theorems related to finite groups.

Similar threads

  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
732
  • Linear and Abstract Algebra
Replies
1
Views
832
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
1
Views
871
  • Linear and Abstract Algebra
Replies
3
Views
1K
  • Linear and Abstract Algebra
Replies
13
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
1K
Replies
3
Views
2K
  • Linear and Abstract Algebra
Replies
5
Views
2K
Back
Top