Quasirational relation modules and \(p\)-adic Malcev completions (Q5963958)

In this paper, the author considers finite presentations of discrete groups and pro-\(p\)-presentations of pro-\(p\)-groups of finite type. If \(G\) is a pro-\(p\)-group, then there is an exact sequence of homomorphisms of pro-\(p\)-groups, \(1 \rightarrow R \rightarrow F \rightarrow G \rightarrow 1\), where \(F\) is a free pro-\(p\)-group, called a pro-\(p\)-presentation of \(G\) [\textit{J.-P. Serre}, Galois cohomology. Berlin: Springer (1997; Zbl 0902.12004)]. He introduces the so-called quasirational presentations of discrete groups and quasirational pro-\(p\)-presentations of pro-\(p\)-groups; and defines quasirational relation modules. \smallskip A discrete presentation \(1 \rightarrow R \rightarrow F \rightarrow G \rightarrow 1\) is said to be quasirational if for every \(n \in N\) and every prime \(p\), the \(F/R\mathcal{M}_n\)-module \(R/[R,R\mathcal{M}_n]\) has no \(p\)-torsion (here, \(\mathcal{M}_n\) denotes the corresponding Zassenhaus \(p\)-filtration of \(F\) [\textit{H. Koch}, Galoissche Theorie der \(p\)-Erweiterungen. Mit einem Geleitwort von I. R. Shafarevich. Berlin: VEB Deutscher Verlag der Wissenschaften; Berlin-Heidelberg-New York: Springer-Verlag (1970; Zbl 0216.04704)]). This class of presentations contains all the so-called CA-presentations (for the definition and properties, see [\textit{I. M. Chiswell} et al., Math. Z. 178, 1--36 (1981; Zbl 0443.20030)]) and their subpresentations (Proposition 3). The relation modules of such presentations are called quasirational relation modules. \smallskip In the case where \(G\) is a pro-\(p\) group (for a fixed prime \(p\)), the presentation is called quasirational if the module \(R/[R,R\mathcal{M}_n]\) has no \(p\)-torsion for every \(n \in N\). The author shows that a presentation of a pro-\(p\)-group \(G\) with a single defining relation is quasirational (Proposition 1). In the last part, the author introduces and considers the \(p\)-adic rationalization of relation modules adjusted to quasirational (pro-\(p\))-presentations.