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:
“There is an universal tendency among mankind to conceive all beings like themselves, and to transfer to every object, those qualities, with which they are familiarly acquainted, and of which they are intimately conscious. We find human faces in the moon, armies in the clouds; and by a natural propensity, if not corrected by experience and reflection, ascribe malice or good-will to every thing, that hurts or pleases us.”
—David Hume (1711–1776)
“We were soon in the smooth water of the Quakish Lake,... and we had our first, but a partial view of Ktaadn, its summit veiled in clouds, like a dark isthmus in that quarter, connecting the heavens with the earth.”
—Henry David Thoreau (1817–1862)
“The world is a puzzling place today. All these banks sending us credit cards, with our names on them. Well, we didn’t order any credit cards! We don’t spend what we don’t have. So we just cut them in half and throw them out, just as soon as we open them in the mail. Imagine a bank sending credit cards to two ladies over a hundred years old! What are those folks thinking?”
—Sarah Louise Delany (b. 1889)