Some ordered matrix semigroups

P. G. Romeo,Sathi P H

2023-06-08

Abstract:A semigroup together with compatible partial order is called an odered semigroup. In this paper we discuss the ordered matrix semigroups.

Group Theory

What problem does this paper attempt to address?

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.
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.
Quiver Approach to Some Ordered Semigroup Algebras

Haiyan Zhu,Fang Li

DOI: https://doi.org/10.1080/00927872.2017.1347657

2017-01-01

Communications in Algebra

Abstract:The aim of this paper is to research the relation among generalized path algebras, pseudo-admissible ordered semigroup algebras and path algebras over algebras. First, the Gabriel theorem for contract pseudo-admissible ordered semigroup algebras is given. Second, a family of pseudo-admissible ordered semigroups is mixed together via the method of generalized path algebras to construct a new pseudo-admissible ordered semigroup as the extended version. Finally, we characterize the path algebra over an algebra in two ways through normal and non-normal generalized path algebras, respectively, over a field.
Ordered semirings and subadditive morphisms

Soichiro Fujii

2023-11-07

Abstract:An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory and ring theory. The ideals of an ordered semiring $A$ form a commutative integral quantale $\mathrm{Idl}(A)$, and similarly, the radical ideals of $A$ form a (spatial) frame $\mathrm{Rad}(A)$. We characterise $\mathrm{Idl}$ and $\mathrm{Rad}$ as the left adjoints of the (non-full) inclusion functors from the categories of commutative integral quantales and of frames, respectively, to that of ordered semirings and subadditive morphisms between them. The (sober) topological space $\mathrm{pt}(\mathrm{Rad}(A))$ corresponding to $\mathrm{Rad}(A)$ is homeomorphic to the space $\mathrm{Spec}(A)$ of prime ideals of $A$.

Category Theory,Commutative Algebra,Rings and Algebras
On nilpotent subsemigroups in some matrix semigroups

Olexandr Ganyushkin,Volodymyr Mazorchuk

DOI: https://doi.org/10.48550/arXiv.math/0510622

2005-10-28

Abstract:We describe maximal nilpotent subsemigroups of a given nilpotency class in the semigroup $\Omega_n$ of all $n\times n$ real matrices with non-negative coefficients and the semigroup $\mathbf{D}_n$ of all doubly stochastic real matrices.

Group Theory
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.
C-semigroups with its induced order

D. Marín-Aragón,R. Tapia-Ramos

2024-09-04

Abstract:Let $C\subset\mathbb{N}^p$ be an integer polyhedral cone. An affine semigroup $S\subset C$ is a $ C$-semigroup if $| C\setminus S|<+\infty$. This structure has always been studied using a monomial order. The main issue is that the choice of these orders is arbitrary. In the present work we choose the order given by the semigroup itself, which is a more natural order. This allows us to generalise some of the definitions and results known from numerical semigroup theory to $C$-semigroups.

Commutative Algebra
Structure of Clifford Semigroups of Matrices

Yongwen Zhu

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

2010-06-22

Abstract:In this paper, we characterize completely the structure of Clifford semigroups of matrices over an arbitrary field. It is shown that a semigroups of matrices of finite order is a Clifford semigroup if and only if it is isomorphic to a subdirect product of some linear (0-)groups. Then we generalize this result to a semigroup of matrices of countably infinite order and give a similar necessary and sufficient condition for it to be a Clifford semigroup.

Group Theory
The semigroup of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set

Oleg Gutik,Maksym Shchypel

2024-11-06

Abstract:We study algebraic properties of the semigroup $\mathscr{O\!\!I\!}_n(L)$ of finite partial order isomorphisms of the rank $\leq n$ of an infinite linearly ordered set $(L,\leqslant)$. In particular we describe its idempotents, the natural partial order and Green's relations on $\mathscr{O\!\!I\!}_n(L)$. It is proved that the semigroup $\mathscr{O\!\!I\!}_n(L)$ is stable and it contains tight ideal series. Moreover, we show that the semigroup $\mathscr{O\!\!I\!}_n(L)$ admits only Rees' congruences and every its homomorphic image is a semigroup with tight ideal series.

Group Theory
Semiring arising as Lattice of Groupsemirings

A. R. Rajan,S. Sheena,C. S. Preenu

2024-02-16

