Fator principal

Em álgebra, o fator principal de uma ${\mathcal {J}}$-classe J de um semigrupo S é igual a J se J é o núcleo de S, e a $J\cup \{0\}$ caso contrário.

Propriedades

• Um fator principal é um semigrupo simples, 0-simples ou nulo.

Referências

• Howie, John M. (1995), Fundamentals of Semigroup Theory, ISBN 0-19-851194-9, Clarendon Press .
• Clifford, A. H.; Preston, G. B. (1961), The algebraic theory of semigroups, volume 1, American Mathematical Society .
• Grillet, P. A. (1995), Semigroups: An Introduction to the Structure Theory, ISBN 0824796624, Marcel Dekker, p. 49 .