No label defined (Q4353971)

The following problem is solved: given two abelian groups \(G\) and \(H\) of the (finite and) same prime power order, when does exist an embedding (i.e. a monomorphism) of the subgroup lattice \(L(G)\) of \(G\) in that of \(H\)? The problem was partly solved by Barnes (1962) but there is an error in this solution (inconsistent with a theorem of Hermann and Huhn). The following results solve the problem: Theorem A. There exists an \(L\)-embedding of the abelian \(p\)-group \(G\) in an elementary abelian group if and only if \(G\) has no subgroup of type \((2,2,2)\). Theorem B. Let \(G\) and \(H\) be abelian groups of the same prime power order. Suppose \(G\) has a subgroup of type \((2,2,2)\) and that \(\varphi\) is an \( L\)-embedding of \(G\) in \(H\). Then \(X^\varphi\simeq X\) for every subgroup \(X\) of \(G\); in particular, \(H\simeq G\). Theorem C. Let \(n\geq k\geq 1\) and \(r\geq 2\). Suppose that \(G=A\times B\times C_3\times\cdots\times C_r\) where \(A\) and \(B\) are cyclic of order \(p^n\) and \(p^k\), respectively, and \(| C_i|=p\) for \(i=3,\dots,r\); it is understood that \(G=A\times B\) if \(r=2\). Then \(G\) has an \(L\)-embedding in an abelian group \(H\) of the same order if and only if there exist subgroups \(U\), \(V\), \(W_i\) of \(H\) such that \(H=U\times V\times W_3\times\cdots\times W_r\), \(| U|=p^n\), \(| V|=p^k\), \(| W_i|=p\) for \(i=3,\dots,r\), and one of the following holds: (i) \(k=1\). (ii) \(k\geq 2\), \(n=\lambda k+t\) where \(\lambda\in\mathbb{N}\) and \(0\leq t<k\), \(V\) is elementary abelian and \(U\) has type \((\alpha_1,\dots,\alpha_s)\) where \(\alpha_1\leq\lambda+1\) and \(\alpha_{t+1}\leq\lambda\). (iii) \(U\simeq G_{n,s}\) and \(V\simeq G_{k,s}\) for some integer \(s\) such that \(1\leq s<k\). Here \(G_{m,s}\) is a group of order \(p^m\) with \(s\) generators constructed in the paper.