Profinite algebras and affine boundedness

DOI10.1016/J.AIM.2016.10.001MaRDI QIDQ340419zbMATH OpenOpenAlexFDO

Authors Friedrich Martin Schneider, Jens Zumbrägel

Publication date 14 November 2016

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

topological algebrauniversal algebraStone spacetranslation monoid

Mathematics Subject Classification ID

Categories of algebras (08C05) Semirings (16Y60) Other topological algebraic systems and their representations (22A30) Injectives, projectives (08B30) Stone spaces (Boolean spaces) and related structures (06E15)

Abstract: We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a topological algebra, whereas for topological groups, rings, semigroups, and distributive lattices, profiniteness turns out to be a purely topological property as it is is equivalent to the underlying topological space being a Stone space. Condensing the core idea of those classical results, we introduce the concept of affine boundedness for an arbitrary universal algebra and show that for an affinely bounded topological algebra over a compact signature profiniteness is equivalent to the underlying topological space being a Stone space. Since groups, semigroups, rings, and distributive lattices are indeed affinely bounded algebras over finite signatures, all these known cases arise as special instances of our result. Furthermore, we present some additional applications concerning topological semirings and their modules, as well as distributive associative algebras. We also deduce that any affinely bounded simple compact algebra over a compact signature is either connected or finite. Towards proving the main result, we also establish that any topological algebra is profinite if and only if its underlying space is a Stone space and its translation monoid is equicontinuous.

Recommendations

• What makes a Stone topological algebra profinite
• Profinite topologies
• Profinite Heyting algebras and profinite completions of Heyting algebras
• On totally bounded universal algebras
• Stone duality, topological algebra, and recognition.

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3486079 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 3023568 (Why is no real title available?)
• On compact topological rings
• On profiniteness of compact totally disconnected algebras
• Standard topological algebras: syntactic and principal congruences and profiniteness
• The axiomatizability of topological prevarieties
• Theorems on Compact Totally Disconnected Semigroups and Lattices
• Topological Rings
• Zero-Dimensional Compact Associative Distributive Universal Algebras

Cited in

(8)

• Profiniteness and representability of spectra of Heyting algebras
• Profiniteness in finitely generated varieties is undecidable
• Every simple compact semiring is finite.
• Some basic results on pro-affine algebras and ind-affine schemes
• Profinite relational structures
• What makes a Stone topological algebra profinite
• Stone pseudovarieties
• Codensity, profiniteness and algebras of semiring-valued measures

This page was built for publication: Profinite algebras and affine boundedness

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