Abstract:Much study has been done on semigroups which are unions of groups. There are several ways in which a union of groups can be made into a semigroup in which each of the component groups arises as subgroups of the constructed semigroup. An important class of such unions is a semilattice of groups. Group semirings are semirings $(G,+,\cdot )$ where $(G,\cdot )$ is a group and $(G,+)$ is a left zero semigroup. We consider construction of semirings from classes of group semirings $\{G_\alpha :\alpha\in D \}$ indexed by a distributive lattice $D$. It is shown that if $S=\cup\{G_\alpha \}$ is a strong distributive lattice of group semirings $G_\alpha$ then the multiplicative semigroup $(S,\cdot)$ of the semiring $(S,+,\cdot)$ is a Clifford semigroup and the additive semigroup $(S,+)$ is a left normal band. Further in this case all the groups $G_\alpha $ are mutually isomorphic.

Group Theory,Rings and Algebras
Recent advances in algorithmic problems for semigroups

Ruiwen Dong

2023-09-20

Abstract:In this article we survey recent progress in the algorithmic theory of matrix semigroups. The main objective in this area of study is to construct algorithms that decide various properties of finitely generated subsemigroups of an infinite group $G$, often represented as a matrix group. Such problems might not be decidable in general. In fact, they gave rise to some of the earliest undecidability results in algorithmic theory. However, the situation changes when the group $G$ satisfies additional constraints. In this survey, we give an overview of the decidability and the complexity of several algorithmic problems in the cases where $G$ is a low-dimensional matrix group, or a group with additional structures such as commutativity, nilpotency and solvability.

Discrete Mathematics,Computational Complexity,Group Theory
Idempotent ordered semigroup

K. Hansda

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

2017-06-26

Group Theory

Abstract:An element e of an ordered semigroup $(S,\cdot,\leq)$ is called an ordered idempotent if $e\leq e^2$. We call an ordered semigroup $S$ idempotent ordered semigroup if every element of $S$ is an ordered idempotent. Every idempotent semigroup is a complete semilattice of rectangular idempotent semigroups and in this way we arrive to many other important classes of idempotent ordered semigroups.
On the semigroup property for some structured iterations

Matthew M. Lin,Chun-Yueh Chiang

DOI: https://doi.org/10.1016/j.cam.2020.112768

IF: 2.872

2020-08-01

Journal of Computational and Applied Mathematics

Abstract:<p>Nonlinear matrix equations play a crucial role in science and engineering problems. However, solutions of nonlinear matrix equations cannot, in general, be given analytically. One standard way of solving nonlinear matrix equations is to apply the fixed-point iteration with usually only the linear convergence rate. To advance the existing methods, we exploit in this work one type of semigroup property and use this property to propose a technique for solving the equations with the speed of convergence of any desired order. We realize our way by starting with examples of solving the scalar equations and, also, connect this method with some well-known equations including, but not limited to, the Stein matrix equation, the generalized eigenvalue problem, the generalized nonlinear matrix equation, the discrete-time algebraic Riccati equations to express the capacity of this method.</p>

mathematics, applied
On bi-ideals of ordered full transformation semigroups

Minnumol P K,P G Romeo

2023-12-05

Abstract:In this paper we describe the Greens relations on the semigroup of bi-ideals of ordered full transformation semigroup in terms of Greens relations of ordered full transformation semigroup on a set.

Group Theory
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words

Ondřej Klíma,Jonatan Kolegar

DOI: https://doi.org/10.1007/s00224-024-10172-0

IF: 0.616

2024-04-11

Theory of Computing Systems

Abstract:The notion of a quasi-order generated by a homomorphism from the semigroup of all words onto a finite ordered semigroup was introduced by Bucher et al. (Theor. Comput. Sci. 40 , 131–148 1985). It naturally occurred in their studies of derivation relations associated with a given set of context-free rules, and they asked a crucial question, whether the resulting relation is a well quasi-order. We answer this question in the case of the quasi-order generated by a semigroup homomorphism. We show that the answer does not depend on the homomorphism, but it is a property of its image. Moreover, we give an algebraic characterization of those finite semigroups for which we get well quasi-orders. This characterization completes the structural characterization given by Kunc (Theor. Comput. Sci. 348 , 277–293 2005) in the case of semigroups ordered by equality. Compared with Kunc's characterization, the new one has no structural meaning, and we explain why that is so. In addition, we prove that the new condition is testable in polynomial time.

computer science, theory & methods,mathematics
Relation algebras and function semigroups

Boris M. Schein

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

1970-12-01

Semigroup Forum

Abstract:The concept of relation algebra unifies many familiar notions from algebra (especially those of systems having “natural” models as groups, Boolean algebras etc.). The fundamental theorem on relation algebras asserts the existence of simple conditions which characterize any given class of relation algebras.The idea of relation algebra is very useful for the study of function and transformation semigroups, which is the central part of the theory of semigroups. It provides a general outlook, permits one to formulate many natural problems, and ensures that these problems possess non-trivial solutions. A number of examples illustrate this point.

