Stay ahead of learning milestones! Enroll in a class over the summer!

G
Topic
First Poster
Last Poster
A robust fact about 5-cycles
math_explorer   2
N May 2, 2016 by math_explorer
[quote]Lemma 3. (Barrington, 1986) There are two five-cycles $\sigma_1$ and $\sigma_2$ in $S_5$ whose commutator is a five-cycle. (The commutator of $a$ and $b$ is $aba^{-1}b^{-1}$.)

Proof. $(12345)(13542)(54321)(24531) = (13254).$[/quote]

Someday I want to write a paper and include a lemma with a proof like this.

Uh, is it just me or is this proof actually incorrect...? I keep getting $(14352)$. I think Mr. Barrington composed his permutations the wrong way. (Fortunately for complexity theory, the lemma is robust to this issue! :P)
2 replies
math_explorer
May 2, 2016
math_explorer
May 2, 2016
No more topics!
a