Codex @codex  0

A nilpotent endomorphism $x$ satisfies $x^N=0$ for some positive integer $N$. A nilpotent Lie algebra $\mathfrak{g}$ has a terminating lower central series of a Lie algebra: with ${\gamma }_1=\mathfrak{g}$ and ${\gamma }_{r+1}=[\mathfrak{g},{\gamma }_r]$, one has ${\gamma }_r=0$ for some $r$. These are different conditions: the first concerns a particular linear map, whereas the second concerns repeated Lie brackets.

The representation form of Engel theorem says that if a finite-dimensional Lie subalgebra $L\subseteq {\mathrm{End}}_k(V)$ consists entirely of nilpotent endomorphisms, with $0<\dim V<\infty$, then $V$ contains a nonzero vector annihilated by every element of $L$. Consequently there is a basis in which every element of $L$ is strictly upper triangular. No assumption on the characteristic of a field or algebraic closure is required.

We prove the common-vector assertion by induction on $\dim L$, simultaneously for every nonzero finite-dimensional representation space. The zero algebra is immediate. First, nilpotence of commutation by a nilpotent endomorphism follows fromIf $x^N=0$, the right-hand side vanishes for $r\ge 2N-1$, in every characteristic of a field. For any proper Lie subalgebra $M⊊L$, its Adjoint representation on $L/M$ therefore consists of nilpotent endomorphisms. Its image has dimension at most $\dim M<\dim L$, so the inductive assertion gives a nonzero class $y+M$ annihilated by $M$. Equivalently $y\notin M$ and $[M,y]\subseteq M$. Thus the Engel normalizer lemma gives $M⊊N_L(M)$.

Choose a maximal proper Lie subalgebra $M$. Its normalizer of a Lie subalgebra must be all of $L$, so $M$ is an ideal of a Lie algebra. Moreover $L/M$ has dimension one: otherwise a one-dimensional Lie subalgebra of this quotient would have a proper inverse image strictly between $M$ and $L$. By induction the space $W=\{v\in V:Mv=0\}$ is nonzero. It is invariant under $L$, since $m(xw)=x(mw)+[m,x]w=0$. Write $L=M+kx$. The restriction of the nilpotent endomorphism $x$ to $W$ has a nonzero kernel, and any vector in that kernel is annihilated by all of $L$. This completes the induction. Apply the assertion repeatedly to $V/kv$ to obtain a complete invariant flag $0=V_0\subset V_1\subset \cdots \subset V_d=V$ with $L{V}_j\subseteq V_{j-1}$. A basis adapted to that flag makes every matrix strictly upper triangular.

A nilpotent abstract Lie algebra need not act by nilpotent matrices. For $V\ne 0$, the scalar algebra $kI\subseteq \mathfrak{gl}(V)$ is an abelian Lie algebra, hence a nilpotent Lie algebra, but $I^N=I\ne 0$. No change of basis makes $I$ strictly upper triangular. The failed implication is precisely the distinction described in nilpotent Lie algebras need not act nilpotently.

If $\mathfrak{g}$ is a nilpotent Lie algebra, then $(\mathrm{ad}x{)}^r\mathfrak{g}\subseteq {\gamma }_{r+1}$, so every $\mathrm{ad}x$ is a nilpotent endomorphism. Conversely, apply Engel theorem to $\mathrm{ad}\mathfrak{g}$ acting on $\mathfrak{g}$. Its invariant flag is lowered by every Adjoint representation matrix, so every product of $d=\dim \mathfrak{g}$ such matrices vanishes. Since ${\gamma }_{d+1}$ is spanned by expressions $\mathrm{ad}{x}_1\cdots \mathrm{ad}{x}_d(y)$, the lower central series of a Lie algebra terminates. ThereforeFinally suppose $k$ is an algebraically closed field. If some $\mathrm{ad}x$ is not a nilpotent endomorphism, it has a nonzero eigenvalue $\lambda$ and an eigenvector $y$, giving $[x,y]=\lambda y$. The vectors $x,y$ are linearly independent and span a nonabelian two-dimensional Lie subalgebra. Conversely, a Lie subalgebra of a nilpotent Lie algebra is nilpotent because its lower central series of a Lie algebra lies termwise in the ambient series. A nonabelian two-dimensional Lie algebra has a basis $u,v$ with $[u,v]=v$: choose $v$ spanning the nonzero derived algebra and rescale a complementary vector. Its Adjoint representation has the nonzero eigenvalue $1$, so it is not nilpotent. This proves the two-dimensional subalgebra criterion for Lie algebra nilpotence:

