scholarly journals Baer-Levi semigroups of partial transformations

2004 ◽  
Vol 69 (1) ◽  
pp. 87-106 ◽  
Author(s):  
Fernanda A. Pinto ◽  
R.P. Sullivan

Let X be an infinite set and suppose א0 ≤ q ≤ |X|. The Baer-Levi semigroup on X is the set of all injective ‘total’ transformations α: X → X such that |X\Xα| = q. It is known to be a right simple, right cancellative semigroup without idempotents, its automorphisms are “inner”, and some of its congruences are restrictions of Malcev congruences on I(X), the symmetric inverse semigroup on X. Here we consider algebraic properties of the semigroup consisting of all injective ‘partial’ transformations α of X such that |X\Xα| = q: in particular, we descried the ideals and Green's relations of it and some of its subsemigroups.

2009 ◽  
Vol 79 (2) ◽  
pp. 327-336 ◽  
Author(s):  
JINTANA SANWONG ◽  
R. P. SULLIVAN

AbstractSuppose that X is an infinite set and I(X) is the symmetric inverse semigroup defined on X. If α∈I(X), we let dom α and ran α denote the domain and range of α, respectively, and we say that g(α)=|X/dom α| and d(α)=|X/ran α| is the ‘gap’ and the ‘defect’ of α, respectively. In this paper, we study algebraic properties of the semigroup $A(X)=\{\alpha \in I(X)\mid g(\alpha )=d(\alpha )\}$. For example, we describe Green’s relations and ideals in A(X), and determine all maximal subsemigroups of A(X) when X is uncountable.


1999 ◽  
Vol 60 (2) ◽  
pp. 303-318 ◽  
Author(s):  
M. Paula O. Marques-Smith ◽  
R.P. Sullivan

In 1987 Sullivan determined the elements of the semigroup N(X) generated by all nilpotent partial transformations of an infinite set X; and later in 1997 he studied subsemigroups of N(X) defined by restricting the index of the nilpotents and the cardinality of the set. Here, we describe the ideals and Green's relations on such semigroups, like Reynolds and Sullivan did in 1985 for the semigroup generated by all idempotent total transformations of X. We then use this information to describe the congruences on certain Rees factor semigroups and to construct families of congruence-free semigroups with interesting algebraic properties. We also study analogous questions for X finite and for one-to-one partial transformations.


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].


2012 ◽  
Vol 87 (3) ◽  
pp. 462-479 ◽  
Author(s):  
JANUSZ KONIECZNY

AbstractFor an arbitrary set $X$ (finite or infinite), denote by $\mathcal {I}(X)$ the symmetric inverse semigroup of partial injective transformations on $X$. For $ \alpha \in \mathcal {I}(X)$, let $C(\alpha )=\{ \beta \in \mathcal {I}(X): \alpha \beta = \beta \alpha \}$ be the centraliser of $ \alpha $ in $\mathcal {I}(X)$. For an arbitrary $ \alpha \in \mathcal {I}(X)$, we characterise the transformations $ \beta \in \mathcal {I}(X)$ that belong to $C( \alpha )$, describe the regular elements of $C(\alpha )$, and establish when $C( \alpha )$ is an inverse semigroup and when it is a completely regular semigroup. In the case where $\operatorname {dom}( \alpha )=X$, we determine the structure of $C(\alpha )$in terms of Green’s relations.


2010 ◽  
Vol 82 (2) ◽  
pp. 305-321 ◽  
Author(s):  
JANUSZ KONIECZNY

AbstractFor an infinite set X, denote by Γ(X) the semigroup of all injective mappings from X to X. For α∈Γ(X), let C(α)={β∈Γ(X):αβ=βα} be the centralizer of α in Γ(X). For an arbitrary α∈Γ(X), we characterize the elements of C(α) and determine Green’s relations in C(α), including the partial orders of ℒ-, ℛ-, and 𝒥-classes.


2021 ◽  
Vol 53 ◽  
Author(s):  
Sorasak Leeratanavalee ◽  
Jukkrit Daengsaen

