Two remarks on the identities of lattices of \(\omega\)-local and \(\omega\)-composition formations of finite groups. (Q1398497)

In 1986, \textit{A. N. Skiba} has shown [in: Arithmetical and subgroup construction of finite groups, Collect. Artic., Minsk 1986, 135-149 (1986; Zbl 0592.20025)] that General Lattice Theory methods can be used successfully for solving many open problems of Formation Theory. Later on inductive and \(\mathfrak X\)-separability properties were introduced for lattices of formations [see Chapter 4 of the monograph by \textit{A. N. Skiba}, Algebra of formations. Minsk: Belaruskaya Navuka (1997; Zbl 0926.20014)]. A complete lattice of formations \(\Theta\) is called an inductive lattice if for any collection \(\{{\mathfrak F}_i\mid i\in I\}\) of formations \({\mathfrak F}_i\in\Theta^e\) and for any collection \(\{f_i\mid i\in I\}\) of internal \(\Theta\)-valued satellites \(f_i\) (\(f_i\) is a satellite of the formation \({\mathfrak F}_i\)) we have \[ \bigvee_{\Theta^e}({\mathfrak F}_i\mid i\in I)=\text{LF}(\bigvee_\Theta(f_i\mid i\in I)). \] The symbol \(\Theta^e\) denotes the collection of all local formations that we are able to define by their \(\Theta\)-valued satellites. Let \(\mathfrak X\) be a nonempty class of finite groups. A complete lattice of formations \(\Theta\) is called \(\mathfrak X\)-separated if for any term \(\omega(x_1,\dots,x_m)\) of signature \(\{\cap,\vee^\Theta\}\) and any formations \({\mathfrak F}_1,\dots,{\mathfrak F}_m\) of \(\Theta\) and any group \(A\in{\mathfrak X}\cap\omega({\mathfrak F}_1,\dots,{\mathfrak F}_m)\) there exist \(\mathfrak X\)-groups \(A_1\in{\mathfrak F}_1,\dots,A_m\in{\mathfrak F}_m\) such that \[ A\in\omega(\Theta\text{-form\,}A_1,\dots,\Theta\text{-form\,} A_m). \] In this paper it is proved that the lattice of all \(n\)-multiply \(\omega\)-local formations is inductive and \(\mathfrak G\)-separated (see Lemmas 4 and 5). This circumstance plays an important role for proving the following: Theorem. Let \(m\) and \(n\) be nonnegative integers. Then the following statements are valid: 1) every identity of the lattice of all formations is valid in the lattice of \(n\)-multiply \(\omega\)-local formations and \(m\)-multiply \(\omega\)-composition formations; 2) provided that \(\omega\) is an infinite set, the systems of identities of the lattice of \(n\)-multiply \(\omega\)-local formations and the lattice of \(m\)-multiply \(\omega\)-composition formations coincide.