Jump to content

Тензорное произведение полей

(Перенаправлено из Реальных и сложных вложений )

В математике тензорное произведение двух полей — это их тензорное произведение как алгебр над общим подполем . Если подполе не указано явно, два поля должны иметь одинаковые характеристики , а общее подполе является их основным подполем .

Тензорное произведение двух полей иногда является полем, а часто — прямым произведением полей; В некоторых случаях он может содержать ненулевые нильпотентные элементы .

Тензорное произведение двух полей выражает в одной структуре разные способы встраивания двух полей в общее поле расширения .

Комбинация полей

[ редактировать ]

Во-первых, определяется понятие композиции полей. Эта конструкция часто встречается в теории поля . Идея композитума состоит в том, чтобы создать наименьшее поле, содержащее два других поля. Чтобы формально определить композитум, нужно сначала указать башню полей . Пусть k — поле, а L и K — два расширения k . Композитум, обозначаемый KL , определяется как где правая часть обозначает расширение, порожденное K и L . Это предполагает некоторое поле, содержащее как K , так и L . Либо кто-то начинает с ситуации, когда окружающее поле легко идентифицировать (например, если K и L являются подполями комплексных чисел ), либо доказывают результат, который позволяет поместить как K , так и L (как изоморфные копии) в какое-то достаточно большое поле.

Во многих случаях можно К. идентифицировать L как векторного пространства тензорное произведение , взятое над полем N которое является пересечением K и L. , Например, если присоединить √2 к рациональному полю чтобы получить K чтобы получить L , это правда, что поле M получается как K. , и √3 , L внутри комплексных чисел есть ( с точностью до изоморфизма)

как векторное пространство над . (Такой тип результатов, вообще говоря, можно проверить, используя ветвления теорию теории алгебраических чисел .)

Подполя K и L поля M ( линейно не пересекаются над подполем N ), когда таким образом естественное N -линейное отображение поля

к К. L инъективен . [1] это не всегда так, например, когда K = L. Естественно , Когда степени конечны, инъективность здесь эквивалентна биективности . Следовательно, когда K и L — линейно непересекающиеся поля расширения конечной степени над N , , как и в случае с вышеупомянутыми расширениями рациональных чисел.

Важным случаем в теории круговых полей является то, что для корней n- й степени из единицы , для n составного числа , подполя, порожденные p к Корни из единицы для степеней простых чисел , делящих n, линейно не пересекаются для различных p . [2]

Тензорное произведение как кольцо

[ редактировать ]

Чтобы получить общую теорию, нужно рассмотреть кольцевую структуру на . Можно определить продукт быть (см. Тензорное произведение алгебр ). Эта формула полилинейна по N по каждой переменной; и таким образом определяет кольцевую структуру тензорного произведения, делая в коммутативную N -алгебру , называемую тензорным произведением полей .

Анализ кольцевой структуры

[ редактировать ]

Структуру кольца можно проанализировать, рассмотрев все способы вложения и L в некоторое расширение поля N. K Здесь конструкция предполагает общее подполе N ; но не предполагает априори , что K и L являются подполями некоторого поля M (таким образом обходя предостережения относительно построения составного поля). Всякий раз, когда кто-то вкладывает K и L в такое поле M , скажем, используя вложения α поля K и β поля L , возникает кольцевой гомоморфизм γ из в M, определяемый:

Ядро ; γ будет простым идеалом тензорного произведения и наоборот, любой простой идеал тензорного произведения будет давать гомоморфизм N -алгебр в область целостности (внутри поля частных таким образом, обеспечивает вложение K и L в некоторое поле как расширение (копии) N. ) и ,

Таким образом, можно проанализировать структуру : в принципе может существовать ненулевой нильрадикал факторизации по нему можно говорить о произведении всех вложений K и L в различные M N. над и после (пересечение всех простых идеалов) –

В случае, когда K и L являются конечными расширениями N , ситуация особенно проста, поскольку тензорное произведение имеет конечную размерность как N -алгебра (и, следовательно, артиново кольцо ). Тогда можно сказать, что если R является радикалом, то как прямое произведение конечного числа полей. Каждое такое поле является представителем класса эквивалентности (существенно различных) вложений полей для K и L в некотором расширении M .

Чтобы дать явный пример, рассмотрим поля и . Четко являются изоморфными, но технически неравными полями, их (теоретико-множественное) пересечение является простым полем. . Их тензорное произведение

это не поле, а 4-мерное -алгебра. Более того, эта алгебра изоморфна прямой сумме полей

через карту, индуцированную .Морально считать наибольшим общим подполем с точностью до изоморфизма K и следует L через изоморфизмы . Когда кто-то выполняет тензорное произведение над этим лучшим кандидатом на наибольшее общее подполе, мы фактически получаем (довольно тривиальное) поле

.

Другой пример, если K генерируется по на кубический корень из 2, то является суммой (копией) K и расщепления полем

Х   3 − 2,

степени 6 более . Это можно доказать, вычислив размерность тензорного произведения по как 9, и замечая, что поле расщепления действительно содержит две (на самом деле три) копии K и является композицией двух из них. Это, кстати, показывает, что в данном случае R = {0}.

Пример, ведущий к ненулевому нильпотенту: пусть

п ( Икс ) = Икс   п Т

где K - поле рациональных функций в неопределенном T над конечным полем с p элементами (см. Разделимый многочлен : дело здесь в том, что P не отделим ). Если L — расширение поля K ( T 1/ п ) ( поле расщепления P L ), то / K является примером чисто неразделимого расширения поля . В элемент

нильпотентен: взяв его p- ю степень, можно получить 0, используя K -линейность.

Классическая теория вещественных и комплексных вложений

[ редактировать ]

В алгебраической теории чисел тензорные произведения полей являются (часто неявно) основным инструментом. Если K является расширением конечной степени n , всегда является произведением полей, изоморфных или . Полностью вещественные числовые поля — это те, для которых встречаются только действительные поля: вообще существует r 1 действительных и r 2 комплексных полей, причем r 1 + 2 r 2 = n , как можно увидеть, подсчитав размерности. Факторы поля находятся в 1–1 соответствии с действительными вложениями и парами комплексно-сопряженных вложений , описанными в классической литературе.

Эта идея применима и к где p — поле p -адических чисел . Это произведение конечных расширений p , в 1–1 соответствии с пополнениями K для расширений p -адической метрики на .

Последствия для теории Галуа

[ редактировать ]

Это дает общую картину и даже способ развития теории Галуа. (аналогично теории Галуа Гротендика ). Можно показать, что для сепарабельных расширений радикал всегда равен {0}; поэтому случай теории Галуа является полупростым и состоит только из произведений полей.

См. также

[ редактировать ]
  • Расширение скаляров - тензорное произведение расширения поля и векторного пространства над этим полем.

Примечания

[ редактировать ]
  1. ^ «Линейно-дизъюнктные расширения» , Математическая энциклопедия , EMS Press , 2001 [1994]
  2. ^ «Циклотомное поле» , Математическая энциклопедия , EMS Press , 2001 [1994]
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 73a3a959997c5e98b8f54ef7552924eb__1714759200
URL1:https://arc.ask3.ru/arc/aa/73/eb/73a3a959997c5e98b8f54ef7552924eb.html
Заголовок, (Title) документа по адресу, URL1:
Tensor product of fields - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)