Hindman's finite sums theorem and its application to topologizations of algebras

arXiv1810.01947MaRDI QIDQ6503389FDOQ6503389

Authors: Denis I. Saveliev 

Abstract: The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent ultrafilters in ultrafilter extensions of semigroups. The second, main part of the paper is devoted to the topologizability problem of a wide class of algebraic structures called polyrings; this class includes Abelian groups, rings, modules, algebras over a ring, differential rings, and others. We show that the Zariski topology on such an algebra is always non-discrete. Actually, a much stronger fact holds: if $K$ is an infinite polyring, $n$ a natural number, and a map $F$ of $K^n$ into $K$ is defined by a term in $n$ variables, then $F$ is a closed nowhere dense subset of the space $K^{n+1}$ with its Zariski topology. In particular, $K^n$ is a closed nowhere dense subset of $K^{n+1}$. The proof essentially uses a multidimensional version of Hindman's finite sums theorem established by Bergelson and Hindman. The third part of the paper lists several problems concerning topologization of various algebraic structures, their Zariski topologies, and some related questions. This paper is an extended version of the lecture at Journ'ees sur les Arithm'etiques Faibles 36: `a l'occasion du 70`eme anniversaire de Yuri Matiyasevich, delivered on 7th July, 2017, in Saint Petersburg.

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Topological groups (topological aspects) (54H11) Equational classes, universal algebra in model theory (03C05) Ramsey theory (05D10) Noncommutative algebraic geometry (14A22) Topological groupoids (including differentiable and Lie groupoids) (22A22) Other topological algebraic systems and their representations (22A30) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80) Dimension theory in general topology (54F45) Model theory of denumerable and separable structures (03C15) General theory of nonassociative rings and algebras (17A01) Topological fields, rings, etc. (topological aspects) (54H13)

This page was built for publication: Hindman's finite sums theorem and its application to topologizations of algebras

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