Un ejemplo típico de un grupo infinito no abeliano