Register to reply

If a is even, prove a^(-1) is even...

by Zondrina
Tags: prove
Share this thread:
Zondrina
#1
Nov12-12, 10:10 PM
P: 1,538
1. The problem statement, all variables and given/known data

If a is even, prove a-1 is even.

2. Relevant equations

We know that every permutation in [itex]S_n, n>1[/itex] can be written as a product of 2-cycles. Also note that the identity can be expressed as (12)(12) for this to be possible.



3. The attempt at a solution

Suppose a is a permutation made up of 2cycles, say [itex]a_1, ...,a_n[/itex].

We know that :

[itex]a^{-1} = (a_1, ...,a_n)^{-1} = a_{1}^{-1}, ..., a_{n}^{-1}[/itex]

Now since we can write (ab) = (ba) for any two cycle, we know : [itex]a^{-1} = (a_1, ...,a_n)^{-1} = a_{1}^{-1}, ..., a_{n}^{-1} = a_1, ...,a_n = a[/itex]

So if a is an even permutation, it means that |a| is even, say |a|=n. Then |a-1| is also even since |a| = |a-1| for 2cycles.

Thus if a is even, then a-1 is also even.

Is this correct?
Phys.Org News Partner Science news on Phys.org
Mysterious source of ozone-depleting chemical baffles NASA
Water leads to chemical that gunks up biofuels production
How lizards regenerate their tails: Researchers discover genetic 'recipe'
Dick
#2
Nov12-12, 10:35 PM
Sci Advisor
HW Helper
Thanks
P: 25,228
Quote Quote by Zondrina View Post
1. The problem statement, all variables and given/known data

If a is even, prove a-1 is even.

2. Relevant equations

We know that every permutation in [itex]S_n, n>1[/itex] can be written as a product of 2-cycles. Also note that the identity can be expressed as (12)(12) for this to be possible.



3. The attempt at a solution

Suppose a is a permutation made up of 2cycles, say [itex]a_1, ...,a_n[/itex].

We know that :

[itex]a^{-1} = (a_1, ...,a_n)^{-1} = a_{1}^{-1}, ..., a_{n}^{-1}[/itex]

Now since we can write (ab) = (ba) for any two cycle, we know : [itex]a^{-1} = (a_1, ...,a_n)^{-1} = a_{1}^{-1}, ..., a_{n}^{-1} = a_1, ...,a_n = a[/itex]

So if a is an even permutation, it means that |a| is even, say |a|=n. Then |a-1| is also even since |a| = |a-1| for 2cycles.

Thus if a is even, then a-1 is also even.

Is this correct?
It's correct if you can get rid of all that unclearly defined symbolism and verbiage that's giving me a headache. What's the definition of 'even permutation' in simple english? Please don't use symbols!
Zondrina
#3
Nov12-12, 11:19 PM
P: 1,538
Quote Quote by Dick View Post
It's correct if you can get rid of all that unclearly defined symbolism and verbiage that's giving me a headache. What's the definition of 'even permutation' in simple english? Please don't use symbols!
If a permutation 'a' can be expressed as a product of an even number of 2cycles, then every possible decomposition of a into a product of two cycles must have an even number of 2cycles.

Dick
#4
Nov13-12, 09:14 AM
Sci Advisor
HW Helper
Thanks
P: 25,228
If a is even, prove a^(-1) is even...

Quote Quote by Zondrina View Post
If a permutation 'a' can be expressed as a product of an even number of 2cycles, then every possible decomposition of a into a product of two cycles must have an even number of 2cycles.
I'll just take the 'definition' part of that. a is a product, right? Write it as a product. So [itex]a=a_1 a_2 ... a_n[/itex] where the a's are tranpositions (2 cycles) and n is even. Now express [itex]a^{-1}[/itex] as a product of transpositions. Be careful about factor order.


Register to reply

Related Discussions
Prove that a rational root of a monic polynomial is an integer. Use this to prove... Calculus & Beyond Homework 1
How to prove this Set Theory, Logic, Probability, Statistics 3
How can I prove it? Calculus & Beyond Homework 3
How to prove it Calculus & Beyond Homework 3
Prove ( a + b + c )^2 <= 4( ab + bc + ca ) Calculus & Beyond Homework 13