Even order groups

  • Thread starter clkt
  • Start date
  • #1
6
0
How do I proof that groups of an even order must have an element of order 2? I have a vague idea, but I don't know how to put my idea together.
Aside from identity, there are an odd number of elements in my group. So one element will not have a partner and will have to be multiplied by itself to cancel out. That element must have an order of 2 such that its square = identity. But how can I create the scenario where all elements have to pair up and cancel out? Thanks in advance.
 

Answers and Replies

  • #2
AKG
Science Advisor
Homework Helper
2,565
4
Aside from identity, there are an odd number of elements in my group. So one element will not have a partner and will have to be multiplied by itself to cancel out. That element must have an order of 2 such that its square = identity.
This is correct. Although the wording is informal, I'd consider this an adequate proof.
But how can I create the scenario where all elements have to pair up and cancel out?
Huh?
 
  • #3
6
0
I guess my question is, what is the property of a group that dictates that every element must have a "partner" to cancel out with?
 
  • #4
StatusX
Homework Helper
2,571
2
Every element in a group has an inverse. Although not specified explicitly, it's easy to show this inverse is unique, and that the inverse of the inverse is the original element, which allows you to form pairs like you did above.
 
  • #5
6
0
ahhhh, thank you!
 
  • #6
mathwonk
Science Advisor
Homework Helper
11,311
1,525
can you prove a group whose order is divisible by three has an element of order 3?
 

Related Threads on Even order groups

  • Last Post
Replies
12
Views
4K
  • Last Post
Replies
2
Views
8K
  • Last Post
Replies
8
Views
5K
Replies
2
Views
2K
Replies
4
Views
2K
Replies
5
Views
7K
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
3
Views
3K
Replies
8
Views
6K
Replies
2
Views
2K
Top