Gracias a los caracteres de representación sabemos que existe una biyección entre representaciones irreducibles de un grupo finito G y sus clases conjugadas.
Esa biyección se demuestra mostrando que la cardinalidad de los dos conjuntos es la misma. (J-P Serre, Representaciones lineales de grupos finitos, Th. 7 pag 19)
¿Existe una biyección canónica? Creo que la respuesta es no para un grupo genérico, pero me parece que para el grupo simétrico las cosas podrían ser diferentes.