Dirichlet 密度

定義 6.1（「Dedekind ゼータ関数と Dirichlet の L 関数」§6）

$K$ の素イデアルの集合 $A$ について、極限

\delta(A) := \lim_{s \to 1 + 0}\frac{\sum_{\mathfrak{p} \in A}N\mathfrak{p}^{-s}}{\log\dfrac{1}{s - 1}}

が存在するとき、これを $A$ の Dirichlet 密度という（ $s$ は $1$ より大きい実数を動く）。

閉包の状態

定義

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

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

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