On \(n\)-isoclinic embedding of \(n\)-isoclinic groups. (Q2486122)

Let \(G\) be a group. The \(i\)-th term of the upper central series of \(G\), starting with \(i=0\), is denoted by \(\zeta_i(G)\), while the \(j\)-th term of the lower central series of \(G\), starting with \(j=1\), is denoted by \(\gamma_j(G)\). If \(H\) is a group, then \(G\) and \(H\) are called \(n\)-isoclinic if there exists an isomorphism, \(\alpha\), from \(G/\zeta_n(G)\) to \(H/\zeta_n(H)\) and an isomorphism, \(\beta\), from \(\gamma_{n+1}(G)\) to \(\gamma_{n+1}(H)\) such that the commutator \([h_1,\dots,h_{n+1}]\) equals \(\beta([g_1,\dots,g_{n+1}])\) whenever \(g_i\in G\) such that \(h_i\in\alpha(g_i\zeta_n(G))\) for \(i=1,2,\dots,n+1\). Theorem: Let \(n\geq 1\) be an integer. Let \(G_1\) be a group. Suppose that \(G_2\) is a group \(n\)-isoclinic to \(G_1\). Let \(S\) be a full set of representatives of all isomorphism classes of direct products \(\overline G_1\times A\) where \(\overline G_1\cong G_1\) and \(A\) runs through a full set of representatives of all isomorphism classes of nilpotent groups of class \(n\). Then there exists \(R\in S\) containing a subgroup \(\overline G_2\) isomorphic to \(G_2\) such that \(R=\overline G_2\zeta_n(R)\). Moreover, \(R=\check G_1\zeta_n(R)\) where \(\check G_1=G_1\) for some subgroup \(\check G_1\) of \(R\).