q-円分剰余類

定義 2.3（「有限体上の多項式」§2）

$\gcd(n, q) = 1$ とする。 $s \in \mathbb{Z}/n\mathbb{Z}$ に対し

C_s = \{\, s,\ sq,\ sq^2,\ sq^3,\ \ldots \,\} \subseteq \mathbb{Z}/n\mathbb{Z}

を、 $s$ を含む（ $n$ を法とする） $q$ -円分剰余類という。

閉包の状態

定義

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

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

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