P-базис - P-basis

В алгебре п-основа является обобщением понятия разделяющего основа трансцендентности для расширение поля характерных п, представлен Тайхмюллер (1936).

Определение

Предположим k поле характеристики п и K является расширением поля. А п-базис - это набор элементов Икся из K так что элементы dxя составляют основу K-векторное пространство ΩK/k дифференциалов.

Примеры

  • Если K является конечно порожденным отделяемое расширение из k потом п-базис - это то же самое, что и разделяющая основа трансцендентности. В частности, в этом случае количество элементов п-основа степень трансцендентности.
  • Если k это поле, Икс неопределенный, и K поле, создаваемое всеми элементами Икс1/пп тогда пустое множество - это п-базис, хотя расширение отделимо и имеет степень трансцендентности 1.
  • Если K это степень п расширение k полученный путем присоединения пй корень т элемента k тогда т это п-базис, так что п-базис имеет мощность 1, а степень трансцендентности равна 0.

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

  • Мак-Лейн, Сондерс (1939), "Модульные поля. I. Разделение основ трансцендентности", Duke Math. Дж., 5 (2): 372–393, Дои:10.1215 / S0012-7094-39-00532-6, Г-Н  1546131
  • Тейхмюллер, О. (1936), «p-Алгебрен», Deutsche Mathematik, 1: 362–388