stringtranslate.com

K-группы поля

В математике, особенно в алгебраической K -теории , алгебраическая K -группа поля важна для вычисления. Для конечного поля полное вычисление было дано Дэниелом Квилленом .

Низкие степени

Отображение, переводящее конечномерное F -векторное пространство в его размерность, индуцирует изоморфизм

для любого поля F. Далее,

мультипликативная группа поля F. [1] Вторая K-группа поля описывается в терминах образующих и соотношений теоремой Мацумото .

Конечные поля

K-группы конечных полей являются одним из немногих случаев, где K-теория известна полностью: [2] для ,

Для n =2 это видно из теоремы Мацумото, в более высоких степенях она была вычислена Квилленом в связи с его работой над гипотезой Адамса . Другое доказательство было дано Жардином (1993).

Локальные и глобальные поля

Вайбель (2005) рассматривает вычисления K-теории глобальных полей (таких как числовые поля и поля функций ), а также локальных полей (таких как p-адические числа ).

Алгебраически замкнутые поля

Суслин (1983) показал, что кручение в K-теории нечувствительно к расширениям алгебраически замкнутых полей. Это утверждение известно как жесткость Суслина .

Смотрите также

Ссылки

  1. ^ Вайбель 2013, гл. III, Пример 1.1.2.
  2. ^ Вайбель 2013, гл. IV, следствие 1.13.