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

Podobné dokumenty
4 Počítání modulo polynom

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

Charakteristika tělesa

)(x 2 + 3x + 4),

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).

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

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

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 Mnohočleny a algebraické rovnice

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

[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.

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.

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

Pomocný text. Polynomy

1 Polynomiální interpolace

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

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

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

Těleso racionálních funkcí

0.1 Úvod do lineární algebry

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

0.1 Úvod do lineární algebry

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

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í

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

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

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

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

Základy elementární teorie čísel

Lineární algebra : Polynomy

Základy elementární teorie čísel

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

EUKLIDOVSKÉ PROSTORY

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

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,

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)

Matematika B101MA1, B101MA2

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

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

Úvod do lineární algebry

1 Lineární prostory a podprostory

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

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

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

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

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

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 =

Lineární algebra : Polynomy

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

Lenka Zalabová. Ústav matematiky a biomatematiky, Přírodovědecká fakulta, Jihočeská univerzita. zima 2012

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

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

Matematická analýza 1

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:

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

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

Úvod do informatiky. Miroslav Kolařík

13. Kvadratické rovnice 2 body

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

1 Linearní prostory nad komplexními čísly

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

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

Cyklickékódy. MI-AAK(Aritmetika a kódy)

Základy matematiky pro FEK

Zavedení a vlastnosti reálných čísel

Jak funguje asymetrické šifrování?

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,

1 Báze a dimenze vektorového prostoru 1

maticeteorie 1. Matice A je typu 2 4, matice B je typu 4 3. Jakých rozměrů musí být matice X, aby se dala provést

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

Matematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci

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

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

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

Matice. Je dána matice A R m,n, pak máme zobrazení A : R n R m.

Lineární algebra : Lineární prostor

PROSTORY SE SKALÁRNÍM SOUČINEM. Definice Nechť L je lineární vektorový prostor nad R. Zobrazení L L R splňující vlastnosti

4. OBYČEJNÉ DIFERENCIÁLNÍ ROVNICE

vyjádřete ve tvaru lineární kombinace čtverců (lineární kombinace druhých mocnin). Rozhodněte o definitnosti kvadratické formy κ(x).

Diskrétní matematika 1. týden

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

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

Jan Kotůlek. verze 3 ze dne 25. února 2011

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

a a

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

Soustavy lineárních rovnic a determinanty

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

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Matematika IV - 5. přednáška Polynomy

6.1 Vektorový prostor

Základy matematiky pro FEK

Základy matematiky pro FEK

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

2.7.6 Rovnice vyšších řádů

Operace s maticemi

Operace s maticemi. 19. února 2018

Algebra 2 KMI/ALG2. Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. slidy k přednáškám

Transkript:

Počítání modulo polynom 3. přednáška z algebraického kódování Alena Gollová, TIK Počítání modulo polynom 1/30

Obsah 1 Polynomy nad Zp Okruh Zp[x] a věta o dělení se zbytkem 2 Kongruence modulo polynom, okruh zbytkových tříd Zp[x]/m(x) Galoisova tělesa GF (p k ) Alena Gollová, TIK Počítání modulo polynom 2/30

Polynomy nad Z p Definice Polynom nad Zp v proměnné x je výraz tvaru a(x) = a k x k + a k 1 x k 1 + + a 1 x + a 0, kde koeficienty a 0, a 1,..., a k jsou ze Zp. Množinu všech polynomů nad Zp v proměnné x značíme Zp[x]. Stupeň polynomu a(x) je největší k takové, že a k 0, značí se st(a(x)). Pro nulový polynom klademe st(0) = 1. Alena Gollová, TIK Počítání modulo polynom 3/30

Polynomy nad Z p Definice Rovnost polynomů a(x) = b(x) nad Zp nastane, pokud oba polynomy mají stejný stupeň a stejné koeficienty u odpovídajících mocnin. Poznámka Různé polynomy nad Zp mohou určovat stejné funkce ze Zp do Zp. Polynomů nad Zp je spočetně mnoho, funkcí ze Zp do Zp je p p. Např. polynomy x + 1 a x 2 + 1 určují stejné funkce ze Z2 do Z2. Alena Gollová, TIK Počítání modulo polynom 4/30

