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 partial order, natural, partial and/or order:
“Both the man of science and the man of art live always at the edge of mystery, surrounded by it. Both, as a measure of their creation, have always had to do with the harmonization of what is new with what is familiar, with the balance between novelty and synthesis, with the struggle to make partial order in total chaos.... This cannot be an easy life.”
—J. Robert Oppenheimer (1904–1967)
“Rivers must have been the guides which conducted the footsteps of the first travelers. They are the constant lure, when they flow by our doors, to distant enterprise and adventure; and, by a natural impulse, the dwellers on their banks will at length accompany their currents to the lowlands of the globe, or explore at their invitation the interior of continents.”
—Henry David Thoreau (1817–1862)
“And meanwhile we have gone on living,
Living and partly living,
Picking together the pieces,
Gathering faggots at nightfall,
Building a partial shelter,
For sleeping and eating and drinking and laughter.”
—T.S. (Thomas Stearns)
“The rebel, unlike the revolutionary, does not attempt to undermine the social order as a whole. The rebel attacks the tyrant; the revolutionary attacks tyranny. I grant that there are rebels who regard all governments as tyrannical; nonetheless, it is abuses that they condemn, not power itself. Revolutionaries, on the other hand, are convinced that the evil does not lie in the excesses of the constituted order but in order itself. The difference, it seems to me, is considerable.”
—Octavio Paz (b. 1914)