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 J∪{0} caso contrário.
Predefinição:Referências