WikiSort.ru - Не сортированное

Общие свойства

• Аддитивная группа локального поля, как любая локально компактная топологическая группа, обладает единственной (с точностью до умножения на положительное число) мерой Хаара μ.
• На любом локальном поле ${\displaystyle K}$ можно ввести абсолютную величину ${\displaystyle |a|}$ такую, что

  ${\displaystyle |a|={\frac {\mu (aX)}{\mu (X)}}}$

для некоторого (а значит и любого) измеримого подмножества ${\displaystyle X\subset K}$ с ненулевой конечной мерой Хаара.

Неархимедовы поля

• В неархимедовом локальном поле ${\displaystyle K}$ с абсолютной величиной ${\displaystyle |{*}|}$ можно дать следующие определения:
  • Кольцо целых чисел

    ${\displaystyle {\mathcal {O}}=\{a\in K:|a|\leqslant 1\}.}$

    • Оно образует дискретное нормированное кольцо и компактный шар в ${\displaystyle (K,|{*}|)}$ .
  • Единицы в кольце целых чисел определяются как ${\displaystyle {\mathcal {O}}^{\times }=\{a\in K:|a|=1\}}$ .
    • Они образуют группу и единичную сферу в ${\displaystyle (K,|{*}|)}$ .
  • Единственный ненулевой простой идеал ${\displaystyle {\mathfrak {m}}}$ в кольце целых чисел является открытым единичным шаром

    ${\displaystyle \{a\in K:|a|<1\},}$

и его образующий элемент ${\displaystyle \omega \in {\mathfrak {m}}}$ называется униформизирующим элементом ${\displaystyle K}$ .

• Поле остатков ${\displaystyle k={\mathcal {O}}/{\mathfrak {m}}}$ является конечным, поскольку компактно и дискретно.
• При этом ${\displaystyle |\omega |={\tfrac {1}{|k|}}}$ , где ${\displaystyle |k|}$ — мощность поля остатков ${\displaystyle k}$ .

• Каждый ненулевой элемент ${\displaystyle a\in K}$ можно записать как ${\displaystyle a=\omega ^{n}\cdot u}$ , где ${\displaystyle u}$  — единичный элемент, ${\displaystyle n}$  — целое число, определяемое однозначно по ${\displaystyle a}$ .
  • В частности ${\displaystyle |a|=|k|^{-n}=|\omega |^{n}.}$