Showing 1–29 of 29 results for author: Fernández-Alcober, G

On the lower central series of a large family of non-periodic GGS-groups

Authors: Gustavo A. Fernández-Alcober, Mikel E. Garciarena, Marialaura Noce

Abstract: For an odd prime $p$, we determine the lower central series of a large family of non-periodic GGS-groups, which has a density of roughly $(\frac{p-1}{p})^2$ within all GGS-groups. This means a significant extension of the knowledge regarding the lower central series of distinguished classes of branch groups, which to date was basically restricted to the Grigorchuk group. As part of our results, we… ▽ More For an odd prime $p$, we determine the lower central series of a large family of non-periodic GGS-groups, which has a density of roughly $(\frac{p-1}{p})^2$ within all GGS-groups. This means a significant extension of the knowledge regarding the lower central series of distinguished classes of branch groups, which to date was basically restricted to the Grigorchuk group. As part of our results, we obtain the indices between consecutive terms of the lower central series, and we show that these groups, as well as their profinite completions, have lower central width equal to $2$. In particular, this confirms a conjecture of Bartholdi, Eick, and Hartung about the generalised Fabrykowski-Gupta groups. △ Less

Submitted 9 October, 2024; originally announced October 2024.

MSC Class: 20E08; 20F14

Conciseness on normal subgroups and new concise words from outer commutator words

Authors: Gustavo A. Fernandez-Alcober, Matteo Pintonello

Abstract: Let $w=w(x_1,\ldots,x_r)$ be an outer commutator word. We show that the word $w(u_1,\ldots,u_r)$ is concise whenever $u_1,\ldots,u_r$ are non-commutator words in disjoint sets of variables. This applies in particular to words of the form $w(x_1^{n_1},\ldots,x_r^{n_r})$, where the $n_i$ are non-zero integers. Our approach is via the study of values of $w$ on normal subgroups, and in this setting we… ▽ More Let $w=w(x_1,\ldots,x_r)$ be an outer commutator word. We show that the word $w(u_1,\ldots,u_r)$ is concise whenever $u_1,\ldots,u_r$ are non-commutator words in disjoint sets of variables. This applies in particular to words of the form $w(x_1^{n_1},\ldots,x_r^{n_r})$, where the $n_i$ are non-zero integers. Our approach is via the study of values of $w$ on normal subgroups, and in this setting we obtain the following result: if $N_1,\ldots,N_r$ are normal subgroups of a group $G$ and the set of all values $w(g_1,\ldots,g_r)$ with $g_i\in N_i$ is finite then also the subgroup generated by these values, i.e. $w(N_1,\ldots,N_r)$, is finite. △ Less

Submitted 20 March, 2024; originally announced April 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2304.06380

Conciseness on normal subgroups and new concise words from lower central and derived words

Authors: Gustavo A. Fernández-Alcober, Matteo Pintonello

Abstract: Let $w=w(x_1,\ldots,x_r)$ be a lower central word or a derived word. We show that the word $w(u_1,\ldots,u_r)$ is concise whenever $u_1,\ldots,u_r$ are non-commutator words in disjoint sets of variables, thus proving a generalized version of a conjecture of Azevedo and Shumyatsky. This applies in particular to words of the form $w(x_1^{n_1},\ldots,x_r^{n_r})$, where the $n_i$ are non-zero integers… ▽ More Let $w=w(x_1,\ldots,x_r)$ be a lower central word or a derived word. We show that the word $w(u_1,\ldots,u_r)$ is concise whenever $u_1,\ldots,u_r$ are non-commutator words in disjoint sets of variables, thus proving a generalized version of a conjecture of Azevedo and Shumyatsky. This applies in particular to words of the form $w(x_1^{n_1},\ldots,x_r^{n_r})$, where the $n_i$ are non-zero integers. Our approach is via the study of values of $w$ on normal subgroups, and in this setting we obtain the following result: if $N_1,\ldots,N_r$ are normal subgroups of a group $G$ and the set of all values $w(g_1,\ldots,g_r)$ with $g_i\in N_i$ is finite then also the subgroup generated by these values, i.e. $w(N_1,\ldots,N_r)$, is finite. △ Less

Submitted 27 July, 2023; v1 submitted 13 April, 2023; originally announced April 2023.

GGS-groups over primary trees: Branch structures

Authors: Elena Di Domenico, Gustavo A. Fernández-Alcober, Norberto Gavioli

