scholarly journals PARTIAL ORDERS ON PARTIAL BAER–LEVI SEMIGROUPS

2010 ◽  
Vol 81 (2) ◽  
pp. 195-207 ◽  
Author(s):  
BOORAPA SINGHA ◽  
JINTANA SANWONG ◽  
R. P. SULLIVAN
Keyword(s):  
Inverse Semigroup ◽  
Partial Order ◽  
Partial Orders ◽  
The Other ◽  
Natural Order ◽  
Natural Partial Order ◽  
Transformation Semigroups ◽  
Minimal Elements ◽  
Symmetric Inverse Semigroup ◽  
Containment Order

AbstractMarques-Smith and Sullivan [‘Partial orders on transformation semigroups’, Monatsh. Math.140 (2003), 103–118] studied various properties of two partial orders on P(X), the semigroup (under composition) consisting of all partial transformations of an arbitrary set X. One partial order was the ‘containment order’: namely, if α,β∈P(X) then α⊆β means xα=xβ for all x∈dom α, the domain of α. The other order was the so-called ‘natural order’ defined by Mitsch [‘A natural partial order for semigroups’, Proc. Amer. Math. Soc.97(3) (1986), 384–388] for any semigroup. In this paper, we consider these and other orders defined on the symmetric inverse semigroup I(X) and the partial Baer–Levi semigroup PS(q). We show that there are surprising differences between the orders on these semigroups, concerned with their compatibility with respect to composition and the existence of maximal and minimal elements.

A PARTIAL ORDER ON TRANSFORMATION SEMIGROUPS THAT PRESERVE DOUBLE DIRECTION EQUIVALENCE RELATION

2013 ◽  
Vol 12 (08) ◽  
pp. 1350041 ◽  
Author(s):  
LEI SUN ◽  
JUNLING SUN
Keyword(s):  
Lower Bound ◽  
Partial Order ◽  
Equivalence Relation ◽  
Transformation Semigroup ◽  
Natural Partial Order ◽  
Transformation Semigroups ◽  
Full Transformation ◽  
Minimal Elements ◽  
Full Transformation Semigroup

Let [Formula: see text] be the full transformation semigroup on a nonempty set X and E be an equivalence relation on X. Then [Formula: see text] is a subsemigroup of [Formula: see text]. In this paper, we endow it with the natural partial order. With respect to this partial order, we determine when two elements are related, find the elements which are compatible and describe the maximal (minimal) elements. Also, we investigate the greatest lower bound of two elements.

scholarly journals Natural Partial Orders on Transformation Semigroups with Fixed Sets

2016 ◽  
Vol 2016 ◽  
pp. 1-7 ◽  
Author(s):  
Yanisa Chaiya ◽  
Preeyanuch Honyam ◽  
Jintana Sanwong
Keyword(s):  
Partial Order ◽  
Partial Orders ◽  
Natural Partial Order ◽  
Transformation Semigroups ◽  
Maximal Elements ◽  
Fixed Subset ◽  
Regular Monoid

LetXbe a nonempty set. For a fixed subsetYofX, letFixX,Ybe the set of all self-maps onXwhich fix all elements inY. ThenFixX,Yis a regular monoid under the composition of maps. In this paper, we characterize the natural partial order onFix(X,Y)and this result extends the result due to Kowol and Mitsch. Further, we find elements which are compatible and describe minimal and maximal elements.

THE NATURAL PARTIAL ORDER ON LINEAR SEMIGROUPS WITH NULLITY AND CO-RANK BOUNDED BELOW

2014 ◽  
Vol 91 (1) ◽  
pp. 104-115 ◽  
Author(s):  
SUREEPORN CHAOPRAKNOI ◽  
TEERAPHONG PHONGPATTANACHAROEN ◽  
PONGSAN PRAKITSRI
Keyword(s):  
Semigroup Forum ◽  
Partial Order ◽  
Lower Bounds ◽  
Partial Orders ◽  
Natural Partial Order ◽  
Linear Transformations ◽  
Bounded Below

