Lagmental Vicfred

The Sign of a Permutation Is the Parity of Its Inversions by Vicfred

tags: mathematics, permutation groups, group actions, conjugacy

The sign homomorphism can be computed from transpositions, inversions, or the cycle decomposition. The formulas are more useful when each symbol has a job rather than merely decorating the theorem.

Objects and notation

A permutation in \(S_n\) is best read through its disjoint cycle type. Group actions then translate algebra into orbits \(Gx\), stabilisers \(G_x\), and fixed-point counts.

$$ \operatorname{sgn}:S_n\to\{\pm1\} $$

There are two layers here: the object \(\mathsf D\) and the law \(\mathsf C\). Writing them separately makes the direction of \(\Longrightarrow\) visible and keeps an accidental converse from slipping in.

$$ \operatorname{sgn}(\pi)=(-1)^{\operatorname{inv}(\pi)} $$

Push the symbols

Now evaluate one representative case. The result should agree with the structural law above, but it is obtained without assuming the conclusion.

$$ \operatorname{sgn}\!\bigl((1\,4\,2)(3\,5)\bigr)=(-1)^{(3-1)+(2-1)}=-1 $$

Structural reading

What survives the example is not its particular numbers but the relation encoded by the two rows below. That relation is the part worth transporting to a new setting.

$$ \begin{aligned} \mathsf{D}\;&:\quad \operatorname{sgn}:S_n\to\{\pm1\},\\[5pt] \mathsf{C}\;&:\quad \operatorname{sgn}(\pi)=(-1)^{\operatorname{inv}(\pi)}. \end{aligned} $$

A hypothesis worth keeping

Cycle notation suppresses fixed points, so the ambient symmetric group still matters. The cycle \((1\,2\,3)\) in \(S_3\) and in \(S_8\) has different centralisers.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \operatorname{sgn}(\pi)=(-1)^{\operatorname{inv}(\pi)} \end{gathered}} $$

The final box is a summary, not a new assumption; the proof still lives in the definitions and the intervening calculation. The source keeps each scope delimiter visible for later inspection.

This article was posted on Wed 20 March 2019. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.