Modern algebrai sszefoglal

Fellegi Tibor fiskolai adjunktus

BMF KKVMF Szmtgptechnikai Intzet

rtelmezznk egy H halmaz elemei kztt egy +-al jellt mveletet, azaz (brmely) a,b H esetn az a+b H is teljesljn, azaz + mvelet zrt legyen a H halmazra nzve.Ezt egy ktvltozs algebrai mveletnek nevezzk. Egy H halmazt algebrai strukturnak neveznk, ha H-n legalbb egy algebrai mvelet rtelmezve van. Jellse: {H, +} Az egyes specifiklt algebrai strukturknl a mveletek a kvetkez tulajdonsgokkal rendelkezhetnek: 1. Asszociativits: a,b,c H esetn a+(b+c) =(a+b)+c 2. Egysgelem (zruselem) : (ltezik) 0 H, amelyre a H esetn a+0=0+a=a teljesl. 3. a H-nak ltezik inverze a-1 H, azaz a+ a-1 =0 teljesl. 4. Kommutativits: a,b H esetn a+b=b+a. Egymveletes algebrai struktrk: Flcsoport : {H,+} esetn a mvelettel szembeni minimlis kvetelmny az, hogy legyen asszociatv. Csoport: {H,+} olyan flcsoport, amelynek ltezik egysgeleme a mveletre nzve, valamint minden elemnek ltezik az inverze is. Ktmveletes algebrai strukturk: Gyr: {H,+,*} A + mveletre nzve csoport, a * mveletre nzve flcsoport s a kt mveletre rvnyes a disztributivits: a*(b+c)=a*c+b*c, a,b,c H-ra. Test: {H,+,*} A + s *mveletekre nzve is csoport s a kt mveletre rvnyes a disztributivits: a*(b+c)=a*c+b*c, a,b,c H-ra. Pldk: 1. Legyen Z az egsz szmok halmaza, + s * a kznsges sszeads s szorzs. Ekkor: - {Z,+}- Abel (kommutatv) csoport - {Z,*}- kommutatv, egysgelemes flcsoport Modulo aritmetika, maradkosztlyok Az egsz szmok halmazt tekintve igaz az a megllapts, hogy egy M szmmal elosztva az egsz szmokat maradkul csak a 0,1,2,..,M-1 szmokat kaphatjuk meg. Pldul 5-el osztva az egszeket a 0,1,2,3,4 szmok valamelyikt kapjuk eredmnyl. Ha az A s B ugyanazt a szmot adjk maradkul egy M szmmal trtn osztskor, akkor azt mondjuk, hogy A s B kongruens modulo M, amit a kvetkezkppen jellnk: A B mod M. 2

Nyilvnvalak az albbiak: Ha A B mod M, akkor 1. A+C B+C mod M. 2. AC BC mod M. Ha mg C D mod M is fennll, akkor 3. A+C B+D mod M. 4. AC BD mod M. 5. An Bn mod M. Bontsuk fel az egsz szmok halmazt rszhalmazokra aszerint, hogy M-mel osztva mennyi a maradkuk. Legyen pl. M=5. M0 0 -5 10 105 2000 M1 1 6 11 -4 2001 M2 2 7 -3 12 2002 M3 3 8 -2 13 2003 M4 4 9 -1 14 2004

A maradkosztlyokat a kongruencia elv rtelmben egy-egy tetszleges elemkkel adhatjuk meg. Ez a szm a maradkosztly reprezentnsa. Clszer a legkisebb nem negatv elemet vlasztani. Tekintsk most az H={ M0 M1 M2 M3 M4} maradkosztlyok halmazt. rtelmezzk az sszeads s szorzst gy, hogy a kt reprezentnssal elvgezzk a mveletet s az eredmnyt modulo M szerinti maradknak vesszk. Megllapthat, hogy a maradkosztlyok halmaza az sszeadsra nzve csoportot alkot, szorzsra nzve pedig ltalban flcsoport. Azonban, ha a modulus prmszm, akkor szorzsra nzve is csoport, azaz a kapott algebrai struktra test. Permutci csoportok Adott n elem minden sorrendjt az n elem egy permutcijnak nevezzk. Az n klnbz elem permutciinak szma: n!. Plda: Az 1,2,3 elemek lehetsges permutcii: 123, 132, 213, 231, 312, 321, sszesen 3!=6. A permutls lekpezsknt is felfoghat: pl. az 132 permutci az 1,2,3 elemek olyan lekpezse, ahol az 1 megfelelje 1, a 2 kpe a 3 s a 3 kpe a 2. Ezt jellhetjk pldul gy, hogy minden szm al a kpt rjuk: 123 132 Ez nem ms, mint a H={1;2;3} halmaznak egy nmagra trtn lekpezse. 3

