<html xmlns="http://www.w3.org/1999/xhtml"><head></head><body><p><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="1" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[1]</anchor-end>
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">符号</anchor> <code class="math" xml:lang="en"><var>C</var></code> について、
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">通信路記号</anchor>を<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">有限体</anchor>の<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">要素</anchor>と考え <code class="math" xml:lang="en"><var>V</var> = <var class="function">GF</var> (<var>q</var>), φ ⊂ <var>C</var> ⊆ <var>V<sup><var>n</var></sup></var></code> とする時、<figure class="list"><ul><li><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="2" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[2]</anchor-end> 任意の <code class="math" xml:lang="en"><var>a</var> ∈ <var>V</var></code>,
<code class="math"><var class="vector">v</var> ∈ <var>C</var></code>
に対して <code class="math" xml:lang="en"><var>a</var><var class="vector">v</var> ∈ <var>C</var></code></li><li><anchor-end xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:" a0:anchor="3" xmlns:a0="urn:x-suika-fam-cx:markup:suikawiki:0:9:">[3]</anchor-end> 任意の <code class="math" xml:lang="en"><var class="vector">v</var>, <var class="vector">u</var> ∈ <var>C</var></code>
に対して <code class="math" xml:lang="en"><var class="vector">u</var> + <var class="vector">v</var> ∈ <var>C</var></code></li></ul></figure>... をどちらも満たすなら、 <code class="math" xml:lang="en"><var>C</var></code> は
<anchor xmlns="urn:x-suika-fam-cx:markup:suikawiki:0:9:">符号長</anchor> <var xml:lang="en">n</var> の<dfn><var xml:lang="en">q</var> 元線形符号</dfn>であるといいます。</p></body></html>