Hasse-Arf teoremi

Yüksek dallanma grupları

Teorem, sonlu bir Abel genişlemesi ${\displaystyle {\displaystyle L/K}}$nin üstten numaralandırılmış yüksek dallanma gruplarıyla ilgilidir. Diyelim ki

• ${\displaystyle {\displaystyle L/K}}$ sonlu bir Galois genişlemesi,
• ${\displaystyle {\displaystyle v_{K}},}$ K 'nin,
  • rezidü cismi karakteristiği ${\displaystyle p>0}$ olan ve
  • ayrık birimleştirilmiş bir değerlemesi

olsun. Bu değerlemenin, L'ye biricik bir şekilde genişlemesi olsun ve bu genişlemeye w diyelim.

• L'nin ilişkin birimleştirilmiş değerlemesi ew, ${\displaystyle {\displaystyle v_{L}}}$ ile
• L'nin ${\displaystyle {\displaystyle v_{L}}}$ altındaki değerleme halkası, ${\displaystyle {\mathcal {O}}}$ ile

gösterilsin. ${\displaystyle {\displaystyle L/K}}$'nin Galois grubu G olsun ve ${\displaystyle {\displaystyle L/K}}$'nin herhangi bir s≥−1 için s-inci dallanma grubunu şu şekilde tanımlayalım:

${\textstyle {\displaystyle G_{s}(L/K)=\{\sigma \in G\,:\,v_{L}(\sigma a-a)\geq s+1\ {\text{ her }}a\in {\mathcal {O}}{\text{ için}}\}.}}$

Örneğin, ${\displaystyle G_{-1},}$ Galois grubu ${\displaystyle G}$'dir. Daha yukarı numaralandırmaya geçmek için, öncelikle ψ_L/K fonksiyonu tanımlanmalıdır ki bu fonksiyon da aşağıda tanımlanmış η_L/K fonksiyonunun tersidir:.

${\displaystyle {\displaystyle \eta _{L/K}(s)=\int _{0}^{s}{\frac {dx}{|G_{0}:G_{x}|}}.}}$

Üst numaralandırmalı dallanma grupları, s = ψ_L/K(t) olacak şekilde G^t(L/K) = G_s(L/K) ile tanımlanır.

Bu yüksek dallanma grupları G^t(L/K), herhangi gerçel t ≥−1 için tanımlıdır, ancak ${\displaystyle {\displaystyle v_{L}},}$ ayrık bir değerleme olduğundan, bu gruplar sürekli olarak değil, ayrık sıçramalarla değişir. Bu nedenle, herhangi bir u > t için G^t(L/K) ≠ G^u(L/K) ise, t'nin, {G^t(L/K) : t ≥ −1} filtrelemesinde bir sıçrama olduğunu söyleriz. Hasse–Arf Teoremi, bu sıçramaların aritmetik doğası hakkında bilgi verir.