Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups (Q343592)

From MaRDI portal
Revision as of 14:56, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
scientific article

    Statements

    Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups (English)
    0 references
    0 references
    0 references
    28 November 2016
    0 references
    For counting the number of idempotent endomorphisms of a structure \(S\) onto a substructure \(T\), the authors consider the case when \(T\) is a projective lattice-ordered abelian group with a distinguished strong order unit, or equivalently, a projective MV-algebra. Suppose \(A\) is the image (= range) of an idempotent endomorphism of the free \(n\)-generator MV-algebra \(\mathcal M ([0,1]^n)\) of McNaughton functions on \([0,1]^n\). They prove that the number \(\mathrm r(A)\) of idempotent endomorphisms of \(\mathcal M([0,1]^n)\) onto \(A\) is finite if, and only if, the maximal spectral space \(\mu_A\) is homeomorphic to a (Kuratowski) closed domain \(M\) of \([0,1]^n\), in the sense that \(M=\mathrm{cl}(\operatorname{int}(M))\). Further, the closed domain condition is decidable and \(\mathrm r(A)\) is computable, once an idempotent endomorphism of \(\mathcal M([0,1]^n)\) onto \(A\) is explicitly given. Thus, every finitely generated projective MV-algebra \(B\) comes equipped with a new invariant \(\iota(B)=\sup\{\mathrm r(A)\mid A\cong B\), for \(A\) the image of an idempotent endomorphism of \(\mathcal M([0,1]^k)\}\), and \(k\) the smallest number of generators of \(B\). We compute \(\iota(B)\) for many projective MV-algebras \(B\) existing in the literature. Various problems concerning idempotent endomorphisms of free MV-algebras are shown to be decidable.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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