Probabilistic finiteness properties for profinite groups

DOI10.1016/J.JALGEBRA.2021.01.026MaRDI QIDQ1998972zbMATH OpenOpenAlexFDO

Authors Ged Corob Cook, Matteo Vannacci

Publication date 9 March 2021

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1907.05063

zbMATH Keywords

HAAR mesure on profinite groupspositively finitely generated profinite groupspositively finitely related profinite groups

Mathematics Subject Classification ID

Modular representations and characters (20C20) Projective representations and multipliers (20C25) Limits, profinite groups (20E18) Homological methods in group theory (20J05) Cohomology of groups (20J06) Probabilistic methods in group theory (20P05)

Abstract: We introduce various probablistic finiteness conditions for profinite groups related to positive finite generation (PFG). We investigate completed group rings which are PFG as modules, and use this to answer a question of Kionke and the second author on positively finitely related groups. Using the theory of projective covers, we define and characterise a probabilistic version of the $mathrm{FP}_n$ property for profinite groups, called $mathrm{PFP}_n$. Finally, we prove how these conditions are related to previously defined finiteness conditions and each other.

Review text

The subject of the paper is a positively finitely generated, positively finitely presented and probablistic version of the \(FP_\infty\) property for profinite groups. A profinite group \(G\) is called positively finitely generated if for some natural \(k\), \(k\) Haar-random elements generate \(G\) with positive probability. \(G\) is positively finitely related if it is finitely generated, and for every epimorphism \(f : H \longrightarrow G\) with \(H\) finitely generated, the kernel of \(f\) is positively finitely normally generated in \(H\). The positive finite presentability is defined in the paper as follows: \(G\) is said to be positively finitely presented if there exists an epimorphism \(f:P\longrightarrow G\) from a positive finitely generated projective group \(P\) such that its kernel is positively finitely generated as a normal subgroup. The authors prove the following statements: 1. If \(G\) is finitely presented and positively finitely generated, then it is positively finitely presented, but not all positively finitely presented groups are positively finitely generated. 2. The class of positively finitely presented groups is closed for extensions. 3. A positively finitely generated group \(G\) is positively finitely presented if and only if the kernel of the universal Frattini cover \(\tilde G\longrightarrow G\) is positively normally finitely generated in \(\tilde G\). 4. In the class of positive finitely generated groups, a group is positive finite presented if and only if it is positive finitely related. The authors also introduce a probablistic version of the \(FP_\infty\) property for profinite groups and prove several interesting results concerning this property.

Recommendations

• Positively finitely related profinite groups
• A PROBABILISTIC ZETA FUNCTION FOR ARITHMETIC GROUPS
• Positively finitely generated groups
• The generation of the augmentation ideal in profinite groups.
• Rationality of the probabilistic zeta functions of finitely generated profinite groups.

Cites work

• A note on the probability of generating alternating or symmetric groups.
• Bieri-Eckmann criteria for profinite groups
• Field Arithmetic
• Group extensions, representations, and the Schur multiplicator
• scientific article; zbMATH DE number 4004443 (Why is no real title available?)
• scientific article; zbMATH DE number 42717 (Why is no real title available?)
• scientific article; zbMATH DE number 46357 (Why is no real title available?)
• scientific article; zbMATH DE number 1219630 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• On hereditarily just infinite profinite groups obtained via iterated wreath products.
• On profinite groups of type \(\mathrm{FP}_\infty\).
• On the Schur multiplier of a wreath product
• Positively finitely generated groups
• Positively finitely related profinite groups
• Presentations of finite simple groups: profinite and cohomological approaches.
• Pro-finite presentations
• PROBABILISTIC GENERATION OF WREATH PRODUCTS OF NON-ABELIAN FINITE SIMPLE GROUPS, II
• Profinite groups.
• Simple groups, maximal subgroups, and probabilistic aspects of profinite groups
• Some applications of the first cohomology group
• Split and Minimal Abelian Extensions of Finite Groups
• Subgroup growth.
• The generation of the augmentation ideal in profinite groups.
• The presentation rank of a direct product of finite groups
• The probability of generating a finite classical group
• Über die \(\Phi\)-Untergruppe endlicher Gruppen

Cited in

(7)

• The generation of the augmentation ideal in profinite groups.
• Bieri-Eckmann criteria for profinite groups
• Propriétés résiduelles des groupes, et méthodes probabilistes
• Finiteness properties and profinite completions.
• scientific article; zbMATH DE number 5044304 (Why is no real title available?)
• Counting irreducible modules for profinite groups
• Simple groups, maximal subgroups, and probabilistic aspects of profinite groups

This page was built for publication: Probabilistic finiteness properties for profinite groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1998972)