4 Počítání modulo polynom

Podobné dokumenty
Polynomy nad Z p Konstrukce faktorových okruhů modulo polynom. Alena Gollová, TIK Počítání modulo polynom 1/30

Charakteristika tělesa

Věta o dělení polynomů se zbytkem

)(x 2 + 3x + 4),

8 Kořeny cyklických kódů, BCH-kódy

Generující kořeny cyklických kódů. Generující kořeny. Alena Gollová, TIK Generující kořeny 1/30

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).

1 Mnohočleny a algebraické rovnice

Pomocný text. Polynomy

Polynomy. Mgr. Veronika Švandová a Mgr. Zdeněk Kříž, Ph. D. 1.1 Teorie Zavedení polynomů Operace s polynomy...

z = a bi. z + v = (a + bi) + (c + di) = (a + c) + (b + d)i. z v = (a + bi) (c + di) = (a c) + (b d)i. z v = (a + bi) (c + di) = (ac bd) + (bc + ad)i.

Lineární algebra Kapitola 1 - Základní matematické pojmy

[1] Definice 1: Polynom je komplexní funkce p : C C, pro kterou. pro všechna x C. Čísla a 0, a 1,..., a n nazýváme koeficienty polynomu.

Nechť M je množina. Zobrazení z M M do M se nazývá (binární) operace

1 Mnohočleny a algebraické rovnice

Okruhy, podokruhy, obor integrity, těleso, homomorfismus. 1. Rozhodněte, zda daná množina M je podokruhem okruhu (C, +, ): f) M = { a

1 Polynomiální interpolace

Základy elementární teorie čísel

Základy elementární teorie čísel

2. V Q[x] dělte se zbytkem polynomy:

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Těleso racionálních funkcí

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

Definice 13.1 Kvadratická forma v n proměnných s koeficienty z tělesa T je výraz tvaru. Kvadratická forma v n proměnných je tak polynom n proměnných s

Vektorový prostor. Př.1. R 2 ; R 3 ; R n Dvě operace v R n : u + v = (u 1 + v 1,...u n + v n ), V (E 3 )...množina vektorů v E 3,

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

BCH kódy. Alena Gollová, TIK BCH kódy 1/27

Učební texty k státní bakalářské zkoušce Matematika Algebra. študenti MFF 15. augusta 2008

Cyklické kódy. Definujeme-li na F [x] n sčítání a násobení jako. a + b = π n (a + b) a b = π n (a b)

Lineární algebra : Polynomy

0.1 Úvod do lineární algebry

Západočeská univerzita v Plzni FAKULTA PEDAGOGICKÁ KATEDRA MATEMATIKY, FYZIKY A TECHNICKÉ VÝCHOVY

0.1 Úvod do lineární algebry

Dosud jsme se zabývali pouze soustavami lineárních rovnic s reálnými koeficienty.

Necht tedy máme přirozená čísla n, k pod pojmem systém lineárních rovnic rozumíme rovnice ve tvaru

Matematická analýza ve Vesmíru. Jiří Bouchala

4C. Polynomy a racionální lomené funkce. Patří mezi tzv. algebraické funkce, ke kterým patří také funkce s odmocninami. Polynomy

MPI - 5. přednáška. 1.1 Eliptické křivky

Matematická analýza 1

ALGEBRA. Téma 4: Grupy, okruhy a pole

Kapitola 11: Lineární diferenciální rovnice 1/15

Matematika (CŽV Kadaň) aneb Úvod do lineární algebry Matice a soustavy rovnic

Cyklické kódy. Alena Gollová, TIK Cyklické kódy 1/23

Obsah. Euler-Fermatova věta. Reziduální aritmetika. 3. a 4. přednáška z kryptografie

Báze a dimenze vektorových prostorů

Matice. Předpokládejme, že A = (a ij ) je matice typu m n: diagonálou jsou rovny nule.

Matematika B101MA1, B101MA2

Diskrétní matematika 1. týden

a počtem sloupců druhé matice. Spočítejme součin A.B. Označme matici A.B = M, pro její prvky platí:

EUKLIDOVSKÉ PROSTORY

Teoretická informatika Tomáš Foltýnek Algebra Struktury s jednou operací

1 Lineární prostory a podprostory

označme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,

Soustavy lineárních rovnic a determinanty

Okruh Lineární rovnice v Z m Těleso Gaussova eliminace (GEM) Okruh Z m. Jiří Velebil: X01DML 19. listopadu 2007: Okruh Z m 1/20

POLYNOMY 1 Jan Malý UK v Praze a UJEP v Ústí n. L. 1. Přehled teorie

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

Úvod do lineární algebry

a a

Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují

8.3). S ohledem na jednoduchost a názornost je výhodné seznámit se s touto Základní pojmy a vztahy. Definice

