Related papers: Nilpotency and strong nilpotency for finite semigr…

A nilpotent quandle is a quandle whose inner automorphism group is nilpotent. Such quandles have been called reductive in previous works, but it turns out that their behaviour is in fact very close to nilpotency for groups. In particular,…

Let $\mathcal{V}$ be a congruence permutable variety generated by a finite nilpotent algebra $\mathbf{A}$. If $\mathbf{A}$ is a product of algebras of prime power order, then the class $\mathcal{V}_\text{si}$ of subdirectly irreducible…

If G is a non-nilpotent group and nil(G) = {g \in G : <g, h> is nilpotent for all h\in G}, the nilpotent graph of G is the graph with set of vertices G-nil(G) in which two distinct vertices are related if they generate a nilpotent subgroup…

An automorphism on a complex supermanifold $\mathcal M$ is called unipotent if it reduces to the identity on the associated graded supermanifold $gr(\mathcal M)$. These automorphisms are close to be complementary to those responsible for…

A semigroup is \emph{amiable} if there is exactly one idempotent in each $\mathcal{R}^*$-class and in each $\mathcal{L}^*$-class. A semigroup is \emph{adequate} if it is amiable and if its idempotents commute. We characterize adequate…

Let $G$ be a finite group admitting a coprime automorphism $\alpha$. Let $J_G(\alpha)$ denote the set of all commutators $[x,\alpha]$, where $x$ belongs to an $\alpha$-invariant Sylow subgroup of $G$. We show that $[G,\alpha]$ is soluble or…

In this paper we study the robustness of strong stability of a discrete semigroup on a Hilbert space under bounded finite rank perturbations. As the main result we characterize classes of perturbations preserving the strong stability of the…

For $G$ a finite group, let $d_2(G)$ denote the proportion of triples $(x, y, z) \in G^3$ such that $[x, y, z] = 1$. We determine the structure of finite groups $G$ such that $d_2(G)$ is bounded away from zero: if $d_2(G) \geq \epsilon >…

In this paper we prove two new results about closed semigroups in the family of solvable groups H_{mn} that are semidirect products of R^m and R^n, and for which the structure homomorphism maps nontrivially into the center of Aut(R^n). The…

A semigroup variety is said to be a Rees-Sushkevich variety if it is contained in a periodic variety generated by 0-simple semigroups. S. I. Kublanovsky has proven that a variety V is a Rees-Sushkevich variety if and only it does not…

This work introduces a new kind of semigroup of $\N^p$ called proportionally modular affine semigroup. These semigroups are defined by modular Diophantine inequalities and they are a generalization of proportionally modular numerical…

For every group $G$, the set $\mathcal{P}(G)$ of its subsets forms a semiring under set-theoretical union $\cup$ and element-wise multiplication $\cdot$ and forms an involution semigroup under $\cdot$ and element-wise inversion ${}^{-1}$.…

In this paper, the Identity Problem for certain groups, which asks if the subsemigroup generated by a given finite set of elements contains the identity element, is related to problems regarding ordered groups. Notably, the Identity Problem…

We show that if the lower central series of the fundamental group of a closed oriented $3$-manifold stabilizes then the maximal nilpotent quotient is a cyclic group, a quaternion $2$-group cross an odd order cyclic group, or a Heisenberg…

We investigate the computational complexity for determining various properties of a finite transformation semigroup given by generators. We introduce a simple framework to describe transformation semigroup properties that are decidable in…

Here we show that a finite nilpotent group is 2-closed if and only if it is either cyclic or a direct product of a generalized quaternion group with a cyclic group of odd order.

We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a…

A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…

Suppose that $G$ is a finite group and $H$ is a subgroup of $G$. We say that $H$ is s-semipermutable in $G$ if $HG_p = G_pH$ for any Sylow $p$-subgroup $G_p$ of $G$ with $(p, |H|) = 1$. We investigate the influence of s-semipermutable…

A covering of a group is a finite set of proper subgroups whose union is the whole group. A covering is minimal if there is no covering of smaller cardinality, and it is nilpotent if all its members are nilpotent subgroups. We complete a…