Inverse Semigroup - The Natural Partial Order

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 st 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:

    If the most significant characteristic of man is the complex of biological needs he shares with all members of his species, then the best lives for the writer to observe are those in which the role of natural necessity is clearest, namely, the lives of the very poor.
    —W.H. (Wystan Hugh)

    The only coöperation which is commonly possible is exceedingly partial and superficial; and what little true coöperation there is, is as if it were not, being a harmony inaudible to men. If a man has faith, he will coöperate with equal faith everywhere; if he has not faith, he will continue to live like the rest of the world, whatever company he is joined to.
    Henry David Thoreau (1817–1862)

    Woman ... cannot be content with health and agility: she must make exorbitant efforts to appear something that never could exist without a diligent perversion of nature. Is it too much to ask that women be spared the daily struggle for superhuman beauty in order to offer it to the caresses of a subhumanly ugly mate?
    Germaine Greer (b. 1939)