Kongruence na množině celých čísel

pouze u některých typů rovnic a v tomto textu se jím nebudeme až na

Lineární algebra : Polynomy

Polynomy. Vlasnosti reálných čísel: Polynom v matematice můžeme chápat dvojím způsobem. 5. (komutativitaoperace )provšechnačísla a, b Rplatí

α β ) právě tehdy, když pro jednotlivé hodnoty platí β1 αn βn. Danou relaci nazýváme relace

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

6.1 Vektorový prostor

Matematika. Kamila Hasilová. Matematika 1/34

1 Báze a dimenze vektorového prostoru 1

Princip rozšíření a operace s fuzzy čísly

15. Moduly. a platí (p + q)(x) = p(x) + q(x), 1(X) = id. Vzniká tak struktura P [x]-modulu na V.

Základy matematiky pro FEK

transformace je posunutí plus lineární transformace má svou matici vzhledem k homogenním souřadnicím [1]

Lineární zobrazení. 1. A(x y) = A(x) A(y) (vlastnost aditivity) 2. A(α x) = α A(x) (vlastnost homogenity)

Četba: Texty o lineární algebře (odkazy na webových stránkách přednášejícího).

1 Linearní prostory nad komplexními čísly

Úvod do informatiky. Miroslav Kolařík

Lineární algebra : Lineární prostor

Nejdřív spočítáme jeden příklad na variaci konstant pro lineární diferenciální rovnici 2. řádu s kostantními koeficienty. y + y = 4 sin t.

pochopení celé kapitoly je myšlenka, že těleso S lze považovat za vektorový prostor

Operace s maticemi

LDF MENDELU. Simona Fišnarová (MENDELU) LDR druhého řádu VMAT, IMT 1 / 22

(4x) 5 + 7y = 14, (2y) 5 (3x) 7 = 74,

Základy maticového počtu Matice, determinant, definitnost

Četba: Texty o lineární algebře (odkazy na webových stránkách přednášejícího).

Operace s maticemi. 19. února 2018

Jak funguje asymetrické šifrování?

MAT 1 Mnohočleny a racionální lomená funkce

Základy teorie matic

Univerzita Karlova v Praze Pedagogická fakulta

1 Řešení soustav lineárních rovnic

Algebraická teorie diskrétního lineárního řízení vznikla jako speciální obor teorie

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

1 Determinanty a inverzní matice

4. OBYČEJNÉ DIFERENCIÁLNÍ ROVNICE

ALGEBRA. 1. Pomocí Eukleidova algoritmu najděte největší společný dělitel čísel a a b. a) a = 204, b = 54, b) a = , b =

Trocha teorie Ošklivé lemátko První generace Druhá generace Třetí generace Čtvrtá generace O OŠKLIVÉM LEMÁTKU PAVEL JAHODA

Úvod. Integrování je inverzní proces k derivování Máme zderivovanou funkci a integrací získáme původní funkci kterou jsme derivovali

Transkript:

