Group of order 4k+2. Prove that the following permutation is odd.

Question

Let $G$ be a group such that $|G|=4k+2$, and let $a \in G$ such that $a$ has order 2. Consider $f:G \rightarrow G$ given by $f(g)=ag$, $g\in G$. Prove that $f$ is an odd permutation.

I was discussing the following problem with a friend, we sort of came up with the same answer, but we are not sure where the order of the group comes in play.

To prove that it is a permutation we wts that $f$ is bijection from $G$ to $G$, and to prove that it is odd, we said that since $f^2=g$, then it must be a transposition so it must be odd. Is the order of the group extra information or are we missing something?

What is wts? I have seen this quite a few times here on this site! Is it like the TST (to show that) or TP (to prove) or something like that? — , Feb 13 '12 at 06:23
@Kannappan wts = "want to show". IMO it would be better if people didn't use such mysterious abbreviations on this site (incidentally, I've never heard of TST or TP either until you mentioned it...) — Ted, Feb 13 '12 at 06:29
Agreed. Here's a hint. Try to write $f$ in cycle notation. What happens to the identity under $f$? And, pick a $g \in G$ and since $a$ is not the identity, you'll have cycles of length $2$ and there will be $2n$ of them. So... — , Feb 13 '12 at 06:32
Hah, I missed on the number of cycles. It will be lesser, but you may think on this line. I am writing up an answer. — , Feb 13 '12 at 06:39
Yet again, I get it wrong, there are exactly $2n+1$ of them! — , Feb 13 '12 at 06:48
Instead of saying "$a$ has period $2$", you should say that $a$ has order $2$... this is more standard group-theory terminology. — Patrick Da Silva, Feb 13 '12 at 07:11

score 3 · Accepted Answer · 2012-02-13T08:02:47.867

I had written up a hint in the comments, I'll make that into an answer:

Try to write $f$ in cycle notation. What happens to the identity under $f$? And, pick a $g\in G$ and since $a$ is not the identity, you'll have cycles of length $2$ and there will be $\%@\%@$ of them. So...

My definition of odd Permutation

A permutation of $G$ is said to be odd if there are odd number of transpositions in some cycle notation of $f$.

Note: This requires some proof that if one cycle notation of $f$ has odd number of transpositions, so will any other cycle. (This can be thought of as a consequence of the fact that identity is a even transposition, which in turn will require a proof.)

Here's an expanded version:

Note that since $a$ is an element of order $2$, it cannot be the identity. Hence, the permutation is not identity on $G$. Now note that no element is fixed. Why? $ag=g \iff a=e_G$. ~~This is another way of saying, that left multiplication is a transitive action~~. This is another way of saying that left multiplication is a Quasi Regular action. (Thanks to Schmidt for bringing to my notice an abuse of terminology through the comments!)

So, all elements end up in disjoint cycles of order $2$. So, the $f$ in cycle notation is a product of exactly $2n+1$ cycles!

Hence $f$ is an odd permutation. $\blacksquare$

If it helps, we can take an example group:

In $\mathbb Z_6$. Let $a = \bar 3$. Note that, since this is an Abelian group, $f(g)= \overline{ \bar a +\bar g}$.

By working things out, we'll see that $$f \equiv (\bar 0, \bar 3)(\bar 1, \bar 4)(\bar 2, \bar 5)$$

Similarly for $\mathbb Z_{10}$, and $a= \bar 5$

Note that, $$f \equiv (\bar 0, \bar 5 )(\bar 1, \bar 6)(\bar 2, \bar 7)(\bar 3, \bar 8)(\bar 4, \bar 9 )$$

You probably mean "quasi-regular" not "transitive" in the third to last paragraph. — Jack Schmidt, Feb 13 '12 at 07:01
@JackSchmidt I knew I was making a blunder, but, I didn't know how to strike that through to show that this is a possible blunder others could as well make. I learnt this trick of striking from chat. Now, I'll add this as well. But, how does the answer look other wise? — , Feb 13 '12 at 07:05
Seems fine. "even transposition" should probably be "even permutation" in the 4th to last paragraph. I would have simply removed any confusing bits (30 minutes is not long enough to confuse many people), and might have written out a few of the cycles in an example group. For instance in the additive group of integers mod 10, there is an element $a=5$ of order 2, and its cycle decomposition is $(0,5)(1,6)(2,7)(3,8)(4,9)$ or in general a product of $(g,ag)$ since $aag=g$. — Jack Schmidt, Feb 13 '12 at 07:23

Group of order 4k+2. Prove that the following permutation is odd.

1 Answers1

Linked