# Principal factor

In algebra, the principal factor of a ${\displaystyle {\mathcal {J}}}$-class J of a semigroup S is equal to J if J is the kernel of S, and to ${\displaystyle J\cup \{0\}}$ otherwise.