Principal factor

of a semi-group

A Rees quotient semi-group (cf. Semi-group) of the form , where is the two-sided principal ideal of the semi-group generated by the element and , where is the -class (cf. Green equivalence relations) containing . If the set is not empty, then it is an ideal, and if , one puts . A principal factor of a semi-group is also known as an ideal factor. An arbitrary principal factor of a semi-group is either a semi-group with zero multiplication, a -simple semi-group or an ideally-simple semi-group (cf. Simple semi-group). The last situation occurs if and only if the semi-group has a kernel (cf. Kernel of a semi-group) and this kernel coincides with the given principal factor. A semi-group without a principal factor with zero multiplication is said to be semi-simple; the condition of semi-simplicity of a semi-group is equivalent, for example, to the fact that for any of its two-sided ideals the equality is valid. All regular semi-groups (cf. Regular semi-group) are semi-simple. If each principal factor of a semi-group is either completely -simple or completely simple (cf. Completely-simple semi-group), then the semi-group is called completely semi-simple. A semi-group is completely semi-simple if and only if it is regular and satisfies any of the following (mutually-dual) conditions: for each -class the partially ordered set of -classes (or -classes) contained in it has a minimal element; in this case .

Any semi-group consists, as it were, of its principal factors. This explains, in particular, the important role played by ideally-simple and -simple semi-groups in the theory of semi-groups.

References

[1]	E.S. Lyapin, "Semigroups" , Amer. Math. Soc. (1974) (Translated from Russian)
[2]	A.H. Clifford, G.B. Preston, "Algebraic theory of semi-groups" , 1–2 , Amer. Math. Soc. (1961–1967)

Comments

A principal factor of a semi-group is also called a chief factor of a semi-group.