Equivalence Relation on Symmetric Group by Image of n is Congruence Modulo Subgroup

From ProofWiki
Jump to navigation Jump to search

Theoerm

Let $S_n$ denote the symmetric group on $n$ letters

Let $\sim$ be the relation on $S_n$ defined as:

$\forall \pi, \tau \in S_n: \pi \sim \tau \iff \map \pi n = \map \tau n$

Then $\sim$ is an equivalence relation which is congruence modulo a subgroup.



Proof


Sources