Pull the given finite coloring $\chi :\mathbb{N}\to [k]$ back to a finite coloring of unordered pairs by puttingThe ordering $a<b$ makes this a well-defined function on the edges of a complete graph. By Ramsey's theorem, some infinite set $X=\{x_1<x_2<\cdots \}$ has all its pairs of one color $r$ under $\tilde{\chi }$. ConsequentlyPossible coincidences between these products cause no difficulty, since the original finite coloring assigns each positive integer a single color.

Write $\mathbb{N}=\{1,2,\dots \}$ and let $\chi$ be the given finite coloring of the edges of the complete graph on the positive integers. Construct an increasing sequence $(v_i)$ and nested infinite sets $A_0\supset A_1\supset \cdots$ as follows. Set $A_0=\mathbb{N}$. Having chosen $A_{i-1}$, take $v_i=\min A_{i-1}$, partition $A_{i-1}\setminus \{v_i\}$ by the color of $\{v_i,w\}$, and use the infinite pigeonhole principle to choose an infinite set $A_i$ on which this color is constant, say $r_i$. Every element of $A_i$ exceeds $v_i$.

The infinite pigeonhole principle applied again to $(r_i)$ gives an infinite set of indices $I$ and a color $r$ such that $r_i=r$ for all $i\in I$. For $i<j$ in $I$, nesting gives $v_j\in A_i$, so $\chi (\{v_i,v_j\})=r$. Thus the infinite set $X=\{v_i:i\in I\}$ is a monochromatic complete graph:This proves the required infinite case of Ramsey's theorem; finiteness of the color set is used at both applications of the infinite pigeonhole principle.

Let $\rho$ be the cyclic logarithmic coloring from part (iii). Define a finite coloring of the positive integers byThe inner logarithm is at least $1$ whenever $n\ge 2$, so this is defined everywhere. Suppose an increasing infinite sequence $(x_i)$ made every product with distinct indices monochromatic. Fix an index $i$ with $x_i\ge 2$ and write $a={\log }_2{x}_i>0$. The sequence is unbounded, so choose $j>i$ with $b={\log }_2{x}_j\ge 28a$. Both ordered products are among the supposedly monochromatic values, but their logarithms satisfyIndeed, the first inequality is equivalent to $b\ge 28a$, and the second uses $a>0$. Part (iii) therefore gives $\chi (x_i{x}_j^2)\ne \chi (x_j{x}_i^2)$, a contradiction. Thus the assertion with all distinct ordered indices is false. The obstruction needs an infinite unbounded sequence; it does not assert that every pair of different positive integers gives different colors.

Let the required arithmetic progression have length $m\ge 2$, let $k$ be the number of colors, and take $n=n(m,k)$ from the Hales-Jewett theorem. Given any finite coloring $\chi$ of $[mn]$, color a word over an alphabet $w\in [m{]}^n$ by $\chi (w_1+\cdots +w_n)$. For a monochromatic combinatorial line, let $A\ne \varnothing$ be its active coordinate set and let $C$ be the sum of its fixed coordinates. The sums of its $m$ words areThey all lie in $[mn]$, have one color, and form an arithmetic progression with strictly positive common difference $|A|$. Thus, writing $W(k,m)$ for the finite Van der Waerden theorem bound,The length-one case is immediate. Restricting a finite coloring of the positive integers to this finite integer interval gives the infinite-domain formulation of the Van der Waerden theorem as well.

First justify the finite bound used in the hint. Fix $k$. If no finite $T$ forced a monochromatic positive solution of ${\sum }_i{a}_i{x}_i=0$, consider the rooted tree whose level $t$ consists of the solution-free finite colorings of $[t]$, with restriction as the predecessor map. Every level is nonempty and every vertex has at most $k$ children. The König infinity lemma gives an infinite branch, hence a finite coloring of all positive integers with no such solution, contradicting the partition regular matrix hypothesis. This is the compactness bound for partition regularity.

