オイラーのトーシェント関数

定義 4.6（「合同式とフェルマーの小定理」§4）

$n \in \mathbb{N}$ に対し

\varphi(n) := \#\{a \in \mathbb{Z} \mid 1 \le a \le n,\ \gcd(a,n)=1\}

と定める。命題 4.4 により $\varphi(n) = \#(\mathbb{Z}/n\mathbb{Z})^{\times}$ である。

閉包の状態

定義

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

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