wd wp Пошук: ⬜

Канечнае поле

У гэтага паняцця ёсць і іншыя значэнні, гл. Поле. Кане́чнае по́ле ці по́ле Галуа́ — поле, якое складаецца з канечнай колькасці элементаў. Другую назву канечныя палі атрымалі ў гонар французскага матэматыка Эварыста Галуа.

Канечнае поле звычайна абазначаецца

F

q

{\displaystyle \mathbb {F} _{q}}

ці GF(q) (скарачэнне ад Galois field), дзе q — колькасць элементаў поля (магутнасць). З дакладнасцю да ізамарфізму канечнае поле поўнасцю вызначаецца яго магутнасцю, якая заўсёды з’яўляецца ступенню нейкага простага ліку (q = p**n, дзе p — просты лік, які з’яўляецца характарыстыкаю поля).

Паняцце канечнага поля выкарыстоўваецца, сярод іншага, у тэорыі лікаў, алгебраічнай геаметрыі, тэорыі Галуа, крыптаграфыі, у распрацоўцы сакрэтных ключоў розных шыфраў (напрыклад, AES).

Найпрасцейшым прыкладам канечнага поля з’яўляецца

Z

p

= { 0 , 1 , … , p − 1 }

{\displaystyle \mathbb {Z} _{p}=\{0,1,\ldots ,p-1\}}

— колца вылікаў па модулю простага ліку

p

{\displaystyle p}

.

Гісторыя вывучэння

Першыя ўпамінанні пра нешта, блізкае да тэорыі канечных палёў, можна знайсці яшчэ ў XVII стагоддзі. Над гэтаю тэмай працавалі такія навукоўцы, як П’ер Ферма, Леанард Эйлер, Жазеф Луі Лагранж і Адрыен Мары Лежандр, якіх можна лічыць заснавальнікамі тэорыі простых канечных палёў. Аднак большую цікавасць прадстаўляе агульная тэорыя канечных палёў, якая бярэ пачатак з прац Гауса і Галуа. У гонар апошняга канечныя палі і атрымалі сваю другую назву — палі Галуа. Да некаторага часу гэтая тэорыя прымянялася толькі ў алгебры і тэорыі лікаў, аднак у другой палавіне XX стагоддзя выявіліся новыя вобласці дотыку з тэорыяй палёў(руск.) бел., тэорыяй груп, алгебраічнаю геаметрыяй, камбінаторыкаю і тэорыяй кадзіравання[1].

Уклад Галуа

У 1830 годзе Эварыст Галуа апублікаваў працу[2], якая стала асноваю агульнай тэорыі канечных палёў. Зыходнаю мэтаю Галуа было вывучэнне параўнання

f ( x ) ≡ 0

( mod

p )

,

{\displaystyle f(x)\equiv 0!!{\pmod {p}},}

якое з’яўляецца абагульненнем квадратычных параўнанняў, даследаваных Гаусам (гл. квадратычны закон узаемнасці). Тут

f ( x )

{\displaystyle f(x)}

— адвольны непрыводны мнагачлен ступені n. У гэтай рабоце Галуа ўводзіць уяўны корань параўнання

f ( x ) ≡ 0

( mod

p )

{\displaystyle f(x)\equiv 0!!{\pmod {p}}}

і абазначае яго

i

{\displaystyle i}

. Пасля гэтага разглядаецца агульны выраз

A

a

0

a

1

i +

a

2

i

2

. . . +

a

n − 1

i

n − 1

,

{\displaystyle A=a_{0}+{a_{1}}i+{a_{2}}i^{2}+…+a_{n-1}i^{n-1},}

дзе

a

0

,

a

1

, . . . ,

a

n − 1

{\displaystyle a_{0},a_{1},…,a_{n-1}}

— нейкія цэлыя лікі па модулю p. Калі прысвойваць гэтым лікам усе магчымыя значэнні, выраз

A

{\displaystyle A}

будзе прымаць

p

n

{\displaystyle p^{n}}

значэнняў. Далей Галуа паказвае, што гэтыя значэнні ўтвараюць поле магутнасці

p

n

,

{\displaystyle p^{n},}

і яго мультыплікатыўная група з’яўляецца цыклічнаю[3]. Такім чынам, гэтая праца стала першым каменем у падмурку агульнай тэорыі канечных палёў. У адрозненне ад яго папярэднікаў, якія разглядалі толькі палі

