Supongamos $G$ es un grupo finito con clases conjugacy $C_1,C_2,\dots,C_\ell$. Supongamos que tomamos un elemento de cada clase conjugacy: $g_i \in C_i$ todos los $i=1,\dots,\ell$.
Es cierto que $G = \langle g_1,g_2,\dots,g_\ell \rangle$ ($G$ es generado por estos elementos)?
Si esto es cierto, las referencias? Difícil de probar?
Gracias!!
Edit: Gracias de nuevo a todos! Supongo que debería haber mirado a su alrededor con más de desbordamiento de la primera :)