Paired face and vertex colorings of a tetrahedron

ID: paired-face-and-vertex-colorings-of-a-tetrahedron

Pair a tetrahedron vertex with its opposite face. This is an equivariant correspondence under all tetrahedral symmetries, so three face colors and two vertex colors become six combined symbols at each of four positions. Burnside's lemma on the alternating group gives . Including reflections gives and reduces the count to multisets of four symbols from six, namely .

New to topics? Read the docs here!