Proving Existence of g in a Finite Group of Even Order

rideabike
Messages
15
Reaction score
0

Homework Statement


Let (G,*) be a finite group of even order. Prove that there exists some g in G such that g≠e and g*g=e. [where e is the identity for (G,*)]


Homework Equations


Group properties


The Attempt at a Solution


Let S = G - {e}. Then S is of odd order, and let T={g,g^-1: g\inS}.
Then \existsh\inS such that h\notinT. Since G is a group, h*h must equal e.

Does that work?
 
Physics news on Phys.org
You have a good idea here, nearly perfect, but the last step seems not obvious at first. Who says that h*h must be equal to e? All we know (since G is a group) is that h*h must lie in G. To show that h*h = e, you also need h∉S. (Then h*h ∈ G - S = {e}.)
 
rideabike said:
Let S = G - {e}. Then S is of odd order, and let T={g,g^-1: g\inS}.
Then \existsh\inS such that h\notinT.
How is that possible? You have defined T in such a way that S \subset T. You have the right idea, though. If you partition G such that each element of g is partnered with its inverse, then e will be partnered with itself. If you assume that no other element has this property, then you should be able to obtain a contradiction.
 
Michael Redei said:
You have a good idea here, nearly perfect, but the last step seems not obvious at first. Who says that h*h must be equal to e? All we know (since G is a group) is that h*h must lie in G. To show that h*h = e, you also need h∉S. (Then h*h ∈ G - S = {e}.)

If h\notinS, then h=e, which isn't what we want. I was trying to show that if you take all the elements and their inverses out of S, then you're left with a single element whose inverse must be itself. There's probably a better way to show this.
 
How about collecting all elements that aren't their own inverses in one set, i.e. S = { g∈G : g-1≠g }. Then for any element x∈G, either x ∈ G - S, or x and x-1 are both in S. "Both" is important here, since it means that S has an even number of elements.

So what's left in G - S?
 
Michael Redei said:
How about collecting all elements that aren't their own inverses in one set, i.e. S = { g∈G : g-1≠g }. Then for any element x∈G, either x ∈ G - S, or x and x-1 are both in S. "Both" is important here, since it means that S has an even number of elements.

So what's left in G - S?

That's good, thanks!
 
It might be interesting for the OP that this result has a significant generalization: If G is a group and if p is a prime number such that p divides the order of G, then there exists an element g in G with order p.

This is called Cauchy's theorem.
 
micromass said:
It might be interesting for the OP that this result has a significant generalization: If G is a group and if p is a prime number such that p divides the order of G, then there exists an element g in G with order p.

This is called Cauchy's theorem.

So |x|\inG = p? Would this relate to a group being cyclic?
 
rideabike said:
So |x|\inG = p? Would this relate to a group being cyclic?

I don't really get your notation of |x|\in G=p :confused:

I mean to say that there exists a x\in G such that |x|=p (assuming |x| means order for you).

If G has prime order, then this result shows indeed that there exists an element in G with prime order. So G must be cyclic. Is this a relationship that you are talking about?
 
  • #10
Yeah that's exactly it, I was being sloppy. My understanding of a cyclic group is that there exists some element of G, say a, such that, for every x in G, x=a^n for some integer n.

How does this follow from |x|=p?
 
  • #11
rideabike said:
Yeah that's exactly it, I was being sloppy. My understanding of a cyclic group is that there exists some element of G, say a, such that, for every x in G, x=a^n for some integer n.

How does this follow from |x|=p?

It doesn't follow in general.

I'm saying the following: If G has order p, then there exists an element a in G that has order p. So \{1,a,a^2,...,a^{p-1}\} has p elements and is a subset of G. Since G also has p elements, we must have G=\{1,a,a^2,...,a^{p-1}\}. So G is cyclic.
 
  • #12
rideabike said:
Yeah that's exactly it, I was being sloppy. My understanding of a cyclic group is that there exists some element of G, say a, such that, for every x in G, x=a^n for some integer n.

How does this follow from |x|=p?

Look at all elements of the form xn with n=0,...,(p-1). If you can show that they're all distinct (i.e. xn ≠ xm if n ≠ m), then these p elements must make up all of G.
 
Back
Top