BZPEER

preprint2024arXiv

On groups with BFC-covered word values

For a group G and a positive integer n write B_n(G) = {x \in G : |x^G | \le n}. If s is a positive integer and w is a group word, say that G satisfies the (n,s)-covering condition with respect to the word w if there exists a subset S of G such that |S| \le s and all w-values of G are contained in B_n(G)S. In a natural way, this condition emerged in the study of probabilistically nilpotent groups of class two. In this paper we obtain the following results. Let w be a multilinear commutator word on k variables and let G be a group satisfying the (n,s)-covering condition with respect to the word w. Then G has a soluble subgroup T such that the index [G : T] and the derived length of T are both (k,n,s)-bounded. Let G be a group satisfying the (n,s)-covering condition with respect to the word γ_k. Then (1) γ_{2k-1}(G) has a subgroup $T$ such that the index [γ_{2k-1}(G) : T] and |T'| are both (k,n,s)-bounded; and (2) G has a nilpotent subgroup U such that the index [G : U] and the nilpotency class of U are both (k,n,s)-bounded.

preprint2022arXiv

Centralizers of commutators in finite groups

Let $G$ be a finite group. A coprime commutator in $G$ is any element that can be written as a commutator $[x,y]$ for suitable $x,y\in G$ such that $π(x)\capπ(y)=\emptyset$ . Here $π(g)$ denotes the set of prime divisors of the order of the element $g\in G$ . An anti-coprime commutator is an element that can be written as a commutator $[x,y]$ , where $π(x)=π(y)$ . The main results of the paper are as follows. -- If $|x^G|\leq n$ whenever $x$ is a coprime commutator, then $G$ has a nilpotent subgroup of $n$ -bounded index. -- If $|x^G|\leq n$ for every anti-coprime commutator $x\in G$ , then $G$ has a subgroup $H$ of nilpotency class at most $4$ such that $[G : H]$ and $|γ_4 (H)|$ are both $n$ -bounded. We also consider finite groups in which the centralizers of coprime, or anti-coprime, commutators are of bounded order.

preprint2022arXiv

Strongly generating elements in finite and profinite groups

Given a finite group $G$ and an element $g\in G$ , we may compare the expected number $e(G)$ of elements needed to generate $G$ and the expected number $e(G,g)$ of elements of $G$ needed to generate $G$ together with $g.$ We address the following question: how large can the difference $e(G)-e(G,g)$ be?

preprint2022arXiv

The Engel graph of a finite group

For a finite group $G,$ we investigate the direct graph $Γ(G),$ whose vertices are the non-hypercentral elements of $G$ and where there is an edge $x\mapsto y$ if and only if $[x,_ny]=1$ for some $n \in \mathbb N.$ We prove that $Γ(G)$ is always weakly connected and is strongly connected if $G/Z_{\infty}(G)$ is neither Frobenius nor almost simple.

preprint2021arXiv

Strong conciseness of coprime and anti-coprime commutators

A coprime commutator in a profinite group $G$ is an element of the form $[x,y]$ , where $x$ and $y$ have coprime order and an anti-coprime commutator is a commutator $[x,y]$ such that the orders of $x$ and $y$ are divisible by the same primes. In the present paper we establish that a profinite group $G$ is finite-by-pronilpotent if the cardinality of the set of coprime commutators in $G$ is less than $2^{\aleph_0}$ . Moreover, a profinite group $G$ has finite commutator subgroup $G'$ if the cardinality of the set of anti-coprime commutators in $G$ is less than $2^{\aleph_0}$ .

preprint2020arXiv

Profinite groups in which the probabilistic zeta function has no negative coefficients

To a finitely generated profinite group $G$ , a formal Dirichlet series $P_G(s)=\sum_{n \in \mathbb N} {a_n(G)}/{n^s}$ is associated, where $a_n(G)=\sum_{|G:H|=n}μ(H, G)$ and $μ(H,G)$ denotes the Möbius function of the lattice of open subgroups of $G.$ Its formal inverse $P_G^{-1}(s)$ is the probabilistic zeta function of $G$ . When $G$ is prosoluble, every coefficient of $(P_G(s))^{-1}$ is nonnegative. In this paper we discuss the general case and we produce % existence of a non-prosoluble example and We construct a non-prosoluble finitely generated group $G$ with the same property.

preprint2020arXiv