Abstract: We study branch structures in Grigorchuk-Gupta-Sidki groups (GGS-groups) over primary trees, that is, regular rooted trees of degree $p^n$ for a prime $p$. Apart from a small set of exceptions for $p=2$, we prove that all these groups are weakly regular branch over $G''$. Furthermore, in most cases they are actually regular branch over $γ_3(G)$. This is a significant extension of previously known… ▽ More We study branch structures in Grigorchuk-Gupta-Sidki groups (GGS-groups) over primary trees, that is, regular rooted trees of degree $p^n$ for a prime $p$. Apart from a small set of exceptions for $p=2$, we prove that all these groups are weakly regular branch over $G''$. Furthermore, in most cases they are actually regular branch over $γ_3(G)$. This is a significant extension of previously known results regarding periodic GGS-groups over primary trees and general GGS-groups in the case $n=1$. We also show that, as in the case $n=1$, a GGS-group generated by a constant vector is not branch. △ Less

Submitted 28 March, 2022; v1 submitted 20 February, 2022; originally announced February 2022.

Comments: 14 pages

$p$-Basilica groups

Authors: Elena Di Domenico, Gustavo A. Fernández-Alcober, Marialaura Noce, Anitha Thillaisundaram

Abstract: We consider a generalisation of the Basilica group to all odd primes: the $p$-Basilica groups acting on the $p$-adic tree. We show that the $p$-Basilica groups have the $p$-congruence subgroup property but not the congruence subgroup property nor the weak congruence subgroup property. This provides the first examples of weakly branch groups with such properties. In addition, the $p$-Basilica group… ▽ More We consider a generalisation of the Basilica group to all odd primes: the $p$-Basilica groups acting on the $p$-adic tree. We show that the $p$-Basilica groups have the $p$-congruence subgroup property but not the congruence subgroup property nor the weak congruence subgroup property. This provides the first examples of weakly branch groups with such properties. In addition, the $p$-Basilica groups give the first examples of weakly branch, but not branch, groups which are super strongly fractal. We compute the orders of the congruence quotients of these groups, which enable us to determine the Hausdorff dimensions of the $p$-Basilica groups. Lastly, we show that the $p$-Basilica groups do not possess maximal subgroups of infinite index and that they have infinitely many non-normal maximal subgroups. △ Less

Submitted 26 May, 2021; originally announced May 2021.

Comments: 20 pages

Engel elements in weakly branch groups

Authors: Gustavo A. Fernández-Alcober, Marialaura Noce, Gareth M. Tracey

Abstract: We study properties of Engel elements in weakly branch groups, lying in the group of automorphisms of a spherically homogeneous rooted tree. More precisely, we prove that the set of bounded left Engel elements is always trivial in weakly branch groups. In the case of branch groups, the existence of non-trivial left Engel elements implies that these are all $p$-elements and that the group is virtua… ▽ More We study properties of Engel elements in weakly branch groups, lying in the group of automorphisms of a spherically homogeneous rooted tree. More precisely, we prove that the set of bounded left Engel elements is always trivial in weakly branch groups. In the case of branch groups, the existence of non-trivial left Engel elements implies that these are all $p$-elements and that the group is virtually a $p$-group (and so periodic) for some prime $p$. We also show that the set of right Engel elements of a weakly branch group is trivial under a relatively mild condition. Also, we apply these results to well-known families of weakly branch groups, like the multi-GGS groups. △ Less

Submitted 16 October, 2019; originally announced October 2019.

MSC Class: 20E08; 20F45

On the asymptotic behaviour of the number of Beauville and non-Beauville $p$-groups

Authors: Gustavo A. Fernández-Alcober, Şükran Gül, Matteo Vannacci

Abstract: We find asymptotic lower bounds for the numbers of both Beauville and non-Beauville $2$-generator finite $p$-groups of a fixed order, which turn out to coincide with the best known asymptotic lower bound for the total number of $2$-generator finite $p$-groups of the same order. This shows that both Beauville and non-Beauville groups are abundant within the family of finite $p$-groups. We find asymptotic lower bounds for the numbers of both Beauville and non-Beauville $2$-generator finite $p$-groups of a fixed order, which turn out to coincide with the best known asymptotic lower bound for the total number of $2$-generator finite $p$-groups of the same order. This shows that both Beauville and non-Beauville groups are abundant within the family of finite $p$-groups. △ Less

Submitted 25 October, 2018; originally announced October 2018.

Engel elements in some fractal groups