F

p

,

{\displaystyle \mathbb {F} _{p},}

Галуа разглядае ўжо палі

F

p

n

,

{\displaystyle \mathbb {F} _{p^{n}},}

якія пачалі называць палямі Галуа ў яго гонар.

На самай справе, Гаус пачаў працаваць у гэтым напрамку прыкладна на 30 гадоў раней, але пры яго жыцці гэтыя даследаванні так і не былі выдадзены. Верагодна, гэтае даследаванне было праігнаравана рэдактарам яго твораў[4], таму ў свет гэтая праца выйшла толькі ў пасмяротным выданні ў 1863.

Далейшае развіццё

У 1893 годзе матэматык Эліякім Мур(руск.) бел. даказаў тэарэму аб класіфікацыі канечных палёў[5], якая сцвярджае, што любое канечнае поле з’яўляецца полем Галуа.

Да гэтага ж года адносіцца першая спроба аксіяматычнага падыходу да тэорыі канечных палёў, ажыццёўленая Генрыхам Веберам(руск.) бел., які спрабаваў аб’яднаць у сваёй працы[6] паняцці, якія ўзніклі ў розных раздзелах матэматыкі, у тым ліку і паняцце канечнага поля.

Далей у 1905 годзе Джозэф Ведэрбёрн(англ.) бел. даказвае тэарэму(англ.) бел. аб тым, што любое канечнае цела камутатыўнае, г.зн. з’яўляецца полем.

Сучаснае аксіяматычнае азначэнне поля (з канечнымі палямі ў якасці асобнага выпадку) належыць Эрнсту Штайніцу(руск.) бел. і выкладзена ў яго працы 1910 года[7].

Далейшае развіццё тэорыі адбываецца ў тэарэтычных і прыкладных галінах, якія выкарыстоўваюць канечныя палі ў той ці іншай ролі.

Уласцівасці і факты

1. Характарыстыка канечнага поля з’яўляецца простым лікам, і лік элементаў канечнага поля ёсць яго характарыстыка ў натуральнай ступені:

|

F

q

|

= q

p

n

{\displaystyle |\mathbb {F} _{q}|=q=p^{n}}

. 2. Канечнае поле не можа быць упарадкаваным(руск.) бел., бо ўпарадкаванае поле ўтрымлівае бесканечна многа элементаў. 3. Канечнае поле не з’яўляецца алгебраічна замкнутым. Мнагачлен

f ( T )

1 +

∏

α ∈ F

(

T − α

)

{\displaystyle f(T)=1+\prod _{\alpha \in F}\left(T-\alpha \right)}

не мае каранёў у

F

{\displaystyle F}

, прычым

f ( α )

1 ,   ∀ α ∈ F

{\displaystyle f(\alpha )=1,\ \forall \alpha \in F}

4. Для кожнага простага ліку

p

{\displaystyle p}

і натуральнага

n

{\displaystyle n}

існуе канечнае поле з

q

p

n

{\displaystyle q=p^{n}}

элементаў, адзінае, з дакладнасцю да ізамарфізму. Гэтае поле ізаморфнае полю раскладання мнагачлена

x

q

− x ∈

F

p

[ x ]

{\displaystyle x^{q}-x\in \mathbb {F} _{p}[x]}

. 5. Мультыплікатыўная група

F

q

∗

{\displaystyle \mathbb {F} _{q}^{*}}

канечнага поля

F

q

{\displaystyle \mathbb {F} _{q}}

з’яўляецца цыклічнай групай парадку

q − 1

{\displaystyle q-1}

. * У прыватнасці, у канечным полі заўсёды існуе прымітыўны элемент(руск.) бел.

α


\{\displaystyle \alpha \}

