Local formations in which every subformation of type \({\mathcal N}_ p\) has a complement (Q1370171)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local formations in which every subformation of type \({\mathcal N}_ p\) has a complement |
scientific article |
Statements
Local formations in which every subformation of type \({\mathcal N}_ p\) has a complement (English)
0 references
25 November 1997
0 references
A subformation \({\mathfrak F}_1\) of a formation \({\mathfrak F}\) is said to have a complement in \({\mathfrak F}\), if there is a subformation \({\mathfrak F}_2\) of \({\mathfrak F}\) such that \({\mathfrak F}_1\cap{\mathfrak F}_2=(1)\) and \({\mathfrak F}=\text{form}({\mathfrak F}_1\cup{\mathfrak F}_2)\). The following theorem is a description of local formations in which every local subformation has a complement. Theorem. Let \({\mathfrak F}\neq (1)\) be a local formation. Then the following conditions are equivalent: (i) Every subformation of type \({\mathfrak N}_p\) \((p\in\pi({\mathfrak F}))\) has a complement in \({\mathfrak F}\); (ii) \({\mathfrak F}\) is a nilpotent formation; (iii) The lattice of local subformations of \({\mathfrak F}\) is Boolean.
0 references
complements
0 references
local formations
0 references
nilpotent formations
0 references
lattices of local subformations
0 references