Authors: Gustavo A. Fernández-Alcober, Albert Garreta, Marialaura Noce

Abstract: Let $p$ be a prime and let $G$ be a subgroup of a Sylow pro-$p$ subgroup of the group of automorphisms of the $p$-adic tree. We prove that if $G$ is fractal and $|G':\mathrm{st}_G(1)'|=\infty$, then the set $L(G)$ of left Engel elements of $G$ is trivial. This result applies to fractal nonabelian groups with torsion-free abelianization, for example the Basilica group, the Brunner-Sidki-Vieira grou… ▽ More Let $p$ be a prime and let $G$ be a subgroup of a Sylow pro-$p$ subgroup of the group of automorphisms of the $p$-adic tree. We prove that if $G$ is fractal and $|G':\mathrm{st}_G(1)'|=\infty$, then the set $L(G)$ of left Engel elements of $G$ is trivial. This result applies to fractal nonabelian groups with torsion-free abelianization, for example the Basilica group, the Brunner-Sidki-Vieira group, and also to the GGS-group with constant defining vector. We further provide two examples showing that neither of the requirements $|G':\mathrm{st}_G(1)'|=\infty$ and being fractal can be dropped. △ Less

Submitted 31 March, 2018; v1 submitted 14 January, 2018; originally announced January 2018.

Comments: 9 pages

MSC Class: 20E08; 20F45

Commutators in finite $p$-groups with $2$-generator derived subgroup

Authors: Iker de las Heras, Gustavo A. Fernández-Alcober

Abstract: Let $G$ be a finite $p$-group whose derived subgroup $G'$ can be generated by $2$ elements. If $G'$ is abelian, Guralnick proved that every element of $G'$ is a commutator. In this paper, we prove that the condition that $G'$ should be abelian is not needed. Even more, we prove that every element of $G'$ is a commutator of the form $[x,g]$ for a fixed $x\in G$. Let $G$ be a finite $p$-group whose derived subgroup $G'$ can be generated by $2$ elements. If $G'$ is abelian, Guralnick proved that every element of $G'$ is a commutator. In this paper, we prove that the condition that $G'$ should be abelian is not needed. Even more, we prove that every element of $G'$ is a commutator of the form $[x,g]$ for a fixed $x\in G$. △ Less

Submitted 9 April, 2018; v1 submitted 29 September, 2017; originally announced September 2017.

Comments: 11 pages

Beauville $p$-groups of wild type and groups of maximal class

Authors: Gustavo A. Fernández-Alcober, Norberto Gavioli, Şükran Gül, Carlo M. Scoppola

Abstract: Let $G$ be a Beauville finite $p$-group. If $G$ exhibits a `good behaviour' with respect to taking powers, then every lift of a Beauville structure of $G/Φ(G)$ is a Beauville structure of $G$. We say that $G$ is a Beauville $p$-group of wild type if this lifting property fails to hold. Our goal in this paper is twofold: firstly, we fully determine the Beauville groups within two large families of… ▽ More Let $G$ be a Beauville finite $p$-group. If $G$ exhibits a `good behaviour' with respect to taking powers, then every lift of a Beauville structure of $G/Φ(G)$ is a Beauville structure of $G$. We say that $G$ is a Beauville $p$-group of wild type if this lifting property fails to hold. Our goal in this paper is twofold: firstly, we fully determine the Beauville groups within two large families of $p$-groups of maximal class, namely metabelian groups and groups with a maximal subgroup of class at most $2$; secondly, as a consequence of the previous result, we obtain infinitely many Beauville $p$-groups of wild type. △ Less

Submitted 25 January, 2017; originally announced January 2017.

Bogomolov multipliers of $p$-groups of maximal class

Authors: Gustavo A. Fernández-Alcober, Urban Jezernik

Abstract: Let $G$ be a $p$-group of maximal class and order $p^n$. We determine whether or not the Bogomolov multiplier $B_0(G)$ is trivial in terms of the lower central series of $G$ and $P_1 = C_G(γ_2(G) / γ_4(G))$. If in addition $G$ has positive degree of commutativity and $P_1$ is metabelian, we show how understanding $B_0(G)$ reduces to the simpler commutator structure of $P_1$. This result covers all… ▽ More Let $G$ be a $p$-group of maximal class and order $p^n$. We determine whether or not the Bogomolov multiplier $B_0(G)$ is trivial in terms of the lower central series of $G$ and $P_1 = C_G(γ_2(G) / γ_4(G))$. If in addition $G$ has positive degree of commutativity and $P_1$ is metabelian, we show how understanding $B_0(G)$ reduces to the simpler commutator structure of $P_1$. This result covers all $p$-groups of maximal class of large enough order and, furthermore, it allows us to give the first natural family of $p$-groups containing an abundance of groups with nontrivial Bogomolov multipliers. We also provide more general results on Bogomolov multipliers of $p$-groups of arbitrary coclass $r$. △ Less

