Congruence Pair of a Semilattice if Inverse Semigroups,without Identities

陈兆英,王秀清,李刚

DOI: https://doi.org/10.3969/j.issn.1671-1815.2009.02.001

2009-01-01

Abstract:Firstly,congruence pairs on a semilattice of inverse semigroups Sα by those inverse semigroups,without identities are characterized.Then,a congruence pair of each inverse semigroup by congruence pairs on a semilattice of inverse semigroups Sα is discussed.

What problem does this paper attempt to address?

On inverse ordered semigroups

A. Jamadar,K. Hansda

DOI: https://doi.org/10.48550/arXiv.1905.04030

2019-05-10

Group Theory

Abstract:The purpose of this paper is to study the generalization of inverse semigroups (without order). An ordered semigroup S is called an inverse ordered semigroup if for every a 2 S, any two inverses of a are H-related. We prove that an ordered semigroup is complete semilattice of t-simple ordered semigroups if and only if it is completely regular and inverse. Furthermore characterizations of inverse ordered semigroups have been characterized by their ordered idempotents.
A class of congruences in partial Abelian semigroups

Zhijian Yu,Junde Wu,Shijie Lu

DOI: https://doi.org/10.1007/s10582-006-0037-2

2005-01-01

Czechoslovak Journal of Physics

Abstract:In this paper, by basing on the special morphism of Habil, we introduce and study a class of congruences in partial Abelian semigroups and obtain some interesting properties.
Computing congruences of finite inverse semigroups

Luna Elliott,Alex Levine,James D. Mitchell

2024-06-14

Abstract:In this paper we present an algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from computational group theory, automata, and the theory of inverse semigroups. An initial implementation of this algorithm outperforms existing implementations by several orders of magnitude.

Group Theory,Data Structures and Algorithms
E-disjunctive inverse semigroups

Luna Elliott,Alex Levine,James Mitchell

2024-05-30

Abstract:In this paper we provide an overview of the class of inverse semigroups $S$ such that every congruence on $S$ relates at least one idempotent to a non-idempotent; such inverse semigroups are called $E$-disjunctive. This overview includes the study of the inverse semigroup theoretic structure of $E$-disjunctive semigroups; a large number of natural examples; some asymptotic results establishing the rarity of such inverse semigroups; and a general structure theorem for all inverse semigroups where the building blocks are $E$-disjunctive.

Group Theory
Introduction to inverse semigroups

Mark V. Lawson

DOI: https://doi.org/10.48550/arXiv.2304.13580

2023-06-26

Abstract:This is an account of the theory of inverse semigroups, assuming only that the reader knows the basics of semigroup theory.

Category Theory
Inverse Sets and Inverse Correspondences Over Inverse Semigroups

Tomoki Uchimura

2024-04-09

Abstract:In this paper, we introduce notions called inverse set and inverse correspondence over inverse semigroups. These are analogies of Hilbert $C^*$-modules and \Ccorrs in the $C^*$-algebra theory. We show that inverse semigroups and inverse correspondences form a bicategory. In this bicategory, two inverse semigroups are equivalent if and only if they are Morita equivalent.

Operator Algebras,Category Theory,Group Theory,Rings and Algebras
Regularity of Semigroup Rings

Fang Li

DOI: https://doi.org/10.1007/bf02574122

1996-01-01

Semigroup Forum

Abstract:Sufficient conditions are obtained in order that the semigroup rings of some semigroups be regular. For some inverse, orthodox and completely simple semigroups, the necessary and sufficient conditions for the regularity of the semigroup rings are found.
Transitive representations of inverse semigroups

Boris M. Schein

DOI: https://doi.org/10.48550/arXiv.1407.2198

2014-07-09

Abstract:While every group is isomorphic to a transitive group of permutations, the analogous property fails for inverse semigroups: not all inverse semigroups are isomorphic to transitive inverse semigroups of one-to-one partial transformations of a set. We describe those inverse semigroups that are.

Group Theory
On the Weak Regularity of Semigroup Rings

Fang Li

DOI: https://doi.org/10.1007/bf02573665

1994-01-01

Semigroup Forum

