Finite separable metacyclic 2-groups. (Q2571095)

A subgroup \(N\) of a group \(G\) is `complemented' in \(G\) if there is \(H\leq G\) such that \(G=NH\) and \(N\cap H=\{1\}\). If, in addition, \(N\triangleleft G\), then \(G\) is said to `split' over \(N\) and is written \(G=[N]H\). If \(G=[N]H=[N_1]H_1\) with \(N\cong N_1\) and \(H\cong H_1\), these two split decompositions are said to be isomorphic. If a group splits over a nontrivial normal subgroup, then the group is said to be `separable'. The author shows that if \(G\) is a finite nonabelian metacyclic \(p\)-group, \(p>2\), then all split decompositions are isomorphic (if \(G\) is Abelian of type \((p^m,p^n)\), then all its split decompositions are isomorphic if and only if \(m=n\)). Also the separable nonabelian metacyclic \(2\)-groups are described.