Submitted 30 August, 2019; v1 submitted 12 September, 2016; originally announced September 2016.

Comments: 17 pages; referees' comments, improved exposition, more details in proofs

On the congruence subgroup property for GGS-groups

Authors: Gustavo A. Fernández-Alcober, Alejandra Garrido, Jone Uria-Albizuri

Abstract: We show that all GGS-groups with non-constant defining vector satisfy the congruence subgroup property. This provides, for every odd prime $p$, many examples of finitely generated, residually finite, non-torsion groups whose profinite completion is a pro-$p$ group, and among them we find torsion-free groups. This answers a question of Barnea. On the other hand, we prove that the GGS-group with con… ▽ More We show that all GGS-groups with non-constant defining vector satisfy the congruence subgroup property. This provides, for every odd prime $p$, many examples of finitely generated, residually finite, non-torsion groups whose profinite completion is a pro-$p$ group, and among them we find torsion-free groups. This answers a question of Barnea. On the other hand, we prove that the GGS-group with constant defining vector has an infinite congruence kernel and is not a branch group. △ Less

Submitted 30 September, 2016; v1 submitted 12 April, 2016; originally announced April 2016.

Comments: v2 incorporates referee suggestions (final version)

MSC Class: 20E08

Journal ref: Proc. Amer. Math. Soc. 145 (2017), 3311-3322

On self-similar finite $p$-groups

Authors: Azam Babai, Khadijeh Fathalikhani, Gustavo A. Fernandez-Alcober, Matteo Vannacci

Abstract: In this paper, we address the following question: when is a finite $p$-group $G$ self-similar, i.e. when can $G$ be faithfully represented as a self-similar group of automorphisms of the $p$-adic tree? We show that, if $G$ is a self-similar finite $p$-group of rank $r$, then its order is bounded by a function of $p$ and $r$. This applies in particular to finite $p$-groups of a given coclass. In th… ▽ More In this paper, we address the following question: when is a finite $p$-group $G$ self-similar, i.e. when can $G$ be faithfully represented as a self-similar group of automorphisms of the $p$-adic tree? We show that, if $G$ is a self-similar finite $p$-group of rank $r$, then its order is bounded by a function of $p$ and $r$. This applies in particular to finite $p$-groups of a given coclass. In the particular case of groups of maximal class, that is, of coclass $1$, we can fully answer the question above: a $p$-group of maximal class $G$ is self-similar if and only if it contains an elementary abelian maximal subgroup over which $G$ splits. Furthermore, in that case the order of $G$ is at most $p^p+1$, and this bound is sharp. △ Less

Submitted 15 March, 2016; originally announced March 2016.

Comments: 10 pages, submitted to Groups, Geometry, and Dynamics

MSC Class: 20E08

A finiteness condition on centralizers in locally nilpotent groups

Authors: Gustavo A. Fernandez-Alcober, Leire Legarreta, Antonio Tortora, Maria Tota

Abstract: We give a detailed description of infinite locally nilpotent groups G such that the index |C_G (x) : <x>| is finite, for every non-normal cyclic subgroup <x> of G. We are also able to extend our analysis to all non-periodic groups satisfying a variation of our condition, where the requirement of finiteness is replaced with a bound. We give a detailed description of infinite locally nilpotent groups G such that the index |C_G (x) : <x>| is finite, for every non-normal cyclic subgroup <x> of G. We are also able to extend our analysis to all non-periodic groups satisfying a variation of our condition, where the requirement of finiteness is replaced with a bound. △ Less

Submitted 28 October, 2015; originally announced October 2015.

Comments: 10 pages, submitted to an international journal. arXiv admin note: substantial text overlap with arXiv:1412.7330

A finiteness condition on centralizers in locally finite groups

Authors: Gustavo A. Fernandez-Alcober, Leire Legarreta, Antonio Tortora, Maria Tota