Abstract:Sufficient conditions are obtained under which the semigroup ring of a semigroup, in particular, of an inverse semigroup, is weakly regular. For some inverse semigroups and some orthodox semigroups, the necessary and sufficient conditions for the weak regularity of the semigroup rings are found. A problem is mentioned especially which is much more difficult for weak regularity than for regularity. Only a partial solution of this problem is given for weak regularity.
Morita equivalence of inverse semigroups

B. Afara,M. V. Lawson

DOI: https://doi.org/10.1007/s10998-013-3105-y

2012-12-24

Periodica Mathematica Hungarica

Abstract:We describe how to construct all inverse semigroups Morita equivalent to a given inverse semigroup S. This is done by taking the maximum inverse images of the regular Rees matrix semigroups over S where the sandwich matrix satisfies what we call the McAlister conditions.

mathematics, applied
A note on idempotent semirings

George Janelidze,Manuela Sobral

2023-07-10

Abstract:For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty colimits. The (known) closedness of the category of Boolean rings and of the category of distributive lattices under non-empty colimits in the category of commutative semirings both follow from this general statement.

Category Theory
Congruences on Continuous Lattices

Shi Xiaoping,He Wei

DOI: https://doi.org/10.3969/j.issn.1001-4616.2009.04.005

2009-01-01

Abstract:Congruences are important to study quotients of lattices.In this paper,a characterization of congruences on continuous lattices is given.Homomorphism theorems of continuous lattices are also discussed.
Semilattices with a congruence

Paolo Lipparini

2024-07-11

Abstract:A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence, hence equivalent to the category of semilattice epimorphisms. Guided by the above example, we hint to an ``internal'' characterization of surjective homomorphisms between general relational systems.

Rings and Algebras
Some special congruences on completely regular semigroups

Li-Min Wang,Ying-Ying Feng,Hong-Hua Chen

DOI: https://doi.org/10.48550/arXiv.1901.08776

2019-01-25

Group Theory

Abstract:This paper enriches the list of properties of the congruence sequences starting from the universal relation and successively performing the operations of lower $t$ and lower $k$. Three classes of completely regular semigroups, namely semigroups for which $\ker{\sigma}$ is a cryptogroup, semigroups for which $\ker{\nu}$ is a cryptogroup and semigroups for which $\kappa$ is over rectangular bands, are studied. $((\omega_t)_k)_t$, $((\mathcal{D}_t)_k)_t$ and $((\omega_k)_t)_k$ are found to be the least congruences on $S$ such that the quotient semigroups are semigroups for which $\ker{\sigma}$ is a cryptogroup, $\ker{\nu}$ is a cryptogroup and $\kappa$ is over rectangular bands, respectively. The results obtained present a response to three problems in Petrich and Reilly's textbook \textquoteleft\textquoteleft Completely Regular Semigroups\textquoteright\textquoteright.
Representations of inverse semigroups in complete atomistic inverse meet-semigroups

D. G. FitzGerald

DOI: https://doi.org/10.1007/s00233-020-10091-9

2021-02-19

Abstract:As an appropriate generalisation of the features of the classical (Schein) theory of representations of inverse semigroups in $\mathscr{I}_{X}$, a theory of representations of inverse semigroups by homomorphisms into complete atomistic inverse algebras is developed. This class of inverse algebras includes partial automorphism monoids of entities such as graphs, vector spaces and modules. A workable theory of decompositions is reached; however complete distributivity is required for results approaching those of the classical case.

Group Theory
On semitopological simple inverse $ω$-semigroups with compact maximal subgroups

Oleg Gutik,Kateryna Maksymyk

2024-09-10

Abstract:We describe the structure of simple inverse Hausdorff semitopological $\omega$-semigroups with compact maximal subgroups. In particular we show that if $S$ is a simple inverse Hausdorff semitopological $\omega$-semigroups with compact maximal subgroups, then $S$ is topologically isomorphic to the Bruck--Reilly extension $\left(\textbf{BR}(T,\theta),\tau_{\textbf{BR}}^{\oplus}\right)$ of a finite semilattice $T=\left[E;G_\alpha,\varphi_{\alpha,\beta}\right]$ of compact groups $G_\alpha$ in the class of topological inverse semigroups, where $\tau_{\textbf{BR}}^{\oplus}$ is the sum direct topology on $\textbf{BR}(T,\theta)$. Also we prove that every Hausdorff locally compact shift-continuous topology on the simple inverse Hausdorff semitopological $\omega$-semigroups with compact maximal subgroups with adjoined zero is either compact or discrete.