8 4 Počítání modulo polynom Co se vyplatilo jendou, vyplatí se i podruhé. V této kapitole zavedeme polynomy nad Z p a ukážeme, že množina všech polynomů nad Z p tvoří komutativní okruh s jednotkou. Je-li p prvočíslo, tak lze v tomto okruhu dělit se zbytkem každým nenulovým polynomem. Díky tomu můžeme, podobně jako v okruhu celých čísel, vytvořit faktorové okruhy modulo polynom. Počítáme-li modulo ireducibilní polynom, získáme komutativní těleso. Polynomy nad Z p 4.1 Definice Polynom a(x) nad Z p je výraz tvaru a k x k +... + a 1 x + a 0, kde koeficienty a i jsou ze Z p. Symbol x nazýváme proměnná. Největší k takové, že a k 0, se nazývá stupeň polynomu, značí se st(a(x)). Pro nulový polynom klademe st(0) = 1. Množinu všech polynomů nad Z p v proměnné x značíme Z p [x]. 4.2 Definice Rovnost polynomů nad Z p nastane, pokud oba polynomy mají stejný stupeň a stejné koeficienty u stejných mocnin. Poznámka: Různé polynomy nad Z p mohou určovat stejné funkce ze Z p do Z p. Funkce jsou stejné tehdy, mají-li stejný definiční obor a dávají-li stejné výsledky v každém prvku definičního oboru. Je tedy p p funkcí ze Z p do Z p, zatímco polynomů nad Z p je spočetně mnoho. Např. polynomy x + 1 a x 2 + 1 určují stejné funkce ze Z 2 do Z 2. 4.3 Na množině polynomů nad Z p jsou definovány operace sčítání a násobení analogicky jako pro reálné polynomy, pouze s koeficienty počítáme v Z p. Pro stupně výsledných polynomů platí: st(a(x) + b(x)) max(st(a(x)), st(b(x))) st(a(x) b(x)) = st(a(x)) + st(b(x)), jsou-li oba polynomy nenulové, jinak by byl st(a(x) b(x)) = 1. Poznámka: Pro polynomy nad Z n, kde n p, neplatí tento vztah pro stupeň součinu, protože okruh Z n obsahuje dělitele nuly (tj. nenulové prvky, jejichž součin je nula). Např. v Z 6 [x] je st(2x 3x) = st(0) = 1. 4.4 Tvrzení Trojice (Z p [x], +, ) tvoří komutativní okruh s jednotkou. Invertibilními jsou v něm pouze nenulové konstanty. 4.5 Věta o dělení se zbytkem Pro libovolné polynomy a(x), b(x) Z p [x], kde b(x) 0, existují jednoznačně určené polynomy r(x), z(x) Z p [x] tak, že a(x) = r(x) b(x) + z(x) a st(z(x)) < st(b(x)). Důkaz Polynomy r(x) a z(x) najdeme stejným algoritmem pro dělení polynomů jako u reálných polynomů, pouze místo dělení vedoucím koeficientem používáme násobení k němu inverzním prvkem. Pro st(a(x)) < st(b(x)) je r(x) = 0 a z(x) = a(x). V opačném případě spočteme první člen částečného podílu takto: (a k x k +... + a 1 x + a 0 ) : (b m x m +... + b 1 x + b 0 ) = (a k b 1 m x k m +... ) Po zpětném vynásobení polynomu b(x) prvním členem podílu a po odečnení tohoto součinu od polynomu a(x) se sníží stupeň dělence. Postup opakujeme, dokud není stupeň dělence menší než st(b(x)). Poznámka: V algoritmu dělení polynomů je důležité, že jakýkoliv nenulový vedoucí koeficient polynomu b(x) má v tělese Z p inverzní prvek. To v okruhu Z n neplatí, tudíž algoritmus dělení nebude pro polynomy, jejichž vedoucí koeficient nemá inverzní prvek, fungovat. Skutečně, v Z n [x], kde n není prvočíslo, nelze dělit těmi polynomy, které mají neinvertibilní vedoucí koeficient. Tudíž pro polynomy nad Z n nelze vystavět následující teorii opřenou o dělení se zbytkem. Naopak algoritmus dělení polynomů funguje pro polynomy nad libovolným tělesem T, pro ně se dá následující teorie zcela analogicky použít. Alena Gollová: TIK 8 2. května 2012