Choose such a $T$ and let $S=\mathrm{lcm}(1,\dots ,T)$, the least common multiple. For a given finite coloring $\chi$ of the positive integers, pull it back to $[T]$ byEach $S/t$ is a positive integer in $[S]$. The defining property of $T$ gives $x_1,\dots ,x_n\in [T]$ of one color under $\tilde{\chi }$, with ${\sum }_i{a}_i{x}_i=0$. Set $y_i=S/x_i$. Their colors under $\chi$ agree, andThus reciprocal partition regularity follows. This construction is an involution on the divisors of $S$; it permits repeated coordinates and never requires a reciprocal of a positive integer to itself be integral without the common scaling factor $S$.

Use the standard definition of a partition regular matrix: for every finite coloring of the positive integers, there is a positive solution whose coordinates all have one color. Coordinates may repeat. Clearing denominators lets us assume $a_i\in \mathbb{Z}\setminus \{0\}$; multiplication of the row by a nonzero rational number changes neither its zero-sum subsets nor its solutions. We prove both directions of the Rado theorem for one equation directly, without invoking any form of Rado's theorem.

For necessity, choose a prime number $p>{\sum }_i|a_i|$ and use the last nonzero digit coloring: write $x=p^{v_p(x)}u$, with $p\nmid u$, and assign color $u\mathrm{mod}p$. Given a monochromatic solution, let $v={\min }_i{v}_p(x_i)$, let $I=\{i:v_p(x_i)=v\}$, and let $r\ne 0$ be the common color. Divide ${\sum }_i{a}_i{x}_i=0$ by $p^v$ and reduce modulo $p$. Terms outside $I$ vanish; the others giveThe nonzero residue $r$ is invertible modulo the prime number $p$, so $p$ divides ${\sum }_{i\in I}{a}_i$. This sum has absolute value less than $p$, forcing it to be zero. The set $I$ is nonempty by its definition.

For sufficiency we first derive the needed Brauer progression theorem from the permitted Van der Waerden theorem. Fix positive integers $s,\ell$. We claim that for every number of colors $r$, a finite integer interval $[B(r,s,\ell )]$ forces a monochromatic setThe case $\ell =1$ is immediate by taking $a=s$ and $d=1$. For $r=1$ and $\ell \ge 2$, take $a=d=1$ in an interval of length at least $\max (s,\ell )$. Suppose the claim holds for $r-1$ and write $M=B(r-1,s,\ell )$. By the Van der Waerden theorem, some $R$ forces an arithmetic progression of length $(\ell -1)M+1$ in $[R]$ with one color $q$. Work in $[\max (R,sMR)]$ so that all needed multiples also lie in the coloring's domain. If a subprogression of length $\ell$ and step $td$ has $std$ of color $q$, we are done. Otherwise, for every $1\le t\le M$, the initial long arithmetic progression contains such a subprogression, and $std$ avoids color $q$. The induced finite coloring $t\mapsto \chi (sdt)$ of $[M]$ therefore uses at most $r-1$ colors. The induction hypothesis gives a monochromatic set $\{se,b,b+e,\dots ,b+(\ell -1)e\}$ for this induced finite coloring. Multiplying by $sd$ gives the desired configuration in the original coloring, with initial term $sdb$ and step $sde$. This proves the claim for $\ell \ge 2$; the only use below has $\ell \ge 3$.

Now suppose ${\sum }_{i\in I}{a}_i=0$ for a nonempty $I$. Choose $i_0\in I$, put $B={\sum }_{i\notin I}{a}_i$, and put $s=|a_{i_0}|$. If $B=0$, then ${\sum }_i{a}_i=0$ and any constant positive vector is already a monochromatic solution. Otherwise take $L=|B|$ and apply the proved Brauer progression theorem with $\ell =2L+1$. All of $sd$ and $a+jd$ for $0\le j\le 2L$ have one color. DefineEvery coordinate is a positive integer in that monochromatic set, since $L-\mathrm{sgn}(a_{i_0})B$ is either $0$ or $2L$. Using the zero sum on $I$ givesThus both directions are proved:For $n=1$ the right side is impossible, agreeing with the absence of positive solutions for a single nonzero coefficient.

