A {\it Schmidt group} is a non-nilpotent finite group in which each proper subgroup is nilpotent. Each Schmidt group G can be described by three parameters p, q and v, where p and q are different primes and v is a natural number, $v\ge 1$. Denote by ${\mathcal{S}}$ the class of all Schmidt groups which have the same parameters p, q and v. It is shown in this paper that the class ${\mathcal{S}}$ can be characterized by the properties of the endomorphism semigroups of the groups of this class. It follows from this characterization that if $G\in {\mathcal{S}}$ and H is another group such that the endomorphism semigroups of G and H are isomorphic, then $H\in {\mathcal{S}}$, too.
Howie and Ribeiro \cite{a.Howie99,a.Howie00} introduced various ranks, viz. small rank, lower rank, intermediate rank, upper rank and the large rank of a finite semigroup. In this note, we investigate all these ranks of the semigroup of endomorphisms over Brandt semigroup.
Necessary and sufficient conditions are given for the endomorphism monoid of a profinite semigroup to be profinite. A similar result is established for the automorphism group.
It is proved that the semigroups $\mathrm{\mathbf{End}}(\boldsymbol{B}_ω)$ and $\mathrm{\mathbf{End}}(\boldsymbol{B}_{\mathbb{Z}})$ of the endomorphisms of the bicyclic semigroup $\boldsymbol{B}_ω$ and the endomorphisms of the extended bicyclic semigroup $\boldsymbol{B}_{\mathbb{Z}}$ are isomorphic to the semidirect products $(ω,+)\rtimes_φ(ω,*)$ and $\mathbb{Z}(+)\rtimes_φ(ω,*)$, respectively.
On injective endomorphisms of the semigroup $\boldsymbol{B}_ω^{\mathscr{F}^4}$ with a four-element family $\mathscr{F}^4$ of inductive non-empty subsets of $ω$
Ivan Franko National University of Lviv（伊万·弗兰科利沃夫国立大学）
In this paper we describe the automorphism groups of the endomorphism semigroups of free Burnside groups $B(m,n)$ for odd exponents $n\ge1003$. We prove, that the groups $Aut(End(B(m,n)))$ and $Aut(B(m,n))$ are isomorphic. In particular, if the groups $Aut(End(B(m,n)))$ and $Aut(End(B(k,n)))$ are isomorphic, then $m=k$.
On the semigroup of monoid endomorphisms of the semigroup $\boldsymbol{B}_ω^{\mathscr{F}}$ with a two-element family $\mathscr{F}$ of inductive nonempty subsets of $ω$
On the semigroup of injective endomorphisms of the semigroup $\boldsymbol{B}_ω^{\mathscr{F}_n}$ which is generated by the family $\mathscr{F}_n$ of initial finite intervals of $ω$
On injective endomorphisms of the semigroup $\boldsymbol{B}_ω^{\mathscr{F}^3}$ with a three-element family $\mathscr{F}^3$ of inductive non-empty subsets of $ω$
On the semigroup of injective monoid endomorphisms of the monoid $\boldsymbol{B}_ω^{\mathscr{F}^3}$ with a three element family $\mathscr{F}^3$ of inductive nonempty subsets of $ω$
On the semigroup of endomorphisms of the semigroup $\boldsymbol{B}_ω^{\mathscr{F}^2}$ with the two-element family $\mathscr{F}^2$ of inductive nonempty subsets of $ω$
For an odd prime $p$ and a positive integer $n$, it is well known that there are two types of extra-special $p$-groups of order $p^{2n+1}$, first one is the Heisenberg group which has exponent $p$ and the second one is of exponent $p^2$. In this article, a new way of representing the extra-special $p$-group of exponent $p^2$ is given. These representations facilitate an explicit way of finding formulae for any endomorphism and any automorphism of an extra-special $p$-group $G$ for both the types. Based on these formulae, the endomorphism semigroup $End(G)$ and the automorphism group $Aut(G)$ a…
On injective endomorphisms of the semigroup $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}^2}$ with the two-element family $\mathscr{F}^2$ of inductive nonempty subsets of $ω$
An m-endomorphism of a free semigroup is an endomorphism that sends every generator to a word of length at most m. Two m-endomorphisms are combinatorially equivalent if they are conjugate under an automorphism of the semigroup. In this paper, we specialize an argument of N. G. de Bruijn to produce a formula for the number of combinatorial equivalence classes of m-endomorphisms on a rank-n semigroup. From this formula, we derive several little-known integer sequences.
We calculate the rank and idempotent rank of the semigroup $E(X,P)$ generated by the idempotents of the semigroup $T(X,P)$, which consists of all transformations of the finite set $X$ preserving a non-uniform partition $P$. We also classify and enumerate the idempotent generating sets of this minimal possible size. This extends results of the first two authors in the uniform case.
We have proved that the group of all inner automorphisms of the free Burnside group $B(m,n)$ is the unique normal subgroup in $Aut(B(m,n))$ among all its subgroups, which are isomorphic to free Burnside group $B(s,n)$ of some rank $s$ for all odd $n\ge1003$ and $m>1$. It follows that the group of automorphisms $Aut(B(m,n))$ of the free Burnside group $B(m,n)$ is complete for odd $n\ge1003$, that is it has a trivial center and any automorphism of $Aut(B(m,n))$ is inner. Thus, for groups $B(m,n)$ is solved the automorphism tower problem and is showed that it is as short as the automorphism tower…
The rank of a semigroup is the cardinality of a smallest generating set. In this paper we compute the rank of the endomorphism monoid of a non-trivial uniform partition of a finite set, that is, the semigroup of those transformations of a finite set that leave a non-trivial uniform partition invariant. That involves proving that the rank of a wreath product of two symmetric groups is two and then use the fact that the endomorphism monoid of a partition is isomorphic to a wreath product of two full transformation semigroups. The calculation of the rank of these semigroups solves an open questio…
We examine varieties of epigroups as unary semigroups, that is semigroups equipped with an additional unary operation of pseudoinversion. The article contains two main results. The first of them indicates a countably infinite family of injective endomorphisms of the lattice of all epigroup varieties. An epigroup variety is said to be a variety of finite degree if all its nilsemigroups are nilpotent. The second result of the article provides a characterization of epigroup varieties of finite degree in a language of identities and in terms of minimal forbidden subvarieties. Note that the first r…
In \cite{Ioana:vNsuperrigidity}, Ioana introduced three new invariants of type II$_1$ factors: the one-sided fundamental group, the endomorphism semigroup and the set of right-finite bimodules. In \cite{Ioana:vNsuperrigidity}, he does not provide many computations of these invariants. In particular, the question whether these invariants can be trivial is left open. We give an explicit example of a type II$_1$ factor for which all three invariants are trivial. More generally, for any countable left-cancellative semigroup $G$, we construct a type II$_1$ factor $M$ whose endomorphism semigroup is…
We give a description of finite semigroups $S$ that are minimal for not being Malcev nilpotent, i.e. every proper subsemigroup and every proper Rees factor semigroup is Malcev nilpotent but $S$ is not. For groups this question was considered by Schmidt.
Takahasi's theorem on chains of subgroups of bounded rank in a free group is generalized to several classes of semigroups. As an application, it is proved that the subsemigroups of periodic points are finitely generated and periodic orbits are bounded for arbitrary endomorphisms for various semigroups. Some of these results feature classes such as completely simple semigroups, Clifford semigroups or monoids defined by balanced one-relator presentations. In addition to the background on semigroups, proofs involve arguments over groups and finite automata.
The study of the free idempotent generated semigroup $\mathrm{IG}(E)$ over a biordered set $E$ began with the seminal work of Nambooripad in the 1970s and has seen a recent revival with a number of new approaches, both geometric and combinatorial. Here we study $\mathrm{IG}(E)$ in the case $E$ is the biordered set of a wreath product $G\wr \mathcal{T}_n$, where $G$ is a group and $\mathcal{T}_n$ is the full transformation monoid on $n$ elements. This wreath product is isomorphic to the endomorphism monoid of the free $G$-act $F_n(G)$ on $n$ generators, and this provides us with a convenient ap…
This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an order compatible with the semigroup operation. In the case of unions of groups, so-called completely regular semigroups, the problem of which new pseudovarieties appear in the ordered context is solved. As applications, it is shown that the lattice of pseudovarieties of ordered completely regular semigroups is modular and that taking the intersection with the…
On the semigroup of injective monoid endomor\-phisms of the monoid $\boldsymbol{B}_ω^{\mathscr{F}}$ with the two-elements family $\mathscr{F}$ of inductive nonempty subsets of $ω$
For a group $G$ acting on a set $X$, let $\text{End}_G(X)$ be the monoid of all $G$-equivariant transformations, or $G$-endomorphisms, of $X$, and let $\text{Aut}_G(X)$ be its group of units. After discussing few basic results in a general setting, we focus on the case when $G$ and $X$ are both finite in order to determine the smallest cardinality of a set $W \subseteq \text{End}_G(X)$ such that $W \cup \text{Aut}_G(X)$ generates $\text{End}_G(X)$; this is known in semigroup theory as the relative rank of $\text{End}_G(X)$ modulo $\text{Aut}_G(X)$.
We introduce two notions of algebraic entropy for actions of cancellative right amenable semigroups $S$ on discrete abelian groups $A$ by endomorphisms; these extend the classical algebraic entropy for endomorphisms of abelian groups, corresponding to the case $S=\mathbb N$. We investigate the fundamental properties of the algebraic entropy and compute it in several examples, paying special attention to the case when S is an amenable group. For actions of cancellative right amenable monoids on torsion abelian groups, we prove the so called Addition Theorem. In the same setting, we see that a B…
The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been many attempts to find notions of conjugacy in semigroups that would be useful in special classes of semigroups occurring in various areas of mathematics, such as semigroups of matrices, operator and topological semigroups, free semigroups, transition monoids for automata, semigroups given by presentations with prescribed properties, monoids of graph endomorphisms, etc. In this paper we study four notions of conjugacy for semigroups, their interconnec…
The commuting graph of a finite non-commutative semigroup S, denoted by Δ(S), is the simple graph whose vertices are the non-central elements of S and two distinct vertices x; y are adjacent if xy = yx. In the present paper, we study various graph-theoretic properties of the commuting graph Δ(B_n) of Brandt semigroup B_n including its diameter, clique number, chromatic number, independence number, strong metric dimension and dominance number. Moreover, we obtain the automorphism group Aut(Δ(Bn)) and the endomorphism monoid End(Δ(Bn)) of Δ(Bn). We show that Aut(Δ(Bn)) = S_n \times Z_2, where S_…
Denote by $\mathcal T_n$ and $\mathcal S_n$ the full transformation semigroup and the symmetric group on the set $\{1,\ldots,n\}$, and $\mathcal E_n=\{1\}\cup(\mathcal T_n\setminus \mathcal S_n)$. Let $\mathcal T(X,\mathcal P)$ denote the set of all transformations of the finite set $X$ preserving a uniform partition $\mathcal P$ of $X$ into $m$ subsets of size $n$, where $m,n\geq2$. We enumerate the idempotents of $\mathcal T(X,\mathcal P)$, and describe the subsemigroup $S=\langle E\rangle$ generated by the idempotents $E=E(\mathcal T(X,\mathcal P))$. We show that $S=S_1\cup S_2$, where $S_1…
In this paper we introduce the Schützenberger category $\mathbb D(S)$ of a semigroup $S$. It stands in relation to the Karoubi envelope (or Cauchy completion) of $S$ in the same way that Schützenberger groups do to maximal subgroups and that the local divisors of Diekert do to the local monoids $eSe$ of $S$ with $e\in E(S)$. In particular, the objects of $\mathbb D(S)$ are the elements of $S$, two objects of $\mathbb D(S)$ are isomorphic if and only if the corresponding semigroup elements are $\mathscr D$-equivalent, the endomorphism monoid at $s$ is the local divisor in the sense of Diekert a…
