Principal factor


In algebra, the principal factor of a -class J of a semigroup S is equal to J if J is the kernel of S, and to otherwise.

Properties