Power of Product of Commutative Elements in Semigroup/Examples/Elements of 3rd Symmetric Group

From ProofWiki
Jump to navigation Jump to search

Examples of Use of Power of Product of Commutative Elements in Semigroup

Let $S = \set {1, 2, 3}$.

Let $S_3$ denote the symmetric group on $3$ letters.

Let $\rho, \sigma \in S_3$ defined in two-row notation as:

\(\ds \rho\) \(=\) \(\ds \dbinom {1 \ 2 \ 3} {2 \ 3 \ 1}\)
\(\ds \sigma\) \(=\) \(\ds \dbinom {1 \ 2 \ 3} {1 \ 3 \ 2}\)


Then:

$\rho^2 \sigma^2 \ne \paren {\rho \sigma}^2$


Proof

\(\ds \rho^2 \sigma^2\) \(=\) \(\ds \dbinom {1 \ 2 \ 3} {2 \ 3 \ 1} \dbinom {1 \ 2 \ 3} {2 \ 3 \ 1} \dbinom {1 \ 2 \ 3} {1 \ 3 \ 2} \dbinom {1 \ 2 \ 3} {1 \ 3 \ 2}\)
\(\ds \) \(=\) \(\ds \dbinom {1 \ 2 \ 3} {3 \ 1 \ 2} \dbinom {1 \ 2 \ 3} {1 \ 2 \ 3}\)
\(\ds \) \(=\) \(\ds \dbinom {1 \ 2 \ 3} {3 \ 1 \ 2}\)


\(\ds \paren {\rho \sigma}^2\) \(=\) \(\ds \paren {\dbinom {1 \ 2 \ 3} {2 \ 3 \ 1} \dbinom {1 \ 2 \ 3} {1 \ 3 \ 2} }^2\)
\(\ds \) \(=\) \(\ds \dbinom {1 \ 2 \ 3} {3 \ 2 \ 1}^2\)
\(\ds \) \(=\) \(\ds \dbinom {1 \ 2 \ 3} {1 \ 2 \ 3}\)

$\blacksquare$


Sources