Алгебраическая теория чисел

Алгебраическая теория чисел расширяет арифметику целых чисел на кольца алгебраических целых чисел в конечных расширениях рациональных чисел, где единственность факторизации может нарушаться, но восстанавливается на уровне идеалов.

Definition

Алгебраическая теория чисел — это изучение числовых полей (конечных расширений рациональных чисел) и их колец целых чисел с использованием инструментов коммутативной алгебры и теории Галуа для арифметического понимания факторизации, единиц и расширений полей.

Scope

Эта область охватывает числовые поля и их кольца целых чисел, факторизацию идеалов на простые идеалы, группу классов идеалов, измеряющую нарушение единственности факторизации, теорему Дирихле о единицах, ветвление и поведение простых чисел в расширениях, теорию Галуа числовых полей и теорию полей классов, описывающую абелевы расширения в терминах арифметических данных.

Sub-topics

• Class Field Theory
• Ideal Class Groups and Units
• Number Fields and Rings of Integers
• Ramification and Galois Theory of Number Fields

Core questions

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

Key theories

Единственная факторизация идеалов

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

Конечность числа классов и теорема Дирихле о единицах

Группа классов идеалов конечна, а группа единиц конечно порождена рангом, определяемым числом вещественных и комплексных вложений, что является двумя краеугольными камнями, установленными геометрией чисел в стиле Минковского.

Теория полей классов

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

Clinical relevance

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

History

Эта область возникла из введения Куммером идеальных чисел около 1847 года для восстановления единственности факторизации в круговых полях, что было мотивировано Великой теоремой Ферма. Дедекинд переформулировал их как идеалы в 1870-х годах, Минковский добавил геометрические методы, а Гильберт, Такаги и Артин построили теорию полей классов в начале двадцатого века.

Key figures

• Ernst Kummer
• Richard Dedekind
• Leopold Kronecker
• Emil Artin

Seminal works

• neukirch1999

Frequently asked questions

Почему единственная факторизация не всегда выполняется для алгебраических целых чисел?

Во многих кольцах целых чисел элемент может факторизоваться на неприводимые элементы совершенно разными способами; решение состоит в факторизации идеалов, а не элементов, где единственность всегда восстанавливается.

Что такое число классов?

Это порядок группы классов идеалов, конечное число, которое точно измеряет, насколько кольцо целых чисел отличается от кольца с единственной факторизацией; оно равно единице именно тогда, когда факторизация единственна.