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:

  1. hatvanyai vagy paronkent kulonboznek es ekkor , vagy periodikusan ismetlodnek periodusokban
  2. a rend a legkisebb pozitiv jo kitevo veges rend eseten, tehat ha akkor es ez a legkisebb
  3. 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 .