The lattice of normal subgroups of the wreath product of a permutation group with an abstract group (Q1584098)

The structure of the lattice of normal subgroups of the wreath product of a permutation group with an abstract group is characterized. Recall that the wreath product \(A\wr B\) of a permutation group \((A,M)\) with an abstract group \(B\) is the set of all pairs \((a,\beta)\), \(a\in A\), \(\beta\in B^M\) with the multiplication rule: \((a_1,\beta_1)(a_2,\beta_2)=(a_1a_2,\beta_1^{a_2}\beta_2)\), where \(\beta^a(x)=\beta(x^{a^{-1}})\). The projection \(\pi\colon A\wr B\to A\) of the wreath product on the active group \(A\) induces an epimorphism of the upper semilattices \(\pi\colon L(A\wr B)\to L(A)\) (\(L(G)\) denotes the subgroup lattice of a group \(G\), \(N(G)\) is the sublattice of all normal subgroups of \(G\)). If \(\pi(K)=1\), then the subgroup \(K\subseteq A\wr B\) is said to have depth 1, otherwise \(K\) has depth 0. Subgroups of depth 0 form in \(N(A\wr B)\) an upper semilattice \(N_0(A\wr B)\), subgroups of depth 1 form the sublattice \(N_1(A\wr B)\). According to the first main result of the work the upper semilattice \(N_0(A\wr B)\) is an amalgamated union of the family of upper semilattices of normal subgroups \(N_0(A\wr_{\phi T}(B/B'))\). As a corollary from this one can obtain that for a primitive permutation group \((A,M)\) the lattices \(N_0(A\wr B)\) and \(N_0(A\times (B/B'))\) are isomorphic. A similar characterization is also obtained for the sublattice of all normal subgroups of depth 1 from \(A\wr B\) and these two results allow to characterize the lattice \(N(A\wr B)\) as an amalgamated union of \(N_1(A\wr B)\) and an extension \(\overline{N_0(A\wr B)}\) of the lattice \(N_0(A\wr B)\).