Alapfogalmak
Csoport
csoport ha a kovetkezok teljesulnek
- asszociativ:
- egysegelem: ugy hogy -ra
- inverz elem: -ra ugy hogy . Tovabba, minden -ra egyertelmu:
Abel csoport
Abel csoport ha csoport es kommutativ.
Gyuru
gyuru ha
- Abel csoport, tehat az osszeadas asszociativ egy kommutativ es letezik nullelem
- felcsoport, tehat a szorzas asszociativ
- az osszeadas distributiv a szorzasra nezve
Komplex szamok
All.:
Biz.:
All.: .
All.:
Megj.: Komplex szamokkal nagyon szepen leirhatok a forgatasok a sikban. Nem kell szarozni matrixokkal.
Megj.: Trigonometrikus alakban pofon egyszeru komplex szammal osztani is.
Def.: A szam -edik egyseggyok, ha .
All.:
Megj.: Egyenlo tavolsagonkent felbontjuk az egysegkort.
All.: egy test
Polinomok gyokeinek szama test folott
polinom:
pont egyertelmuen meghataroz egy -ed foku polinomot
Tetel: Ha gyoke polinomnak, akkor ki lehet emelni belole, azaz
ahol valami polinom.
Tetel: Ha gyokei polinomnak, akkor egyszerre ki lehet emelni az osszeset, azaz
ahol valami polinom.
Def.: Azt mondjuk, hogy a test algebrailag zart, ha minden nem konstans polinomjanak van -ben gyoke.
Tetel: (Algebra alaptetele) A komplex szamok teste algebrailag zart.
Megj.: Az algebra alaptetele azt mondja hogy minden valos vagy komple egyutthatos polinomnak van komplex gyoke. Peldaul az polinomnak nincsen a valosak folott gyoke, de a komplexek folott az gyoke.
Kov.: Osszeteve az algebra alaptetelet es hogy ki lehet emelni a gyokoket arra a kovetkeztetesre jutunk, hogy minden polinomnak annyi gyoke van mint amekkora a foka, mivel -nek van gyoke, akkor kiemeljuk es marad egy aminek szinten van gyoke, es igy tovabb.
Szamelmelet alaptetele szamokra es polinokra
Tetel: Minden -nel nagyobb termeszetes szam felbomlik egyertelmuen primszamok szorzatara, azaz -re
Def.: A polinom reducibilis, ha ugy hogy es mindketto kisebb foku mint f.
Def.: Az irreducibilis ha nem reducibilis.
Tetel: A szamelmelet alaptetele test folotti egyvaltozos polinomok folott.
Legyen normalt polinom. Ekkor es normalt irreducibilis polinomok ugy, hogy . (Az egyertelmuseg sorrendtol fuggetlenul ertendo.)
Def.: Legyen szokasos gyuru. A elemet irreducibilisnek nevezzuk, ha nem nulla, nem egyseg, es -nek nincs nem-trivialis felbontasa.
Def.: Azt mondjuk, hogy az gyuruben ervenyes a szamelmelet alaptetele, ha minden nem nulla es nem egyseg eleme sorrendtol es asszocialtsagtol eltekintve egyertelmuen folirhato irreducibilis elemeinek szorzatakent.
(Szokasos gyuru = kommutativ nullosztomentes egysegelemes gyuru)
Euklideszi algoritmus
def gcd(a, b):
if b == 0:
return a
return gcd(b, a % b)
Tetel: (Bezout) Legyen es . Ekkor letezik ugy, hogy .
A fenti allitasban szereplo egyutthatokat a gcd-vel egyutt is ki lehet szamolni a kiterjesztett euklideszi algoritmussal
Irreducibilitas
Def.: Legyen szokasos gyuru. A elemet irreducibilisnek nevezzuk, ha nem nulla, nem egyseg, es -nek nincs nemtrivialis felbontasa.
Primszamok
Kis fermat tetel
Kongruenciak es csoportelmeleti vonatkozasaik
Def.: , ha
All.: Ha es , akkor .
Tetel: Az egyenletnek letezik megoldasa akkor es csak akkor ha . Tovabba a megoldasok egy maradek osztalyt alkotnak modula .
Tetel: (Kinai maradektetel) Ha es paronkent relativ primek es , akkor az szimultan kongruencia rendszer ekvivalens az kongruenciaval.
Tetel: (Euler–Fermat) Ha , akkor .
Tetel: (Kis Fermat) Ha prim es , akkor ha akkor es .
All.: A halmaz Abel csoport az osszeadasra.
All.: kommutativ egysegelemes gyuru.
All.: test pontosan akkor, ha nullosztomentes, tehat pontosan akkor ha prim.
Tetel: (Wilson) .
Matrixcsoportok
Def.:
- pontot fixalo forgatosok csoportja
- Az origot fixalo forgatasok csoportja
Def.: Legyen test es egesz. Ekkor a folotti -es invertalhato matrixok csoportjat a szorzasra general linear group-nak, -nek, nevezzuk. Azok a matrixok melyek determinansa reszcsoportot alkotnak -ben, es special linear group-nak nevezzuk, es -vel jeloljuk.
cheatsheet:
- invertalhato -es matrixok csoportja
- determinans = 1 matrixok csoportja
- -beli ortogonalis matrixok csoportja
- ezen belul det = 1 reszcsoport
- -beli uniter matrixok csoportja
- ezen belul det = 1 reszcsoport
Permutaciocsoportok
Def.: Az veges halmazt onmagara kepezo bijekciokat az halmaz permutacioinak nevezzuk. Ha , akkor csoportot alkot a kompoziciora nezve. Ha , akkor helyett -et irunk.
inverzio, inverzio szam, paritas, elojel, ugyanannyi paros es paratlan permutacio,
transzpozicio, ciklus
Tetel: Veges halmaz minden permutacioja felirhato paronkent diszjunkt ciklusok szorzatakent.
Tetel:
Tetel: Ha permutacio felbonlik paratlon sok paros hosszu ciklusra, akkor paratlan, kulonben paros.
Elemrend
Def.: Legyen csoport es . A elem rendje a kulonbozo hatvanyainak a szama, A elem rendjenek jele . Azt mondjuk, hogy a egesz szam jo kitevoje a -nek, ha .
Tetel:
- hatvanyai vagy paronkent kulonboznek es ekkor , vagy periodikusan ismetlodnek periodusokban
- a rend a legkisebb pozitiv jo kitevo veges rend eseten, tehat ha akkor es ez a legkisebb
- tetszoleges -re, ha akkor
- a hatvany rendjenek keplete:
Tetel: Legyen csoport, es es . Ekkor hatvanyainak rendje -enk osztoja, es -nek pontosan darab rendu hatvany van, ahol az Euler fele tociens fuggveny.
Megj.: azt szamolja hogy hany -nel kisebb egesz szam van mely relativ prim -el.
Faktorcsoport
Def.: Legyen , ekkor -t baloldali mellekosztalynak es -t jobboldali mellekosztalynak hivjuk.
Def.: Legyen reszcsoport, ekkor
faktorcsoport neven ismert.
Megj.: Tehat a faktorcsoport a baloldali mellekosztalyok csoportja.
Peldaul: Modulo osszeadas csoportja .
Algebrai es transzcendens szamok
Def.: Az szam algebrai, ha letezik () polinom, melyre .
Def.: Az szam transzcendens, ha nem algebrai.
Tetel: Az es tanszcendens szamok.
Tetel: Majdnem minden szam transzcendens, mivel megszamlalhatoan sok egesz egyutthatos polinom van, ezert megszamlalhatoan sok algebrai szam van.
Minimalpolinom
Def.: Az szam minimalpolinomja a legkisebb foku polinom, melynek gyoke.
Tetel: Ha , akkor .