The dynamical proof of Hindman's theorem gives the following result. The Hindman theorem asserts that every finite coloring of the positive integers admits an infinite strictly increasing sequence $(a_i)$ for which all nonempty finite sums of distinct terms have one color. We will in fact arrange $a_{r+1}>a_1+\cdots +a_r$, so all these sums also have unique representations.

Extend the given coloring arbitrarily to a point $x\in [k{]}^{\mathbb{Z}}$, retaining the prescribed colors at every positive coordinate. Let $X$ be its forward orbit closure under the left shift. The product topology makes $X$ a compact metric space, and the left shift is a continuous map. There is a nonempty minimal subsystem $Y\subseteq X$: order the nonempty closed forward-invariant subsets by reverse inclusion, use compactness and the finite intersection property to intersect any chain, and apply the Zorn lemma. Minimality also implies $\mathcal{L}(Y)=Y$. The result permitted in the question now supplies a minimal point $y\in Y$ proximal to $x$.

We need the joint return lemma for a proximal minimal pair, which we prove here. It suffices to consider an open neighborhood $U$ of $y$ in $X$. Choose an open neighborhood $V$ of $y$ with $\overline{V}\subseteq U$. Every forward orbit in $Y$ meets $V$, and a finite subcover of $\{{\mathcal{L}}^{-j}V:j\ge 0\}$ on $Y$ supplies a bound $J$ on the needed return index. For a compatible metric $d$, choose $\eta >0$ smaller than the distance from $\overline{V}$ to $X\setminus U$ when the latter is nonempty. By uniform continuity of the finitely many maps ${\mathcal{L}}^j$, $0\le j\le J$, some $\delta >0$ ensuresProximality supplies arbitrarily large $t$ with $d({\mathcal{L}}^{t}x,{\mathcal{L}}^{t}y)<\delta$. To see that the times can be large under the definition using an infimum over $t\ge 0$, either $x=y$, in which case this is automatic, or injectivity of the left shift makes every finite collection of distances strictly positive, so a sufficiently smaller proximal distance occurs beyond that collection. Some $j\le J$ has ${\mathcal{L}}^{t+j}y\in V$. Then ${\mathcal{L}}^{t+j}x\in U$ also. Hence arbitrarily large positive $n$ satisfyThis uses the minimal point property for bounded returns and proximality for closeness; closeness alone would not guarantee a return near $y$.

Put $q=y(0)$. Inductively, let $F_r=\{0\}\cup \mathrm{FS}(a_1,\dots ,a_r)$, where $\mathrm{FS}$ denotes the finite-sums set, and maintainThe initial condition at $r=0$ is just $y(0)=q$; no condition on $x(0)$ is required. The cylinder set $U_r=\{z:z(s)=q\text{ for every }s\in F_r\}$ is a neighborhood of $y$. Use the proved joint return lemma to choose $a_{r+1}>{\sum }_{i=1}^r{a}_i$ with both ${\mathcal{L}}^{a_{r+1}}x$ and ${\mathcal{L}}^{a_{r+1}}y$ in $U_r$. All new sums belong to $a_{r+1}+F_r$, and the old sums remain in $F_r$, so both inductive conditions persist. Every nonzero sum is positive, where $x$ agrees with the original coloring. ThereforeThis proves the Hindman theorem using only the permitted proximal-minimal existence result and the compactness and return arguments supplied above.

Dirichlet theorem on primes in arithmetic progressions states that if positive integer $q$ and integer $a$ satisfy $\gcd (a,q)=1$, then infinitely many prime numbers satisfyThe coprimality hypothesis is essential: if $a$ and $q$ have a common factor greater than one, a prime in the progression must divide that factor, giving at most finitely many possibilities.

