Лемма Краснера - Krasners lemma - Wikipedia

В теория чисел, более конкретно в п-адический анализ, Лемма Краснера основной результат, относящийся к топология из полный неархимедово поле к его алгебраические расширения.

Заявление

Позволять K - полное неархимедово поле и пусть K быть отделяемое закрытие из K. Для элемента α из K, обозначим его Конъюгаты Галуа к α2, ..., αп. Лемма Краснера утверждает:[1][2]

если элемент β из K таково, что
тогда K(α) ⊆ K(β).

Приложения

  • Лемму Краснера можно использовать, чтобы показать, что -адическое завершение и раздельное закрытие глобальные поля ездить.[3] Другими словами, учитывая а основной глобального поля L, разделимое замыкание -адическое завершение L равно -адическое завершение разделимого замыкания L (куда является лучшим из L над ).
  • Другое применение - доказать, что Cп - завершение алгебраического замыкания Qп - является алгебраически замкнутый.[4][5]

Обобщение

Лемма Краснера имеет следующее обобщение.[6]Рассмотрим монический многочлен

степени п > 1 с коэффициентами в Гензельское месторождение (K, v) и корни в алгебраическом замыкании K. Позволять я и J - два непересекающихся непустых множества с объединением {1, ...,п}. Кроме того, рассмотрим полиномиальный

с коэффициентами и корнями в K. Предполагать

Тогда коэффициенты многочленов

содержатся в расширении поля K генерируется коэффициентами грамм. (Исходная лемма Краснера соответствует ситуации, когда грамм имеет степень 1.)

Примечания

  1. ^ Лемма 8.1.6 из Нойкирх, Шмидт и Вингберг, 2008 г.
  2. ^ Лоренц (2008) стр.78
  3. ^ Предложение 8.1.5 Нойкирх, Шмидт и Вингберг, 2008 г.
  4. ^ Предложение 10.3.2 Нойкирх, Шмидт и Вингберг, 2008 г.
  5. ^ Лоренц (2008) стр.80
  6. ^ Бринк (2006), теорема 6

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

  • Бринк, Дэвид (2006). "Новый взгляд на лемму Гензеля". Expositiones Mathematicae. 24 (4): 291–306. Дои:10.1016 / j.exmath.2006.01.002. ISSN  0723-0869. Zbl  1142.12304.
  • Лоренц, Фалько (2008). Алгебра. Том II: Поля со структурой, алгебры и продвинутые темы. Springer-Verlag. ISBN  978-0-387-72487-4. Zbl  1130.12001.
  • Наркевич, Владислав (2004). Элементарная и аналитическая теория алгебраических чисел. Монографии Спрингера по математике (3-е изд.). Берлин: Springer-Verlag. п. 206. ISBN  3-540-21902-1. Zbl  1159.11039.
  • Нойкирх, Юрген; Шмидт, Александр; Вингберг, Кей (2008), Когомологии числовых полей, Grundlehren der Mathematischen Wissenschaften, 323 (Второе изд.), Берлин: Springer-Verlag, ISBN  978-3-540-37888-4, МИСТЕР  2392026, Zbl  1136.11001