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.
This abstract algebra–related article is a stub. You can help Wikipedia by adding missing information.