Поле | Алгебраическая теория чисел |
---|---|
Предположительно | Эрнст Куммер |
Предположительно в | 1849 |
Открытая проблема | Да |
В математике гипотеза Куммера –Вандивера или гипотеза Вандивера утверждает, что простое число p не делит число классов h K максимального вещественного подполя p -го циклотомического поля . Гипотеза была впервые высказана Эрнстом Куммером 28 декабря 1849 года и 24 апреля 1853 года в письмах Леопольду Кронекеру , перепечатана в (Kummer 1975, страницы 84 , 93, 123–124), и независимо переоткрыта около 1920 года Филиппом Фуртвенглером и Гарри Вандивером (1946, стр. 576),
По состоянию на 2011 год не существует особенно веских доказательств ни за, ни против этой гипотезы, и неясно, верна она или нет, хотя вполне вероятно, что контрпримеры встречаются очень редко.
Номер класса h циклотомического поля является произведением двух целых чисел h 1 и h 2 , называемых первым и вторым множителями номера класса, где h 2 — номер класса максимального вещественного подполя p -го циклотомического поля . Первый множитель h 1 хорошо понятен и может быть легко вычислен в терминах чисел Бернулли и обычно довольно велик. Второй множитель h 2 не очень понятен и его трудно вычислить явно, а в случаях, когда он был вычислен, он обычно мал.
Куммер показал, что если простое число p не делит номер класса h , то Великая теорема Ферма верна для показателя p .
Гипотеза Куммера–Вандивера утверждает, что p не делит второй множитель h 2 . Куммер показал, что если p делит второй множитель, то оно также делит и первый множитель. В частности, гипотеза Куммера–Вандивера верна для регулярных простых чисел (тех, для которых p не делит первый множитель).
Куммер проверил гипотезу Куммера–Вандивера для p меньше 200, а Вандивер распространил ее на p меньше 600. Джо Бюлер, Ричард Крэндалл и Рейо Эрнвалл и др. (2001) проверили ее для p < 12 миллионов. Бюлер и Харви (2011) распространили ее на простые числа меньше 163 миллионов, а Харт, Харви и Онг (2017) распространили ее на простые числа меньше 2 31 .
Вашингтон (1996, стр. 158) описывает неформальный вероятностный аргумент, основанный на довольно сомнительных предположениях о равнораспределении чисел классов mod p , предполагая, что число простых чисел, меньших x , которые являются исключениями из гипотезы Куммера–Вандивера, может расти как (1/2)log log x . Это растет чрезвычайно медленно и предполагает, что компьютерные вычисления не предоставляют достаточно доказательств для гипотезы Вандивера: например, вероятностный аргумент (в сочетании с вычислениями для малых простых чисел) предполагает, что следует ожидать только около 1 контрпримера в первых 10 100 простых числах, предполагая, что маловероятно, что какой-либо контрпример будет найден дальнейшими поисками методом грубой силы, даже если есть бесконечное количество исключений.
Schoof (2003) дал предположительные вычисления чисел классов реальных циклотомических полей для простых чисел до 10000, которые убедительно свидетельствуют о том, что числа классов не распределены случайно по модулю p . Они, как правило, довольно малы и часто равны всего 1. Например, если принять обобщенную гипотезу Римана , число классов реального циклотомического поля для простого числа p равно 1 для p < 163 и делится на 4 для p = 163. Это говорит о том, что неформальный вероятностный аргумент Вашингтона против гипотезы может быть обманчивым.
Михайлеску (2010) представил усовершенствованную версию эвристического аргумента Вашингтона, предположив, что гипотеза Куммера–Вандивера, вероятно, верна.
Курихара (1992) показал, что эта гипотеза эквивалентна утверждению в алгебраической K-теории целых чисел, а именно, что K n ( Z ) = 0, когда n кратно 4. Фактически из гипотезы Куммера–Вандивера и теоремы об изоморфизме норменного вычета следует полное предполагаемое вычисление K -групп для всех значений n ; подробности см. в гипотезе Квиллена–Лихтенбаума .