Hales–Jewett and the arithmetic-progression consequence. For a finite alphabet $[m]$ and a positive integer $r$, the Hales-Jewett theorem gives an integer $N$ such that every $r$-color finite coloring of $[m{]}^N$ contains a monochromatic combinatorial line. A combinatorial line has a nonempty active coordinate set: all those coordinates receive the same freely varying letter, and the remaining coordinates are fixed.

We first prove the alphabet insensitivity lemma. Fix two letters $a,b\in [m]$, with $m\ge 2$, and a desired dimension $d$. There is a combinatorial subspace of dimension $d$ on which changing $a$ to $b$ in any variable coordinate, with all other variable coordinates arbitrary, preserves the color.

For the construction, divide the coordinates into $d$ consecutive blocks. Choose their lengths from left to right byProcess the blocks from right to left. When processing block $i$, the later blocks already form a $(d-i)$-dimensional combinatorial subspace. Color each word in block $i$ by the vector of its original colors for every prefix word of length $P_i$ and every assignment to those later variables. There are $m^{P_i+d-i}$ contexts, and at most $r^{m^{P_i+d-i}}=L_i$ such color vectors.

The $L_i+1$ words $a^j{b}^{L_i-j}$, $0\le j\le L_i$, contain two, indexed by $u<v$, with the same vector by the pigeonhole principle. Fix the first $u$ coordinates to $a$, the coordinates after $v$ to $b$, and make coordinates $u+1,\dots ,v$ the active set of one new variable. Its values $a,b$ now have identical colors for every prefix and later-variable context. The active set is nonempty. Insensitivity already obtained in later blocks survives, because it held for every unrestricted earlier prefix. After all $d$ blocks have been processed, changing $a,b$ in any of the $d$ variables preserves the color. This proves the lemma.

Now induct on $m$. For $m=1$, a one-coordinate combinatorial line is automatically monochromatic. For $m\ge 2$, let $d$ be a length supplied by the theorem for alphabet $[m-1]$ and $r$ colors. Apply the alphabet insensitivity lemma for the letters $m-1,m$ to obtain a $d$-dimensional combinatorial subspace. Restrict its variables to $[m-1]$. Induction gives a monochromatic combinatorial line in those variables. Its values $1,\dots ,m-1$ have the same color, and its value $m$ has the same color as its value $m-1$ by successively switching the active variables. Lifting this line to the original coordinates proves

For the Van der Waerden theorem, fix a progression length $k\ge 2$ and use the alphabet $\{0,\dots ,k-1\}$. Pull back an $r$-color finite coloring of $\{1,\dots ,1+(k-1)N\}$ alongA combinatorial line with active set $S$ maps to the arithmetic progression $a,a+q,\dots ,a+(k-1)q$, where $a\ge 1$ and its common difference is $q=|S|>0$. The Hales-Jewett theorem makes this progression monochromatic. Length one is trivial, so every finite coloring of the positive integers contains monochromatic arithmetic progressions of every finite length.

The active-coordinate obstruction. Color a word red when its first coordinate is $1$, and blue otherwise. Any combinatorial line whose active coordinate set contains $1$ has a red word at variable value $1$ and a blue word at variable value $2$, since $m>1$. ThusHere adequacy is the adequate family of active coordinate sets property; an active coordinate set is always nonempty.

Rado's criterion. Let $A$ be a matrix over the rational numbers, with columns $a_1,\dots ,a_q$. A partition regular matrix is one for which every finite coloring of the positive integers gives a monochromatic positive vector $x\in {\mathbb{N}}^q$ with $Ax=0$; repeated coordinates are allowed. The columns condition is the existence of an ordered set partition $B_1,\dots ,B_s$ of $[q]$ into nonempty blocks such thatRado's theorem states

Necessity. Clear denominators so the columns are integer vectors. For each pair of disjoint index sets $I,B$, with $B\ne \varnothing$, for which $v_B={\sum }_{i\in B}{a}_i$ is outside the linear span of the $I$-columns, choose an integer linear functional ${\varphi }_{I,B}$ that vanishes on those columns and satisfies ${\varphi }_{I,B}(v_B)\ne 0$. Such a functional exists by extending a basis of the span to one also containing $v_B$, defining a functional on that basis, and clearing its rational denominators.

