MODELO DO GRUPO FORMAL