The generation of the augmentation ideal in profinite groups.
type: Item
instance of: scholarly article
title: The generation of the augmentation ideal in profinite groups.
zbMATH Open document ID: 1260.20046
author: Erika Damian
published in: Israel Journal of Mathematics
publication date: 2012-11-19T00:00:00Z
review text: Let \(G\) be a profinite group, let \(\widehat{\mathbb Z}G\) be the completed group algebra over \(\widehat{\mathbb Z}\) and let \(I_{\widehat{\mathbb Z}}G\) be its augmentation ideal. The author finds a formula for computing the minimum number of generators of \(I_{\widehat{\mathbb Z}}G\) as a \(\widehat{\mathbb Z}G\)-module, generalizing a result obtained in the finite case by \textit{J. Cossey, K. W. Gruenberg} and \textit{L. G. Kovács} [J. Algebra 28, 597-603 (1974; Zbl 0293.20033)]. As a consequence an example is produced of a profinite group \(G\) which is not finitely generated but with the property that \(I_{\widehat{\mathbb Z}}G\) is finitely generated over \(\widehat{\mathbb Z}G\). For any integer \(t\), one can consider the probability that \(t\) random elements of \(I_{\widehat{\mathbb Z}}G\) generate \(I_{\widehat{\mathbb Z}}G\) as a \(\widehat{\mathbb Z}G\)-module. In the paper a formula is given, expressing this probability as a function of the structure of the finite simple \(G\)-modules. The author studies profinite groups for which \(I_{\widehat{\mathbb Z}}G\) is \(t\)-generated with positive probability for some positive integer \(t\), calling these profinite groups APFG (Augmentation Positively Finitely Generated); the resonance with PFG profinite groups in name and meaning is evident. It is proved that a countably based profinite group \(G\) is APFG if and only if the number of simple \(G\)-modules of finite order is polynomially bounded as a function of the order. As a consequence, it turns out that PFG groups are APFG; however the author gives examples showing that this is a strict inclusion.
reviewed by: Andrea Lucchini
Mathematics Subject Classification ID: 20E18
Mathematics Subject Classification ID: 20P05
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20C07
zbMATH DE Number: 6108409
zbMATH Keywords: profinite groups
zbMATH Keywords: completed group algebras
zbMATH Keywords: augmentation ideals
zbMATH Keywords: numbers of generators
zbMATH Keywords: random generations
MaRDI profile type: Publication
full work available at URL: s11856-011-0148-8
OpenAlex ID: W2025866252
cites work: Some applications of the first cohomology group
cites work: Modular representation theory: New trends and methods
cites work: The presentation rank of a direct product of finite groups
cites work: Crowns and factorization of the probabilistic zeta function of a finite group.
cites work: Q5710757
cites work: Pre-Frattini groups.
cites work: Q4092172
cites work: Random generation of finite and profinite groups and group enumeration.
cites work: The probability of generating a finite classical group
cites work: Q3996618
cites work: Nonabelian crowns and Schunck classes of finite groups
cites work: Pro-finite presentations
cites work: Subgroup growth.
cites work: Positively finitely generated groups
cites work: Simple groups, maximal subgroups, and probabilistic aspects of profinite groups
cites work: Relation modules of finite groups and related topics
cites work: Cohomological characterisations of finite solvable and nilpotent groups
cites work: On the probabilistic ζ-function of pro(ﬁnite-soluble) groups
DOI: 10.1007/S11856-011-0148-8
description: scientific article; zbMATH DE number 6108409