Profinite algebras and affine boundedness

DOI10.1016/J.AIM.2016.10.001zbMATH Open1429.08010arXiv1506.00212OpenAlexW2204719990MaRDI QIDQ340419FDOQ340419

Authors: Friedrich Martin Schneider, Jens Zumbrägel 

Publication date: 14 November 2016

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

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.

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological Rings
• On compact topological rings
• Standard topological algebras: syntactic and principal congruences and profiniteness
• Theorems on Compact Totally Disconnected Semigroups and Lattices
• Title not available (Why is that?)
• On profiniteness of compact totally disconnected algebras
• Zero-Dimensional Compact Associative Distributive Universal Algebras
• Title not available (Why is that?)
• The axiomatizability of topological prevarieties

Cited In (8)

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

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)