scholarly journals On Maximal Subsemigroups of Partial Baer-Levi Semigroups

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.


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.



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



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.



2007 ◽  
Vol 17 (03) ◽  
pp. 567-591 ◽  
Author(s):  
VICTOR MALTCEV

We construct the inverse partition semigroup[Formula: see text], isomorphic to the dual symmetric inverse monoid[Formula: see text], introduced in [6]. We give a convenient geometric illustration for elements of [Formula: see text]. We describe all maximal subsemigroups of [Formula: see text] and find a generating set for [Formula: see text] when X is finite. We prove that all the automorphisms of [Formula: see text] are inner. We show how to embed the symmetric inverse semigroup into the inverse partition one. For finite sets X, we establish that, up to equivalence, there is a unique faithful effective transitive representation of [Formula: see text], namely to [Formula: see text]. Finally, we construct an interesting [Formula: see text]-cross-section of [Formula: see text], which is reminiscent of [Formula: see text], the [Formula: see text]-cross-section of [Formula: see text], constructed in [4].





1987 ◽  
Vol 29 (1) ◽  
pp. 21-40 ◽  
Author(s):  
Mario Petrich ◽  
Stuart Rankin

Transitive group representations have their analogue for inverse semigroups as discovered by Schein [7]. The right cosets in the group case find their counterpart in the right ω-cosets and the symmetric inverse semigroup plays the role of the symmetric group. The general theory developed by Schein admits a special case discovered independently by Ponizovskiǐ [4] and Reilly [5]. For a discussion of this topic, see [1, §7.3] and [2, Chapter IV].



2008 ◽  
Vol 85 (1) ◽  
pp. 75-80
Author(s):  
JAMES EAST

AbstractA submonoid S of a monoid M is said to be cofull if it contains the group of units of M. We extract from the work of Easdown, East and FitzGerald (2002) a sufficient condition for a monoid to embed as a cofull submonoid of the coset monoid of its group of units, and show further that this condition is necessary. This yields a simple description of the class of finite monoids which embed in the coset monoids of their group of units. We apply our results to give a simple proof of the result of McAlister [D. B. McAlister, ‘Embedding inverse semigroups in coset semigroups’, Semigroup Forum20 (1980), 255–267] which states that the symmetric inverse semigroup on a finite set X does not embed in the coset monoid of the symmetric group on X. We also explore examples, which are necessarily infinite, of embeddings whose images are not cofull.



2017 ◽  
Vol 29 (4) ◽  
Author(s):  
Tiwadee Musunthia ◽  
Jörg Koppitz

AbstractIn this paper, we study the maximal subsemigroups of several semigroups of order-preserving transformations on the natural numbers and the integers, respectively. We determine all maximal subsemigroups of the monoid of all order-preserving injections on the set of natural numbers as well as on the set of integers. Further, we give all maximal subsemigroups of the monoid of all bijections on the integers. For the monoid of all order-preserving transformations on the natural numbers, we classify also all its maximal subsemigroups, containing a particular set of transformations.



Author(s):  
Suzana Mendes-Gonçalves ◽  
R. P. Sullivan

Given an infinite-dimensional vector space V, we consider the semigroup GS (m, n) consisting of all injective linear α: V → V for which codim ran α = n, where dim V = m ≥ n ≥ ℵ0. This is a linear version of the well-known Baer–Levi semigroup BL (p, q) defined on an infinite set X, where |X| = p ≥ q ≥ ℵ0. We show that, although the basic properties of GS (m, n) are the same as those of BL (p, q), the two semigroups are never isomorphic. We also determine all left ideals of GS (m, n) and some of its maximal subsemigroups; in this, we follow previous work on BL (p, q) by Sutov and Sullivan as well as Levi and Wood.



1991 ◽  
Vol 01 (01) ◽  
pp. 33-47 ◽  
Author(s):  
JAN OKNIŃSKI ◽  
MOHAN S. PUTCHA

This paper is mostly concerned with arbitrary finite monoids M with the complex semigroup algebra [Formula: see text] semisimple. Using the 1942 work of Clifford, we develop for these monoids a theory of cuspidal representations. Harish-Chandra's philosophy of cuspidal representations of finite groups can then be derived with an appropriate specialization. For [Formula: see text], we use Solomon's Hecke algebra to obtain a correspondence between the 'simple' representations of [Formula: see text] and the representations of the symmetric inverse semigroup. We also prove a semisimplicity theorem for a special class of finite monoids of the type which was earlier used by the authors to prove the semisimplicity of [Formula: see text].



Sign in / Sign up

Export Citation Format

Share Document