Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The problem I am attempting to prove is the following: In any finite group $G$, the number of elements not equal to their own inverse is an even number.

Caveat: I have had very limited experience with proofs. Any comments would be appreciated.

Let $a_{1}, a_{2}, ..., a_{n}$ be elements of $G$. Since $G$ is a group, every element in $G$ must have an inverse in $G$. Let the inverse of each element be represented by $a_{1}^{-1}, a_{2}^{-1}, ..., a_{n}^{-1}$. An element $a_{k}$ in $G$ that is not equal to its own inverse can be written as $a_{k} \neq a_{k}^{-1}$. For every element $a_{k}$, there is another element $a_{k}^{-1}$ that is not equal to its own inverse denoted by $a_{k}^{-1} \neq a_{k}$. So for every element $a_{k}$ in $G$ whose inverse is not equal to their own inverse, there will be 2 elements in $G$ namely $a_{k}$ and $a_{k}^{-1}$. Let the integer $q$ denote the number of elements ranging from $a_{1}, a_{2}, ..., a_{n}$ who are not equal to their own inverse. In addition for every value $q$, there must be another element in $a_{1}^{-1}, a_{2}^{-1}, ..., a_{n}^{-1}$ not equal to their own inverse. So the total number of elements not equal to their own inverse can be denoted by 2$q$, which is an even number.

share|cite|improve this question
The idea is right. There is some inaccuracy in wording. Your integer $q$ is what has to be shown even. The fact that $2q$ is even doesn't help. The crucial fact that you must use is the fact that the inverse of $a^{-1}$ is $a$. Let $Q$ be the set of elements that are not their own inverse. If $a$ is such an element, call $b$ the partner of $a$ if $ab=e$. Note that $b$ is the partner of $a$ iff $a$ is the partner of $b$. So we have divided $Q$ into "couples." This means $Q$ has an even number of elements. – André Nicolas Jul 22 '11 at 2:52

Yes. The map $\rm n \mapsto n^{-1}$ is a permutation of order 2 so it decomposes into cycles of length 1 or 2. So non-fixed-points are paired with their inverse. This leads to a proof of Wilson's theorem for groups.

An analogous pairing arises for any nontrivial self-inverse map. Such involutions are ubiquitous. For example, the involution $\rm\: d \to n/d\:$ on the divisors of $\rm\:n\:$ implies that nonsquare integers have an even number of divisors. Here are some further examples proofs using involutions.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.