Башня полей

Перейти к навигации Перейти к поиску

Башня полей — последовательность из расширений для некоторого поля $K$ : $K\subset K_{1}\subset \dots \subset K_{i}\subset \dots$ , может быть конечной или бесконечной. Часто записывается вертикально:

{\begin{array}{c}\vdots \\|\\K_{i}\\|\\\vdots \\|\\K_{1}\\|\\K\end{array}}

Например, $\mathbb {Q} \subset \mathbb {R} \subset \mathbb {C}$ — конечная башня расширений поля рациональных чисел, последовательно включающая поля вещественных и комплексных чисел.

Нормальная башня полей — последовательность нормальных расширений, сепарабельная башня полей — последовательность сепарабельных расширений, абелева башня полей — последовательность абелевых расширений.

Классическая задача разрешимости в радикалах многочленов, решённая средствами теории Галуа, может быть сформулирована в терминах башен полей: разрешимость эквивалентна погружаемости поля коэффициентов данного многочлена в нормальную и абелеву башню полей.

Башня полей классов — башня полей, построенная над некоторым полем алгебраических чисел, каждый элемент которой является максимальным абелевым неразветвлённым расширением предыдущего. Один из результатов теории полей классов, влекущий важные следствия для алгебраической теории чисел — отрицательное решение неограниченной проблемы Бёрнсайда (теорема Голода — Шафаревича), на языке полей классов формулируется следующим образом: существуют бесконечные башни классов полей^[1]^[2] (в частности, такова башня, построенная над расширением поля рациональных чисел, полученного присоединением числа ${\sqrt {30030}}$ ).

Примечания

↑ Голод Е. С. О ниль-алгебрах и финитно-аппроксимируемых p-группах // Известия АН СССР. Серия математическая. — 1964. — Т. 28, выпуск 2. — С. 273—276.
↑ Голод Е. С., Шафаревич И. Р. О башне полей классов // Известия АН СССР. Серия математическая. — 1964. — Т. 28, выпуск 2. — С. 261—272.

Литература

И. М. Виноградов. Башня полей // Математическая энциклопедия. — М.: Советская энциклопедия (рус.). — 1977—1985.

Похожие исследовательские статьи

Число́ — одно из основных понятий математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей.

<span class="mw-page-title-main">Сложение</span> математическая операция

Сложе́ние (прибавле́ние) — одна из основных бинарных математических операций двух аргументов (слагаемых), результатом которой является новое число (сумма), получаемое увеличением значения первого аргумента на значение второго аргумента. То есть каждой паре элементов $\text{[math]}$ из множества $\text{[math]}$ ставится в соответствие элемент $\text{[math]}$ , называемый суммой $\text{[math]}$ и $\text{[math]}$ . Это одна из четырёх элементарных математических операций арифметики. Приоритет её в обычном порядке операций равен приоритету вычитания, но ниже, чем у возведения в степень, извлечения корня, умножения и деления. На письме сложение обычно обозначается с помощью знака «плюс»: $\text{[math]}$ .
Сложение возможно, только если оба аргумента принадлежат одному множеству элементов. Так, на картинке справа запись $\text{[math]}$ обозначает три яблока и два яблока вместе, что в сумме даёт пять яблок. Но нельзя сложить, например, 3 яблока и 2 груши.

<span class="mw-page-title-main">Вычитание</span>

Вычита́ние (убавление) — одна из вспомогательных бинарных математических операций двух аргументов, результатом которой является новое число (разность), получаемое уменьшением значения первого аргумента на значение второго аргумента. На письме обычно обозначается с помощью знака «минус»: $\text{[math]}$ . Вычитание — операция обратная сложению.

А́белева гру́ппа — группа, в которой групповая операция является коммутативной; иначе говоря, группа $\text{[math]}$ абелева, если $\text{[math]}$ для любых двух элементов $\text{[math]}$ .