P1=(1 2 3), P2=(1 3 2), P3=(2 1 3), P4=(2 3 1), P5=(3 1 2), P6=(3 2 1) Tekintsk most a H={ P1, P2, P3, P4, P5, P6} halmazt s rtelmezznk ezen a halmazon egy mveletet (nevezhetjk szorzsnak is) a kvetkezkppen: Kt permutci szorzatn a kt lekpezs egymst kvet vgrehajtst rtjk: P3 * P5= (2 1 3 )* (3 1 2) = (1 3 2)= P2 .Mindig az (1 2 3)-bl indulunk ki, s az 1 kpt a kvetkezkppen hatrozhatjuk meg: 1 kpe a P3 hatsra 2 lesz, ennek viszont a P5 nl 1 lesz a kpe. Mvelettblzat: * P1 P2 P3 P4 P5 P6 P1 P1 P2 P3 P4 P5 P6 P2 P2 P1 P5 P6 P3 P4 P3 P3 P4 P1 P2 P6 P5 P4 P4 P3 P6 P5 P1 P2 P5 P5 P6 P2 P1 P4 P3 P6 P6 P5 P4 P3 P2 P1

Ellenrizve a csoportaximkat egy nem kommutatv csoportot kapunk. Ez a 3-ad fok teljes permutcicsoport. Rendje: 3!=6. Hasonlkppen n elem esetn kapjuk az n-edfok teljes permutcicsoportokat, amelyek rendje n! Ezen teljes permutcicsoportok rszcsoportjait n-edfok permutci csoportnak nevezzk. Rszcsoportok, alcsoportok. A 3-adfok permutcicsoport rszcsoportjai a kvetkezk: H1=( P1 ) , rendje 1. H2=( P1; P2 ) , rendje 2. H3=( P1, P3 ) , rendje 2. H4=( P1, P6 ) , rendje 2. H5=( P1, P4, P5 ) , rendje 3. Mind az t halmaz elemeire teljeslnek a csoportaximk a fent rtelmezett mveletre nzve. A rszcsoportok rendje minden esetben osztja a csoport rendjnek! (Lagrange) A permutcicsoportok jelentsgt az albbi ttel mutatja: Cayley ttele: Minden n-edrend csoport izomorf egy n-edfok permutcicsoporttal. Az izomorfizmus kt algebrai struktra kztti egy-egy rtelm s mvelettart lekpezs.

Polinom gyr egy szmtest felett Tekintsk a polinomokbl ll albbi halmazt: H={a0xn+ a1xn-1 + a2xn-2 +...+ an-1x + an , ahol ai F, F kommutatv test } rtelmezhet kt polinom sszege s szorzata, mivel az egytthatk egy kommutatv test elemei. Az gy kapott struktra egy kommutatv gyr. Polinomok vektortere egy szmtest felett Az n-edfok polinomok egy n+1 dimenzis vektorteret alkotnak egy F szmtest felett, hiszen az egytthatkat lekpezhetjk vektorok koordintira. (a0, a1, a2, ..., an) Megadhatunk egyszer ortonormlt bzist is, amely bzisvektorok lineris kombincijval egyrtelmen felrhatunk minden polinomot ezen F test felett. Plda: A hatodfok polinomok egy 7 dimenzis vektorteret alkotnak az F={0,1} szmtest felett. A vektorok szma itt vges: 128. Ennek egy altere a negyedfok polinomok vektortere, amely t dimenzis, a vektorok szma: 32. Alakalmazs:(n, k) kdok. Az n bites zenetek k bites kdszbl s n-k hossz paritsbitekbl tevdnek ssze. A paritsbitek a hibajelzs s hibajavts cljra szolglnak. A skalris szorzat ama nevezetes tulajdonsgt hasznljuk ki, hogy a skalris szorzat kt merleges vektor esetn nulla. Testbvtsek Legyen C a komplex szmok, R a vals szmok testje, xC amelyre x R s K egy olyan test, amely tartalmazza R-t is s az x elemet is, azaz R K s x K. C C

