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

Further reading