T G , T cclico e H T mostrar que H subgrupo normal de G Sol: Queremos mmostrar que

Notemos que H subgrupo de T =<a> (gerado por a) implica que H tambm grupo cclico ou seja, H= (gerado por uma potencia de a) e note que (1) Como T normal em G temos que para todo Assim temos t em T ento Assim teremos:

isso pelo fato de T ser normal Elevando os dois lados a s e usando (1) vem: na primeira igualdade utilizamos o resultado (1)assim temos que lado esquerdo tambm pertence a H.pois Logo H subgrupo normal de G.