数学 › 数論 › イデアル類群の有限性と Minkowski 限界
離散部分群は自由
を部分群とし、任意の有界集合が の点を有限個しか含まないとする。 が張る 部分空間の次元を とすると、 である。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 1 件、定義なども含めて 1 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 自由加群の部分加群は自由✓定理 3.1・加群と PID 上の構造定理
これを使っている定理 証明で参照している 3 件
- コンパクト性 ⇔ 類数の有限性 + 単数定理✓定理 6.3・アデールとイデール
- 第 1 不等式✓定理 6.3・類体論
- Dirichlet の単数定理✓定理 6.1・イデアル類群の有限性と Minkowski 限界