On the Ranks of Semigroups of Transformations on a Finite Set with Restricted Range

2014 ◽  
Vol 21 (03) ◽  
pp. 497-510 ◽  
Author(s):  
Vítor H. Fernandes ◽  
Jintana Sanwong

Let [Formula: see text] be the semigroup of all partial transformations on X, [Formula: see text] and [Formula: see text] be the subsemigroups of [Formula: see text] of all full transformations on X and of all injective partial transformations on X, respectively. Given a non-empty subset Y of X, let [Formula: see text], [Formula: see text] and [Formula: see text]. In 2008, Sanwong and Sommanee described the largest regular subsemigroup and determined Green's relations of [Formula: see text]. In this paper, we present analogous results for both [Formula: see text] and [Formula: see text]. For a finite set X with |X| ≥ 3, the ranks of [Formula: see text], [Formula: see text] and [Formula: see text] are well known to be 4, 3 and 3, respectively. In this paper, we also compute the ranks of [Formula: see text], [Formula: see text] and [Formula: see text] for any proper non-empty subset Y of X.

Mathematics ◽  
2018 ◽  
Vol 6 (8) ◽  
pp. 134
Author(s):  
Chollawat Pookpienlert ◽  
Preeyanuch Honyam ◽  
Jintana Sanwong

Let T(X,Y) be the semigroup consisting of all total transformations from X into a fixed nonempty subset Y of X. For an equivalence relation ρ on X, let ρ^ be the restriction of ρ on Y, R a cross-section of Y/ρ^ and define T(X,Y,ρ,R) to be the set of all total transformations α from X into Y such that α preserves both ρ (if (a,b)∈ρ, then (aα,bα)∈ρ) and R (if r∈R, then rα∈R). T(X,Y,ρ,R) is then a subsemigroup of T(X,Y). In this paper, we give descriptions of Green’s relations on T(X,Y,ρ,R), and these results extend the results on T(X,Y) and T(X,ρ,R) when taking ρ to be the identity relation and Y=X, respectively.


Author(s):  
Jintana Sanwong ◽  
Worachead Sommanee

LetT(X)be the full transformation semigroup on the setXand letT(X,Y)={α∈T(X):Xα⊆Y}. ThenT(X,Y)is a sub-semigroup ofT(X)determined by a nonempty subsetYofX. In this paper, we give a necessary and sufficient condition forT(X,Y)to be regular. In the case thatT(X,Y)is not regular, the largest regular sub-semigroup is obtained and this sub-semigroup is shown to determine the Green's relations onT(X,Y). Also, a class of maximal inverse sub-semigroups ofT(X,Y)is obtained.


2017 ◽  
Vol 16 (12) ◽  
pp. 1750223 ◽  
Author(s):  
Ilinka Dimitrova ◽  
Jörg Koppitz

For [Formula: see text], let [Formula: see text] be an [Formula: see text]-element set and let [Formula: see text] be a fence, also called a zigzag poset. As usual, we denote by [Formula: see text] the symmetric inverse semigroup on [Formula: see text]. We say that a transformation [Formula: see text] is fence-preserving if [Formula: see text] implies that [Formula: see text], for all [Formula: see text] in the domain of [Formula: see text]. In this paper, we study the semigroup [Formula: see text] of all partial fence-preserving injections of [Formula: see text] and its subsemigroup [Formula: see text]. Clearly, [Formula: see text] is an inverse semigroup and contains all regular elements of [Formula: see text] We characterize the Green’s relations for the semigroup [Formula: see text]. Further, we prove that the semigroup [Formula: see text] is generated by its elements with rank [Formula: see text]. Moreover, for [Formula: see text], we find the least generating set and calculate the rank of [Formula: see text].


2008 ◽  
Vol 77 (3) ◽  
pp. 441-453 ◽  
Author(s):  
R. P. SULLIVAN

AbstractIn 1975, Symons described the automorphisms of the semigroup T(X,Y ) consisting of all total transformations from a set X into a fixed subset Y of X. Recently Sanwong, Singha and Sullivan determined all maximal (and all minimal) congruences on T(X,Y ), and Sommanee studied Green’s relations in T(X,Y ). Here, we describe Green’s relations and ideals for the semigroup T(V,W) consisting of all linear transformations from a vector space V into a fixed subspace W of V.


2010 ◽  
Vol 83 (2) ◽  
pp. 289-300 ◽  
Author(s):  
SUZANA MENDES-GONÇALVES ◽  
R. P. SULLIVAN

AbstractLet Y be a fixed nonempty subset of a set X and let T(X,Y ) denote the semigroup of all total transformations from X into Y. In 1975, Symons described the automorphisms of T(X,Y ). Three decades later, Nenthein, Youngkhong and Kemprasit determined its regular elements, and more recently Sanwong, Singha and Sullivan characterized all maximal and minimal congruences on T(X,Y ). In 2008, Sanwong and Sommanee determined the largest regular subsemigroup of T(X,Y ) when |Y |≠1 and Y ≠ X; and using this, they described the Green’s relations on T(X,Y ) . Here, we use their work to describe the ideal structure of T(X,Y ) . We also correct the proof of the corresponding result for a linear analogue of T(X,Y ) .


2008 ◽  
Vol 01 (01) ◽  
pp. 27-44
Author(s):  
R. Butkote ◽  
K. Denecke ◽  
Ch. Ratanaprasert

A clone is a set of operations defined on a base set A which is closed under composition and contains all the projection operations. There are several ways to regard a clone as an algebraic structure (see e.g. [3]). If f, g1,…,gn : An → A are n-ary operations defined on A, then by Sn(f, g1 … , gn)(a1 … , an) := f(g1(a1,…,an),…,gn(a1,…,an)) for all a1,…, an ∈ A an (n + 1)-ary operation on the set On(A) of all n-ary operations can be defined. From this operation one can derive a binary operation + defined by f + g := Sn(f, g,…,g) and obtains a semigroup (On(A);+). The collection of all clones of operations on a finite set forms a complete lattice. This lattice is well-described ([4], [5]) if |A| = 2. If |A| > 2, this lattice is uncountably infinite and very complex. In this paper instead of clones we study semigroups of n-ary operations, i.e. subsemigroups of the semigroup (On(A); +) and their properties. We look for idempotent and regular elements of (On(A); +), consider Green's relations for the semigroup (On(A); +), characterize all constant subsemigroups of (On(A);+), all semilattices, rectangular bands and normal bands contained in (On(A);+).


1988 ◽  
Vol 31 (2) ◽  
pp. 301-319 ◽  
Author(s):  
J. A. Gerhard ◽  
Mario Petrich

The lattice of varieties of bands was constructed in [1] by providing a simple system of invariants yielding a solution of the world problem for varieties of bands including a new system of inequivalent identities for these varieties. References [3] and [5] contain characterizations of varieties of bands determined by identities with up to three variables in terms of Green's relations and the functions figuring in a construction of a general band. In this construction, the band is expressed as a semilattice of rectangular bands and the multiplication is written in terms of functions among these rectangular band components and transformation semigroups on the corresponding left zero and right zero direct factors.


Sign in / Sign up

Export Citation Format

Share Document