Equality-pattern orbits of ordered pairs
ID: equality-pattern-orbits-of-ordered-pairs
The diagonal group action of the symmetric group on ordered pairs has two orbits of a group action when : equal pairs, of size , and distinct pairs, of size . Equality is preserved by a bijection, and a prescribed bijection on one or two distinct letters extends to a permutation of all letters. At only the equal-pair orbit remains.
New to topics? Read the docs here!