Related papers: Semilattice Indecomposable Finite Semigroups With …
Numerical semigroups have been extensively studied throughout the literature, and many of their invariants have been characterized. In this work, we generalize some of the most important results about symmetry, pseudo-symmetry, or…
In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is representable over a finite base. This result gives a positive…
This paper aims to introduce a construction technique of set-theoretic solutions of the Yang-Baxter equation, called strong semilattice of solutions. This technique, inspired by the strong semilattice of semigroups, allows one to obtain new…
Let $A$ be a finite dimensional $Q-$algebra and $\Gamma subset A$ a $Z-$order. We classify those $A$ with the property that $Z^2$ does not embed in $\mathcal{U}(\Gamma)$. We call this last property the hyperbolic property. We apply this in…
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…
Motivated by examples in infinite group theory, we classify the finite groups whose subgroups can never be decomposed as direct products.
We show that a topological semigroup of finite partial bijections $\mathscr{I}_\lambda^n$ of an infinite set with a compact subsemigroup of idempotents is absolutely $H$-closed and any countably compact topological semigroup does not…
For a partially ordered set P, we denote by Co(P) the lattice of order-convex subsets of P. We find three new lattice identities, (S), (U), and (B), such that the following result holds. Theorem. Let L be a lattice. Then L embeds into some…
A subset $S$ of an integral domain is called a semidomain if the pairs $(S,+)$ and $(S\setminus\{0\}, \cdot)$ are commutative and cancellative semigroups with identities. The multiplication of $S$ extends to the group of differences…
We describe a special class of representations of an inverse semigroup S on Hilbert's space which we term "tight". These representations are supported on a subset of the spectrum of the idempotent semilattice of S, called the "tight…
In this paper, we study algorithmic problems for automaton semigroups and automaton groups related to freeness and finiteness. In the course of this study, we also exhibit some connections between the algebraic structure of automaton…
The commuting graph of a finite non-commutative semigroup $S$, denoted $\cg(S)$, is a simple graph whose vertices are the non-central elements of $S$ and two distinct vertices $x,y$ are adjacent if $xy=yx$. Let $\mi(X)$ be the symmetric…
Let $G$ be a finite group, $L_1(G)$ be its poset of cyclic subgroups and consider the quantity $\alpha(G)=\frac{|L_1(G)|}{|G|}$. The aim of this paper is to study the class $\cal{C}$ of finite nilpotent groups having…
We discuss the relationship between tight and cover-to-join representations of semilattices and inverse semigroups, showing that a slight extension of the former, together with an appropriate selection of co-domains, makes the two notions…
We prove that an irreducible lattice in a semisimple algebraic group is virtually isomorphic to an arithmetic lattice if and only if it admits a faithful self-similar action on a rooted tree of finite valency.
Let $L$ be a finite $n$-element semilattice. We prove that if $L$ has at least $127\cdot 2^{n-8}$ subsemilattices, then $L$ is planar. For $n>8$, this result is sharp since there is a non-planar semilattice with exactly $127\cdot 2^{n-8}-1$…
We find a distributive (v, 0, 1)-semilattice S of size $ aleph\_1$ that is not isomorphic to the maximal semilattice quotient of any Riesz monoid endowed with an order-unit of finite stable rank. We thus obtain solutions to various open…
Taking residual finiteness as a starting point, we consider three related finiteness properties: weak subsemigroup separability, strong subsemigroup separability and complete separability. We investigate whether each of these properties is…
Our main result states that a finite semiring of order >2 with zero which is not a ring is congruence-simple if and only if it is isomorphic to a `dense' subsemiring of the endomorphism semiring of a finite idempotent commutative monoid. We…
We say that a (∨,0)-semilattice S is conditionally co-Brouwerian, if (1) for all nonempty subsets X and Y of S such that X $\leq$ Y (i.e., x $\leq$ y for all (x, y) $\in$ X x Y), there exists z $\in$ S such that X $\leq$ z $\leq$ Y,…