Tekintsk az sszes vals egytthats polinomot. Ezek kzl sok felbomlik elsfok polinom szorzatra, azaz p(x)= an xn + an-1 xn-1 + ... + a0 =an (x-x1 )(x-x2 )...(x-xn ), ahol xik a gykk, i:=1..n. Ezek az un. reducibilis polinomok. Vannak ugyanakkor olyan polinomok a vals szmtest felett, amelyek nem bonthatak fel elsfok polinomok szorzatra, ilyen pldul a q(x)=x2 +1 polinom. Ezen utbbiak neve: irreducibilis polinomok. Legyen K most az a test, amely tartalmazza az i=sqrt(-1) elemet, azaz q(x) gykt. Az (1,i) szmpr bzisa lesz a K vektortrnek az R szmtest felett, valban minden komplex szm felrhat a+bi alakban, gy C elemeit tekinthetjk az (a,b) szmprok halmaznak, ahol, a s b vals szmok. Jelen esetben ugyanis az R test K bvtse megyezik a komplex szmok C testvel. Galois testek Prmhatvny elemszm vges testek. Szmtestekrl lvn sz egy ktmveletes algebrai struktrrl van sz, amely mveletek mindegyikre nzve teljeslnek a csoport aximk. Jellsk: GF(pn), ahol p prm, n termszetes szm. Az sszeads s szorzs modulo p rtendek. GF(2), azaz p=2, n=1. Jelljk a kt elemet 0-val s 1-el. +0 1 * 0 1 00 1 0 0 0 11 0 1 0 1 A mvelettblzat csak egyflekppen tlthet ki, ha a 0 az sszeads zsruselemt, 1 pedig a szorzs egysgelemt jelli. GF(4) A test konstrulsa a GF(2)-bl testbvtssel trtnhet. Itt a vals szmok szerept a GF(2) a komplex szmok szerept a GF(4) veszi t. Elszr is keressnk egy irreducibilis msodfok polinomot GF(2) felett. Az sszes lehetsges msodfok polinom, amelynek a msodfok tag egytthatja 1, a

kvetkez: x2 x2 +1 x2 +x x2 +x+1 (1) (2) (3) (4)

Ezek kzl (1),(2) s (3) reducibilis, mivel x2 =x*x, x2 +x=x*(x+1), x2 +1=(x+1)(x+1). (4) viszont irreducibilis, tekintsk ennek gykt, mint olyan szmot, amelyel generlni szndkozunk a testbvtst: Legyen teht gyk, azaz 2+ +1=0, amelybl 2= +1 mod 2. Ezt a polinomot genertor polinomnak nevezzk. A GF(4) test elemei a hatvnyai lesznek, mivel minden Galois test ciklikus csoport a szorzra nzve, azaz ltezik primitv eleme. A testbvtshez hasznlatos elem lesz a primtiv elem. GF(4) elemei: 0=0, 1= , 2= +1, 3= 2* =( +1)* = 2+ =( +1)+ =1 Mvelet tblzatok: + 0 0 0 1 1 +1 +1 +1 +1 +1 0 1 +1 1 0 1 1 0 * 0 1 +1 0 0 0 0 0 1 0 1 +1 0 +1 1 +1 0 +1 1

Termszetesen az A= , B= +1 jellst is alkalmazhatjuk: + 0 0 0 1 1 AA BB 1 1 0 B A A A B 0 1 B B A 1 0 * 0 0 0 1 0 A0 B0 1 0 1 A B A 0 A B 1 B 0 B 1 A

Itt A a primtiv elem, mivel A0=0, A1=A, A2=B, A3=1. A GF(4) eleminek szoksos reprezentcii: Polinomos 0 1 X Vektor 00 01 10 Egsz 0 1 2 Exponencilis X0 X3 X1

X+1 GF(8)

11

X2

A test konstrulsa a GF(4)-bl testbvtssel trtnhet. Itt a vals szmok szerept a GF(4) a komplex szmok szerept a GF(8) veszi t. Elszr is keressnk egy irreducibilis msodfok polinomot GF(4) felett. Az sszes lehetsges harmadfok polinom, amelyben a harmadfok tag egytthatja 1 a kvetkez: x3 x3 +1 x3 +x x3 +x+1 (1) (2) (3) (4) x3 + x2 (5) x3 + x2 +1 (6) 3 2 x + x +x (7) x3 + x2 +x+1 (8)

Ezek kzl (1),(3), (5) s (7) nyilvnvalan reducibilis, mivel x mindegyik egyenletben kiemelhet, azaz x=0 gyk. x3 +1=(x+1)(x+1). (4) viszont irreducibilis, tekintsk ennek gykt, mint olyan szmot, amelyel generlni szndkozunk a testbvtst: Legyen teht gyk, azaz 3+ +1=0, amelybl 3= +1 mod 2. (genertor polinom) A GF(8) test elemei a hatvnyai lesznek, mivel primitv elem. GF(8) elemei: 0=0, 1= , 2= * , 3= 2* =( +1), 4= 3* = ( +1)* = 2+ , 5= 4* = 2+ +1, 6 = 2+1, 7 =1