Abstract: We consider a finiteness condition on centralizers in a group G, namely that |C_G (x) : <x>| is finite for every non-normal cyclic subgroup <x> of G. For periodic groups, this is the same as |C_G (x)| is finite for every non-normal cyclic subgroup <x> of G. We give a full description of locally finite groups satisfying this condition. As it turns out, they are a special type of cyclic extensions o… ▽ More We consider a finiteness condition on centralizers in a group G, namely that |C_G (x) : <x>| is finite for every non-normal cyclic subgroup <x> of G. For periodic groups, this is the same as |C_G (x)| is finite for every non-normal cyclic subgroup <x> of G. We give a full description of locally finite groups satisfying this condition. As it turns out, they are a special type of cyclic extensions of Dedekind groups. We also study a variation of our condition, where the requirement of finiteness is replaced with a bound: |C_G (x) : <x>| < n for every non-normal cyclic subgroup <x> of G, for some fixed n. In this case, we are able to extend our analysis to the class of periodic locally graded groups. △ Less

Submitted 13 October, 2015; originally announced October 2015.

Comments: 11 pages, submitted to an international journal. arXiv admin note: substantial text overlap with arXiv:1412.7330

MSC Class: 20F50; 20E34

A note on automorphisms of finite $p$-groups

Authors: Gustavo A. Fernández-Alcober, Anitha Thillaisundaram

Abstract: Let $G$ be a finite non-cyclic $p$-group of order at least $p^3$. If $G$ has an abelian maximal subgroup, or if $G$ has an elementary abelian centre with $C_G(Z(Φ(G))) \ne Φ(G)$, then $|G|$ divides $|\text{Aut}(G)|$. Let $G$ be a finite non-cyclic $p$-group of order at least $p^3$. If $G$ has an abelian maximal subgroup, or if $G$ has an elementary abelian centre with $C_G(Z(Φ(G))) \ne Φ(G)$, then $|G|$ divides $|\text{Aut}(G)|$. △ Less

Submitted 26 October, 2015; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: 6 pages

MSC Class: 20D15; 20D45

Beauville structures in finite p-groups

Authors: Gustavo A. Fernández-Alcober, Şükran Gül

Abstract: We study the existence of (unmixed) Beauville structures in finite $p$-groups, where $p$ is a prime. First of all, we extend Catanese's characterisation of abelian Beauville groups to finite $p$-groups satisfying certain conditions which are much weaker than commutativity. This result applies to all known families of $p$-groups with a good behaviour with respect to powers: regular $p$-groups, powe… ▽ More We study the existence of (unmixed) Beauville structures in finite $p$-groups, where $p$ is a prime. First of all, we extend Catanese's characterisation of abelian Beauville groups to finite $p$-groups satisfying certain conditions which are much weaker than commutativity. This result applies to all known families of $p$-groups with a good behaviour with respect to powers: regular $p$-groups, powerful $p$-groups and more generally potent $p$-groups, and (generalised) $p$-central $p$-groups. In particular, our characterisation holds for all $p$-groups of order at most $p^p$, which allows us to determine the exact number of Beauville groups of order $p^5$, for $p\ge 5$, and of order $p^6$, for $p\ge 7$. On the other hand, we determine which quotients of the Nottingham group over $\mathbb{F}_p$ are Beauville groups, for an odd prime $p$. As a consequence, we give the first explicit infinite family of Beauville $3$-groups, and we show that there are Beauville $3$-groups of order $3^n$ for every $n\ge 5$. △ Less

Submitted 11 April, 2016; v1 submitted 10 July, 2015; originally announced July 2015.

Some finiteness conditions on normalizers or centralizers in groups

Authors: Gustavo A. Fernandez-Alcober, Leire Legarreta, Antonio Tortora, Maria Tota

Abstract: We consider the following two finiteness conditions on normalizers and centralizers in a group G: (i) |N_G(H):H| is finite for every non-normal subgroup H of G, and (ii) |C_G(x):<x>| is finite for every non-normal cyclic subgroup <x> of G. We show that (i) and (ii) are equivalent in the classes of locally finite groups and locally nilpotent groups. In both cases, the groups satisfying these condit… ▽ More We consider the following two finiteness conditions on normalizers and centralizers in a group G: (i) |N_G(H):H| is finite for every non-normal subgroup H of G, and (ii) |C_G(x):<x>| is finite for every non-normal cyclic subgroup <x> of G. We show that (i) and (ii) are equivalent in the classes of locally finite groups and locally nilpotent groups. In both cases, the groups satisfying these conditions are a special kind of cyclic extensions of Dedekind groups. We also study a variation of (i) and (ii), where the requirement of finiteness is replaced with a bound. In this setting, we extend our analysis to the classes of periodic locally graded groups and non-periodic groups. While the two conditions are still equivalent in the former case, in the latter the condition about normalizers is stronger than that about centralizers. △ Less

