Associated Topics || Dr. Math Home || Search Dr. Math

### Show a Subset

```Date: 02/09/2003 at 23:49:51
From: Christina
Subject: Abstract Algebra

If the number of elements in a finite group G with identity e is even,
show that there is at least one element g in G such that g <> e but
g * g = e.

I was looking through my textbook and I came across this exercise and
I was confused about how to prove it.
```

```
Date: 02/10/2003 at 03:25:41
From: Doctor Jacques
Subject: Re: Abstract Algebra

Hi Christina,

First, note that g*g = e is the same as g = g^(-1).

Let us pair the elements of G with their inverses. This will give
three types of subsets.

(a) the subset {e}
(b) subsets of type {x, x^(-1)} for all x such that x and x^(-1) are
distinct.
(c) subsets of type {x} whenever x = x^(-1)

We must show that there is at least one subset of type (c).

Notice that these subsets constitute a partition of G (they are
pairwise disjoint, and their union is G).

Notice also that the subset {e} will contribute one element, and each
subset of type (b) will contribute two elements, i.e. the union of
the subsets of type (b) will contribute an even number of elements.

You should be able to conclude the proof from here.

Please feel free to write back if you are still stuck.

- Doctor Jacques, The Math Forum
http://mathforum.org/dr.math/
```
Associated Topics:
College Modern Algebra

Search the Dr. Math Library:

 Find items containing (put spaces between keywords):   Click only once for faster results: [ Choose "whole words" when searching for a word like age.] all keywords, in any order at least one, that exact phrase parts of words whole words

Submit your own question to Dr. Math
Math Forum Home || Math Library || Quick Reference || Math Forum Search