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