Теорема Шура (теория Рамсея)

Теорема Шура возникла как инструмент для доказательства одного утверждения, тривиально следовавшего бы из отрицания тогда ещё не доказанной Великой теоремы Ферма, а именно — ответа на вопрос о разрешимости её уравнения в кольце вычетов по достаточно большому простому модулю: для всякого ли ${\displaystyle n\geq 3}$ при простых ${\displaystyle p>p_{0}=p_{0}(n)}$ уравнение

${\displaystyle x^{n}+y^{n}\equiv z^{n}{\pmod {p}}}$

имеет ненулевые решения?

Такие уравнения (и подобные им) рассматривались ещё Гульельмо Либри в 1832 году[1], но только в 1909 Леонард Юджин Диксон получил первый общий результат по этой теме — показал правильность этого утверждения для всех простых ${\displaystyle n}$.[2]

Диксон действовал теоретико-числовыми методами, но Шур в 1917 году применил к проблеме комбинаторный подход, рассмотрев разбиение кольца по простому модулю на классы вычетов, соответствующие разным значениям дискретного логарифма того или иного вычета по модулю ${\displaystyle n}$ (иначе говоря, на смежные классы мультипликативных подгрупп). В этом случае умножением всех переменных на первообразный корень можно «перебрасывать» решения любого линейного уравнения из одного класса в другой (если до умножения все переменные находились в одном классе, то и после такой «переброски» будет так же). Благодаря этому утверждение рамсеевского типа (о существовании лишь элемента разбиения, но не о свойствах каждого конкретного множества) относительно линейных уравнений легко превращается в теоретико-числовое утверждение (о свойствах множества), поскольку существование конфигурации в одном элементе разбиения влечёт её существование во всех других.[3]

Как и многие утверждения из теории Рамсея, теорема Шура допускает также конечную формулировку. Это означает, что при фиксированном ${\displaystyle k}$ минимальные из подходящих под условие ${\displaystyle x,y}$ не могут быть сколь угодно большими.

Теорему Шура принято доказывать в конечной формулировке рассмотрением ${\displaystyle S=R(3,\dots ,3)}$, то есть числа Рамсея для 3-клик (треугольников) при раскраске в ${\displaystyle k}$ цветов. Если ${\displaystyle c(n)}$ означает цвет числа ${\displaystyle n}$ в некоторой фиксированной раскраске ${\displaystyle \{1,\dots ,S\}}$, то при раскраске рёбер полного графа ${\displaystyle K_{S}}$ таким образом, что ${\displaystyle {\overline {c}}(i,j)=c(|i-j|)}$, существование одноцветного треугольника влечёт существование нужного одноцветного решения в разбиении ${\displaystyle \{1,\dots ,S\}}$

На момент первой публикации теоремы Шура теорема Рамсея ещё не была известна, но Шур проводил для разностей чисел, принадлежащих одному из классов разбиения, рассуждения, полностью аналогичные проводимым при общем доказательстве теории Рамсея.

Такое доказательство даёт оценку ${\displaystyle S<e\cdot (n!)}$. В приложении к вопросу о разрешимости уравнения ${\displaystyle x^{n}+y^{n}\equiv z^{n}{\pmod {p}}}$ для рассматривавшихся ранее значений ${\displaystyle n}$ она оказалась хуже полученной Либри (он показал, что при простых ${\displaystyle n}$ достаточно условия ${\displaystyle p>n^{4}}$).[4]

Теорема Шура очень похожа на теорему ван дер Вардена для прогрессий длины 3 (потому что такая прогрессия — суть решение уравнения ${\displaystyle x+y=2z}$), однако, в отличие от неё, не допускает аддитивно-комбинаторного обобщения (каковым для теоремы ван дер Вардена является теорема Рота), поскольку само по себе свободное от сумм множество может быть достаточно плотным (например, множество всех нечётных чисел).

• Теорема Фолкмана

• Par Mr. G. Libri de Florence. Mémoire sur la théorie des nombres. (фр.) // Journal für die reine und angewandte Mathematik. — 1832. — Vol. 9, livr. 2. — P. 261-276.
• Mr. L. E. Dickson. On the congruence ${\displaystyle x^{n}+y^{n}+z^{n}\equiv 0{\pmod {p}}}$ (англ.) // Journal für die reine und angewandte Mathematik. — 1909. — Vol. 135. — P. 134-141.
• I. Schur. Über die Kongruenz ${\displaystyle x^{m}+y^{m}\equiv z^{m}{\pmod {p}}}$ (нем.) // Jahresbericht der Deutschen Mathematiker-Vereinigung. — 1917. — Bd. 25. — S. 114-117.