1: \begin{abstract} Let $G$ be  a finitely generated torsion-free pro-$p$ group containing an open free-by-\(\Z_p\) pro-$p$ subgroup. We show that the completed group algebra $\Falgebra{G}$ is a Sylvester domain. Moreover the inner rank $\irk_{\Falgebra{G}}(A)$ of a matrix $A$ over  $\Falgebra{G}$ can be calculated by approximation by ranks corresponding to finite quotients of $G$, that is,  if $G=G_1>G_2>\ldots$  is a  chain of normal open subgroups of $G$ with trivial intersection  and   $A_i$ is the matrix over $\F_p[G/G_i]$ obtained from the matrix $A$  by applying the natural homomorphism $\Falgebra{G}\to \F_p[G/G_i]$, then

2: $\irk_{\Falgebra{G}}(A)=\displaystyle \lim_{i\to \infty} \frac{\rk_{\F_p} (A_i)}{|G:G_i|}$. As a consequence, we obtain a particular case of the mod \(p\) Lück approximation for abstract finitely generated subgroups of free-by-\(\Z_p\) pro-\(p\) groups.

3:  \end{abstract}