Теорема Голода – Шафаревича

В математике теорема Голод-Шафаревич была доказана в 1964 году Евгением Голодом и Игорь Шафаревич. Это результат некоммутативной гомологической алгебры, которая решает проблему башни поля классов, показывая, что башни поля классов могут быть бесконечными.

Пусть A = K⟨x 1,..., x n ⟩ будет свободной алгеброй над полем K в n = d + 1 некоммутирующих переменных x i.

Пусть J будет двусторонним идеалом A, порожденным однородными элементами f j A из степень d j с

2 ≤ d 1 ≤ d 2 ≤...

где d j стремится к бесконечность. Пусть r i будет числом d j, равным i.

Пусть B = A / J, градуированная алгебра. Пусть b j = dim B j.

Основное неравенство Голода и Шафаревича утверждает, что

$b\; j\; \ge \; n\; b\; j\; -\; 1\; -\; \sum \; i\; =\; 2\; j\; b\; j\; -\; i\; r\; i.\; \{\backslash \; displaystyle\; b\_\; \{j\}\; \backslash \; geq\; nb\_\; \{j-1\}\; -\; \backslash \; sum\; \_\; \{i\; =\; 2\}\; ^\; \{j\}\; b\_\; \{ji\}\; r\_\; \{i\}.\}$

Как следствие:

• B является бесконечномерный, если r i ≤ d / 4 для всех i

Этот результат имеет важные приложения в комбинаторной теории групп :

• Если G нетривиальная конечная p-группа, тогда r>d / 4, где d = dim H (G, Z/pZ) и r = dim H (G, Z/pZ) (mod p группы когомологий из G). В частности, если G является конечной p-группой с минимальным числом образующих d и имеет r относителей в данном представлении, то r>d / 4.
• Для каждого простого p существует является бесконечной группой G, порожденной тремя элементами, в которой каждый элемент имеет порядок степени p. Группа G представляет собой контрпример к обобщенной гипотезе Бернсайда : это конечно порожденная бесконечная торсионная группа, хотя единообразной оценки порядка ее

В теории поля классов, башня поля классов числового поля K создается путем итерации поля класса Гильберта строительство. Проблема башни поля классов спрашивает, всегда ли эта башня конечна; Hasse (1926) harvtxt error: no target: CITEREFHasse1926 (help ) приписал этот вопрос Фуртвенглеру, хотя Фуртванглер сказал, что слышал его от Шрайера. Другое следствие теоремы Голода – Шафаревича состоит в том, что такие башни могут быть бесконечными (другими словами, не всегда оканчиваются полем, равным его классу Гильберта. поле). В частности,

• Пусть K будет мнимым квадратичным полем, дискриминант которого имеет не менее 6 простых множителей. Тогда максимальное неразветвленное 2-расширение поля K имеет бесконечную степень.

В более общем смысле числовое поле с достаточно большим числом простых факторов в дискриминанте имеет бесконечную башню полей классов.

• Голод Е.С. ; Шафаревич И.Р. (1964) «О башне поля классов», Изв. Акад. АН СССР, 28 : 261–272 (на рус. ) MR 0161852
• Голод, Е.С. (1964), «О нильалгебрах и финитно аппроксимируемых p- групп. », Изв. АН СССР, 28 : 273–276 (на рус. ) MR 0161878
• Герштейн, ИН (1968). Некоммутативные кольца. Математические монографии Каруса. MAA. ISBN 0-88385-039-7.См. Главу 8.
• Johnson, DL ( 1980). "Темы теории групповых представлений" (1-е изд.). Cambridge University Press. ISBN 0-521-23108-6. См. Главу VI.
• Koch, Helmut (1997). Algebraic Number Theory. Encycl. Math. Sci. 62 (2-е издание 1-го изд.). Springer-Verlag. P. 180. ISBN 3-540-63003-1. Zbl 0819.11044.
• Наркевич, Владислав (2004). Элементарная и аналитическая теория алгебраических чисел. Springer Монографии по математике (3-е изд.). Берлин: Springer-Verlag. P. 194. ISBN 3-540-21902-1. Zbl 1159.11039.
• Рокетт, Питер (1986) [1967]. «О классных полевых башнях». В Cassels, J. W. S. ; Fröhlich, A. (ред.). Алгебраическая теория чисел, Труды учебной конференции, проведенной в Университете Сассекса, Брайтон, 1–17 сентября 1965 г. (Перепечатка оригинального издания 1967 г.). Лондон: Academic Press. С. 231–249. ISBN 0-12-163251-2.
• Серр, Ж.-П. (2002), «Когомология Галуа», Springer-Verlag. ISBN 3-540-42192-0. См. Приложение 2. (Перевод Cohomologie Galoisienne, Lecture Notes in Mathematics 5, 1973)