A Geometric Invariant for Metabelian Pro-<i>p</i> Groups (Q4487475)

\textit{R.~Bieri} and \textit{R.~Stebel} [Proc. Lond. Math. Soc., III. Ser. 41, 439-460 (1980; Zbl 0448.20029)] introduced a geometric invariant for finitely generated metabelian groups that determines which groups are finitely presented. A pro-\(p\) analog of this invariant is introduced in the present paper. The author gives various interesting characterizations of finitely presented metabelian pro-\(p\) groups and finitely generated pro-\(p\) modules in terms of this invariant. The author also shows the difference between abstract and pro-\(p\) situations by giving an example of a metabelian residually \(p\)-group which is not finitely presented but whose pro-\(p\) completion is finitely presented. Two interesting conjectures are made in the paper. The first states that every metabelian quotient of a soluble finitely presented group is finitely presented. The second conjecture suggests an important connection of the geometric invariant with homologies, completed tensor powers and exterior powers.