9 První sada důsledků: 4.6 Definice Polynom a(x) dělí polynom b(x) v Z p [x], jestliže b(x) = r(x) a(x) pro nějaký polynom r(x) Z p [x]. Značíme a(x) b(x). Přitom nenulová konstanta c ze Z p dělí každý polynom b(x), neboť b(x) = c (c 1 b(x)). Relace dělitelnosti není uspořádáním na množině Z p [x]. Polynomy, které se liší o konstantní násobek, se dělí navzájem, tj. a(x) b(x) a b(x) a(x). Říkáme, že jsou to asocionané polynomy, a značíme a(x) b(x). 4.7 Definice Prvek c Z p je kořen polynomu q(x) Z p [x], jestliže platí q(c) = 0. 4.8 Tvrzení Prvek c Z p je kořenem polynomu q(x) Z p [x] právě, když polynom (x c) dělí polynom q(x). 4.9 Tvrzení Polynom q(x) Z p [x] stupně k 0 má v tělese Z p nejvýše k kořenů. Důkaz indukcí podle k. Polynom stupně nula je nenulová konstanta, nemá tedy žádný kořen. Předpokládejme, že každý polynom stupně k má nejvýše k kořenů, a zvolme libovolně polynom q(x) stupně k + 1. Pokud q(x) nemá žádný kořen, tak počet kořenů je menší než k + 1. Pokud má q(x) kořen c, tak q(x) = (x c) r(x), kde st(r(x)) = k, tudíž dle předpokladu má polynom r(x) nejvýše k kořenů. Přitom pro libovolný kořen b polynomu q(x) platí 0 = q(b) = (b c) r(b) v tělese Z p. Protože těleso nemá dělitele nuly, je buď b = c nebo r(b) = 0, tj. b je kořen polynomu r(x). Počet kořenů polynomu q(x) je tudíž nejvýše k + 1. Poznámka: Stejně by se dokázalo, že polynom nad libovolným tělesem má nejvýše tolik kořenů, kolik je jeho stupeň. Důkaz však selže pro polynomy nad okruhem, ve kterém jsou dělitelé nuly. Tam je skutečně možné, že polynom stupně k má více než k kořenů a že se dá rozložit různými způsoby na polynomy nižších stupňů. Např. v Z 8 [x] platí x 2 1 = (x 1)(x + 1) = (x 3)(x + 3). Polynom x 2 1 má celkem čtyři kořeny v okruhu Z 8 a jsou to prvky 1, 1 = 7, 3, 3 = 5. 4.10 Definice Polynom q(x) stupně k 1 se nazývá ireducibilní polynom nad Z p, jestliže se q(x) nedá napsat jako součin dvou polynomů nad Z p stupně menšího než k. Každý polynom lze rozložit na q(x) = c (c 1 q(x)) pro 0 c Z p, stejně jako lze každé celé číslo rozložit na n = 1 n. Ireducibilní polynomy q(x) má pouze tyto rozklady, aneb q(x) je dělitelný pouze konstantami a polynomy asociovanými s q(x). 4.11 Testování ireducibility polynomu q(x): Polynom q(x) je ireducibilní nad Z p, pokud není dělitelný žádným ireducibilním polynomem nad Z p stupně nejvýše st(q(x)) 2. Místo dělení polynomu q(x) lineárními polynomy (x c) můžeme zkoušet, zda c není kořenem polynomu q(x). 4.12 Tvrzení Polynom q(x) stupně st(q) 3 je ireducibilní nad Z p právě, když q(x) nemá kořen v Z p. 4.13 Příklad Polynom x 2 +1 je ireducibilní nad Z 3, neboť nemá kořen v Z 3. Tentýž polynom je ale rozložitelný nad Z 2, neboť má kořen c = 1 v Z 2, x 2 + 1 = (x + 1) 2 je jeho rozklad na ireducibilní polynomy v Z 2 [x]. Polynom x 4 + x 2 + 1 sice nemá kořen v Z 2, ale není ireducibilní, neboť x 4 + x 2 + 1 = (x 2 + x + 1) 2 v Z 2 [x]. 4.14 Věta Nad Z p existují ireducibilní polynomy libovolného stupně k 1. Uvědomme si, že situace s ireducibilními polynomy je nad Z p naprosto jiná než u reálných polynomů. Mezi reálnými polynomy jsou kromě lineárních polynomů ireducibilní už jen kvadratické polynomy s komplexně sdruženými kořeny a všechny reálné polynomy stupně k 3 jsou rozložitelné. 4.15 Tvrzení Každý polynom m(x) nad Z p lze jednoznačně (až na pořadí) rozložit v Z p [x] na součin konstanty a monických ireducibilních polynomů, tj. m(x) = c q 1 (x)... q n (x), kde c Z p a všechny q i jsou monické polynomy ireducibilní nad Z p (monické polynomy mají vedoucí koeficient roven 1). Poznámka: Jednoznačnost rozkladů platí pro polynomy na libovolným tělesem, nemusí však platit pro polynomy nad okruhem, jak bylo ukázáno výše. Alena Gollová: TIK 9 2. května 2012