Strong conciseness in profinite groups

A group word $w$ is said to be strongly concise in a class $\mathcal{C}$ of profinite groups if, for every group $G$ in $\mathcal{C}$ such that $w$ takes less than $2^{\aleph_0}$ values in $G$ , the verbal subgroup $w(G)$ is finite. Detomi, Morigi and Shumyatsky established that multilinear commutator words -- and the particular words $x^2$ and $[x^2,y]$ -- have the property that the corresponding verbal subgroup is finite in a profinite group $G$ whenever the word takes at most countably many values in $G$ . They conjectured that, in fact, this should be true for every word. In particular, their conjecture included as open cases power words and Engel words. In the present paper, we take a new approach via parametrised words that leads to stronger results. First we prove that multilinear commutator words are strongly concise in the class of all profinite groups. Then we establish that every group word is strongly concise in the class of nilpotent profinite groups. From this we deduce, for instance, that, if $w$ is one of the group words $x^2$ , $x^3$ , $x^6$ , $[x^3,y]$ or $[x,y,y]$ , then $w$ is strongly concise in the class of all profinite groups. Indeed, the same conclusion can be reached for all words of the infinite families $[x^m,z_1,\ldots,z_r]$ and $[x,y,y,z_1,\ldots,z_r]$ , where $m \in \{2,3\}$ and $r \ge 1$ .

preprint2015arXiv

Maximal subgroups of finite soluble groups in general position

For a finite group $G$ we investigate the difference between the maximum size MaxDim $(G)$ of an "independent" family of maximal subgroups of $G$ and maximum size $m(G)$ of an irredundant sequence of generators of $G$ . We prove that MaxDim $(G)=m(G)$ if the derived subgroup of $G$ is nilpotent. However MaxDim $(G)-m(G)$ can be arbitrarily large: for any odd prime $p,$ we construct a finite soluble group with Fitting length 2 satisfying $m(G)=3$ and MaxDim $(G)=p.$

preprint2015arXiv

On conciseness of words in profinite groups

Let w be a group word. It is conjectured that if w has only countably many values in a profinite group G, then the verbal subgroup w(G) is finite. In the present paper we confirm the conjecture in the cases where w is a multilinear commutator word, or the word x^2, or the word [x^2,y].

preprint2015arXiv

On the length of a finite group and of its 2-generator subgroups

The nonsoluble length $λ(G)$ of a finite group $G$ is defined as the minimum number of nonsoluble factors in a normal series of $G$ each of whose quotients either is soluble or is a direct product of nonabelian simple groups. The generalized Fitting height of a finite group $G$ is the least number $h=h^*(G)$ such that $F^*_h(G)=G$ , where $F^*_1(G)=F^*(G)$ is the generalized Fitting subgroup, and $F^*_{i+1}(G)$ is the inverse image of $F^*(G/F^*_{i}(G))$ . In the present paper we prove that if $λ(J)\leq k$ for every 2-generator subgroup $J$ of $G$ , then $λ(G)\leq k$ . It is conjectured that if $h^*(J)\leq k$ for every 2-generator subgroup $J$ , then $h^*(G)\leq k$ . We prove that if $h^*(\langle x,x^g\rangle)\leq k$ for all $x,g\in G$ such that $\langle x,x^g\rangle$ is soluble, then $h^*(G)$ is $k$ -bounded.

preprint2014arXiv

Coprime invariable generation and minimal-exponent groups

A finite group $G$ is \emph{coprimely-invariably generated} if there exists a set of generators $\{g_1, ..., g_u\}$ of $G$ with the property that the orders $|g_1|, ..., |g_u|$ are pairwise coprime and that for all $x_1, ..., x_u \in G$ the set $\{g_1^{x_1}, ..., g_u^{x_u}\}$ generates $G$ . We show that if $G$ is coprimely-invariably generated, then $G$ can be generated with three elements, or two if $G$ is soluble, and that $G$ has zero presentation rank. As a corollary, we show that if $G$ is any finite group such that no proper subgroup has the same exponent as $G$ , then $G$ has zero presentation rank. Furthermore, we show that every finite simple group is coprimely-invariably generated. Along the way, we show that for each finite simple group $S$ , and for each partition $π_1, ..., π_u$ of the primes dividing $|S|$ , the product of the number $k_{π_i}(S)$ of conjugacy classes of $π_i$ -elements satisfies $\prod_{i=1}^u k_{π_i}(S) \leq \frac{|S|}{2| Out S|}.$

