One often sees that proving theorems about groups and related structures can involve clever reasoning and ingenuity. I will be collecting, when possible, problems which use such reasoning, because what is more disorienting than not being able to re-use a clever method you discovered a few weeks ago?

** Problem 1: **Show that has the same number of even permutations as of odd permutations.

** Solution: **Here denotes the set of permutations of the set .

A permutation is defined as even if it can factorized into an even number of transpositions (an operation involving only the interchange of two elements), and odd otherwise.

Consider the function , where . Therefore we need to show that this mapping maps each even permutation to an unique odd permutation and vice-versa.

Now using the fact that ( stands for the signum function), it is clear that an odd permutation is mapped to an even while and an even one to an odd one. It remains to show that it is injective in both directions. Surjection will naturally be taken care of then: for if assume that we have shown that is injective in both directions, and if the subset of odd permutations is and of even ones is , then and would follow from the condition of one-to-oneness. This will result in , implying a surjection.

Now to show that is an injection between the subsets and , we will establish it in one direction, from odd to even, the reverse being virtually same.

If and , then that would mean , leading to . This completes the proof.

**Problem 2: **For every , there exists a non-abelian group with elements that is generated by two elements of order 2.

The proof makes use of Cayley diagrams or digraphs. A digraph (short for directed graph) is essentially a graph, in which each vertices represents an element of a group and each directed edge represents a generator of the group. Different colors (or kinds of lines- dotted, solid, etc.) can be used to represent different generators of the group. An edge, denoting a generator , going from the vertex representing to one representing means that . An undirected edge is used to represent a generator of order 2. It turns out that every digraph having certain properties (like connectedness) represents a valid group. Furthermore given a certain group, one can construct the digraph representing it.

In light of the above exposition of a Cayley digram, to solve the problem it will suffice to show that a general method to construct a digraph with vertices and consisting of only two kinds of edges exists. The digraph for the case looks like this:

It’s clear that the dotted lines represent the generator and the solid lines represents . is the identity element. This indeed represents the group consisting of with .

For a general one could elongate the graph on both sides so that the dotted and solid lines alternate, finally ending with a vertex so that there vertices in the graph.