10 Druhá sada důsledků: 4.16 Definice Největší společný dělitel dvou polynomů a(x), b(x) Z p [x] je takový polynom d(x) Z p [x], že d(x) dělí oba polynomy a(x) i b(x), že d(x) je dělitelný všemi společnými děliteli obou polynomů a konečně že d(x) je monický polynom (má vedoucí koeficient roven 1). Značíme d(x) = gcd(a(x), b(x)). Bez požadavku, aby největší společný dělitel byl monický, bychom měli celou třídu navzájem asociovaných největších společných dělitelů polynomů a(x) a b(x). Připusťme i tento pohled na věc. 4.17 Definice Polynomy jsou nesoudělné, pokud jejich největší společný dělitel je 1 (nebo nenulová konstanta, nebudeme-li požadovat monický největší společný dělitel). 4.18 Pro hledání největšího společného dělitele polynomů můžeme použít Eukleidovův algoritmus, protože se opírá pouze o dělení se zbytkem a v okruhu polynomů nad Z p dělit se zbytkem umíme. Tudíž funguje i rozšířený Eukleidův algoritmus, který dokazuje Bezoutovu větu. 4.19 Věta (Bezoutova) Největší společný dělitel a(x), b(x) Z p [x] je jejich polynomiální kombinací, gcd(a(x), b(x)) = k(x)a(x) + l(x)b(x) pro k(x), l(x) Z p [x]. 4.20 Polynomiální rovnice a(x)r(x) + b(x)s(x) = c(x), kde a(x), b(x), c(x) Z p [x], má řešení v Z p [x] právě, když gcd(a(x), b(x)) c(x) v Z p [x]. Pokud nějaké řešení existuje, pak je jich nekonečně mnoho a jsou tvaru (r(x), s(x)) = (r p (x), s p (x)) + k(x)(r 0 (x), s 0 (x)) pro k(x) Z p [x], kde (r p (x), s p (x)) je partikulární řešení a najdeme ho pomocí rozšířeného Eukleidova algoritmu a kde (r 0 (x), s 0 (x)) je nesoudělné řešení homogenní rovnice, tedy (r 0 (x), s 0 (x)) = ( b(x) d(x), a(x) d(x) ) pro d(x) = gcd(a(x), b(x)). Třetí sada důsledků: Konstrukce faktorových okruhů modulo polynom 4.21 Definice Polynomy a(x), b(x) Z p [x] jsou kongruentní modulo polynom m(x), jestliže m(x) (b(x) a(x)) v Z p [x]. Značíme a(x) b(x) (mod m(x)). 4.22 Tvrzení a(x) b(x) (mod m(x)) právě, když mají a(x) a b(x) stejný zbytek po dělení polynomem m(x). 4.23 Tvrzení Relace kongruence modulo polynom m(x) je relace ekvivalence (tj. reflexivní, symetrická a tranzitivní relace) na množině všech polynomů nad Z p, která je zachována při sčítání a násobení: Pokud a(x) b(x) (mod m(x)) a c(x) d(x) (mod m(x)), pak a(x) + c(x) b(x) + d(x) (mod m(x)), a a(x) c(x) b(x) d(x) (mod m(x)). 4.24 Relace kongruence modulo polynom m(x) tudíž rozbije množinu polynomů nad Z p na třídy navzájem ekvivalentních polynomů, tj. třídy [a(x)] m(x) = {a(x) + k(x)m(x) k(x) Z p [x]}. Polynomy v jedné třídě mají stejný zbytek po dělení polynomem m(x), můžeme jej tedy zvolit za representanta této třídy. Třídy nazýváme zbytkové třídy modulo polynom m(x). Množinu všech zbytkových tříd modulo m(x) značíme Z p [x]/m(x). Má-li polynom m(x) stupeň k, pak zbytkem po dělení m(x) může být jakýkoliv polynom nad Z p stupně menšího než k, je tedy celkem p k různých zbytkových tříd. Z p [x]/m(x) = {[a(x)] m(x), a(x) Z p [x], st(a(x)) < st(m(x))} Na množině Z n můžeme korektně definovat operace sčítání a násobení přes representanty: [a(x)] m(x) [b(x)] m(x) = [a(x) + b(x)] m(x), [a(x)] m(x) [b(x)] m(x) = [a(x) b(x)] m(x) Díky definici přes representanty zdědí operace a vlastnosti, které měly operace sčítání a násobení na polynomech nad Z p. Alena Gollová: TIK 10 2. května 2012

