Filters compatible with isomorphism testing (Q2200949)

There are several general methods to associate a Lie ring to a nilpotent group. A common theme is to make group-theoretic problems easier by employing linear algebra in the context of the Lie ring. A recent development generalizes approaches from \textit{W. Magnus} [Ann. Math. (2) 52, 111--126 (1950; Zbl 0037.30401); J. Reine Angew. Math. 182, 142--149 (1940; Zbl 0025.24201; JFM 66.1208.03)] and \textit{M. Lazard} [Ann. Sci. Éc. Norm. Supér. (3) 71, 101--190 (1954; Zbl 0055.25103)]. \textit{J. B. Wilson} [J. Group Theory 16, No. 6, 875--897 (2013; Zbl 1298.20051)] defined filters as a means to allow refinements of the well-studied upper and lower central series associated to nilpotent groups, while still connected to a graded Lie ring. In the paper under review, the authors describe a process of lifting isomorphisms between the associated Lie rings to (potential) isomorphisms between the groups, which has applications to isomorphism testing of finite \(p\)-groups. In detail, the authors obtain the following theorem: Theorem. If \(\Phi\) is a finite, inertia-free, faithful-filter functor, then all isomorphisms between groups \(G\) and \(H\) are lifts of \(M\)-graded isomorphisms between \(L(\Phi(G))\) and \(L(\Phi(H))\).