Solitary quotients of finite groups. (Q424065)

\textit{G. Kaplan} and \textit{D. Levy} [Commun. Algebra 37, No. 6, 1873-1883 (2009; Zbl 1176.20023)] defined a subgroup \(H\) of a finite group \(G\) to be solitary if no other subgroup of \(G\) is isomorphic to \(H\). They showed that the set \(\text{Sol}(G)\) of solitary subgroups of \(G\) is a join-sublattice of the lattice of normal subgroups \(\mathcal N(G)\) of \(G\). In the paper under review, the author considers the set \(\text{QSol}(G)\) of normal subgroups which determine solitary quotients, that is, normal subgroups \(N\) such that no other quotient of \(G\) is isomorphic to \(G/N\). He shows that \(\text{QSol}(G)\) is a meet-sublattice of \(\mathcal N(G)\). The main result of the paper is that if \(G\) is an Abelian \(p\)-group, then \(\text{QSol}(G)\) consists of the iterated Frattini subgroups of \(G\). Since every finite Abelian group has a duality mapping the two lattices onto each other, it follows that \(\text{Sol}(G)\) consists of the \(\Omega_n(G)\) for \(n\in\mathbb N_0\). Reviewer's remark: Unfortunately, the proof of these results is not correct since it depends on Proposition 2.3 of the paper for which \(G=D_6\times D_{10}\) is a counterexample. But the results are correct since the second one can be proved directly using the fundamental theorem on finite Abelian groups and then the first one follows via the duality mentioned above. A corrigendum to the paper appears [in Cent. Eur. J. Math. 11, No. 2, 376-377 (2013; Zbl 1260.20031)].