Grupos. Classes laterais e Teorema de Lagrange. Homomorfismo de grupos