Any relational hypersubstitution for algebraic systems of type (τ,τ′) = ((mi)i∈I,(nj)j∈J) is a mapping which maps any mi-ary operation symbol to an mi-ary term and maps any nj - ary relational symbol to an nj-ary relational term preserving arities, where I,J are indexed sets. Some algebraic properties of the monoid of all relational hypersubstitutions for algebraic systems of a special type, especially the characterization of its order and the set of all regular elements, were first studied by Phusanga and Koppitz[13] in 2018. In this paper, we study the Green’srelationsontheregularpartofthismonoidofaparticulartype(τ,τ′) = ((m),(n)), where m, n ≥ 2.


2006 ◽  
Vol 74 (3) ◽  
pp. 393-409 ◽  
Author(s):  
M. Paula O. Marques-Smith ◽  
R.P. Sullivan

In 1987, Sullivan characterised the elements of the semigroup NI(X) generated by the nilpotents in I(X), the symmetric inverse semigroup on an infinite set X; and, in the same year, Gomes and Howie did the same for finite X. In 1999, Marques-Smith and Sullivan determined all the ideals of NI(X) for arbitrary X. In this paper, we use that work to describe all the congruences on NI(X).


Author(s):  
C. MENDES ARAÚJO ◽  
S. MENDES-GONÇALVES

Abstract Let V be an infinite-dimensional vector space over a field F and let $I(V)$ be the inverse semigroup of all injective partial linear transformations on V. Given $\alpha \in I(V)$ , we denote the domain and the range of $\alpha $ by ${\mathop {\textrm {dom}}}\,\alpha $ and ${\mathop {\textrm {im}}}\,\alpha $ , and we call the cardinals $g(\alpha )={\mathop {\textrm {codim}}}\,{\mathop {\textrm {dom}}}\,\alpha $ and $d(\alpha )={\mathop {\textrm {codim}}}\,{\mathop {\textrm {im}}}\,\alpha $ the ‘gap’ and the ‘defect’ of $\alpha $ . We study the semigroup $A(V)$ of all injective partial linear transformations with equal gap and defect and characterise Green’s relations and ideals in $A(V)$ . This is analogous to work by Sanwong and Sullivan [‘Injective transformations with equal gap and defect’, Bull. Aust. Math. Soc.79 (2009), 327–336] on a similarly defined semigroup for the set case, but we show that these semigroups are never isomorphic.


2010 ◽  
Vol 20 (07) ◽  
pp. 923-952 ◽  
Author(s):  
A. S. OLIJNYK ◽  
V. I. SUSHCHANSKY ◽  
J. K. SLUPIK

The inverse semigroup of partial automaton permutations over a finite alphabet is characterized in terms of wreath products. The permutation conjugacy relation in this semigroup and the Green's relations are described. Criteria of primary conjugacy and conjugacy are given for certain naturally defined families of partial automaton permutations. Sufficient conditions under which an inverse semigroup admits a level transitive action are presented. We give explicit examples (monogenic inverse semigroups and some commutative Clifford semigroups) of inverse semigroups generated by finite automata.


2011 ◽  
Vol 2011 ◽  
pp. 1-14
Author(s):  
Boorapa Singha ◽  
Jintana Sanwong

Suppose thatXis an infinite set with|X|≥q≥ℵ0andI(X)is the symmetric inverse semigroup defined onX. In 1984, Levi and Wood determined a class of maximal subsemigroupsMA(using certain subsetsAofX) of the Baer-Levi semigroupBL(q)={α∈I(X):domα=Xand|X∖Xα|=q}. Later, in 1995, Hotzel showed that there are many other classes of maximal subsemigroups ofBL(q), but these are far more complicated to describe. It is known thatBL(q)is a subsemigroup of the partial Baer-Levi semigroupPS(q)={α∈I(X):|X∖Xα|=q}. In this paper, we characterize all maximal subsemigroups ofPS(q)when|X|>q, and we extendMAto obtain maximal subsemigroups ofPS(q)when|X|=q.


Sign in / Sign up

Export Citation Format

Share Document