Submitted 13 January, 2016; v1 submitted 23 December, 2014; originally announced December 2014.

Comments: This paper has been revised and split into three parts. This version is the third part of the original paper. The first two parts are arXiv:1510.03733 and arXiv:1510.08251, respectively

MSC Class: 20E99

Hausdorff dimension in $R$-analytic profinite groups

Authors: Gustavo A. Fernández-Alcober, Eugenio Giannelli, Jon González-Sánchez

Abstract: We study the Hausdorff dimension of R-analytic subgroups in an R-analytic profinite group, where R is a pro-p ring whose asso- ciated graded ring is an integral domain. In particular, we prove that the set of such Hausdorff dimensions is a finite subset of the rational numbers. We study the Hausdorff dimension of R-analytic subgroups in an R-analytic profinite group, where R is a pro-p ring whose asso- ciated graded ring is an integral domain. In particular, we prove that the set of such Hausdorff dimensions is a finite subset of the rational numbers. △ Less

Submitted 24 May, 2016; v1 submitted 6 June, 2014; originally announced June 2014.

Comments: 7 pages

MSC Class: Primary 20E18; Secondary 28A78

Procyclic coverings of commutators in profinite groups

Authors: Gustavo A. Fernández-Alcober, Marta Morigi, Pavel Shumyatsky

Abstract: We consider profinite groups in which all commutators are contained in a union of finitely many procyclic subgroups. It is shown that if G is a profinite group in which all commutators are covered by m procyclic subgroups, then G possesses a finite characteristic subgroup M contained in G' such that the order of M is m-bounded and G'/M is procyclic. If G is a pro-p group such that all commutators… ▽ More We consider profinite groups in which all commutators are contained in a union of finitely many procyclic subgroups. It is shown that if G is a profinite group in which all commutators are covered by m procyclic subgroups, then G possesses a finite characteristic subgroup M contained in G' such that the order of M is m-bounded and G'/M is procyclic. If G is a pro-p group such that all commutators in G are covered by m procyclic subgroups, then G' is either finite of m-bounded order or procyclic. △ Less

Submitted 21 May, 2014; originally announced May 2014.

MSC Class: 20E18; 20F14

Some restrictions on normalizers or centralizers in finite p-groups

Authors: Gustavo A. Fernandez-Alcober, Leire Legarreta, Antonio Tortora, Maria Tota

Abstract: We study three restrictions on normalizers or centralizers in finite p-groups, namely: (i) |N_G(H) : H| <= p^k for every H non-normal in G, (ii) |N_G(<g>) : <g>| <= p^k for every <g> non-normal in G, and (iii) |C_G(g) : <g>| <= p^k for every <g> non-normal in G. We prove that (i) and (ii) are equivalent, and that the order of a non-Dedekind finite p-group satisfying any of these three conditions i… ▽ More We study three restrictions on normalizers or centralizers in finite p-groups, namely: (i) |N_G(H) : H| <= p^k for every H non-normal in G, (ii) |N_G(<g>) : <g>| <= p^k for every <g> non-normal in G, and (iii) |C_G(g) : <g>| <= p^k for every <g> non-normal in G. We prove that (i) and (ii) are equivalent, and that the order of a non-Dedekind finite p-group satisfying any of these three conditions is bounded for p>2. More precisely, we get the best possible bound for the order of G in all three cases, which is |G| <= p^{2k+2}. The order of the group cannot be bounded for p=2, but we are able to identify two infinite families of 2-groups out of which |G| <= 2^{f(k)} for some function f(k) depending only on k. △ Less

Submitted 11 November, 2013; originally announced November 2013.

A restriction on centralizers in finite groups

Authors: Gustavo A. Fernandez-Alcober, Leire Legarreta, Antonio Tortora, Maria Tota