![\{\displaystyle \alpha \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3), парадак якога роўны 



q
−
1


\{\displaystyle q-1\}

![\{\displaystyle q-1\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bfc49678846b112cde021e3cb52d9b3b15decaf), г. зн. 




α

q
−
1


=
1


\{\displaystyle \alpha ^\{q-1\}=1\}

![\{\displaystyle \alpha ^\{q-1\}=1\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0876e43d6c82819e8123f74533816de523a7fbc) і 




α

i


≠
1


\{\displaystyle \alpha ^\{i\}\neq 1\}

![\{\displaystyle \alpha ^\{i\}\neq 1\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdcacb94b64eb14dcb5bf12ba13fc7cd26499bda) для 



0
<
i
<
q
−
1


\{\displaystyle 0<i<q-1\}

![\{\displaystyle 0<i<q-1\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cf5753cd2803f2501e96d0595e0d030848417bcb).
* Любы ненулявы элемент 



β


\{\displaystyle \beta \}

![\{\displaystyle \beta \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ed48a5e36207156fb792fa79d29925d2f7901e8) з'яўляецца некаторай ступенню прымітыўнага элемента:




β
=

α

i


,

i
∈
\{
0
,
1
,
.
.
.
,
q
−
2
\}


\{\displaystyle \beta =\alpha ^\{i\},\quad i\in \\{0,1,...,q-2\\}\}

![\{\displaystyle \beta =\alpha ^\{i\},\quad i\in \\{0,1,...,q-2\\}\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ea31c73cbe2ef14e6fd323bd5eef2e2b672fbde).

6. Поле

F

p

n

{\displaystyle \mathbb {F} _{p^{n}}}

утрымлівае ў сабе ў якасці падполя

F

p

k

{\displaystyle \mathbb {F} _{p^{k}}}

тады і толькі тады, калі

k

{\displaystyle k}

з’яўляецца дзельнікам

n

{\displaystyle n}

. 7. Лік N непрыводных мнагачленаў ступені n вызначаецца па формуле

N ( q , n )

1 n

∑

d

|

n

μ ( d )

q

n d

,

{\displaystyle N(q,n)={\frac {1}{n}}\sum _{d|n}\mu (d)q^{\frac {n}{d}},}

дзе

μ

{\displaystyle \mu }

— функцыя Мёбіуса.

Прыклады

F2

+ 0 1 0 0 1 1 1 0

× 0 1 0 0 0 1 0 1

F3

+ 0 1 2 0 0 1 2 1 1 2 0 2 2 0 1

× 0 1 2 0 0 0 0 1 0 1 2 2 0 2 1

F4

+ 0 1 A B 0 0 1 A B 1 1 0 B A A A B 0 1 B B A 1 0

× 0 1 A B 0 0 0 0 0 1 0 1 A B A 0 A B 1 B 0 B 1 A

Іншае

• Z

p

{\displaystyle \mathbb {Z} _{p}}

, дзе

p

{\displaystyle p}

— просты:

Z

2

,

Z

3

,

Z

5

,

Z

7

{\displaystyle \mathbb {Z} _{2},;\mathbb {Z} _{3},;\mathbb {Z} _{5},;\mathbb {Z} _{7}}

і гэтак далей.

• G F

(

p

n

)

Z

p

[ x ]

/

⟨ f ( x ) ⟩

{\displaystyle \mathrm {GF} (p^{n})=\mathbb {Z} _{p}[x]/\langle f(x)\rangle }

, дзе

⟨ f ( x ) ⟩

{\displaystyle \langle f(x)\rangle }

— галоўны ідэал кальца

Z

p

[ x ]

{\displaystyle \mathbb {Z} _{p}[x]}

, спароджаны непрыводным мнагачленам

f ( x ) ∈

Z

p

[ x ]

{\displaystyle f(x)\in \mathbb {Z} _{p}[x]}

ступені

n

{\displaystyle n}

.

Пабудова

Пабудова поля

G F

(

p

n

)

{\displaystyle \mathrm {GF} (p^{n})}

, дзе p — просты лік, n — натуральны лік, пачынаецца з пабудовы ягонага простага падполя

G F

( p )

{\displaystyle \mathrm {GF} (p)}

(якое супадае з усім полем пры n=1).

• Простае поле

G F

( p )

{\displaystyle \mathrm {GF} (p)}

будуецца як кальцо

Z

p

{\displaystyle \mathbb {Z} _{p}}

вылікаў па модулю

p

{\displaystyle p}

, якое дзякуючы прастаце

p

{\displaystyle p}

не мае дзельнікаў нуля і таму з’яўляецца полем. Элементы

Z

p

{\displaystyle \mathbb {Z} _{p}}

— лікі

0 ,

1 ,

2 ,

… ,

p − 1

{\displaystyle 0,;1,;2,;\ldots ,;p-1}

. Аперацыі праводзяцца як са звычайнымі цэлымі лікамі з прывядзеннем выніку па модулю

p

{\displaystyle p}

.

• Поле

G F

(

p

n

)

{\displaystyle \mathrm {GF} (p^{n})}

пры n>1 будуецца як фактарколца

K

=

Z

p

[ x ]

/

⟨ f ( x ) ⟩

{\displaystyle \mathbb {K} =\mathbb {Z} _{p}[x]/\langle f(x)\rangle }

, дзе

f ( x )

{\displaystyle f(x)}

— непрыводны мнагачлен ступені n над полем

Z

p

{\displaystyle \mathbb {Z} _{p}}

. Такім чынам, каб пабудаваць поле з

p

n

{\displaystyle p^{n}}

элементаў, дастаткова адшукаць мнагачлен ступені

n

{\displaystyle n}

, непрыводны над полем

Z

p

{\displaystyle \mathbb {Z} _{p}}

. Элементамі поля

K

{\displaystyle \mathbb {K} }

з’яўляюцца ўсе мнагачлены ступені, меншай чым

n

{\displaystyle n}

з каэфіцыентамі з

Z

p

{\displaystyle \mathbb {Z} _{p}}

. Арыфметычныя аперацыі (складанне і множанне) ажыццяўляюцца па модулю мнагачлена

f ( x )

{\displaystyle f(x)}

, г.зн. вынік адпаведнай аперацыі — гэта астача ад дзялення на

f ( x )

{\displaystyle f(x)}

з прывядзеннем каэфіцыентаў па модулю

p

{\displaystyle p}

.

Прыклад пабудовы поля GF(9)

Каб пабудаваць поле

G F

( 9 )

G F

(

3

2

)

{\displaystyle \mathrm {GF} (9)=\mathrm {GF} (3^{2})}

, неабходна знайсци мнагачлен ступені 2, непрыводны над

Z

3

{\displaystyle \mathbb {Z} _{3}}

. Такімі мнагачленамі з’яўляюцца:

$\{\displaystyle x^\{2\}+1\}$

$\{\displaystyle x^\{2\}+x+2\}$

$\{\displaystyle x^\{2\}+2x+2\}$

$\{\displaystyle 2x^\{2\}+2\}$

$\{\displaystyle 2x^\{2\}+x+1\}$

$\{\displaystyle 2x^\{2\}+2x+1\}$

Возьмем, напрыклад,

x

2

1

{\displaystyle x^{2}+1}

, тады шуканае поле ёсць

G F

( 9 )

Z

3

[ x ]

/

⟨

x

2

1 ⟩

{\displaystyle \mathrm {GF} (9)=\mathbb {Z} _{3}[x]/\langle x^{2}+1\rangle }

. Калі замест

x

2

1

{\displaystyle x^{2}+1}

узяць іншы мнагачлен, то атрымаецца новае поле, ізаморфнае старому.

Табліца складання ў GF(9)

G F

( 9 )

Z

3

[ x ]

/

⟨

x

2

1 ⟩

{\displaystyle \mathrm {GF} (9)=\mathbb {Z} _{3}[x]/\langle x^{2}+1\rangle }

+	0	1	2	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$
0	0	1	2	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$
1	1	2	0	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle x\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle 2x\}$
2	2	0	1	$\{\displaystyle x+2\}$	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$
$\{\displaystyle x\}$	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$	0	1	2
$\{\displaystyle x+1\}$	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle x\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle 2x\}$	1	2	0
$\{\displaystyle x+2\}$	$\{\displaystyle x+2\}$	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$	2	0	1
$\{\displaystyle 2x\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$	0	1	2	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$
$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle 2x\}$	1	2	0	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle x\}$
$\{\displaystyle 2x+2\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$	2	0	1	$\{\displaystyle x+2\}$	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$

Табліца множання ў GF(9)

G F

( 9 )

Z

3

[ x ]

/

⟨

x

2

1 ⟩

{\displaystyle \mathrm {GF} (9)=\mathbb {Z} _{3}[x]/\langle x^{2}+1\rangle }

×	0	1	2	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$
0	0	0	0	0	0	0	0	0	0
1	0	1	2	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$
2	0	2	1	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle x\}$	$\{\displaystyle x+2\}$	$\{\displaystyle x+1\}$
$\{\displaystyle x\}$	0	$\{\displaystyle x\}$	$\{\displaystyle 2x\}$	2	$\{\displaystyle x+2\}$	$\{\displaystyle 2x+2\}$	1	$\{\displaystyle x+1\}$	$\{\displaystyle 2x+1\}$
$\{\displaystyle x+1\}$	0	$\{\displaystyle x+1\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle x+2\}$	$\{\displaystyle 2x\}$	1	$\{\displaystyle 2x+1\}$	2	$\{\displaystyle x\}$
$\{\displaystyle x+2\}$	0	$\{\displaystyle x+2\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle 2x+2\}$	1	$\{\displaystyle x\}$	$\{\displaystyle x+1\}$	$\{\displaystyle 2x\}$	2
$\{\displaystyle 2x\}$	0	$\{\displaystyle 2x\}$	$\{\displaystyle x\}$	1	$\{\displaystyle 2x+1\}$	$\{\displaystyle x+1\}$	2	$\{\displaystyle 2x+2\}$	$\{\displaystyle x+2\}$
$\{\displaystyle 2x+1\}$	0	$\{\displaystyle 2x+1\}$	$\{\displaystyle x+2\}$	$\{\displaystyle x+1\}$	2	$\{\displaystyle 2x\}$	$\{\displaystyle 2x+2\}$	$\{\displaystyle x\}$	1
$\{\displaystyle 2x+2\}$	0	$\{\displaystyle 2x+2\}$	$\{\displaystyle x+1\}$	$\{\displaystyle 2x+1\}$	$\{\displaystyle x\}$	2	$\{\displaystyle x+2\}$	1	$\{\displaystyle 2x\}$

Прыкладанні

Дыяфантавы ўраўненні

Дыяфантава ўраўненне — ураўненне з цэлымі каэфіцыентамі, у якім зменныя таксама прымаюць цэлалікавыя значэнні. Вялікую хвалю абмеркавання такіх ураўненняў выклікаў Ферма, сфармуляваўшы свае тэарэмы. Малая тэарэма Ферма сцвярджае, што калі

p

{\displaystyle p}

— просты лік, які не з’яўляецца дзельнікам другога ліку

a

{\displaystyle a}

, то

a

p − 1

≡ 1

( mod

p )

{\displaystyle a^{p-1}\equiv 1{\pmod {p}}}

. У тэорыі канечных палёў гэтая тэарэма з’яўляецца відавочным вынікам з тэарэмы Лагранжа, прымененай да мультыплікатыўнай падгрупы, спароджанай элементам

a

{\displaystyle a}

, бо ўся мультыплікатыўная група поля

F

p

{\displaystyle \mathbb {F} _{p}}

складаецца з

p − 1

{\displaystyle p-1}

элементаў.

Ферма заўважае, што адзіныя простыя лікі, якія можна раскласці ў суму двух квадратаў — гэта тыя простыя лікі, якія даюць астачу 1 пры дзеленні на 4. Сярод іншага, ён адзначае, што

5

1

2

2

2

,

13

2

2

3

2

,

17

1

2

4

2

,

29

2

2

5

2

,

37

1

2

6

2

,

41

4

2

5

2

.

{\displaystyle 5=1^{2}+2^{2},\quad 13=2^{2}+3^{2},\quad 17=1^{2}+4^{2},\quad 29=2^{2}+5^{2},\quad 37=1^{2}+6^{2},\quad 41=4^{2}+5^{2}.}

.

У сваім пісьме Марену Мерсенну, датаваным 25 снежня 1640 года, Ферма прапануе рашыць ураўненне

a

2

b

2

= p .

{\displaystyle a^{2}+b^{2}=p.}

Юліус Дэдэкінд даследаваў[8] падобныя ўраўненні ў нейкім канечным полі

F

p

{\displaystyle \mathbb {F} _{p}}

. У гэтым полі ўраўненне прымае від

a

2

b

2

= 0

{\displaystyle a^{2}+b^{2}=0}

. Калі

b

0

{\displaystyle b=0}

, то рашэнне будзе трывіяльнае. У процілеглым выпадку можна падзяліць абедзве часткі на

b

2

{\displaystyle b^{2}}

і, зрабіўшы замену, атрымліваем ураўненне выгляду

x

2

1

0

{\displaystyle x^{2}+1=0}

. Дамножыўшы на

x

2

− 1

0

{\displaystyle x^{2}-1=0}

, атрымліваем

x

4

− 1

0

{\displaystyle x^{4}-1=0}

. Лічачы

x

{\displaystyle x}

утваральнікам мультыплікатыўнай падгрупы парадку 4, можна атрымаць неабходныя і дастатковыя ўмовы на p, пры якіх ураўненне мае рашэнне. Далейшы доказ тэарэмы, праведзены Дэдэкіндам, не выкарыстоўвае паняцці канечных палёў, і яго можна знайсці ў адпаведным артыкуле.

Тэорыя карэкціруючых кодаў

Годам стварэння тэорыі карэкціруючых кодаў лічыцца 1948 год, у якім быў апублікаваны артыкул Клода Шэнана[9], у якой ён паказвае, што наяўнасць памылак пры перадачы інфармацыі па якім-небудзь канале залежыць у тым ліку ад суадносін скорасці перадачы і прапускной здольнасці канала. Скорасць перадачы павінна быць вышэйшая за прапускную здольнасць. Шэнан прывёў доказы, але яны былі прызнаны няслушнымі. Канструктыўны падыход прапанаваў Рычард Хэмінг(руск.) бел.[10], задаўшы тым самым напрамак развіцця многіх пазнейшых артыкулаў па тэме. У сваёй працы Хэмінг пабудаваў просты код(руск.) бел., які пэўным чынам выпраўляе памылкі. Хэмінг разглядаў карэкціруючыя коды толькі над полем

F

2

{\displaystyle \mathbb {F} _{2}}

. Неўзабаве падобныя коды былі пабудаваны над адвольнымі канечнымі палямі Голеем(англ.) бел. у 1949 годзе[11]. Аднак найбольшы ўклад у гэту тэорыю належыць усё ж Хэмінгу.

Крыптаграфія

Канечныя палі шырока прымяняюцца ў крыптаграфіі. Асноватворнаю працай лічыцца артыкул Дыфі(руск.) бел. і Хелмана(руск.) бел.[12] па крыптаграфіі з адкрытым ключом, у якім быў прапанаваны пратакол абмену ключамі(руск.) бел.. У гэтай працы выкарыстоўваліся канечныя палі пэўнага віду. Цяпер жа існуе вялікае мноства крыптаграфічных пратаколаў і крыптасістэм, заснаваных на выкарыстанні канечных палёў. Гэта і схема Эль-Гамаля(руск.) бел., і Advanced Encryption Standard(руск.) бел., і схема Шнора(руск.) бел., і алгарытм Чаўма (сляпы подпіс)(руск.) бел., крыптасістэма XTR(англ.) бел., і шмат іншага. Алгарытмы на аснове эліптычных крывых, якія з’яўляюцца адным з ключавых аб’ектаў у сучаснай крыптаграфіі, таксама выкарыстоўваюць канечныя палі.

Таксама часта якасць шыфравання залежыць ад здольнасці хутка генераваць вялікія простыя лікі. Адпаведна, паўстае задача пабудовы алгарытму раскладання на простыя множнікі (вызначэнне простасці таго ці іншага ліку). Майкл Рабін(руск.) бел. апублікаваў даследаванне[13], у якім ён прапануе тэст прастаты на аснове ўласцівасцей мультыплікатыўнай групы поля.

Іншае

Тэорыя канечных палёў самым цесным чынам звязана з модульнаю арыфметыкай. У прыватнасці, паняцце аб канечных палях (якое існавала на той час) памагло Гаусу сфармуляваць квадратычны закон узаемнасці[14].

Эміль Арцін(руск.) бел. выкарыстаў інструментарый тэорыі канечных палёў для рашэння знакамітай дзявятай праблемы Гільберта(руск.) бел. (ён аналізаваў аналаг дзэта-функцыі Рымана над канечнымі палямі). Найбольш актыўнае абагульненне арыфметычнай геаметрыі на канечныя структуры адбывалася ў другой палавіне XX стагоддзя, калі Андрэ Вейль(руск.) бел. абагульніў падыход да вывучэння алгебраічных крывых(руск.) бел., а П’ер Дэлінь(руск.) бел. — алгебраічных мнагастайнасцей(руск.) бел.. Гіпотэзы Вейля(англ.) бел. аб алгебраічных мнагастайнасцях над канечнымі палямі, канчаткова даказаныя ў 1940 годзе, былі адным з важных пытанняў таго часу.

У 1960 годзе Рай Чандра Бозэ(англ.) бел. і Двіджэндра Кумар Рэй-Чаўдхуры(англ.) бел. апублікавалі працу[15], у якой даследавалі сямейства мнагачленаў над канечнымі палямі. Алексіс Акенгем(англ.) бел. абагульніў іх тэорыю і гэта прывяло да стварэння кода БЧХ(руск.) бел., асобным выпадкам якога з’яўляецца шырока вядомы код Рыда — Соламана(руск.) бел., які прымяняецца вельмі шырока. Ён выкарыстоўваецца пры запісе і чытанні ў кантролерах аператыўнай памяці, пры архіваванні даных, запісе інфармацыі на жорсткія дыскі (ECC(руск.) бел.), запісе на CD/DVD дыскі. Цікава тое, што пры пашкоджанні значнага аб’ёму інфармацыі, ці калі сапсавана некалькі сектараў дыскавага накапляльніка, коды Рыда — Соламана дазваляюць аднавіць большую частку згубленай інфармацыі. Код БЧХ(руск.) бел. выкарыстоўваецца таксама ў сістэме сувязі некаторых зондаў NASA (такіх як Вояджэр)

Гл. таксама

• Поле
• Алгебраічнае пашырэнне(руск.) бел.
• Першаісны корань(руск.) бел.
• Аўтамарфізм Фрабеніуса(руск.) бел.

Зноскі

1. ↑ Лидл Р., Нидеррайтер Г. Конечные поля. — М.: Мир, 1988. — С. 5. — 808 с. — ISBN 5-03-000065-8.
2. ↑ Evariste Galois (1830), Sur la théorie des nombres. Bulletin des sciences mathématiques de M. Férussac 13, pp 428—435 (1830)
3. ↑ Israel Kleiner. A History of Abstract Algebra. — Birkhäuser, 2007. — С. 70. — 168 с. — ISBN 978-0-8176-4684-4.
4. ↑ G. Frei. The Unpublished Section Eight: On the Way to Function Fields over a Finite Field. — Goldstein Schappacher Schwermer, 2007. — С. 159-198.
5. ↑ Moore E. H. A double–infinite systems of simple groups. — Mathematical Papers Read at the International Mathematical Congress in Chicago, 1893. — С. 208–242.
6. ↑ H. Weber, " Die allgemeinen Grundlagen der Galois’schen Gleichungstheorie “, Mathematische Annalen, vol. 43,‎ 1893, p. 521—549
7. ↑ Ernst Steinitz, " Algebraische Theorie der Körper “, Journal für die reine und angewandte Mathematik, vol. 137,‎ 1910, p. 167—309 (ISSN 0075-4102)
8. ↑ R. Dedekind, Supplément XI des Leçons en théorie des nombres de Dirichlet, 1894
9. ↑ Шеннон, К. Математическая теория связи [Текст] / К. Шеннон // Работы по теории информации и кибернетике. — М. : Издательство иностранной литературы, 1963. — С. 243—332.
10. ↑ Хэмминг, К. Коды с обнаружением и исправлением ошибок [Текст] / К. Хэмминг // Коды с обнаружением и исправлением ошибок. — М. : Издательство иностранной литературы, 1956. — С. 7-23.
11. ↑ Golay M.J.E. Notes on digital coding // Proceedings IRE. 1949. V. 37, P.657.
12. ↑ W. Diffie and M.E. Hellman. New directions in cryptography. IEEE Trans. Info. Theory, IT-22(6):644-654, 1976.
13. ↑ M. Rabin, Probabilistic Algorithm for Testing Primality, J. Number Th. 12 (1980), 128—138
14. ↑ C. F. Gauss, Disquisitiones Arithmeticae, 1801
15. ↑ R. C. Bose et D. K. Ray-Chaudhuri, On a class of error-correcting binary group codes, Inform. Control, vol. 3, mars 1960, p. 68-79

Літаратура

• Винберг Э. Б. Курс алгебры. — 3-е изд. — М.: Факториал Пресс, 2002. — 544 с. — 3 000 экз. — ISBN 5-88688-060-7.
• Лидл Р., Нидеррайтер Г. Конечные поля. В 2-х тт. — М.: Мир, 1998.

Тэмы гэтай старонкі (3):
Катэгорыя·Вікіпедыя·Запыты на пераклад з рускай
Катэгорыя·Абстрактная алгебра
Катэгорыя·Тэорыя палёў