A relação de equivalência "módulo um dado subgrupo". Classes de equivalência, representantes, o espaço quociente G/H. ìndice de um subgrupo e teorema de Lagrange. Factorização de grupos em produtos de subgrupos, exemplos.