リード・マラー符号
長さ n = 2 のリード・マラー符号は以下のように構成される。
まず F 2 m = { x 1 , ... , x n } {\displaystyle \mathbb {F} _{2}^{m}=\{x_{1},\ldots ,x_{n}\}} とおく。このとき、部分集合 A ⊂ F 2 m {\displaystyle A\subset \mathbb {F} _{2}^{m}} に対して、指示ベクトル I A ∈ F 2 n {\displaystyle \mathbb {I} _{A}\in \mathbb {F} _{2}^{n}} を次で定義する。
( I A ) j = { 1 ( x j ∈ A ) 0 ( x j ∉ A ) {\displaystyle \left(\mathbb {I} _{A}\right)_{j}={\begin{cases}1&(x_{j}\in A)\\0&(x_{j}\notin A)\end{cases}}}
また F 2 n {\displaystyle \mathbb {F} _{2}^{n}} における次の二項演算を「楔積; wedge product」と呼ぶ。