根基

定義 12.1（「楕円曲線・モジュラー形式と現代数論」§12）

正整数 $n$ に対し、 $n$ を割り切る素数全体の積

\operatorname{rad}(n) = \prod_{p \mid n,\ p:\text{素数}} p

を $n$ の根基（radical）と呼びます。空積の約束により $\operatorname{rad}(1) = 1$ とします。

閉包の状態

定義

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

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

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