11 4.25 Tvrzení Trojice (Z p [x]/m(x),, ) tvoří komutativní okruh s jednotkou, tzv. faktorový okruh modulo polynom m(x). V dalším textu zjednodušíme značení: pro prvky faktorových okruhů budeme používat jinou proměnnou než x, místo [a(x)] m(x) budeme psát většinou a(z), násobení a sčítání budeme značit obyčejně a +. ( Z p [x]/m(x) = {a k 1 z k 1 +... + a 1 z + a 0, a i Z p }, +, ) Všimněme si, že sčítání je normálním sčítáním polynomů nad Z p, při sčítání se totiž nezvýší stupeň a počítání modulo m(x) se neprojeví. Výsledkem násobení je zbytek po dělení součinu polynomů nad Z p polynomem m(x). 4.26 Lineární rovnice a(z)r(z) = b(z) ve faktorovém okruhu Z p [x]/m(x) řešíme převedením na polynomiální rovnici a(x)r(x) + m(x)s(x) = b(x) v Z p [x]. Víme tedy, že řešení existuje právě, když gcd(a(x), m(x)) b(x). Pak všechna řešení mají tvar r(z) = r p (z) + k(z)r 0 (z), kde r 0 (z) = m(z) d(z) pro d(x) = gcd(a(x), m(x)). Různá řešení v okruhu Z p [x]/m(x) budou vznikat pro různé polynomy k(x) Z p [x] stupně menšího než je st(d(x)). 4.27 Tvrzení Prvek a(z) je invertibilní v okruhu Z p [x]/m(x) právě, když je polynom a(x) nesoudělný s polynomem m(x) v Z p [x]. Důkaz Inverzní prvek k a(z) řeší rovnici a(z)r(z) = 1. Řešení rovnice existuje jen, když gcd(a(x), m(x)) 1, tedy a(x) je nesoudělný s m(x). 4.28 Věta Faktorový okruh Z p [x]/q(x) je tělesem právě tehdy, když q(x) je ireducibilní polynom nad Z p. Důkaz Ireducibilní polynom nemůže být soudělný se žádným polynomem nižšího stupně kromě 0, takže všechny nenulové prvky faktorového okruhu mají inverzní prvek. 4.29 Definice Nechť q(x) je ireducibilní polynom nad Z p stupně k. Těleso Z p [x]/q(x) se nazývá Galoisovo těleso o p k prvcích a značí se GF (p k ). 4.30 Pro Galoisova tělesa lze dokázat: Pro libovolné prvočíslo p a přirozené číslo k existuje Galoisovo těleso o p k prvcích (aneb existují ireducibilní polynomy nad Z p libovolného stupně k). Každá dvě Galoisova tělesa o p k prvcích jsou izomorfní (aneb na volbě ireducibilního polynomu nezáleží). Jiná konečná tělesa než tělesa Galoisova neexistují. 4.31 Příklady Okruh A = Z 2 [x]/(x 2 +1) = {0, 1, z, z +1} není těleso, protože polynom x 2 +1 = (x+1) 2 není ireducibilní nad Z 2. Konkrétně prvek z + 1 nemá inverzní prvek. Okruh B = Z 2 [x]/(x 2 + x + 1) = {0, 1, z, z + 1} je těleso, neboť polynom x 2 + x + 1 je ireducibilní nad Z 2. Všimněme si, že okruhy A a B mají stejné prvky a stejné sčítání, liší se pouze násobením. Oba okruhy také obsahují prvky 0 a 1 (resp. [0], [1]) a s nimi se počítá stejně jako v Z 2. Okruh B je navíc tělesem, říkáme, že B je rozšíření tělesa, či nadtěleso tělesa Z 2. Alena Gollová: TIK 11 2. května 2012

