標準形の生成行列

命題 3.3（「線形符号」§3）・ ✓公理まで証明済み

$C$ を $[n, k]_q$ 符号とする。座標の順序を適当に入れ替えると、 $C$ は $G = [\,I_k \mid A\,]$ （ $I_k$ は $k$ 次単位行列、 $A$ は $k \times (n - k)$ 行列）の形の生成行列をもつ。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

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