\(p\)-adic non-commutative analytic subgroup theorem (Q2673874)

\textit{A. Yafaev} proved in [J. Number Theory 230, 233--237 (2022; Zbl 1483.11145)] a non-commutative version of the \textit{G. Wüstholz}' analytic subgroup theorem [Ann. Math. (2) 129, No. 3, 501-517 (1989; Zbl 0675.10025)]. In this paper the author gives a \(p\)-adic version of Yafaev's result. The proof follows closely the line of argument of Yafaev by reducing the general case to the commutative one, to which the \(p\)-adic analytic subgroup theorem [\textit{C. Fuchs} and \textit{D. H. Pham}, \(p\)-Adic Numbers Ultrametric Anal. Appl. 7, No. 2, 143--156 (2015; Zbl 1327.11049)] can be applied.