数学 › 代数的整数論・類体論 › 分解群・惰性群・Frobenius 元

順分岐と野性分岐

定義 8.7(「分解群・惰性群・Frobenius 元」§8)

P∣p\mathfrak{P} \mid \mathfrak{p}、e=e(P∣p)≥2e = e(\mathfrak{P} \mid \mathfrak{p}) \ge 2 とし、pp を剰余体 κ(p)\kappa(\mathfrak{p}) の標数とする。p∤ep \nmid e のとき P\mathfrak{P} は順分岐(tamely ramified)、p∣ep \mid e のとき野性分岐(wildly ramified)であるという。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。