Levi quasivarieties (Q1307166): Difference between revisions

Let \(\mathcal E\) be a given group-theoretical property and \(G\) be some group. We say that the group \(G\) has the property \(L({\mathcal E})\) generated by the property \(\mathcal E\) if, for every element \(x\in G\), the normal closure \((x)^G\) has the property \(\mathcal E\). The property \(L({\mathcal E})\) is called the Levy property. This notion was introduced by \textit{L.~C.~Kappe} [in Arch. Math. 23, 561-572 (1972; Zbl 0252.20030)]. Let \(\mathcal M\) be a class of groups. By \(L({\mathcal M})\) we denote the class of groups \(G\) such that, for every \(x\in G\), the normal closure \((x)^G\) belongs to the class \(\mathcal M\). This gives the notion of the Levi class generated by a given class of groups. Theorem 1. For every quasivariety of groups \(\mathcal M\), the Levi class \(L({\mathcal M})\) is a quasivariety of groups. -- The author determines some conditions on a quasivariety \(\mathcal M\) which imply the inclusion \(L({\mathcal M})\subseteq{\mathcal N}_3\).