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

Denis I. Saveliev

2024-01-01

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 of 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 related questions.

General Topology,Combinatorics,Logic,Rings and Algebras

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is the problem of topologizing a wide class of algebraic structures (called multi - rings). Specifically, the author studied the Zariski topology of this type of algebraic structures and proved that the Zariski topology of these structures is always non - discrete. Furthermore, the paper proved a stronger fact: if \(K\) is an infinite multi - ring, \(n\) is a natural number, and \(F: K^{n}\to K\) is a term defined by \(n\) variables, then \(F\) is a closed and nowhere - dense subset in the \(K^{n + 1}\) space, where \(K^{n+1}\) is endowed with the Zariski topology. In particular, \(K^{n}\) is a closed and nowhere - dense subset in \(K^{n + 1}\). This result not only shows that these spaces are non - discrete, but also provides a reasonable concept of topological dimension.

### Main contributions
1. **Non - discreteness**: Proved that the Zariski topology of multi - rings is always non - discrete.
2. **Closed and nowhere - dense**: Proved that the mapping defined by polynomials is closed and nowhere - dense in the higher - dimensional Zariski space.
3. **Topologizing conditions**: Gave sufficient conditions for multi - rings to be endowed with the Hausdorff topology under certain conditions.

### Method
The author used the multi - dimensional version of Hindman's Finite Sums Theorem to prove these results. Hindman's Finite Sums Theorem and its generalizations have an important position in combinatorics and algebraic Ramsey theory, and the author effectively solved the problem of topologizing multi - rings through these tools.

### Applications
These results not only provide new insights into the problem of topologizing algebraic structures, but also have potential application values in fields such as algebraic geometry and topological dynamics. In particular, these results provide a powerful tool for understanding the Zariski topological properties of multi - rings.