The Natural Partial Order
An inverse semigroup S possesses a natural partial order relation ≤ (sometimes denoted by ω) which is defined by the following:
for some idempotent e in S. Equivalently,
for some (in general, different) idempotent f in S. In fact, e can be taken to be aa−1 and f to be a−1a.
The natural partial order is compatible with both multiplication and inversion, that is,
and
In a group, this partial order simply reduces to equality, since the identity is the only idempotent. In a symmetric inverse semigroup, the partial order reduces to restriction of mappings, i.e., α ≤ β if, and only if, the domain of α is contained in the domain of β and xα = xβ, for all x in the domain of α.
The natural partial order on an inverse semigroup interacts with Green's relations as follows: if s ≤ t and st, then s = t. Similarly, if st.
On E(S), the natural partial order becomes:
so the product of any two idempotents in S is equal to the lesser of the two, with respect to ≤. If E(S) forms a chain (i.e., E(S) is totally ordered by ≤), then S is a union of groups.
Read more about this topic: Inverse Semigroup
Famous quotes containing the words natural, partial and/or order:
“The Reverend Samuel Peters ... exaggerated the Blue Laws, but they did include “Capital Lawes” providing a death penalty for any child over sixteen who was found guilty of cursing or striking his natural parents; a death penalty for an incorrigible son; a law forbidding smoking except in a room in a private house; another law declaring smoking illegal except on a journey five miles away from home,...”
—Administration for the State of Con, U.S. public relief program (1935-1943)
“The one-eyed man will be King in the country of the blind only if he arrives there in full possession of his partial faculties—that is, providing he is perfectly aware of the precise nature of sight and does not confuse it with second sight ... nor with madness.”
—Angela Carter (1940–1992)
“Women do not have to sacrifice personhood if they are mothers. They do not have to sacrifice motherhood in order to be persons. Liberation was meant to expand women’s opportunities, not to limit them. The self-esteem that has been found in new pursuits can also be found in mothering.”
—Elaine Heffner (20th century)