Probabilistic finiteness properties for profinite groups

We introduce various probabilisticfiniteness 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 [17, Question 1.2] on positively finitely related groups. Using the theory of projective covers, we define and characterise a probabilistic version of the FPn property for profinite groups, called PFPn. Finally, we prove how these conditions are related to previously defined finiteness conditions and each other. (C) 2021 Elsevier Inc. All rights reserved.