符号の同値

定義 3.8（「線形符号」§3）

2 つの線形符号 $C, C' \subseteq \mathbb{F}_q^n$ が同値であるとは、座標の置換と、各座標に $0$ でない定数を掛ける操作の組み合わせで $C$ が $C'$ に写ることをいう。

閉包の状態

定義

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

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

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