Related papers: On Commutative Monoid Congruences of Semigroups

An inverse semigroup $S$ is a semigroup in which every element has a unique inverse in the sense of semigroup theory, that is, if $a \in S$ then there exists a unique $b\in S$ such that $a = aba$ and $b = bab$. We say that an inverse…

Let $A\subset B$ be an extension of commutative reduced rings and $M\subset N$ an extension of positive commutative cancellative torsion-free monoids. We prove that $A$ is subintegrally closed in $B$ and $M$ is subintegrally closed in $N$…

Let $S$ be a semiring. An $S$-semimodule $M$ is called a multiplication semimodule if for each subsemimodule $N$ of $M$ there exists an ideal $I$ of $S$ such that $N=IM$. In this paper we investigate some properties of multiplication…

We construct the algebra of fractions of a Weak Bialgebra relative to a suitable denominator set of group-like elements that is `almost central', a condition we introduce in the present article which is sufficient in order to guarantee…

A semigroup conjugacy is an equivalence relation that equals group conjugacy when the semigroup is a group. In this note, we answer five open problems related to semigroup conjugacy. (Problem One) We say a conjugacy ~ is partition-covering…

Let G be a group. A subset X of G is a set of pairwise non-commuting elements if xy is not equal to yx for any two distinct elements x and y in X. If |X|>=|Y| for any other set of pairwise non-commuting elements Y in G, then X is said to be…

The monoid of multipliers of a semigroup object in a monoidal category is introduced, arising from an abstraction of the definition of the translational hull of an ordinary semigroup or of the multiplier algebra of a Banach algebra and…

Let R be a semiring. We say that a non-zero subsemimodule S of an R-semimodule M is second if for each a \in R, we have aS = S or aS = 0. The aim of this paper is to study the notion of second subsemimodules of semimodules over commutative…

Every semigroup containing an ideal subgroup is called a homogroup, and it is a grouplike if and only if it has only one central idempotent. On the other hand, a class of algebraic structures covering group-$e$-semigroups…

A semigroup $X$ is $absolutely$ (resp. $injectively$) $T_1S$-$closed$ if for any (injective) homomorphism $h:X\to Y$ to a $T_1$ topological semigroup $Y\in\mathcal C$, the image $h[X]$ is closed in $Y$. We prove that a commutative semigroup…

A homogeneous set of monomials in a quotient of the polynomial ring $S:=F[x_1, \..., x_n]$ is called Gotzmann if the size of this set grows minimally when multiplied with the variables. We note that Gotzmann sets in the quotient $R:=F[x_1,…

We construct many irreducible polynomials within semigroups generated by sets of the form $S=\{x^2+c_1,\dots,x^2+c_s\}$ under composition.

Let X be a set and Bin(X) the set of all binary operations on X. We say that a subset of Bin(X) is a distributive set of operations if all pairs of elements are right distributive. J.Przytycki posed the question of which groups can be…

Given a semigroup $S$, a diagonal subsemigroup $\rho$ is defined to be a reflexive and compatible relation on $S$, i.e. a subsemigroup of the direct square $S\times S$ containing the diagonal $\{ (s,s)\colon s\in S\}$. When $S$ is finite,…

Cross-connection theory provides the construction of a semigroup from its ideal structure using small categories. A concordant semigroup is an idempotent-connected abundant semigroup whose idempotents generate a regular subsemigroup. We…

A semigroup $\langle C\rangle$ in $\mathbb{N}^n$ is a gluing of $\langle A\rangle$ and $\langle B\rangle$ if its finite set of generators $C$ splits into two parts, $C=k_1A\sqcup k_2B$ with $k_1,k_2\geq 1$, and the defining ideals of the…

In this paper we present a new embedding of a semigroup into a semiband (idempotent-generated semigroup) of depth 4 (every element is the product of 4 idempotents) using a semidirect product construction. Our embedding does not assume that…

For every subset $A$ of a semigroup $S$, let $A^h$ be the set of all products of $h$ elements of $S$. If $(A)_{q\in Q}$ is a family of subsets of $S$, then $A = \bigcap_{q \in Q} A_q$ satisfies $A^h \subseteq \bigcap_{q \in Q} A_q^h$. The…

Assume that $S$ is a semigroup generated by $\{x_1,...,x_n\}$, and let $\Uscr$ be the multiplicative free commutative semigroup generated by $\{u_1,...,u_n\}$. We say that $S$ is of \emph{$I$-typ}e if there is a bijection $v:\Uscr\r S$ such…

An $\mathcal{A}$-semigroup is a numerical semigroup without consecutive small elements. This work generalizes this concept to finite-complement submonoids of an affine cone $\mathcal{C}$. We develop algorithmic procedures to compute all…