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,564
1
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
2020 Award
11,098
1,301
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
22
Views
6K
Replies
3
Views
2K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
10
Views
14K
  • Last Post
2
Replies
29
Views
11K
  • Last Post
Replies
23
Views
11K
Replies
5
Views
2K
  • Last Post
Replies
14
Views
3K
  • Last Post
Replies
9
Views
3K
Replies
25
Views
5K
Top