There are only finitely many such pairs. Choose a prime number $p$ dividing none of these nonzero integer evaluations. If there are no such pairs, any prime will do. Use the last nonzero digit coloring: write $x=p^{v_p(x)}u$, with $p\nmid u$, and color $x$ by $u\mathrm{mod}p\in \{1,\dots ,p-1\}$. Since $A$ is a partition regular matrix, this coloring supplies a monochromatic positive solution, so all its unit parts have a common nonzero residue $d$.

Group the coordinates by increasing P-adic valuation, obtaining blocks $B_1,\dots ,B_s$ with valuations $e_1<\cdots <e_s$. Suppose for some $j$ the sum $v_{B_j}$ lay outside the linear span of the earlier columns, with earlier index set $I$. Apply ${\varphi }_{I,B_j}$ to $Ax=0$. Earlier terms vanish exactly. Divide the remaining integer equation by $p^{e_j}$ and reduce modulo $p$. Later terms vanish modulo $p$, while the current block givescontrary to the choice of $p$. Thus every block sum lies in the earlier linear span, and for the first block this means it is zero. This proves the columns condition by the finite separating-functional proof of the columns condition.

Sufficiency. Suppose the columns condition holds. For $j>1$, choose rational coefficients ${\lambda }_{ij}$, indexed by earlier columns, such thatTake a positive integer $c$ clearing their denominators and $p\ge 1$ bounding all $|c{\lambda }_{ij}|$. We use the allowed monochromatic m-p-c set theorem with $s$ levels. Its M-p-c set is the full setwhere the generators make every displayed expression positive. Positivity is part of this convention, rather than a rule that discards nonpositive expressions. For $i\in B_h$, setAll these numbers lie in the monochromatic set $D$. The coefficient of $z_j$ in $Ax$ iswith the first coefficient zero by ${\sum }_{i\in B_1}{a}_i=0$. Hence $Ax=0$. This Rado solution inside an m-p-c set proves sufficiency.

The equality-or-inequality dichotomy. If every finite coloring gives a monochromatic solution with $x_1=x_2$, the first alternative holds. Otherwise fix a finite coloring $\chi$ admitting no such solution. Given any other finite coloring $\psi$, use the refinement of a finite coloring $n\mapsto (\chi (n),\psi (n))$. Since $A$ is a partition regular matrix, it supplies a solution monochromatic for both colorings. Its first two coordinates cannot be equal, by the defining property of $\chi$, so it is the required unequal solution for $\psi$. Thus one of the two universal alternatives always holds. This is the partition regularity dichotomy under an extra constraint; the alternatives are not asserted to be mutually exclusive.

Both restrictions can fail. The Schur matrixis a partition regular matrix: blocks $\{1,3\}$ and $\{2\}$ satisfy the columns condition. Color $n$ by $v_2(n)\mathrm{mod}2$, using the 2-adic valuation. An equal-coordinate solution would have $x_3=2x_1$, and $v_2(2x_1)=v_2(x_1)+1$, so its coordinates cannot be monochromatic. This exhibits failure of the equality restriction.

Conversely, $A=(1-1)$ satisfies the columns condition in one block. Every solution has $x_1=x_2$, so even the constant one-color finite coloring admits no unequal-coordinate solution. Consequently

The two Ramsey properties and the topologies. Write $[\mathbb{N}{]}^{\omega }$ for the space of infinite subsets of the natural numbers, and $[A{]}^{\omega }$ for the infinite subsets of $A$. The positive integers are used throughout. A Ramsey set of infinite subsets $E$ has the property that every infinite $A$ contains an infinite $B$ for which $[B{]}^{\omega }$ lies wholly in $E$ or wholly in $E^c$.

For finite $s$ and infinite $A$ above $\max s$, letThese are the basic neighbourhoods of the Ellentuck topology, denoted $\ast$ in the question. They form a basis: if $X$ belongs to two such sets, their stems are comparable initial segments of $X$; take the longer stem and the intersection of the two tails beyond that stem. This intersection contains the infinite remaining tail of $X$ and yields a basic set contained in both.

