数学 › 代数的整数論・類体論 › 類体論

単数の p 乗

補題 4.1（「類体論」§4） ・ ✓公理まで証明済み

FF を剰余標数 pp の局所体、eF:=vF(p)e_F := v_F(p) とする。整数 i>eF/(p−1)i \gt e_F/(p - 1) について (UF(i))p=UF(i+eF)(U_F^{(i)})^p = U_F^{(i + e_F)} である。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理 証明で参照している 2 件