Related papers: On minimal ideals in pseudo-finite semigroups

Consider an algebraic semigroup $S$ and its closed subscheme of idempotents, $E(S)$. When $S$ is commutative, we show that $E(S)$ is finite and reduced; if in addition $S$ is irreducible, then $E(S)$ is contained in a smallest closed…

Let S be an m-system of a ring R, and P a submodule of a right R-module M. This paper, presents the notion of S-prime submodule and provides some properties and equivalent definitions. We define S-multiplication right module, and prove that…

Let $A$ be a commutative Noetherian ring, and let $R = A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${\mathfrak S}_{X}$ be the group of permutations of $X$. The group ${\mathfrak S}_{X}$ acts on…

In this paper, we have introduced the notion of (1,2)-ideal in an LA-semigroup and shown that (1,2)-ideal and two-sided ideal coincide in an intra-regular LA-semigroup. We have characterized an intra-regular LA-semigroup by using the…

We call a semigroup $S$ f-noetherian if every right congruence of finite index on $S$ is finitely generated. We prove that every finitely generated semigroup is f-noetherian, and investigate whether the properties of being f-noetherian and…

We exhibit a simple condition under which a finite involutary semigroup whose semigroup reduct is inherently nonfinitely based is also inherently nonfinitely based as a unary semigroup. As applications, we get already known as well as new…

Let $\ast $ be a star operation of finite character. Call a $\ast $-ideal $I$ of finite type a $\ast $-homogeneous ideal if $I$ is contained in a unique maximal $\ast $-ideal $M=M(I).$ A maximal $\ast $-ideal that contains a $\ast…

A group is properly 3-realizable if it is the fundamental group of a compact polyhedron whose universal covering is proper homotopically equivalent to some 3-manifold. We prove that when such a group is also quasi-simply filtered then it…

The rank of a finite semigroup is the smallest number of elements required to generate the semigroup. A formula is given for the rank of an arbitrary (non necessarily regular) Rees matrix semigroup over a group. The formula is expressed in…

A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these…

A notion of {\em normal submonoid} of a monoid $M$ is introduced that generalizes the normal subgroups of a group. When ordered by inclusion, the set $\mathsf{NorSub}(M)$ of normal submonoids of $M$ is a complete lattice. Joins are…

If $\mathcal{C}$ is a category of algebras closed under finite direct products, and $M_\mathcal{C}$ the commutative monoid of isomorphism classes of members of $\mathcal{C},$ with operation induced by direct product, A.Tarski defined a…

A group is Markov if it admits a prefix-closed regular language of unique representatives with respect to some generating set, and strongly Markov if it admits such a language of unique minimal-length representatives over every generating…

In this article we investigate when a homogeneous ideal in a graded ring is normal, that is, when all positive powers of the ideal are integrally closed. We are particularly interested in homogeneous ideals in an N-graded ring generated by…

A subsemigroup S of a semigroup Q is a local left order in Q if, for every maximal subgroup H of Q, the intersection of S with H is a local left order in the sense of group theory. That is, every q in H can be written as a#b for some a,b in…

The partial automorphism monoid of an inverse semigroup is an inverse monoid consisting of all isomorphisms between its inverse subsemigroups. We prove that a tightly connected fundamental inverse semigroup $S$ with no isolated nontrivial…

Although $S_\infty$ (the group of all permutations of $\mathbb{N}$) is size continuum, both it and its closed subgroups can be presented as the set of paths through a countable tree. The subgroups of $S_\infty$ that can be presented this…

A completely simple semigroup S is a semigroup without zero which has no proper ideals and contains a primitive idempotent. It is known that S is a regular semigroup and any completely simple semigroup is isomorphic to the Rees matrix…

Let $<X>$ be the free monoid on a generating set $X$, and suppose one adjoins to $<X>$ universal 2-sided inverses to a finite set $S$ of its elements. We note an elementary algorithm which yields a normal form for elements of the resulting…

In this article, we show that a group $G$ is the union of two proper subsemigroups if and only if $G$ has a nontrivial left-orderable quotient. Furthermore, if $G$ is the union of two proper semigroups, then there exists a minimum normal…