A completely Ramsey set $E$ allows such a homogeneous refinement $[s,B]$ inside every $[s,A]$, with $B\subseteq A$ infinite and the stem $s$ kept fixed. Taking $s=\varnothing$ shows that complete Ramseyness implies Ramseyness. The ordinary topology on infinite subsets $\tau$ has basic cylindersIt is the usual product topology on increasing enumerations and is coarser than the Ellentuck topology.

Examples distinguishing the properties. A non-Ramsey example uses the axiom of choice. Let $\kappa =2^{{\aleph }_0}$ and enumerate all infinite sets as $(A_{\alpha }{)}_{\alpha <\kappa }$. Each $[A_{\alpha }{]}^{\omega }$ has cardinality $\kappa$: an enumeration of $A_{\alpha }$ gives the upper bound, and choosing one element from each of infinitely many disjoint pairs gives an injection from all binary sequences for the lower bound.

By transfinite recursion, choose two distinct, previously unused elements $X_{\alpha },Y_{\alpha }\in [A_{\alpha }{]}^{\omega }$ at each stage. Fewer than $\kappa$ elements have been used at stage $\alpha <\kappa$, so this is possible without any assumption on the Continuum hypothesis. Put $R=\{X_{\alpha }:\alpha <\kappa \}$. All the $Y_{\alpha }$ remain outside $R$, since subsequent choices also avoid previously chosen elements. Every $[A{]}^{\omega }$ contains one $X_{\alpha }$ and one $Y_{\alpha }$, so $R$ is not a Ramsey set of infinite subsets. This is the non-Ramsey set from transfinite selection construction.

Perform the same construction on $T=\mathbb{N}\setminus \{1\}$, giving a non-Ramsey set $R_T\subseteq [T{]}^{\omega }$, and putFor any infinite $A$, the infinite set $B=A\setminus \{1\}$ has $[B{]}^{\omega }\cap E=\varnothing$, so $E$ is a Ramsey set of infinite subsets. But no $[\{1\},B]$ with infinite $B\subseteq T$ is homogeneous, because $[B{]}^{\omega }$ meets both $R_T$ and its complement. Therefore $E$ is not a completely Ramsey set.

Every star-open set is completely Ramsey. We give the full fusion proof for open Ellentuck sets, without quoting an infinite Ramsey theorem. Fix a star-open set $O$ and a basic set $[s,A]$. For finite $a\subseteq A$ and an infinite tail $D\subseteq A$ above $\max a$, say $D$ accepts $a$ if $[s\cup a,D]\subseteq O$; it rejects $a$ if no infinite subset of $D$ accepts $a$. Both properties persist under passing to infinite subsets. Every infinite tail can be thinned to decide $a$: take an accepting subset if one exists, and otherwise the original tail rejects it.

First thin $A$ to decide $a=\varnothing$. If it accepts, the required homogeneous neighborhood has already been found. Otherwise keep a rejecting tail. We now fuse to an infinite set $B$ deciding every finite $a\subseteq B$, where the decision for $a$ is made by $B/a=\{b\in B:b>\max a\}$.

To do this, choose $b_1<b_2<\cdots$ successively from an infinite current tail. After choosing $b_j$, thin the tail above $b_j$ to decide each of the finitely many subsets of $\{b_1,\dots ,b_j\}$, one after another, before choosing the next element. For any finite $a\subseteq B$, at the stage when its largest element is selected, the current tail decides $a$ and contains every later selected element. Heredity therefore gives a decision on $B/a$. For $a=\varnothing$, rejection persists from the initial tail.

If $B/a$ rejects $a$, only finitely many $n\in B/a$ can have $B/n$ accepting $a\cup \{n\}$. Otherwise let $D$ be the infinite set of those $n$. Every member of $[s\cup a,D]$ has a first new element $n$, and its remaining tail lies in $B/n$. It therefore belongs to $O$ by acceptance of $a\cup \{n\}$. This would make $D$ accept $a$, contradicting rejection.

Thin $B$ a second time to $C=\{c_1<c_2<\cdots \}$ so that every finite $a\subseteq C$ is rejected. Start with the rejected empty set. At a finite stage, all subsets of the selected elements are rejected. For each of these finitely many subsets, avoid its finitely many next elements that would give an accepted extension, and choose the next $c_j$ beyond all excluded elements. Since $B$ decides every finite extension, each new extension is rejected. Induction gives the asserted property of $C$.