Abstract: For a given m>=1, we consider the finite non-abelian groups G for which |C_G(g):<g>|<=m for every g in G\Z(G). We show that the order of G can be bounded in terms of m and the largest prime divisor of the order of G. Our approach relies on dealing first with the case where G is a non-abelian finite p-group. In that situation, if we take m=p^k to be a power of p, we show that |G|<=p^{2k+2} with the… ▽ More For a given m>=1, we consider the finite non-abelian groups G for which |C_G(g):<g>|<=m for every g in G\Z(G). We show that the order of G can be bounded in terms of m and the largest prime divisor of the order of G. Our approach relies on dealing first with the case where G is a non-abelian finite p-group. In that situation, if we take m=p^k to be a power of p, we show that |G|<=p^{2k+2} with the only exception of Q_8. This bound is best possible, and implies that the order of G can be bounded by a function of m alone in the case of nilpotent groups. △ Less

Submitted 9 September, 2013; originally announced September 2013.

MSC Class: 20D99

Journal ref: J. Algebra 400 (2014), 33--42

GGS-groups: order of congruence quotients and Hausdorff dimension

Authors: Gustavo A. Fernández-Alcober, Amaia Zugadi-Reizabal

Abstract: If G is a GGS-group defined over a p-adic tree, where p is an odd prime, we calculate the order of the congruence quotients $G_n=G/\Stab_G(n)$ for every n. If G is defined by the vector $e=(e_1,...,e_{p-1})\in\F_p^{p-1}$, the determination of the order of $G_n$ is split into three cases, according as e is non-symmetric, non-constant symmetric, or constant. The formulas that we obtain only depend o… ▽ More If G is a GGS-group defined over a p-adic tree, where p is an odd prime, we calculate the order of the congruence quotients $G_n=G/\Stab_G(n)$ for every n. If G is defined by the vector $e=(e_1,...,e_{p-1})\in\F_p^{p-1}$, the determination of the order of $G_n$ is split into three cases, according as e is non-symmetric, non-constant symmetric, or constant. The formulas that we obtain only depend on p, n, and the rank of the circulant matrix whose first row is e. As a consequence of these formulas, we also obtain the Hausdorff dimension of the closures of all GGS-groups over the p-adic tree. △ Less

Submitted 10 August, 2011; originally announced August 2011.

Comments: 27 pages

MSC Class: 20E08; 20F65

A focal subgroup theorem for outer commutator words

Authors: Cristina Acciarri, Gustavo A. Fernández-Alcober, Pavel Shumyatsky

Abstract: Let $G$ be a finite group of order $p^am$, where $p$ is a prime and $m$ is not divisible by $p$, and let $P$ be a Sylow $p$-subgroup of $G$. If $w$ is an outer commutator word, we prove that $P\cap w(G)$ is generated by the intersection of $P$ with the set of $m$th powers of all values of $w$ in $G$ Let $G$ be a finite group of order $p^am$, where $p$ is a prime and $m$ is not divisible by $p$, and let $P$ be a Sylow $p$-subgroup of $G$. If $w$ is an outer commutator word, we prove that $P\cap w(G)$ is generated by the intersection of $P$ with the set of $m$th powers of all values of $w$ in $G$ △ Less

Submitted 26 December, 2011; v1 submitted 10 August, 2011; originally announced August 2011.

Comments: 7 pages, 1 figure. To appear on Journal of Group Theory

MSC Class: Primary 20D20; secondary 20F12

Positive laws on large sets of generators: counterexamples for infinitely generated groups

Authors: C. Acciarri, G. A. Fernández-Alcober

Abstract: Shumyatsky and the second author proved that if G is a finitely generated residually finite p-group satisfying a law, then, for almost all primes, the fact that a normal and commutator-closed set of generators satisfies a positive law implies that the whole of G also satisfies a (possibly different) positive law. In this paper, we construct a counterexample showing that the hypothesis of finite ge… ▽ More Shumyatsky and the second author proved that if G is a finitely generated residually finite p-group satisfying a law, then, for almost all primes, the fact that a normal and commutator-closed set of generators satisfies a positive law implies that the whole of G also satisfies a (possibly different) positive law. In this paper, we construct a counterexample showing that the hypothesis of finite generation of the group G cannot be dispensed with. △ Less

Submitted 2 August, 2011; originally announced August 2011.

MSC Class: 20E99 (Primary)

Journal ref: J. Aust. Math. Soc. vol. 89 (2010), 289-296

Positive laws on generators in powerful pro-p groups

Authors: Cristina Acciarri, Gustavo A. Fernández-Alcober

