A simple proof of Baer's and Sato's theorems on lattice-isomorphisms between groups (Q1203994)

A group \(G\) is said to be an \(M^*\)-group if all subgroups of \(G\) are quasinormal and \(G\) is quaternionfree. Using Iwasawa's characterization of \(M^*\)-groups the author gives an elegant and unified proof of the following theorem: If \(G\) is an \(M^*\)-group, then there exists an abelian group \(A\) such that the lattices of subgroups of \(A\) and \(G\) are isomorphic.