An algebraic proof of van der Waerden's theorem (Q916797)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An algebraic proof of van der Waerden's theorem |
scientific article |
Statements
An algebraic proof of van der Waerden's theorem (English)
0 references
1989
0 references
B. van der Waerden's theorem (of 1927) states that, if the natural numbers \({\mathbb{N}}\) are partitioned into finitely many subsets, then one of the subsets contains arbitrarily long arithmetic progressions. The present proof uses algebraic and topological properties of the compact right topological semigroup \(\beta\) \({\mathbb{N}}\), the Stone-Čech compactification of \({\mathbb{N}}\).
0 references
arithmetic progressions
0 references
compact right topological semigroup
0 references
Stone- Čech compactification
0 references