Ма́трица — математический объект, записываемый в виде прямоугольной таблицы элементов кольца или поля, который представляет собой совокупность строк и столбцов, на пересечении которых находятся его элементы. Количество строк и столбцов задаёт размер матрицы. Матрицу можно также представить в виде функции двух дискретных аргументов. Хотя исторически рассматривались, например, треугольные матрицы, в настоящее время говорят исключительно о матрицах прямоугольной формы, так как они являются наиболее удобными и общими.

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

Алгебраически замкнутое поле — поле $\text{[math]}$ , в котором всякий многочлен ненулевой степени над $\text{[math]}$ имеет хотя бы один корень.

Жорданова матрица — квадратная блочно-диагональная матрица над полем $\text{[math]}$ , с блоками вида

\text{[math]}

Теория групп — раздел общей алгебры, изучающий алгебраические структуры, называемые группами, и их свойства. Группа является центральным понятием в общей алгебре, так как многие важные алгебраические структуры, такие как кольца, поля, векторные пространства, являются группами с расширенным набором операций и аксиом. Группы возникают во всех областях математики, и методы теории групп оказывают сильное влияние на многие разделы алгебры. В процессе развития теории групп построен мощный инструментарий, во многом определивший специфику общей алгебры в целом, сформирован собственный глоссарий, элементы которого активно заимствуются смежными разделами математики и приложениями. Наиболее развитые ветви теории групп — линейные алгебраические группы и группы Ли — стали самостоятельными областями математики.

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры для решения задач, возникающих в геометрии.

<span class="mw-page-title-main">Конечная группа</span> алгебраическая структура - группа, содержащая конечное число элементов

Конечная группа в общей алгебре — группа, содержащая конечное число элементов. Далее группа предполагается мультипликативной, то есть операция в ней обозначается как умножение; аддитивные группы с операцией сложения оговариваются особо. Единицу мультипликативной группы будем обозначать символом 1. Порядок группы $\text{[math]}$ принято обозначать $\text{[math]}$

Расшире́ние по́ля $\text{[math]}$ — поле $\text{[math]}$ , содержащее данное поле $\text{[math]}$ в качестве подполя. Исследование расширений является важной задачей теории полей, так как любой гомоморфизм полей является расширением.

Круговое поле, или поле деления круга степени n — это поле $\text{[math]}$ , порождённое присоединением к полю рациональных чисел $\text{[math]}$ первообразного корня n-й степени из единицы $\text{[math]}$ . Круговое поле является подполем поля комплексных чисел.

Теорема Кронекера — Вебера — утверждение в алгебраической теории чисел, согласно которому каждое конечное абелево расширение поля рациональных чисел $\text{[math]}$ , или, другими словами, каждое алгебраическое числовое поле, чья группа Галуа над $\text{[math]}$ является абелевой, — является подполем некоторого кругового поля, то есть поля, полученного присоединением корня из единицы к рациональным числам.

Фёдор Алексеевич Богомолов — советский и американский математик, известный своими работами по алгебраической геометрии и теории чисел.

Абсолютная группа Галуа $\text{[math]}$ поля $\text{[math]}$ — группа Галуа $\text{[math]}$ над $\text{[math]}$ , где $\text{[math]}$ — сепарабельное замыкание $\text{[math]}$ . Также определяется как группа всех автоморфизмов алгебраического замыкания поля $\text{[math]}$ , которые оставляют $\text{[math]}$ неподвижным. Абсолютная группа Галуа уникальна с точностью до изоморфизма. Является проконечной группой.

Ограничение скаляров — это функтор, который для любого конечного расширения поля L/k и любого алгебраического многообразия X над L даёт другое многообразие Res_L/kX, определённое над k. Ограничение скаляров полезно для сведения вопросов о многообразиях над большими полями к вопросам о более сложных многообразиях над меньшими полями.

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

Выразимость в радикалах означает возможность выразить число или функцию через простейшие числа или функции при помощи извлечения корня целой степени и арифметических операций — сложения, вычитания, умножения, деления.

Линейная алгебраическая группа — это подгруппа группы обратимых $\text{[math]}$ матриц, которые определены полиномиальными уравнениями. Примером является ортогональная группа, определённая отношением $\text{[math]}$ , где $\text{[math]}$ является транспонированной матрицей M.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.