preprint2014arXiv

Invariable generation of prosoluble groups

A group $G$ is invariably generated by a subset $S$ of $G$ if $G= s^{g(s)} \mid s\in S$ for each choice of $g(s) \in G$ , $s \in S$ . Answering two questions posed by Kantor, Lubotzky and Shalev, we prove that the free prosoluble group of rank $d \ge 2$ cannot be invariably generated by a finite set of elements, while the free solvable profinite group of rank $d$ and derived length $l$ is invariably generated by precisely $l(d-1)+1$ elements.

preprint2014arXiv

Invariable generation with elements of coprime prime-power order

A finite group $G$ is coprimely-invariably generated if there exists a set of generators $\{g_1, \ldots, g_d\}$ of $G$ with the property that the orders $|g_1|, \ldots, |g_d|$ are pairwise coprime and that for all $x_1, \ldots, x_d \in G$ the set $\{g_1^{x_1}, \ldots, g_d^{x_d}\}$ generates $G$ . In the particular case when $|g_1|, \ldots, |g_d|$ can be chosen to be prime-powers we say that $G$ is prime-power coprimely-invariably generated. We will discuss these properties, proving also that the second one is stronger than the first, but that in the particular case of finite soluble groups they are equivalent.

preprint2013arXiv

Bounding the Exponent of a Verbal Subgroup

We deal with the following conjecture. If w is a group word and G is a finite group in which any nilpotent subgroup generated by w-values has exponent dividing e, then the exponent of the verbal subgroup w(G) is bounded in terms of e and w only. We show that this is true in the case where w is either the nth Engel word or the word [x^n,y_1,y_2,...,y_k] (Theorem A). Further, we show that for any positive integer e there exists a number k=k(e) such that if w is a word and G is a finite group in which any nilpotent subgroup generated by products of k values of the word w has exponent dividing e, then the exponent of the verbal subgroup w(G) is bounded in terms of e and w only (Theorem B).

preprint2013arXiv

Commutators and pronilpotent subgroups in profinite groups

Let G be a profinite group in which all pronilpotent subgroups generated by commutators are periodic. We prove that G' is locally finite.

preprint2013arXiv

On countable coverings of word values in profinite groups

We prove the following results. Let w be a multilinear commutator word. If G is a profinite group in which all w-values are contained in a union of countably many periodic subgroups, then the verbal subgroup w(G) is locally finite. If G is a profinite group in which all w-values are contained in a union of countably many subgroups of finite rank, then the verbal subgroup w(G) has finite rank as well. As a by-product of the techniques developed in the paper we also prove that if G is a virtually soluble profinite group in which all w-values have finite order, then w(G) is locally finite and has finite exponent.

preprint2011arXiv

Characterization of finitely generated infinitely iterated wreath products

Given a sequence of $(G_i)_{i \in \N}$ of finite transitive groups of degree $n_i$ , let $W_\infty$ be the inverse limit of the iterated permutational wreath products of the first m groups. We prove that $W_\infty$ is (topologically) finitely generated if and only if $\prod_{i=1}^{\infty} (G_i/G_i')$ is finitely generated and the growth of the minimal number of generators of $G_i$ is bounded by $d...n_1...n_{i-1}$ for a constant $d$ . Moreover we give a criterion to decide whether $W_\infty$ is positively finitely generated.

Eloisa Detomi

Research overview

Is this your work?

17 publications

On groups with BFC-covered word values

Centralizers of commutators in finite groups

Strongly generating elements in finite and profinite groups

The Engel graph of a finite group

Strong conciseness of coprime and anti-coprime commutators

Profinite groups in which the probabilistic zeta function has no negative coefficients

Strong conciseness in profinite groups

Maximal subgroups of finite soluble groups in general position

On conciseness of words in profinite groups

On the length of a finite group and of its 2-generator subgroups

Coprime invariable generation and minimal-exponent groups

Invariable generation of prosoluble groups

Invariable generation with elements of coprime prime-power order

Bounding the Exponent of a Verbal Subgroup

Commutators and pronilpotent subgroups in profinite groups

On countable coverings of word values in profinite groups

Characterization of finitely generated infinitely iterated wreath products

See the researcher in context

Building this map preview