Polynomy nad Z p Definice Na množině polynomů nad Zp jsou definovány operace sčítání a násobení analogicky jako pro reálné polynomy, pouze s koeficienty počítáme v Zp. Tvrzení Trojice (Zp[x], +, ) tvoří komutativní okruh s jednotkou. Nulovým prvkem je číslo 0, jednotkovým prvkem číslo 1, invertibilními prvky jsou nenulové konstanty a Zp. Alena Gollová, TIK Počítání modulo polynom 5/30

Polynomy nad Z p Tvrzení Pro stupně 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é Poznámka Pro polynomy nad Zn, kde n p, vztah pro stupeň součinu neplatí. Např. v Z6[x] je st(2x 3x) = st(0) = 1. Důvodem je, že okruh Zn má dělitele nuly (tj. nenulové prvky, jejichž součin je nula). Těleso dělitele nuly nikdy nemá. Alena Gollová, TIK Počítání modulo polynom 6/30

Věta o dělení polynomů se zbytkem Věta o dělení se zbytkem Pro libovolné polynomy a(x), b(x) Zp[x], kde b(x) 0, existují jednoznačně určené polynomy q(x), z(x) Zp[x] tak, že Důkaz a(x) = q(x) b(x) + z(x) a st(z(x)) < st(b(x)). Polynomy q(x) a z(x) najdeme algoritmem pro dělení polynomů, který funguje analogicky 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. Vedoucí koeficient polynomu b(x) je nenulový, má tedy v Zp inverzní prvek. Alena Gollová, TIK Počítání modulo polynom 7/30

Věta o dělení polynomů se zbytkem Poznámka Algoritmus dělení polynomů funguje pro polynomy nad libovolným tělesem T, aneb pro polynomy nad tělesem platí věta o dělení polynomů se zbytkem. Algoritmus dělení polynomů ale nefunguje pro polynomy nad okruhem (který není těleso). V Zn[x], kde n není prvočíslo, nelze dělit těmi polynomy b(x), jejichž vedoucí koeficient není invertibilní v Zn. Celou následující teorii opřenou o dělení se zbytkem lze vystavět v polynomech nad libovolným tělesem, nikoli však nad okruhem (který není těleso). Alena Gollová, TIK Počítání modulo polynom 8/30

Relace dělitelnosti a relace asociovanosti Definice Polynom a(x) dělí polynom b(x) v Zp[x], jestliže pro nějaký r(x) Zp[x] platí b(x) = r(x) a(x). Značíme a(x) b(x). Pozorování Nenulová konstanta c ze Zp dělí každý polynom b(x), neboť b(x) = c (c 1 b(x)). Polynomy, které se liší o nenulový konstantní násobek, se dělí navzájem. Relace dělitelnosti není uspořádáním na Zp[x]. Pokud a(x) b(x) a b(x) a(x), pak mluvíme o asocionaných polynomech a značíme a(x) b(x). Toto nastane, pokud b(x) = c a(x), kde c Z p. Alena Gollová, TIK Počítání modulo polynom 9/30

Ireducibilní polynomy Definice Polynom q(x) stupně k 1 se nazývá ireducibilní nad Zp, jestliže se v okruhu Zp[x] nedá napsat jako součin dvou polynomů stupně menšího než k. Pozorování Ireducibilní polynomy q(x) je dělitelný pouze konstantami a polynomy asociovanými s q(x). Test ireducibility Polynom q(x) je ireducibilní nad Zp, pokud není dělitelný žádným ireducibilním polynomem nad Zp stupně k st(q(x)) 2. Alena Gollová, TIK Počítání modulo polynom 10/30

Kořeny polynomu Definice Prvek c Zp je kořen polynomu q(x) Zp[x], jestliže platí q(c) = 0 v Zp. Tvrzení Prvek c Zp je kořenem polynomu q(x) Zp[x] právě, když polynom (x c) dělí polynom q(x). Test ireducibility-vylepšení Místo dělení polynomu q(x) lineárním polynomem (x c) můžeme zkoušet, zda c není kořenem polynomu q(x). Speciálně: Polynom q(x) stupně st(q) 3 je ireducibilní nad Zp právě, když q(x) nemá kořen v Zp. Alena Gollová, TIK Počítání modulo polynom 11/30