Group Theory,General Topology
The Case for Inverse Semirings

Peter F. Faul,Amartya Goswami,Gideo Joubert,Graham Manuell

2024-11-19

Abstract:A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is a commutative inverse semigroup. These inverse semirings include some important classes of semirings, as well as some new motivating examples. We devote particular attention to the inverse semiring of bounded polynomials and argue for their computational significance. We then prove a number of fundamental results about inverse semirings, their modules and their ideals. Parts of the theory show strong similarities with rings, while other parts are akin to the theory of idempotent semirings or distributive lattices. We note in particular that downward-closed submodules are precisely kernels. We end by exploring a connection to the theory of E-unitary inverse semigroups.

Rings and Algebras
Computing finite index congruences of finitely presented semigroups and monoids

Marina Anagnostopoulou-Merkouri,Reinis Cirpons,James D. Mitchell,Maria Tsalakou

2024-04-17

Abstract:In this paper we describe an algorithm for computing the left, right, or 2-sided congruences of a finitely presented semigroup or monoid with finitely many classes, and alternative algorithm when the finitely presented semigroup or monoid is finite. We compare the two algorithms presented to existing algorithms and implementations. The first algorithm is a generalization of Sims' low index subgroup algorithm for finding the congruences of a monoid. The second algorithm involves determining the distinct principal congruences, and then finding all of their possible joins. Variations of this algorithm have been suggested in numerous contexts by numerous authors. We show how to utilise the theory of relative Green's relations, and a version of Schreier's Lemma for monoids, to reduce the number of principal congruences that must be generated as the first step of this approach. Both of the algorithms described in this paper are implemented in the GAP package Semigroups, and the first algorithm is available in the C++ library libsemigroups and in its python bindings libsemigroups_pybind.

Rings and Algebras,Data Structures and Algorithms
Formations and i-Fitting classes of inverse semigroups, congruences and languages

Gracinda M. S. Gomes,Ana-Catarina C. Monteiro

DOI: https://doi.org/10.1007/s00233-024-10432-y

2024-05-18

Semigroup Forum

Abstract:This article starts by relating formations of inverse semigroups, of congruences on inverse semigroups and of congruences on free inverse semigroups. Then, i-formations of idempotent separating congruences and of languages are defined and their classes are proved to be in bijection, and in bijection with f-formations of inverse semigroups. In the second part, the concepts of i-Fitting class of inverse semigroups, of congruences and of languages are introduced. Bijections between s-fitting classes of inverse semigroups, i-fitting classes of congruences and i-fitting classes of languages are presented. Of special relevance are results on formations and Fitting classes induced by the inverse case on the group case.

mathematics
Congruence-pairs on Orthorings

ZHOU Yuan-lan,GUO Yu-qi,WANG Zheng-pan

DOI: https://doi.org/10.3321/j.issn:0529-6579.2005.06.003

2005-01-01

Abstract:To describe the congruences on orthorings,the concept of congruence-pair is introduced which is different from the method in regular semigroups.The congruences on orthorings are studied.Results concerning congruences and congruence-pairs on orthorings are obtained.The main result is as the following: Every congruence on orthorings is uniquely determined by the congruence-pair.

Congruence Pair of a Semilattice if Inverse Semigroups,without Identities

On inverse ordered semigroups

A class of congruences in partial Abelian semigroups

Computing congruences of finite inverse semigroups

E-disjunctive inverse semigroups

Introduction to inverse semigroups

Inverse Sets and Inverse Correspondences Over Inverse Semigroups

Regularity of Semigroup Rings

Transitive representations of inverse semigroups

On the Weak Regularity of Semigroup Rings

Morita equivalence of inverse semigroups

A note on idempotent semirings

Congruences on Continuous Lattices

Semilattices with a congruence

Some special congruences on completely regular semigroups

Representations of inverse semigroups in complete atomistic inverse meet-semigroups

On semitopological simple inverse $ω$-semigroups with compact maximal subgroups

The Case for Inverse Semirings

Computing finite index congruences of finitely presented semigroups and monoids

Formations and i-Fitting classes of inverse semigroups, congruences and languages

Congruence-pairs on Orthorings