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:
“It has no share in the leadership of thought: it does not even reflect its current. It does not create beauty: it apes fashion. It does not produce personal skill: our actors and actresses, with the exception of a few persons with natural gifts and graces, mostly miscultivated or half-cultivated, are simply the middle-class section of the residuum.”
—George Bernard Shaw (1856–1950)
“There is no luck in literary reputation. They who make up the final verdict upon every book are not the partial and noisy readers of the hour when it appears; but a court as of angels, a public not to be bribed, not to be entreated, and not to be overawed, decides upon every man’s title to fame. Only those books come down which deserve to last.”
—Ralph Waldo Emerson (1803–1882)
“In order to become spoiled ... a child has to be able to want things as well as need them. He has to be able to see himself as a being who is separate from everyone else.... A baby is none of these things. He feels a need and he expresses it. He is not intellectually capable of working out involved plans and ideas like “Can I make her give me...?” “If I make enough fuss he will...?” “They let me do ... yesterday and I want to do it again today so I’ll....””
—Penelope Leach (20th century)