Em álgebra, o fator principal de uma -classe J de um semigrupo S é igual a J se J é o núcleo de S, e a caso contrário.
Propriedades Um fator principal é um semigrupo simples, 0-simples ou nulo.Grillet (1995), p. 50, Proposition 4.9.
. . .
Categoria:Teoria de semigrupos