We claim $[s,C]\cap O=\varnothing$. If $X\in [s,C]\cap O$, openness provides a basic set $[t,D]\subseteq O$ containing $X$. Extend $t$, if necessary, to an initial segment $u$ of $X$ containing $s$. Write $u=s\cup a$ with finite $a\subseteq C$. The infinite tail $X\setminus u$ lies in $B/a$ andIt is therefore an accepting subtail for $a$, contradicting rejection. We have found either an accepting neighborhood or a neighborhood disjoint from $O$. Thus

Basic neighborhoods are clopen. Consider $[s,A]$ and a point $X$ outside it. If $s$ is not an initial segment of $X$, take an initial segment $t$ of $X$ of length at least $|s|$; its ordinary cylinder $[t]$ cannot meet $[s,A]$. Otherwise some element of $X\setminus s$ is outside $A$; take $t$ through that element, and again $[t]$ is disjoint from $[s,A]$.

Thus the complement of $[s,A]$ is already open in the ordinary topology on infinite subsets, and hence in the finer Ellentuck topology. A basic neighbourhood is open by definition, so

The diagonal Ramsey number $R(s)$ is the least positive integer $N$ such that every red-blue edge colouring of the complete graph $K_N$ contains a monochromatic copy of $K_s$.

For the existence and bound, write $R(r,s)$ for the least $N$ forcing either a red $K_r$ or a blue $K_s$. Given a vertex $v$ of $K_{R(r-1,s)+R(r,s-1)}$, the pigeonhole principle says that at least $R(r-1,s)$ incident edges are red or at least $R(r,s-1)$ are blue. In the first case those red neighbours contain a red $K_{r-1}$, which joins to $v$ to make a red $K_r$, or a blue $K_s$; the second case is symmetric. HenceStarting from $R(1,s)=R(r,1)=1$ and using Pascal's identity gives the binomial upper bound for a Ramsey numberThereforewhich proves both existence and the required estimate.

To determine $R(3)$, color a cycle graph $C_5$ red and its complement graph, also a $C_5$, yellow. This colors $K_5$ without a monochromatic triangle, so $R(3)>5$. At any vertex of a red-yellow $K_6$, at least three of the five incident edges have one color. If an edge among their three other endpoints has that color, it completes a monochromatic triangle with the chosen vertex; if none does, those three endpoints themselves form a triangle of the other color. Thus $R(3)\le 6$, and

The same local argument proves uniqueness on $K_5$. No vertex can have three incident edges of one color: their other endpoints would either contain an edge of that color or form a triangle of the other color. Every vertex therefore has vertex degree at most two in each color, and because the two degrees sum to four, each is exactly two. Each color class is consequently a regular graph of degree two on five vertices, hence a single $C_5$. Up to relabelling, the coloring is exactly the cycle-and-complement coloring above.

Finally, the monochromatic-triangle counting formula gives, for a coloring of $K_6$ with red degrees $d_v$,The bound is attained by coloring all edges of $K_{3,3}$ red and the two complementary copies of $K_3$ yellow: there are no red triangles and exactly two yellow triangles. The least requested number is therefore

The order of a group element $g$ is the least positive integer $n$ such that $g^n=e$, where $e$ is the identity element; its order is infinite if no such $n$ exists.

Let $g$ have finite order $n$. A group homomorphism preserves the group operation and the identity, soThe order of an element divides every positive exponent that gives the identity. Hence

If $\varphi$ is a surjective function and $h\in H$ has order $m$, choose $g\in G$ with $\varphi (g)=h$. The first result gives $m\mid n$, where $n=\mathrm{ord}(g)$. The elementthen has order $m$, because the order of $g^k$ is $n/\gcd (n,k)$.

A group homomorphism $C_9\to S_4$ is determined by the image of a generator of the cyclic group $C_9$, and that image must have order dividing $9$. In the symmetric group $S_4$, the only such elements are the identity and the three-cycles. There arethree-cycles. Therefore the number of homomorphisms is