Related papers: On finite complete rewriting systems and large sub…

Let $\sigma =\{\sigma_i |i\in I\}$ is some partition of all primes $\mathbb{P}$ and $G$ a finite group. A subgroup $H$ of $G$ is said to be $\sigma$-subnormal in $G$ if there exists a subgroup chain $H=H_0\leq H_1\leq \cdots \leq H_n=G$…

A semigroup $S$ is an equational domain if any finite union of algebraic sets over $S$ is algebraic. We prove that if an inverse semigroup $S$ is an equational domain in the extended language $\{\cdot,{}^{-1}\}\cup\{s|s\in S\}$ then $S$ is…

A subgroup $H$ of a finite group $G$ is said to be SS-permutable in $G$ if $H$ has a supplement $K$ in $G$ such that $H$ permutes with every Sylow subgroup of $K$. A finite group $G$ is called an SST-group if SS-permutability is a…

We present an algorithm which, given any finite presentation of a group as input, will terminate with answer yes if and only if the group is large. We use this to prove that a mapping torus of a finitely generated free group automorphism is…

In this paper, we explain the importance of finite decomposition semigroups and present two theorems related to their structure.

In this paper we establish a connection between categorical closedness and topologizability of semigroups. In particular, for a class $\mathsf T_{\!1}\mathsf S$ of $T_1$ topological semigroups we prove that a countable semigroup $X$ with…

Given a semigroup $S$ and an $n$-partition $\mathcal{P}$ of $S$, $n\in \mathbb{N}$, do there exist $A\in \mathcal{P}$ and a subset $F$ of $S$ such that $S=F ^{-1} \{x \in S: x A \bigcap A\neq\emptyset\}$ and $|F |\leq n$? We give an…

The idempotent problem of a finitely generated inverse semigroup is the formal language of all words over the generators representing idempotent elements. This note proves that a finitely generated inverse semigroup with regular idempotent…

We prove that if S is a set of functions from a set A to itself, S is closed under composition, and S contains all transpositions of A, then the action of S on Acan be recovered from the semigroup consisting of S together with its…

We show that for every supercyclic strongly continuous operator semigroup ${T_t}_{t\geq 0}$ acting on a complex $\F$-space, every $T_t$ with $t>0$ is supercyclic. Moreover, the set of supercyclic vectors of each $T_t$ with $t>0$ is exactly…

The index of a subgroup of a group counts the number of cosets of that subgroup. A subgroup of finite index often shares structural properties with the group, and the existence of a subgroup of finite index with some particular property can…

For a semigroup $S$, the covering number of $S$ with respect to semigroups, $\sigma_s(S)$, is the minimum number of proper subsemigroups of $S$ whose union is $S$. This article investigates covering numbers of semigroups and analogously…

Let $\frak{F}$ be a class of finite groups. A subgroup $H$ of a finite group $G$ is said to be $\mathfrak{F_{\mathrm s}}$-quasinormal in $G$ if there exists a normal subgroup $T$ of $G$ such that $HT$ is $s$-permutable in $G$ and $(H\cap…

If $S$ is a non-empty finite set, $|S|=s$, then a system $\mathscr{A}$ of subsets of $S$ is a size-minimal hypercompletely separable system (i.e., for every $a\in S$ there are $A,B\in\mathscr{A}$ such that $A\cap B=\{a\}$) if and only if…

Let $\mathcal S$ be a semigroup of partial isometries acting on a complex, infinite-dimensional, separable Hilbert space. In this paper we seek criteria which will guarantee that the selfadjoint semigroup $\mathcal T$ generated by $\mathcal…

Let $S,T$ be two numerical semigroups. We study when $S$ is one half of $T$, with $T$ almost symmetric. If we assume that the type of $T$, $t(T)$, is odd, then for any $S$ there exist infinitely many such $T$ and we prove that $1 \leq t(T)…

We prove that for arbitrary two finitely generated subgroups A and B having infinite index in a free group F, there is a subgroup H of finite index in B such that the subgroup generated by A and H has infinite index in F. The main corollary…

We introduce the notion of semigroup with a tight ideal series and investigate their closures in semitopological semigroups, particularly inverse semigroups with continuous inversion. As a corollary we show that the symmetric inverse…

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…

Let S be a semigroup and let T be a subsemigroup of S. Then T acts on S by left- and by right multiplication. This gives rise to a partition of the complement of T in S, and to each equivalence class of this partition we naturally associate…