Abstract: If G is a finitely generated powerful pro-p group satisfying a certain law v=1, and if G can be generated by a normal subset T of finite width which satisfies a positive law, we prove that G is nilpotent. Furthermore, the nilpotency class of G can be bounded in terms of the prime p, the number of generators of G, the law v=1, the width of T, and the degree of the positive law. The main interest of… ▽ More If G is a finitely generated powerful pro-p group satisfying a certain law v=1, and if G can be generated by a normal subset T of finite width which satisfies a positive law, we prove that G is nilpotent. Furthermore, the nilpotency class of G can be bounded in terms of the prime p, the number of generators of G, the law v=1, the width of T, and the degree of the positive law. The main interest of this result is the application to verbal subgroups: if G is a p-adic analytic pro-p group in which all values of a word w satisfy positive law, and if the verbal subgroup w(G) is powerful, then w(G) is nilpotent. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Comments: 8 pages, to appear in Proceedings of the Ischia Group Theory Conference 2010

MSC Class: 20D15

Omega subgroups of powerful p-groups

Authors: Gustavo A. Fernández-Alcober

Abstract: Let G be a powerful finite p-group. In this note, we give a short elementary proof of the following facts for all $i\ge 0$: (i) $\exp Ω_-i(G)\le p^i$ for odd p, and $\exp Ω_-i(G)\le 2^{i+1}$ for p = 2; (ii) the index $|G:G^{p^i}|$ coincides with the number of elements of G of order at most $p^i$. Let G be a powerful finite p-group. In this note, we give a short elementary proof of the following facts for all $i\ge 0$: (i) $\exp Ω_-i(G)\le p^i$ for odd p, and $\exp Ω_-i(G)\le 2^{i+1}$ for p = 2; (ii) the index $|G:G^{p^i}|$ coincides with the number of elements of G of order at most $p^i$. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Comments: 4 pages

MSC Class: 20D15

Journal ref: Israel Journal of Mathematics 162 (2007), 75-80

Outer commutator words are uniformly concise

Authors: Gustavo A. Fernández-Alcober, Marta Morigi

Abstract: We prove that outer commutator words are uniformly concise, i.e. if an outer commutator word w takes m different values in a group G, then the order of the verbal subgroup w(G) is bounded by a function depending only on m and not on w or G. This is obtained as a consequence of a structure theorem for the subgroup w(G), which is valid if G is soluble, and without assuming that w takes finitely ma… ▽ More We prove that outer commutator words are uniformly concise, i.e. if an outer commutator word w takes m different values in a group G, then the order of the verbal subgroup w(G) is bounded by a function depending only on m and not on w or G. This is obtained as a consequence of a structure theorem for the subgroup w(G), which is valid if G is soluble, and without assuming that w takes finitely many values in G. More precisely, there is an abelian series of w(G), such that every section of the series can be generated by values of w all of whose powers are also values of w in that section. For the proof of this latter result, we introduce a new representation of outer commutator words by means of binary trees, and we use the structure of the trees to set up an appropriate induction. △ Less

Submitted 16 November, 2009; originally announced November 2009.

MSC Class: 20F10; 12L10

Comparison of the Discrete and Continuous Cohomology Groups of a Pro-$p$ Group

Authors: Gustavo A. Fernandez-Alcober, Ilya V. Kazachkov, Vladimir N. Remeslennikov, Peter Symonds

Abstract: We address the following question. For which finitely generated pro-$p$ groups the comparison map $φ^2:H_{cont}^{2}(P,\F_p) \to H_{disc}{2}(P,\F_p)$ is an isomorphism? We prove that if $P$ is not finitely presented then $φ^2$ is not surjective. Furthermore, if $P$ is finitely presented $φ^2$ is an isomorphism if and only if the comparison map… ▽ More We address the following question. For which finitely generated pro-$p$ groups the comparison map $φ^2:H_{cont}^{2}(P,\F_p) \to H_{disc}{2}(P,\F_p)$ is an isomorphism? We prove that if $P$ is not finitely presented then $φ^2$ is not surjective. Furthermore, if $P$ is finitely presented $φ^2$ is an isomorphism if and only if the comparison map $φ_2:H^{disc}_{2}(P, \F_p) \to H^{cont}_{2}(P, \F_p)$ of second homology groups is an isomorphism. This is the content of Theorem A. The second main result of the paper is Theorem B, which gives an explicit construction of a cochain from the kernel of $φ^2$. △ Less

Submitted 6 May, 2007; v1 submitted 25 January, 2007; originally announced January 2007.

Comments: 13 pages, 0 figures; second version: bibliography and references corrected;

MSC Class: 20J06; 20E18