Ireducibilní polynomy Příklad x 3 + x 2 + 1 je ireducibilní v Z5[x], neboť nemá kořen v Z5. x 3 + x 2 + 1 není ireducibilní v Z3[x], neboť má kořen 1 v Z3. Jeho rozklad je x 3 + x 2 + 1 = (x + 2)(x 2 + 2x + 2). Polynom x 4 + x 2 + 1 sice nemá kořen v Z2, ale není ireducibilní, neboť x 4 + x 2 + 1 = (x 2 + x + 1) 2 v Z2[x]. Věta Nad Zp existují ireducibilní polynomy libovolného stupně k 1. Poznámka Uvědomme si, že situace je nad Zp naprosto jiná než nad R. Mezi reálnými polynomy jsou ireducibilní pouze lineární polynomy a kvadratické polynomy s komplexně sdruženými kořeny. Alena Gollová, TIK Počítání modulo polynom 12/30

Ireducibilní polynomy Tvrzení Pokud ireducibilní polynom q(x) dělí součin a(x) b(x), pak q(x) dělí a(x) nebo q(x) dělí b(x). Věta - rozklad na ireducibilní polynomy Každý polynom m(x) nad Zp lze jednoznačně (až na pořadí) rozložit na součin konstanty a monických ireducibilních polynomů m(x) = c q 1 (x)... q n (x) (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. Alena Gollová, TIK Počítání modulo polynom 13/30

Kořeny polynomu Věta - počet kořenů polynomu Polynom m(x) Zp[x] stupně k 0 má v tělese Zp nejvýše k kořenů. Poznámka Důkaz se opírá o fakt, že těleso nemá dělitele nuly. Polynom stupně k nad okruhem, který má dělitele nuly, může mít v tomto okruhu i více než k kořenů. Dá se pak rozložit různými způsoby na ireducibilní polynomy nižších stupňů. Např. m(x) = x 2 1 má čtyři kořeny v okruhu Z8, a to 1, 3, 5, 7. V Z8[x] platí x 2 1 = (x 1)(x + 1) = (x 3)(x + 3). Alena Gollová, TIK Počítání modulo polynom 14/30

Největší společný dělitel Definice Největší společný dělitel dvou polynomů a(x), b(x) Zp[x] je takový polynom d(x) Zp[x], že 1 d(x) dělí oba polynomy a(x) i b(x), 2 d(x) je dělitelný všemi společnými děliteli obou polynomů, 3 d(x) je monický polynom. Značíme d(x) = gcd(a(x), b(x)). Poznámka Bez požadavku, aby vedoucí koeficient gcd(a(x), b(x)) byl roven 1, bychom měli třídu navzájem asociovaných největších společných dělitelů polynomů a(x) a b(x). Někdy se připouští i tento pohled. Alena Gollová, TIK Počítání modulo polynom 15/30

Eukleidův algoritmus Definice Polynomy a(x), b(x) jsou nesoudělné, pokud gcd(a(x), b(x)) = 1 (nebo nenulová konstanta, nebudeme-li požadovat monický největší společný dělitel). Eukleidův algoritmus Pro hledání největšího společného dělitele polynomů můžeme použít Eukleidovův algoritmus. Eukleidův algoritmus se opírá pouze o dělení se zbytkem a v okruhu polynomů nad Zp dělit se zbytkem umíme. Příklad gcd(x 3 + x 2 + 1, 2x 2 + 2) = 1 v Z3[x] Alena Gollová, TIK Počítání modulo polynom 16/30

Bezoutova věta Bezoutova věta Největší společný dělitel a(x), b(x) Zp[x] je jejich polynomiální kombinací, gcd(a(x), b(x)) = k(x)a(x) + l(x)b(x) pro vhodné k(x), l(x) Zp[x]. Důkaz Koeficienty k(x), l(x) lze najít rozšířeným Eukleidovým algoritmem. Příklad Označme a(x) = 2x 2 + 2, b(x) = x 3 + x 2 + 1. gcd(a(x), b(x)) = 1 = (x 2 + x + 2) a(x) + x b(x) v Z3[x] Alena Gollová, TIK Počítání modulo polynom 17/30

Polynomiální rovnice Tvrzení Rovnice a(x)r(x) + b(x)s(x) = c(x), kde a(x), b(x), c(x) Zp[x], má řešení v Zp[x] právě, když gcd(a(x), b(x)) c(x) v Zp[x]. Pokud nějaké řešení existuje, pak je jich nekonečně mnoho: (r(x), s(x)) = (r p (x), s p (x)) + k(x)(r 0 (x), s 0 (x)) pro k(x) Zp[x], kde (r p (x), s p (x)) je partikulární řešení, najdeme ho pomocí rozšířeného Eukleidova algoritmu (r 0 (x), s 0 (x)) je nesoudělné řešení homogenní rovnice, (r 0 (x), s 0 (x)) = ( b(x) d(x), a(x) d(x) ) pro d(x) = gcd(a(x), b(x)). Alena Gollová, TIK Počítání modulo polynom 18/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Kongruence modulo polynom Definice Polynomy a(x), b(x) jsou kongruentní modulo polynom m(x), jestliže m(x) (b(x) a(x)) v Zp[x]. Značíme a(x) b(x) (mod m(x)) v Zp[x]. Tvrzení Následující tvrzení jsou ekvivalentní: a(x) b(x) (mod m(x)) v Zp[x] a(x) a b(x) mají stejný zbytek po dělení polynomem m(x) a(x) = b(x) + r(x)m(x) pro nějaký r(x) Zp[x] Alena Gollová, TIK Počítání modulo polynom 19/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Kongruence modulo polynom Tvrzení Relace kongruence modulo polynom m(x) je relace ekvivalence (tj. reflexivní, symetrická a tranzitivní relace) na množině všech polynomů nad Zp. Důsledek Relace kongruence modulo polynom m(x) rozbije množinu polynomů nad Zp na třídy navzájem ekvivalentních polynomů, [a(x)] m(x) = {a(x) + r(x)m(x) r(x) Zp[x]}, tzv. zbytkové třídy modulo polynom m(x). Množinu všech zbytkových tříd modulo m(x) značíme Zp[x]/m(x). Alena Gollová, TIK Počítání modulo polynom 20/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Kongruence modulo polynom Tvrzení Relace kongruence modulo polynom m(x) je zachována při sčítání a násobení. Důsledek Na množině zbytkových tříd Zp[x]/m(x) 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 Zp. Alena Gollová, TIK Počítání modulo polynom 21/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Okruh zbytkových tříd Z p [x]/m(x) Tvrzení Trojice (Zp[x]/m(x),, ) tvoří komutativní okruh s jednotkou, tzv. faktorový okruh zbytkových tříd modulo polynom m(x). Tvrzení Okruh zbytkových tříd Zp[x]/m(x) má p k prvků, kde k = st(m(x)). Základními representanty jsou zbytky po dělení polynomem m(x), což jsou všechny polynomy nad Zp stupně menšího než k. Alena Gollová, TIK Počítání modulo polynom 22/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Okruh zbytkových tříd Z p [x]/m(x) Značení Zjednodušíme značení - místo [a(x)] m(x) budeme psát a(z) Zp[x]/m(x) = {a k 1 z k 1 + + a 1 z + a 0, a i Zp}, násobení a sčítání budeme značit obyčejně a +. Sčítání representantů v Zp[x]/m(x) je normálním sčítáním polynomů nad Zp, při sčítání se totiž nezvýší stupeň. Výsledkem násobení representantů je zbytek po dělení součinu těchto polynomů nad Zp polynomem m(x). Alena Gollová, TIK Počítání modulo polynom 23/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Okruh zbytkových tříd Z p [x]/m(x) Přepisovací pravidla pro násobení Nechť m(x) = m k x k + + m 1 x + m 0, pak v Zp[x]/m(x) platí: m(z) = m k z k + + m 1 z + m 0 = 0 Z této rovnosti můžeme vyjádřit pravidla pro přepsání vyšších mocnin. Nejprve z k = m 1 k ( m k 1z k 1... m 1 z m 0 ) Další pravidla získáme postupným násobením proměnnou z a dosazováním předchozích pravidel. Při násobení dvou prvků musíme přepsat mocniny z k až z 2k 2, potřebujeme tedy (k 1) přepisovacích pravidel. Alena Gollová, TIK Počítání modulo polynom 24/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Příklad A = Z3[x]/(x 3 + x 2 + 1) = {az 2 + bz + c; a, b, c, Z3}, A = 27 Přepisovací pravidla: z 3 = 2z 2 + 2, z 4 = z 2 + 2z + 1 Příklad K = Zp[x]/(x 2 + 1) = {az + b, a, b Zp}, K = p 2 Přepisovací pravidlo: z 2 = 1 Tento okruh se nazývá okruh komplexních číslech nad Zp. Jeho prvky značíme obvykle jako polynomy v proměnné i. Zp[i] = {ai + b; a, b Zp, i 2 = 1} Stejným způsobem vznikla i komplexní čísla C = R[x]/(x 2 + 1). Komplexní čísla nad Zp však netvoří vždy těleso, jak uvidíme dále. Alena Gollová, TIK Počítání modulo polynom 25/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Lineární rovnice v okruhu Z p [x]/m(x) Lineární rovnice ve faktorovém okruhu lze převést na polynomiální rovnice následujícími úpravami (neznámý polynom je r(z)): Tvrzení a(z)r(z) = b(z) v Zp[x]/m(x) a(x)r(x) b(x) (mod m(x)) v Zp[x] a(x)r(x) + m(x)s(x) = b(x) v Zp[x] Lineární rovnice a(z)r(z) = b(z) v Zp[x]/m(x) má řešení právě, když gcd(a(x), m(x)) b(x) v Zp[x]. Alena Gollová, TIK Počítání modulo polynom 26/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Lineární rovnice v okruhu Z p [x]/m(x) Pokud rovnice a(z)r(z) = b(z) má řešení v Zp[x]/m(x), pak všechna řešení mají tvar r(z) = r p (z) + k(z)r 0 (z), kde r p (z) získáme rozšířeným Eukleidovým algoritmem a kde r 0 (z) = m(z) d(z), d(x) = gcd(a(x), m(x)). Různá řešení v okruhu Zp[x]/m(x) budou vznikat pro různé polynomy k(x) Zp[x] stupně menšího než je st(d(x)). Poznámka K řešení lineárních rovnic můžeme použít přepisovací pravidla. Budeme pak řešit soustavu k = st(m(x)) lineárních rovnic nad Zp pro k neznámých koeficienktů polynomu r(z). Alena Gollová, TIK Počítání modulo polynom 27/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Invertibilní prvky v okruhu Z p [x]/m(x) Tvrzení Prvek a(z) je invertibilní v okruhu Zp[x]/m(x) právě, když polynom a(x) je nesoudělný s polynomem m(x) v Zp[x]. Inverzní prvek k a(z) najdeme jako řešení rovnice a(z)r(z) = 1. Příklad A = Z3[x]/(x 3 +x 2 +1) = {az 2 +bz +c; a, b, c, Z3, z 3 = 2z 2 +2} V okruhu A je (2z 2 + 2) 1 = z 2 + z + 2. Protože x 3 + x 2 + 1 = (x + 2)(x 2 + 2x + 2) nad Z3, tak v A nemají inverzní prvek prvky. (az + b)(z + 2), c(z 2 + 2z + 2), kde a, b, c Z3 Alena Gollová, TIK Počítání modulo polynom 28/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Galoisova tělesa Věta Faktorový okruh Zp[x]/q(x) je tělesem právě tehdy, když q(x) je ireducibilní polynom nad Zp. Definice Nechť q(x) je ireducibilní polynom nad Zp stupně k. Těleso Zp[x]/q(x) se nazývá Galoisovo těleso o p k prvcích. Značí se GF (p k ). Příklad Z2[x]/(x 2 + x + 1) = {0, 1, α, α + 1}, s pravidlem α 2 = α + 1, je Galoisovo těleso o čtyřech prvcích, a je rozšířením tělesa Z2. Alena Gollová, TIK Počítání modulo polynom 29/30

Kongruence modulo polynom, okruh zbytkových tříd Z p[x]/m(x) Galoisova tělesa GF (p k ) Galoisova tělesa O konečných tělesech lze dokázat: Pro libovolné prvočíslo p a přirozené číslo k existuje Galoisovo těleso o p k prvcích. 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í. O tom více na další přednášce. Alena Gollová, TIK Počítání modulo polynom 30/30