Probabilistic finiteness properties for profinite groups (Q1998972)

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.