0 Usuarios y 1 Visitante están viendo este tema.
Si \[ K \] contiene un elemento de cada clase de conjugación quiere decir que todo elemento de \[ G \] es conjugado de alguno de \[ K \], es decir, \[ G = \bigcup_{g \in G} gKg^{-1} \]. Usando el resultado previo se sigue que debe ser \[ K=G \].