Representing subalgebras as retracts of finite subdirect powers (Q783295): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Q781540 / rank
Normal rank
 
Property / author
 
Property / author: Keith A. Kearnes / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3048335540 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 2005.02461 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some applications of higher commutators in Mal'cev algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3775604 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of finite algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Congruence modular varieties with small free spectra / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatic formation that is not a variety / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Relationship Between Two Commutators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Is supernilpotence super nilpotence? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three remarks on the modular commutator / rank
 
Normal rank
Property / cites work
 
Property / cites work: Higher commutator theory for congruence modular varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Note on Formations of Finite Nilpotent Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characteristic Subgroups of Free Groups / rank
 
Normal rank

Latest revision as of 06:54, 23 July 2024

scientific article
Language Label Description Also known as
English
Representing subalgebras as retracts of finite subdirect powers
scientific article

    Statements

    Representing subalgebras as retracts of finite subdirect powers (English)
    0 references
    0 references
    0 references
    12 August 2020
    0 references
    For a class \(\mathcal{K}\) of algebras with the same function symbols, \(H \mathcal{K}\) denotes the class of all homomorphic images of algebras in \(\mathcal{K}\), \(S \mathcal{K}\) the class of subalgebras, and \(P_{\text{fs}}\) the class of finite subdirect products of members of \(\mathcal{K}\). \textit{P. M. Neumann} [Bull. Lond. Math. Soc. 2, 91 (1970; Zbl 0215.10304)] proved that for a finite nilpotent group \(\mathbf{A}\), we have \(S \{\mathbf{A}\} \subseteq H P_{\text{fs}} \{\mathbf{A} \}\). The present paper generalizes this result from finite groups to arbitrary algebras. For a general universal algebra, the concept of nilpotency considered here is \textit{supernilpotency with respect to the \(2\)-term higher commutator} (for short, \textit{\(2\)-term-supernilpotency}). A group satisfies this condition if and only if it is nilpotent. The authors prove that for every \(2\)-term-supernilpotent algebra \(\mathbf{A}\), we have \(S \{ \mathbf{A} \} \subseteq H P_{\text{fs}} \{ \mathbf{A} \}\); in fact the homomorphic images can even be taken to be retracts. Hence, if \(\mathcal{K}\) is a class of \(2\)-term-supernilpotent algebras with \(H P_{\text{fs}} \mathcal{K} \subseteq \mathcal{K}\), then \(S \mathcal{K} \subseteq \mathcal{K}\). As another corollary, the authors obtain that for a finite algebra \(\mathbf{A}\) in a variety \(\mathcal{V}\) all of whose members are \(2\)-term-supernilpotent, we have \[ HSP_{\text{fin}} \{\mathbf{A}\} \subseteq H P_{\text{fs}} \{ \mathbf{A} \}. \] A second thread of results concerns what are called \textit{axiomatic formations} of algebras: Suppose that \(\mathcal{K}\) is such that every algebra in \(\mathcal{F} := H P_{\text{fs}} \mathcal{K}\) is \(2\)-term-supernilpotent and \(\mathcal{F}\) can be defined by a set of first-order formulae. Then \(\mathcal{F}\) is a variety. Finally, the authors exhibit a six element nilpotent expanded group with \(S \{\mathbf{A}\} \not\subseteq H P_{\text{fs}} \{\mathbf{A} \}\). An outstanding feature is that the main result makes no assumption on the algebra, such as generating a congruence modular variety or satisfying a Mal'cev condition, other than the algebra being \(2\)-term-supernilpotent.
    0 references
    formation
    0 references
    higher commutator
    0 references
    nilpotent
    0 references
    pseudovariety
    0 references
    retract
    0 references
    subalgebra
    0 references
    subdirect power
    0 references
    supernilpotent
    0 references
    two term condition
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references