AbstractHiggins [‘The Mitsch order on a semigroup’, Semigroup Forum 49 (1994), 261–266] showed that the natural partial orders on a semigroup and its regular subsemigroups coincide. This is why we are interested in the study of the natural partial order on nonregular semigroups. Of particular interest are the nonregular semigroups of linear transformations with lower bounds on the nullity or the co-rank. In this paper, we determine when they exist, characterise the natural partial order on these nonregular semigroups and consider questions of compatibility, minimality and maximality. In addition, we provide many examples associated with our results.

scholarly journals Inverse semigroups and their natural order

1978 ◽  
Vol 19 (1) ◽  
pp. 59-65 ◽  
Author(s):  
H. Mitsch
Keyword(s):  
Inverse Semigroup ◽  
Partial Order ◽  
Homomorphic Image ◽  
Point Of View ◽  
Inverse Semigroups ◽  
Natural Order ◽  
Theoretical Point ◽  
Trivial Group

The natural order of an inverse semigroup defined by a ≤ b ⇔ a′b = a′a has turned out to be of great importance in describing the structure of it. In this paper an order-theoretical point of view is adopted to characterise inverse semigroups. A complete description is given according to the type of partial order an arbitrary inverse semigroup S can possibly admit: a least element of (S, ≤) is shown to be the zero of (S, ·); the existence of a greatest element is equivalent to the fact, that (S, ·) is a semilattice; (S, ≤) is directed downwards, if and only if S admits only the trivial group-homomorphic image; (S, ≤) is totally ordered, if and only if for all a, b ∈ S, either ab = ba = a or ab = ba = b; a finite inverse semigroup is a lattice, if and only if it admits a greatest element. Finally formulas concerning the inverse of a supremum or an infimum, if it exists, are derived, and right-distributivity and left-distributivity of multiplication with respect to union and intersection are shown to be equivalent.

Naturally Ordered Transformation Semigroups Preserving an Equivalence Relation and a Cross-section

2011 ◽  
Vol 18 (03) ◽  
pp. 523-532 ◽  
Author(s):  
Lei Sun ◽  
Weina Deng ◽  
Huisheng Pei
Keyword(s):  
Cross Section ◽  
Equivalence Relation ◽  
Transformation Semigroup ◽  
Natural Order ◽  
Transformation Semigroups ◽  
Full Transformation ◽  
Minimal Elements ◽  
Full Transformation Semigroup

The paper is concerned with the so-called natural order on the semigroup [Formula: see text], where [Formula: see text] is the full transformation semigroup on a set X, E is a non-trivial equivalence on X and R is a cross-section of the partition X/E induced by E. We determine when two elements of TE(X,R) are related under this order, find elements of TE(X,R) which are compatible with ≤ on TE(X,R), and observe the maximal and minimal elements and the covering elements.

scholarly journals Partial Order Rank Features in Colour Space

2020 ◽  
Vol 10 (2) ◽  
pp. 499 ◽  
Author(s):  
Fabrizio Smeraldi ◽  
Francesco Bianconi ◽  
Antonio Fernández ◽  
Elena González
Keyword(s):  
Image Classification ◽  
Partial Order ◽  
Multivariate Data ◽  
Order Relation ◽  
Mathematical Structure ◽  
Partial Orders ◽  
Natural Order ◽  
Colour Space ◽  
Grey Scale

Partial orders are the natural mathematical structure for comparing multivariate data that, like colours, lack a natural order. We introduce a novel, general approach to defining rank features in colour spaces based on partial orders, and show that it is possible to generalise existing rank based descriptors by replacing the order relation over intensity values by suitable partial orders in colour space. In particular, we extend a classical descriptor (the Texture Spectrum) to work with partial orders. The effectiveness of the generalised descriptor is demonstrated through a set of image classification experiments on 10 datasets of colour texture images. The results show that the partial-order version in colour space outperforms the grey-scale classic descriptor while maintaining the same number of features.

THE NATURAL PARTIAL ORDER ON SOME TRANSFORMATION SEMIGROUPS

2013 ◽  
Vol 89 (2) ◽  
pp. 279-292 ◽  
Author(s):  
SUREEPORN CHAOPRAKNOI ◽  
TEERAPHONG PHONGPATTANACHAROEN ◽  
PATTANACHAI RAWIWAN
Keyword(s):  
Partial Order ◽  
Partially Ordered Sets ◽  
Natural Partial Order ◽  
Transformation Semigroups ◽  
Ordered Sets ◽  
Maximal Elements ◽  
Partially Ordered

