When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

DOI10.1093/JIGPAL/JZY005MaRDI QIDQ5095643zbMATHOpenAlexFDO

Authors Juan Climent Vidal, Enric Cosme-Llópez

Publication date 10 August 2022

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1709.01706

zbMATH Keywords

inductive limitretractultraproductprojective limitprofinitefamily of many-sorted algebras with constant supportsupport of a many-sorted set

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Ultraproducts and related constructions (03C20) Heterogeneous algebras (08A68)

Abstract: For a set of sorts $S$ and an $S$-sorted signature $Sigma$ we prove that a profinite $Sigma$-algebra, i.e., a projective limit of a projective system of finite $Sigma$-algebras, is a retract of an ultraproduct of finite $Sigma$-algebras if the family consisting of the finite $Sigma$-algebras underlying the projective system is with constant support. In addition, we provide a categorial rendering of the above result. Specifically, after obtaining a category where the objects are the pairs formed by a nonempty upward directed preordered set and by an ultrafilter containing the filter of the final sections of it, we show that there exists a functor from the just mentioned category whose object mapping assigns to an object a natural transformation which is a retraction.

Recommendations

• Profinite structures are retracts of ultraproducts of finite structures
• On the preservation of the standard characterizations of some colimits in the passage from single-sorted to many-sorted universal algebra
• On the directly and subdirectly irreducible many-sorted algebras.
• Inverse limits of algebras as retracts of their direct products
• Many-sorted algebras in congruence modular varieties

Cited in

(3)

• scientific article; zbMATH DE number 2154585 (Why is no real title available?)
• Profinite structures are retracts of ultraproducts of finite structures
• Retracts of ultrahomogeneous structures in the context of Katětov functors

This page was built for publication: When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5095643)