Related papers: Finite covers of groups by cosets or subgroups
We first give a short group theoretic proof of the following result of Lackenby. If $G$ is a large group, $H$ is a finite index subgroup of $G$ admitting an epimorphism onto a non--cyclic free group, and $g$ is an element of $H$, then the…
Let $\mathfrak F$ be a formation and let $G$ be a group. A subgroup $H$ of $G$ is $\mathrm{K}\mathfrak F$-subnormal (submodular) in $G$ if there is a subgroup chain $H=H_0\le \ H_1 \le \ \ldots \le H_i \leq H_{i+1}\le \ldots \le \ H_n=G$…
We show that all finitely generated free-by-cyclic groups are conjugacy separable: if a finitely generated group $G$ surjects onto $\mathbb{Z}$ with free kernel, then for every pair of non-conjugate elements $g,h\in G$, there exists a…
It is shown that for any finitely generated subgroups H and K of a free group F, and for any element g in F the double coset HgK is closed in the profinite topology of F.
If a soluble group $G$ contains two finitely generated abelian subgroups $A,B$ such that the number of double cosets $AgB$ is finite, then $G$ is shown to be virtually polycyclic.
We investigate the properties of the intersection $\mathrm{Int}_{\mathfrak{F}}(G)$ of all $\mathfrak{F}$-maximal subgroups of a finite group $G$ for a hereditary formation $\mathfrak{F}$ of finite groups. We prove that…
A subgroup $H$ of a group $G$ is called $\mathbb P$-subnormal in $G$ whenever either $H=G$ or there is a chain of subgroups $H=H_0\subset H_1\subset ... \subset H_n=G$ such that $|H_i:H_{i-1}|$ is a prime for all $i$. In this paper, we…
The covering number of a group $G$, denoted by $\sigma(G)$, is the size of a minimal collection of proper subgroups of $G$ whose union is $G$. We investigate which integers are covering numbers of groups. We determine which integers $129$…
In this paper we introduce and study the poset of equivalence classes of subgroups of a finite group $G$, induced by the isomorphism relation. This contains the well-known lattice of solitary subgroups of $G$. We prove that in several…
For D an infinite set, k>1 and W the set of k-sets from D, there is a natural closed permutation group G_k which is a non-split extension of \mathbb{Z}_2^W by \Sym(D). We classify the closed subgroups of G_k which project onto \Sym(D)$. The…
We prove that for every finite partition $G=A_1\cup\dots\cup A_n$ of a group $G$ either $cov(A_iA_i^{-1})\le n$ for all cells $A_i$ or else $cov(A_iA_i^{-1}A_i)<n$ for some cell $A_i$ of the partition. Here $cov(A)=\min\{|F|:F\subset…
Let $ H $ be a subgroup of a finite group $ G $. We say that $ H $ satisfies the partial $ \Pi $-property in $ G $ if there exists a chief series $ \varGamma_{G}: 1 =G_{0} < G_{1} < \cdot\cdot\cdot < G_{n}= G $ of $ G $ such that for every…
Throughout this paper, all groups are finite. Let $\sigma =\{\sigma_{i} | i\in I \}$ be some partition of the set of all primes $\Bbb{P}$. If $n$ is an integer, the symbol $\sigma (n)$ denotes the set $\{\sigma_{i} |\sigma_{i}\cap \pi…
The residual closure of a subgroup $H$ of a group $G$ is the intersection of all virtually normal subgroups of $G$ containing $H$. We show that if $G$ is generated by finitely many cosets of $H$ and if $H$ is commensurated, then the…
Given a finitely generated subgroup $H$ of a free group $F$, we present an algorithm which computes $g_1,\ldots,g_m\in F$, such that the set of elements $g\in F$, for which there exists a non-trivial $H$-equation having $g$ as a solution,…
Fix $k \geq 6$. We prove that any large enough finite group $G$ contains $k$ elements which span quadratically many triples of the form $(a,b,ab) \in S \times G$, given any dense set $S \subseteq G \times G$. The quadratic bound is…
The $G$-graph $\Gamma(G,S)$ is a graph from the group $G$ generated by $S\subseteq G$, where the vertices are the right cosets of the cyclic subgroups $\langle s \rangle, s\in S$ with $k$-edges between two distinct cosets if there is an…
Let $G$ be a finite group. The co-prime order graph of $G$ is the graph whose vertex set is $G$, and two distinct vertices $x,y$ are adjacent if gcd$(o(x),o(y))$ is either $1$ or a prime, where $o(x)$ and $o(y)$ are the orders of $x$ and…
We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset…
We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs,…