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

Hasse norm theorem

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

Теорема больше не верна в общем случае, если расширение абелево, но не циклически. Хассе привел контрпример, что 3 - локальная норма всюду для расширения но это не глобальная норма. Серр и Тейт показали, что другой контрпример дается полем где каждый рациональный квадрат везде является локальной нормой, кроме не является глобальной нормой.

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

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

Теорема о норме Хассе может быть выведена из теоремы о том, что элемент Когомологии Галуа группа H2(L/K) тривиален, если он тривиален локально всюду, что, в свою очередь, эквивалентно глубокой теореме о том, что первые когомологии группа классов иделей исчезает. Это верно для всех конечных расширений Галуа числовых полей, а не только для циклических. Для циклических расширений группа H2(L/K) изоморфна Группа когомологий Тейта ЧАС0(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