Principal factor
In algebra, the principal factor of a J {\displaystyle {\mathcal {J}}} -class J of a semigroup S is equal to J if J is the kernel of S, and to J ∪ { 0 } {\displaystyle J\cup \{0\}} otherwise. == Properties == A principal factor is a simple, 0-simple or null semigroup.