AbstractFor a semigroup $S$, let ${S}^{1} $ be the semigroup obtained from $S$ by adding a new symbol 1 as its identity if $S$ has no identity; otherwise let ${S}^{1} = S$. Mitsch defined the natural partial order $\leqslant $ on a semigroup $S$ as follows: for $a, b\in S$, $a\leqslant b$ if and only if $a= xb= by$ and $a= ay$ for some $x, y\in {S}^{1} $. In this paper, we characterise the natural partial order on some transformation semigroups. In these partially ordered sets, we determine the compatibility of their elements, and find all minimal and maximal elements.

scholarly journals NATURALLY ORDERED TRANSFORMATION SEMIGROUPS PRESERVING AN EQUIVALENCE

2008 ◽  
Vol 78 (1) ◽  
pp. 117-128 ◽  
Author(s):  
LEI SUN ◽  
HUISHENG PEI ◽  
ZHENGXING CHENG
Keyword(s):  
Transformation Semigroup ◽  
Natural Order ◽  
Transformation Semigroups ◽  
Full Transformation ◽  
Minimal Elements ◽  
Full Transformation Semigroup ◽  
Image Position

AbstractLet 𝒯X be the full transformation semigroup on a set X and E be a nontrivial equivalence on X. Write then TE(X) is a subsemigroup of 𝒯X. In this paper, we endow TE(X) with the so-called natural order and determine when two elements of TE(X) are related under this order, then find out elements of TE(X) which are compatible with ≤ on TE(X). Also, the maximal and minimal elements and the covering elements are described.

THE NATURAL ORDER FOR THE E-ORDER-PRESERVING TRANSFORMATION SEMIGROUPS

2012 ◽  
Vol 05 (03) ◽  
pp. 1250035 ◽  
Author(s):  
Huisheng Pei ◽  
Weina Deng
Keyword(s):  
Transformation Semigroup ◽  
Natural Order ◽  
Transformation Semigroups ◽  
Full Transformation ◽  
Minimal Elements ◽  
Full Transformation Semigroup ◽  
Finite Set

Let (X, ≤) be a totally ordered finite set, [Formula: see text] be the full transformation semigroup on X and E be an arbitrary equivalence on X. We consider a subsemigroup of [Formula: see text] defined by [Formula: see text] and call it the E-order-preserving transformation semigroup on X. In this paper, we endow EOPX with the so-called natural order ≤ and discuss when two elements in EOPX are related under this order, then determine those elements of EOPX which are compatible with ≤. Also, the maximal (minimal) elements are described.

scholarly journals IRREDUCIBLE QUASIORDERS OF MONOUNARY ALGEBRAS

2012 ◽  
Vol 93 (3) ◽  
pp. 259-276 ◽  
Author(s):  
DANICA JAKUBÍKOVÁ-STUDENOVSKÁ ◽  
REINHARD PÖSCHEL ◽  
SÁNDOR RADELECZKI
Keyword(s):  
Partial Order ◽  
Unary Operation ◽  
Natural Order ◽  
Monounary Algebra ◽  
Natural Partial Order ◽  
Ordered Structure ◽  
Subdirectly Irreducible ◽  
Irreducible Elements ◽  
Algebraic Counterpart

AbstractRooted monounary algebras can be considered as an algebraic counterpart of directed rooted trees. We work towards a characterization of the lattice of compatible quasiorders by describing its join- and meet-irreducible elements. We introduce the limit $\cB _\infty $ of all $d$-dimensional Boolean cubes $\Two ^d$ as a monounary algebra; then the natural order on $\Two ^d$ is meet-irreducible. Our main result is that any completely meet-irreducible quasiorder of a rooted algebra is a homomorphic preimage of the natural partial order (or its inverse) of a suitable subalgebra of $\cB _\infty $. For a partial order, it is known that complete meet-irreducibility means that the corresponding partially ordered structure is subdirectly irreducible. For a rooted monounary algebra it is shown that this property implies that the unary operation has finitely many nontrivial kernel classes and its graph is a binary tree.

Sign in / Sign up

Export Citation Format

Share Document