WikiDer > Теорема Хассе о норме

В теория чисел, то Теорема Хассе о норме утверждает, что если L / K является циклическое расширение из числовые поля, то если ненулевой элемент K всюду является локальной нормой, то это глобальная норма. Здесь быть глобальной нормой означает быть элементом k K такой, что существует элемент л L с ${ Displaystyle mathbf {N} _ {L / K} (л) = к}$; другими словами k является относительной нормой некоторого элемента поля расширения L. Быть локальной нормой означает, что для некоторого простого числа п K и некоторые простые п L, лежащего над K, то k норма из L_п; вот "прайм" п может быть архимедовой оценкой, а теорема - утверждением о пополнениях во всех оценках, архимедовых и неархимедовых.

Теорема больше не верна в общем случае, если расширение абелево, но не циклически. Хассе привел контрпример, что 3 - локальная норма всюду для расширения ${ displaystyle { mathbf {Q}} ({ sqrt {-3}}, { sqrt {13}}) / { mathbf {Q}}}$ но это не глобальная норма. Серр и Тейт показали, что другой контрпример дается полем ${ displaystyle { mathbf {Q}} ({ sqrt {13}}, { sqrt {17}}) / { mathbf {Q}}}$ где каждый рациональный квадрат везде является локальной нормой, кроме ${ displaystyle 5 ^ {2}}$ не является глобальной нормой.

Это пример теоремы, устанавливающей локально-глобальный принцип.

Полная теорема связана с Hasse (1931). Частный случай, когда степень п расширения 2 было доказано Гильберт (1897) Ошибка harvtxt: нет цели: CITEREFHilbert1897 (помощь), и частный случай, когда п простое было доказано Фуртвенглер (1902) Ошибка harvtxt: нет цели: CITEREFFurtwangler1902 (помощь).

Теорема о норме Хассе может быть выведена из теоремы о том, что элемент Когомологии Галуа группа H²(L/K) тривиален, если он тривиален локально всюду, что, в свою очередь, эквивалентно глубокой теореме о том, что первые когомологии группа классов иделей исчезает. Это верно для всех конечных расширений Галуа числовых полей, а не только для циклических. Для циклических расширений группа H²(L/K) изоморфна Группа когомологий Тейта ЧАС⁰(L/K), который описывает, какие элементы являются нормами, поэтому для циклических расширений это становится теоремой Хассе, что элемент является нормой, если он является локальной нормой всюду.

Смотрите также

• Теорема Грюнвальда – Вангао том, когда элемент, который является силой повсюду локально, является силой.

Рекомендации

• Хассе, Х. (1931), "Beweis eines Satzes und Wiederlegung einer Vermutung über das allgemeine Normenrestsymbol", Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse: 64–69
• Х. Хассе, "История теории поля классов", в J.W.S. Cassels и А. Фрелих (edd), Алгебраическая теория чисел, Академическая пресса, 1973. Глава XI.
• Г. Януш, Поля алгебраических чисел, Academic Press, 1973. Теорема V.4.5, с. 156