mathematics
A groupoid approach to regular $*$-semigroups

James East,P. A. Azeef Muhammed

2023-11-27

Abstract:In this paper we develop a new groupoid-based structure theory for the class of regular $*$-semigroups. This class occupies something of a `sweet spot' between the important classes of inverse and regular semigroups, and contains many natural examples. Some of the most significant families include the partition, Brauer and Temperley-Lieb monoids, among other diagram monoids. Our main result is that the category of regular $*$-semigroups is isomorphic to the category of so-called `chained projection groupoids'. Such a groupoid is in fact a triple $(P,\mathcal G,\varepsilon)$, where: $\bullet$ $P$ is a projection algebra (in the sense of Imaoka and Jones), $\bullet$ $\mathcal G$ is an ordered groupoid with object set $P$, and $\bullet$ $\varepsilon:\mathscr C\to\mathcal G$ is a special functor, where $\mathscr C$ is a certain natural `chain groupoid' constructed from $P$. Roughly speaking: the groupoid $\mathcal G=\mathcal G(S)$ remembers only the `easy' products in a regular $*$-semigroup $S$; the projection algebra $P=P(S)$ remembers only the `conjugation action' of the projections of $S$; and the functor $\varepsilon=\varepsilon(S)$ tells us how $\mathcal G$ and $P$ `fit together' in order to recover the entire structure of $S$. In this way, we obtain the first completely general structure theorem for regular $*$-semigroups. As a consequence of our main result, we give a new proof of the celebrated Ehresmann--Schein--Nambooripad Theorem, which establishes an isomorphism between the categories of inverse semigroups and inductive groupoids. Other applications will be given in future works. We consider several examples along the way, and pose a number of problems that we believe are worthy of further attention.

Rings and Algebras,Category Theory,Group Theory
Lattice-Ordered Matrix Rings Over Totally Ordered Rings

Jingjing Ma,Yuehui Zhang

DOI: https://doi.org/10.1007/s11083-013-9287-3

2013-01-01

Order

Abstract:For an n × n matrix algebra over a totally ordered integral domain, necessary and sufficient conditions are derived such that the entrywise lattice order on it is the only lattice order (up to an isomorphism) to make it into a lattice-ordered algebra in which the identity matrix is positive. The conditions are then applied to particular integral domains. In the second part of the paper we consider n × n matrix rings containing a positive n -cycle over totally ordered rings. Finally a characterization of lattice-ordered matrix ring with the entrywise lattice order is given.
Finite Permutable Putcha Semigroups

Attila Deák,Attila Nagy

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

2014-02-20

Group Theory

Abstract:A semigroup $S$ is called a permutable semigroup if $\alpha \circ \beta =\beta \circ \alpha$ is satified for all congruences $\alpha$ and $\beta$ of $S$. A semigroup is called a Putcha semigroup if it is a semilattice of archimedean semigroups. In this paper we deal with finite permutable Putcha semigroups. We describe the finite permutable archimedean semigroups and finite permutable semigroups which are semilattices of a group and a nilpotent semigroup.
Equality of various graphs on finite semigroups

Sandeep Dalal,Jitender Kumar

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

2020-07-22

Abstract:In this paper, we consider various graphs, namely: power graph, cyclic graph, enhanced power graph and commuting graph, on a finite semigroup $S$. For an arbitrary pair of these four graphs, we classify finite semigroups such that the graphs in this pair are equal. In this connection, for each of the graph we also give a necessary and sufficient condition on $S$ such that it is complete. The work of this paper generalize the corresponding results obtained for groups.

Group Theory,Combinatorics

Some ordered matrix semigroups

A class of congruences in partial Abelian semigroups

On inverse ordered semigroups

Quiver Approach to Some Ordered Semigroup Algebras

Ordered semirings and subadditive morphisms

On nilpotent subsemigroups in some matrix semigroups

Regularity of Semigroup Rings

C-semigroups with its induced order

Structure of Clifford Semigroups of Matrices

The semigroup of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set

Semiring arising as Lattice of Groupsemirings

Recent advances in algorithmic problems for semigroups

Idempotent ordered semigroup

On the semigroup property for some structured iterations

On bi-ideals of ordered full transformation semigroups

Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words

Relation algebras and function semigroups

A groupoid approach to regular $*$-semigroups

Lattice-Ordered Matrix Rings Over Totally Ordered Rings

Finite Permutable Putcha Semigroups

Equality of various graphs on finite semigroups