12 4.32 Jiný pohled na násobení ve faktorovém okruhu Z p [x]/m(x) Nechť m(x) = a k x k +... + a 1 x + a 0 je polynom je stupně k. V okruhu Z p [x]/m(x) platí vztah m(z) = a k z k +... + a 1 z + a 0 = 0, protože vydělíme-li polynom m(x) sebou samým, dostaneme zbytek 0. Z této rovnosti můžeme vyjádřit z k = a 1 k ( a k 1z k 1... a 1 z a 0 ). Přitom okruh Z p [x]/m(x) obsahuje polynomy stupně nejvýše (k 1). Při vynásobení dvou prvků vznikne polynom stupně nejvýše (2k 2). Potřebujeme tedy pravidla pro přepsání mocnin z k, z k+1 až z 2k 2, celkem (k 1) přepisovacích pravidel. Přepisovací pravidlo pro z k jsme již odvodili ze vztahu m(z) = 0. Ostatní přepisovací pravidla získáme z tohoto pravidla postupným násobením proměnnou z a dosazováním předchozích pravidel. Přepisovací pravidla lze použít i k řešení lineárních rovnic a(z)r(z) = b(z) ve faktorovém okruhu Z p [x]/m(x). Místo Eukleidova algoritmu budeme muset vyřešit soustavu k lineárních rovnic nad Z p pro k neznámých koeficienktů polynomu r(z). 4.33 Příklady Okruh A = Z 2 [x]/(x 2 + 1) = {0, 1, z, z + 1} má přepisovací pravidlo pro násobení z 2 = 1. Bývá zvykem značit z = i. Vytvořili jsme komplexní čísla nad Z 2. Těleso B = Z 2 [x]/(x 2 + x + 1) = {0, 1, z, z + 1} má přepisovací pravidlo pro násobení z 2 = z + 1. Těleso T = Z 2 [x]/(x 3 + x + 1) = {aα 2 + bα + c, a, b, c Z 2 } má dvě přepisovací pravidla pro násobení, α 3 = α + 1 a α 4 = α 2 + α. 4.34 O okruzích Z p [x]/(x 2 + 1) mluvíme též jako o komplexních číslech nad Z p a značíme je Z p [i]. Tedy Z p [i] = {ai + b, a, b Z p, i 2 = 1}. Stejným způsobem vznikla i komplexní čísla nad R, C = R[x]/x 2 + 1. Komplexní čísla nad Z p však netvoří vždy těleso, neboť polynom x 2 + 1 nemusí být ireducibilní nad Z p. Např. Z 3 [i] je těleso, ale Z 2 [i] není těleso (viz příklad 4.13). Alena Gollová: TIK 12 2. května 2012