GRUPPE TEORI. Flemming P. Pedersen. Afskrift af forelæsningsnoter ved Jens Jensen. (Ørsted Laboratoriet, NBIfAFG, april 2003)

Størrelse: px
Starte visningen fra side:

Download "GRUPPE TEORI. Flemming P. Pedersen. Afskrift af forelæsningsnoter ved Jens Jensen. (Ørsted Laboratoriet, NBIfAFG, april 2003)"

Transkript

1 GRUPPE TEORI Flemming P. Pedersen Afskrift af forelæsningsnoter ved Jens Jensen (Ørsted Laboratoriet, NBIfAFG, april 2003)

2 Indholdsfortegnelse 1. Indledning 1 2. Gruppebegrebet 1 3. Den symmetriske gruppe 5 4. Ækvivalensrelation. Klasser af konjugerede elementer 8 5. Sideklasser Invariante undergrupper Homomorfi og isomorfi Direkte produkt af grupper Repræsentation af en gruppe ved lineære transformationer Reducibel og irreducibel repræsentation Schur s lemma og ortogonalitetsrelationerne Kontinuerte grupper 36 Opgaver 43

3 1. Indledning 1 1. Indledning Lagrange kom omkring 1770 ind på gruppebegrebet i forbindelse med undersøgelse af algebraiske ligninger. Hans problem var det næsten klassiske: at løse en algebraisk ligning ved hjælp af rodstørrelser alene. Forskellige matematikere, deriblandt Euler, havde løst dette problem op til fjerdegradsligninger, men ingen var nået derudover. Lagrange brugte i sine undersøgelser permutationer af rødderne i en algebraisk ligning, og selv om han ikke explicit formulerede gruppebegrebet, kan hans resultater i dag bedst udtrykkes ved hjælp af permutationsgrupper. Det blev imidlertid ikke Lagrange, som løste problemet. Den norske matematiker Abel og den italienske læge Ruffini viste på fådetaljernær,oguaf- hængigt af hinanden, at den almindelige algebraiske ligning af grad n, kan for n 5, ikke løses ved rodstørrelser alene. Et vigtigt biprodukt ved Abels bevis var, at det inspirerede Galois til at give sig i kast med lignende problemer, og Galois indførte såvel glosen som begrebet gruppe. Galois grupper var endelige, men senere kom også uendelige grupper ind i den matematiske forskning, og nordmanden Sophus Lie indførte i ca kontinuerte grupper. Dermed var gruppebegrebet vandret fra algebraen over geometrien og ind i den matematiske analyse og har siden bredt sig i næsten enhver matematisk disciplin. Det bliver hurtigt for vidtløftigt at medtage flere detaljer om den historiske udvikling, men det skal lige nævnes at englænderen Cayley i ca var blandt de første til at indføre gruppebegrebet ved et aksiomssystem meget nær, som vi gør det i dag, samt at svenskeren Frobenius omkring 1890 prøvede på at karakterisere samtlige endelige grupper; herved indførte han, hvad vi nu kalder gruppekarakterer, et begreb, som næsten direkte er ansvarlig for, at gruppebegrebet i 1930 erne kom ind i kvantemekanikken. 2. Gruppebegrebet Lad (G, ) betegne en organiseret mængde; hermed mener vi en mængde G forsynet med en kompositionsregel, der til et hvert ordnet par af elementer a, b G knytter et element a b G. Det skal fremhæves, at a og b kan være ens eller forskellige, og at i almindelighed er a b b a. (G, ) kaldesengruppe, når følgende tre aksiomer er opfyldt: 1) Den associative lov gælder, dvs. for alle a, b, c G gælder a (b c) = (a b) c. 2) Der findes et neutralt element e G, således at for alle a G gælder a e = e a = a. 3) Til ethvert a G findes der et inverst element a 1 G, således at a a 1 = a 1 a = e. Hvis yderligere a b = b a for alle a, b G, kaldes gruppen kommutativ eller abelsk.

4 2Gruppeteori Vi skal først kommentere gruppeaksiomerne: Undertiden medtager man i aksiomerne det krav, at mængden G er stabil eller afsluttet med hensyn til ; dvs.a, b G a b G; dette er her henlagt til begrebet organiseret mængde (se ovenfor). Vedr. 1): Den associative lov kan udvides til at gælde for flere end tre faktorer; dette gøres fx ved induktion. Tegnet udelades i det følgende, og a b betegnes blot ab. Vedr. 2): En gruppe har kun et neutralt element. Antag nemlig at både e 1 og e 2 var neutrale elementer. Så vare 1 = e 1 e 2 = e 2. Vedr. 3): Vi kan retfærdiggøre betegnelsen a 1, idet der gælder, at ethvert element a G har kun et inverst element. Antag nemlig, at både x og y, begge elementer i g, var inverse til a. Såvar x = xe = x(ay) =(xa)y = ey = y. Sætning (2.1) I en gruppe har divisionsligningerne ax = b ; ya = b hver for sig netop én løsning. Bevis: Hvis x er en løsning til ax = b, såer a 1 (ax) =a 1 b og a 1 (ax) =(a 1 a)x = ex = x og dermed x = a 1 b, En prøve viser, at a 1 b er løsning til den første ligning, og dermed, at ax = b x = a 1 b. Den anden ligning behandles tilsvarende; man finder y = ba 1. Korollar (2.2) I en gruppe gælder forkortningsreglerne ax = ay x = y ; xb = yb x = y. Korollar (2.3) Lad a G være et fastholdt element. Så er afbildningen givet ved x ax en enentydig afbildning af gruppen G på sig selv, G G. Definition: Hvis elementantallet i G er n, kaldes gruppen G endelig af n te orden. HvisG indeholder uendelig mange elementer kaldes gruppen uendelig. Definition: Lad H være en delmængde af en gruppe G, og antag at H er stabil med hensyn til kompositionsreglen i G; så kaldes H en undergruppe i G, hvis den organiserede mængde H er en gruppe.

5 2. Gruppebegrebet 3 Idet vi henviser til gruppeaksiomerne kan vi straks formulere følgende kriterium: Sætning (2.4) En delmængde H af en gruppe G er en undergruppe, hvis og kun hvis følgende gælder: 1) a, b H medfører ab H. 2) Det neutrale element e G tilhører H. 3) a H medfører a 1 H. Definition: En endelig gruppe G kaldes cyklisk, hvisg indeholder et element a med den egenskab, at et vilkårligt element b G kan skrives b = aa a (p faktorer), eller kort b = a p.elementetasiges at frembringe gruppen. I tilknytning til denne definition skal vi for grupper i almindelighed nævne, at man sædvanligvis fastsætter a 0 = e og a p =(a 1 ) p, p positivt helt tal. Det er da let at indse, at man kan benytte de sædvanlige potensregneregler: a r a s = a r+s ; (a r ) s = a rs for alle hele tal r og s. Man udvider herefter begrebet cyklisk gruppe: Definition: En gruppe G (endelig eller uendelig) kaldes cyklisk, hvis G indeholder et element a, så at et vilkårligt b G kanskrivessomenpotens af a. Øvelse 1: Vis, at i en abelsk gruppe G er (ab) n = a n b n (gælder ikke i almindelighed). Vis endvidere, at i en vilkårlig gruppe gælder (ab) 1 = b 1 a 1. Definition: Ved ordenen af et element a G forstås ordenen af den af a frembragte (under)gruppe. Vi skal illustrere denne definition med følgende bemærkninger: Lad a G, såerpotensernea 0 = e, a, a 1, a 2,...alle elementer i G. Hvis disse potenser er indbyrdes forskellige, så erg af uendelig orden, idet a frembringer en uendelig cyklisk (under)gruppe i G. I modsat fald er to potenser ens, fx a r = a s (r < s)oga s r = e. I dette tilfælde slutter vi, at ordenen h af elementet a er den laveste positive eksponent, for hvilken a h = e, oga frembringer en cyklisk undergruppe H af hte orden bestående af {e, a, a 2,..., a h 1 }.Thi 1) a r a s = a r+s = a r+s h H 2) a 0 = a h = e H 3) (a r ) 1 = a r = a h r H (jvf. (2.4)). Sætning (2.5) Lad G være en endelig gruppe af orden g, H en undergruppe (i G) aforden h, såerh divisor i g. Bevis: Sætningen er triviel, hvis h er en af de to trivielle undergrupper i G, dvs. hvis H er enten hele G eller gruppen bestående af det neutrale

6 4 Gruppeteori element alene. Altså antager vi, at 1 <h<g,oglada 1, a 2,..., a h betegne elementerne i H. Vi kan nu vælge et element b G, menb / H. Så er ba 1, ba 2,..., ba h indbyrdes forskellige (følger af forkortningsreglerne) og ikke elementer i H; dette sidste begrundes med, at hvis ba i = a j såvar b = a j a 1 i H i modstrid med ovenfor. Hermed kender vi i alt 2h elementer i G, og hvis disse udtømmer G er sætningen vist. Ellers kan vi vælge et c G og c forskellig fra de nævnte 2h elementer. Hertil kan vi som ovenfor bestemme yderligere h elementer i G: ca 1, ca 2,..., ca h,ogvikendernu3h elementer i G. Enten er G hermed udtømt og g =3h, eller vi kan fortsætte på tilsvarende måde et endeligt antal gange (da G er endelig), og vi finder at g er et multiplum af h. Korrolar (2.6) Ordenen af ethvert element i en endelig gruppe er divisor i gruppens orden. Eksempel (2.7) Lad (G, +) være mængden af hele tal organiseret med sædvanlig addition som kompositionsregel. (G, +) er da en kommutativ gruppe med 0 som neutralt element. Det inverse element til a er a s modsatte, altså a. Gruppen (G, +) er cyklisk, idet ethvert helt tal er en potens, her multiplum, af 1. Som eksempel på en undergruppe i (G, +) kan nævnes (H, +) bestående af alle lige tal. Også (H, +) er cyklisk, idet den frembringes af 2. Af andre eksempler på additive, kommutative uendelige grupper kan nævnes: de rationale tal de reelle tal de komplekse tal ingen af disse 3 grupper er cykliske. Eksempel (2.8) Mængden af reelle tal 0 organiseret med sædvanlig multiplikation som kompositionsregel er en kommutativ gruppe med 1 som neutralt element. De rationale tal 0 er en undergruppe heri. Mængden bestående af 1 og 1 udgør en (multiplikativ) undergruppe af ordenen 2. Eksempel (2.9) Som eksempel på en endelig gruppe af nte orden kan vi nævne samlingen af de n enhedsrødder: exp(ip 2π n ), p =0,1,2,..., n 1, organiseret med multiplikation af komplekse tal som kompositionsregel. Gruppen er abelsk, og for ethvert lige n indeholder den en undergruppe af orden 2bestående af tallene 1 og 1. Eksempel (2.10) Som en anvendelse af sætning (2.5) og dens korollar (2.6) kan vi nævne, at hvis ordenen for en gruppe G er et primtal p, såharg kun de to trivielle undergrupper {e} og G selv. Heraf følger også, at G er cyklisk, idet for et vilkårligt gruppeelement a e gælder, at ordenen af a er lig p, og de p potenser af a: a 0 = e, a, a 1, a 2,..., a p 1 fremstiller netop elementerne i G.

7 3. Den symmetriske gruppe S n 5 3. Den symmetriske gruppe S n Vi skal i denne paragraf indføre et vigtigt eksempel på en endelig gruppe; i en senere paragraf skal vi vende tilbage til emnet, når vores begrebsområde er blevet noget udvidet. Lad M være en vilkårlig mængde og f en enentydig afbildning af M på M, dvs. til ethvert x M findes der netop et billedelement x = f(x) M, og omvendt til ethvert x M findes netop et x M med x = f(x). En sådan enentydig afbildning kaldes også entransformation af M eller, når mængden M specielt er endelig en permutation af M. Sammensætter man to sådanne transformationer får man igen en transformation af M. Den associative regel gælder i almindelighed for sammensætninger af transformationer. Desuden er den identiske afbildning e af M et eksempel på en transformation og sammensættes e medenvilkårlig transformation, ser man, at e optræder som neutralt element. Endelig svarer der til enhver transformation f en omvendt afbildning f 1, som også er en transformation. Sammensætter man f og f 1 får man e. Hermed har vi indset, at mængden af transformationer af M med sammensætning som kompositionsregel udgør en gruppe. Specielt har vi: Sætning (3.1) Mængden S n af permutationer af en endelig mængde (med n elementer) udgør en gruppe, når sammensætning af permutationer tages som kompositionsregel. Gruppen kaldes den symmetriske gruppe af n te grad. Idet vi nu betegner elementerne i en endelig mængde M ved a 1, a 2,..., a n kanviangiveenpermutationf af M fuldstændigt ved for ethvert a i at angive dets billedelement f(a i ); dette f(a i ) er imidlertid atter et af elementerne i M, fxa ji, og afbildningen f: a i a ji er derfor fastlagt ved indexafbildningen i j i. Man plejer derfor at betegne f ved 1 2 n f : j 1 j 2 j n hvor et index og dets billedindex står under hinanden i samme søjle. Anden række j 1, j 2,..., j n er en permutation af tallene 1, 2,..., n i den sædvanlige betydning af glosen, som brugt ved fx indførelsen af determinanter. Det er nu klart, at samme transformation f kan beskrives ved i alt n! symboleraf ovenstående type. r1 r f : 2 r n s 1 s 2 s n fremkommet ved en permutation af søjleordenen. Det er ligeledes klart, at hvis vi holder ordenen i symbolets første række fast på 1,2,..., n,såsvarer forskellige transformationer af M til forskellige permutationer j 1, j 2,..., j n isymboletsandenrække;derforerderialtn! elementeris n. Eksempel (3.2) S 1 indeholder kun den identiske permutation ( 1 1 ).

8 6 Gruppeteori S 2 indeholde det neutrale element og a = S 3 indeholder følgende 6 elementer: e = a = c = d = b = f = Ved sammensætning af to transformationer bestemmer vi deres produkt, fx er ad = = = f mens da = = = c. Gruppen S 3 er altså ikke abelsk. På lignende måde kan vi bestemme samtlige produkter af 2elementer i S 3. Resultaterne kan bekvemt opstilles i en gruppetavle (Cayley-tavle), hvor vi fx lader elementet i indgangssøjlen betyde venstre faktor i produktet: e a b c d f e a e a a b b e c d d f f c b c b c e f a d f e c b d a d f d f c d f c a b e a b e Af tavlen aflæser vi straks, at elementerne e, a, ogb udgør en undergruppe (angivet med de fede typer i tavlen). Desuden ser vi, at elementerne c, d, og f har ordenen 2, mens a 2 = b og a 3 = ba = e viser, at a har ordenen 3; tilsvarende gælder, at b har ordenen 3. Ved en cyklus skal vi forstå en permutation (ijk p) som fører tallet i j, og j k, osv. og tallet p i, mens de ikke nævnte tal afbildes i sig selv ved denne permutation. En cyklus siges at have længden r og at være en r-cyklus, hvisdenharr elementer; den kan i ovennævnte notation skrives på r forskellige måder, svarende til at hvert element kan stå forrest. Forøvrigt er det let at indse, at en r-cyklus opfattet som gruppeelement har ordenen r. Nu kan enhver permutation skrives som et produkt af cykler uden fælles elementer; man bestemmer dette produkt svarende til en permutation ved en fremgangsmåde, der lettest beskrives ved et eksempel: Eksempel Lad en permutation være givet ved a = Af denne ser vi at , hvilket kan skrives som cyklen ( ), desuden viser a, at ,altsåcyklen(253)og

9 3. Den symmetriske gruppe S n 7 endelig 6 6, i alt har vi fundet a = ( )(25 3)(6). Da disse cykler er uden fælles elementer, er rækkefølgen af cyklerne i produktet ligegyldig, men bortset herfra er opløsningen éntydig. En cyklus af længden 2kaldes en transposition; en cyklus af længden 3 kaldes en tricyklus. Om disse specielle cykler gælder en række sætninger, hvoraf vi blot nævner nogle få. Sætning (3.3) Enhver permutation kan (endda på uendelig mange måder) skrives som et produkt af transpositioner. Bevis: Da en permutation kan opløses i cykler, er det tilstrækkeligt at betragte en cyklus. For en cyklus (i 1 i 2 i r ) kan man efterprøve, at (i 1 i 2 i r )=(i 1 i 2 )(i 1 i 3 )(i 1 i 4 ) (i 1 i r ) idet i 1 i 2 ; i 2 i 1 og i 3 ; i 3 i 1 og i 4, etc. Disse transpositioner kommuterer ikke, da de har fælles elementer. Man kan endvidere, hvor som helst i produktet på højre side, indskyde par af transpositioner (ij)(ij), som svarer til at indskyde den identiske permutation det pågældende sted. Korollar (3.4) Ethvert element i den symmetriske gruppe S n kan skrives som et produkt af transpositioner af den specielle form (12), (13), (14),..., (1n). Bevis: En vilkårlig transposition (ij) kan omskrives til (ij) =(1j)(1i)(1j). Ved indførelsen af determinanter blev som nævnt side 5 glosen permutation brugt som synonym til en opstilling af tallene 1, 2,..., n i en eller anden rækkefølge. Disse opstillinger blev klassificerede som lige eller ulige eftersom inversionsantallet var lige eller ulige. Yderligere blev det fremhævet, at man altid kan komme fra én opstilling til en anden opstilling ved at udføre fx q ombytninger af to elementer; de to opstillinger vil så være i samme eller modsatte klasse eftersom q er lige eller ulige. I denne forbindelse skal vi bemærke følgende: Lad a S n være givet ved 1 2 r s n a = i 1 i 2 i r i s i n såer ( 1 2 r s n a(i r i s )= i 1 i 2 i s i r i n Sammensætningen af a med transpositionen (i r i s ) resulterer altså ienombytning af elementerne i r og i s i symbolets anden række. Vi kan derfor ifølge ovenstående bemærkninger ved sammensætning af a med q transpositioner opnå, at a(i 1 1)(i 2 2) (i k i l )= 1 2 n = e 1 2 n og altså a =(i k i l ) (i 2 2)(i 1 1). ) ;

10 8 Gruppeteori Hermed er a opløst i q transpositioner, hvor q er (u)lige, når inversionstallet I(i 1,i 2,...,i n ) er (u)lige. Enhver anden opløsning af a i p transpositioner svarer på samme måde til, at man ved p ombytninger af to af tallene 1, 2,..., n kan få disse opstillet som anden række i 1, i 2,..., i n isymboletfor a, ogp og q må have samme paritet, dvs. p er lige netop når q er lige. Vi kan derfor fastsætte følgende Definition: En permutation 1 2 n a = i 1 i 2 i S n (n>2) n kaldeslige, hvisdenkanskrivessometprodukt afetlige antal transpositioner, og ulige ellers. Korollar (3.5) En permutation 1 2 n a = i 1 i 2 i S n (n>2) n er lige eller ulige eftersom inversionstallet I(i 1,i 2,...,i n ) er lige henholdsvis ulige. Sætning (3.6) Mængden A n af lige permutationer af n>1 elementer er en undergruppe i S n. Bevis: Idet vi benytter kriteriet i (2.4) ser vi, at 1) a, b A n medfører, ab kan skrives som et produkt af et lige antal transpositioner, ( og derfor ) ab A n. 2) 1 2 n 1 2 n = e A n,ideti(1, 2,...,n)=0. 3) a A n medfører, at a 1 kan skrives som produktet af de samme transpositioner som i a, men i modsat orden; altså a 1 A n. Gruppen A n kaldes den alternerende gruppe; dens orden er 1 2 n!. 4. Ækvivalensrelation. Klasser af konjugerede elementer Lad A og B være to mængder. Ved mængdeproduktet A B forstås samlingen af ordnede par (a, b) hvora A, b B. En delmængde R af A B kaldes en relation fra A til B, ogmanskriveraϱb,hvis(a, b) R. Specielt taler man om en relation i A, hvisa = B. Definition (4.1): En ækvivalensrelation imængdena er en relation R, som opfylder 3 krav 1) refleksivitet: (a, a) R, 2) symmetri: (a, b) R medfører (b, a) R, 3) transitivitet: (a, b) R og (b, c) R medfører (a, c) R.

11 4. Ækvivalensrelation. Klasser af konjugerede elementer 9 Lad nu A være en (ikke-tom) mængde, for hvilke der er givet en samling (ikke-tomme) delmængder, hvis foreningsmængde er A, og som to og to er disjunkte, dvs. uden fælles elementer. En sådan samling af delmængder kaldes klassedeling af A, delmængderne kaldes klasser, og en klassedeling giver anledning til en ækvivalensrelation ϱ i A; for to vilkårlige a, b A lad aϱb betyde at a og b er i samme klasse. Det er nemt ud fra (4.1) at eftervise, at ϱ er en ækvivalensrelation. (I stedet for ϱ betegnes en ækvivalensrelation ofte med ). Omvendt gælder også Sætning (4.2) Til en ækvivalensrelation i A svarer der en klassedeling af A, således at for a, b A gælder a b netop når a og b er i samme klasse. Bevis: Til ethvert element a A betragter vi mængden A a bestående af de elementer x A for hvilke a x. Elementet a A a iflg. 1) i (4.1), og mængderne A a overdækker A. Lad dernæst A a og A b være to af disse mængder, og antag, at c A er et fælles element i A a og A b.såera c og b c, ogdermeda b iflg. 2) og 3) i (4.1). Vi kan gå videreogpå lignende måde vise, at for ethvert x A b gælder a x, hvilket medfører, at A b er indeholdt i A a. Tilsvarende finder vi at A a er indeholdt i A b,ogdermedat A a = A b. Altsåenten stemmer A a og A b overens eller også er de disjunkte. Til slut: det er klart, at for denne klassedeling er a b ensbetydende med at a og b er i samme klasse. Derefter skal vi gå over til grupper. Lad G være en gruppe, og a, b G. Elementet b kaldes konjugeret til elementet a, hvis der findes et element t G, således at b = t 1 at. Sætning (4.3) Konjugation er en ækvivalensrelation. Bevis: Lad b a betegne, at b er konjugeret til a (idet vi foregriber resultatet). Så er 1) a a, ideta = e 1 ae. 2) b a medfører a b, idetb a betyder b = t 1 at for et t G; mensåer a =(t 1 ) 1 bt 1,dvs.a b, dat 1 G. 3) b a og c b betyder, at der findes t, s G, såatb = t 1 at og c = s 1 bs, og derfor c =(ts) 1 a(ts), hvor ts G, dvs.c a. Ifølge (4.2) foreligger der hermed en klassedeling af G i klasser af konjugerede elementer. Vi vil betegne klassen bestemt ved at bestå af elementer konjugeret til a med K a. Hvis G er kommutativ, udgør hvert element for sig en klasse. Hvis G ikke er abelsk, er klasserne ulige store, men det neutrale element e udgør altid en klasse for sig, idet e = t 1 et for alle t G. Sætning (4.4) Elementerne i samme klasse har samme orden. Bevis: Lad a K a have orden r. Betragter vi et vilkårligt element b =

12 10 Gruppeteori t 1 at K a,såer(t 1 at) m = t 1 at t 1 at t 1 at = t 1 a m t. Heraf ser vi, at (t 1 at) m bliver e, netopnår a m = e, dvs.m = r, og ordenen af b er lig r. For endelige grupper vil et nærmere studium af konjugation i første omgang dreje sig om at bestemme 1) antallet af konjugationsklasser, 2) for en given klasse K a antallet af elementer i K a. Men forinden skal vi se på etpar eksempler fra S n. Eksempel (4.5) Idet vi henviser til S 3 som behandlet i eksempel (3.2), vil vi bestemme klassen K a. e 1 ae = a a 1 aa = a b 1 ab = a c 1 ac = b d 1 ad = b f 1 af = b Altså K a består af elementerne a og b. Tilsvarende finder vi, at K c består af c, d og f. Gruppen S 3 falder derfor i 3 klasser K e = {e} K a = {a, b} = {(123), (132)} K c = {c, d, f} = {(1)(23), (2)(13), (3)(12)}. Eksempel (4.6) I 3 nævnte vi, at enhver permutation a S n kan skrives som et produkt af cykler c i uden fælles elementer: a = c 1 c 2 c r. Lad t S n ; så er t 1 at =(t 1 c 1 t)(t 1 c 2 t) (t 1 c r t), og vi kan derfor beskrive t 1 at, når vi har udregnet en typisk faktor t 1 ct, hvorc er en cyklus. Vi sætter ) i1 i c =(i 1 i 2 i m )=( 2 i m i m+1 i n i 2 i 3 i 1 i m+1 i, n t 1 j1 j = 2 j m j m+1 j n i 1 i 2 i m i m+1 i og n i2 i t = 3 i m i 1 i m+1 i n j 2 j 3 j m j 1 j m+1 j n Såer t 1 j1 j ct = 2 j m j m+1 j n j 2 j 3 j 1 j m+1 j =(j 1 j 2 j m ) n eller sagt i ord: t 1 ct er en cyklus lige som c, ogdenfås af c ved, at man anvender permutationen t på elementerne ( i parentesen, der fremstiller ) c For eksempel a = (6)(253)(1487) og t = ,så er t 1 at = (8)(435)(2176). Eksempel (4.7) Ladenpermutationa S n være skrevet som et produkt af cykler: a = c 1 c 2 c r og antag, at af disse er p 1 1-cykler, p 2 2-cykler, p 3 3-cykler,..., p n

13 4. Ækvivalensrelation. Klasser af konjugerede elementer 11 n-cykler. Så sigesa at være af typen 1 p 12 p 2 n pn. Da a S n, og cyklerne tilsammen indeholder n elementer, er (4.8) p 1 +2p np n = n Resultatet i Eks.(4.6) kan nu formuleres således: Ved konjugation af en permutation bevares dens type. Ved anvendelse af reglen i Eks.(4.6) ser man endvidere, at to permutationer af samme type er konjugerede, og i alt har man derfor: Sætning To permutationer i S n er konjugerede, hvis og kun hvis de er af samme type; antallet af konjugationsklasser i S n er derfor antallet af typer. Antallet af typer er naturligvis lig antallet af (heltallige, ikke-negative) løsninger (p 1,p 2,...,p n ) til ligningen (4.8). Hvis fx n =4,så har (4.8) følgende løsninger (4, 0, 0, 0) (2, 1, 0, 0) (p 1,p 2,p 3,p 4 )= (1, 0, 1, 0) (0, 2, 0, 0) (0, 0, 0, 1) svarende til, at S 4 falder i 5 klasser. Antallet h, af elementer i en given klasse af permutationer, altså afengiven type 1 p 12 p 2 n pn, kan beregnes ved Cauchy s formel: h = n! p 1!p 2! p n!2 p 2 3 p 3 n p n, thi, vi skal udfylde p 1 1-parenteser, p 2 2-parenteser,..., p n n-parenteser med tallene 1, 2,..., n og optælle forskellige permutationer. Men af de ialt n! permutationer af tallene 1, 2,...,ner mange ens med hensyn til type: for det første er rækkefølgen af de p k cykler af længde k (k =1,2,..., n) ligegyldig, hvorfor vi får samme permutation (med hensyn til type) p 1!p 2! p n! gange af de n! opstillinger; for det andet kan en cyklus af længde k skrives på ialtk forskellige måder (jvf. side 7), og hver af de p k k-cykler er talt med k p k gange (k =1,2,..., n), hvorfor vi får samme permutation (med hensyn til type) talt med 1 p 12 p 23 p 3 n pn. Ser vi igen specielt på eksemplet S 4,såfandt vi ovenfor typerne 1 4, , , 2 2, 4 1 Antallet af elementer i hver af de 5 tilsvarende konjugationsklasser finder vi ved Cauchy s formel til henholdsvis 1 (nemlig e), 6, 8, 3, 6.

14 12Gruppeteori 5. Sideklasser Lad G være en gruppe, og A og B to delmængder af G, SåskalAB betyde mængden af gruppeelementer af formen ab, hvora A, b B, eller Specielt, for fastholdt g G skal AB = {ab a A, b B}. ga = {ga a A}. Lad dernæst H være undergruppe i G, og betragt mængderne gh for vilkårligt valg af g G. Disse delmængder gh udgør, som vi nu skal vise, en klassedeling af G, og de kaldes (venstre) sideklasser. Deterklart,atethvertg 0 G tilhører en sådan delmængde, fx g 0 g 0 H; delmængderne gh overdækker altså gruppen G. Hvis to delmængder g 1 H og g 2 H haretelementg fælles, så findes der h 1, h 2 H, således at g = g 1 h 1 = g 2 h 2. Men så kan vi indse, at et vilkårligt element g 1 h g 1 H også er indeholdt i g 2 H;thi g 1 h = ( g 2 h 2 h 1 ) 1 h = g2 h, hvor h H. På lignende mådeindservi,atetvilkårligt element g 2 h g 2 H er indeholdt i g 1 H, og i alt slutter vi, at de to mængder g 1 H og g 2 H indeholder de samme elementer. Hermed har vi vist, at to forskellige af mængderne gh er disjunkte. Helt tilsvarende bemærkninger kan gøres om (højre) sideklasser Hg. Da det neutrale element e G tilhører eh = H, følger det af klassedelingen, at H er eneste undergruppe blandt dens sideklasser. I sætning (2.5) viste vi for endelige grupper G, atg s orden r er et multiplum af H s orden s: r = ns. Her er n netop antallet af sideklasser og kaldes index for undergruppen H i G. Eksempel (5.1) Som eksempel på en undergruppe og dens sideklasser vil vi betragte begrebet normalisator. Vivælgeretvilkårligt element a G og fastholder dette i de følgende overvejelser. Til a knytter vi mængden N a = {g G ga = ag}. Idet vi benytter (2.4) viser vi, at N a er en undergruppe, thi 1) g 1, g 2 N a medfører (g 1 g 2 )a = g 1 (g 2 a)=(g 1 a)g 2 = a(g 1 g 2 ), altså g 1 g 2 N a.

15 5. Sideklasser 13 2) det er klart, at e N a. 3) g N a medfører g 1 (ga) =g 1 (ag), og g 1 (ga)g 1 = g 1 (ag)g 1, eller ag 1 = g 1 a,altsånetopg 1 N a. Denne gruppe N a,somkaldesa s normalisator, giver anledning til en klassedeling af G i (højre) sideklasser. Lad os sige, at G er endelig, og at index N a = j. Dette antal er, som vi nu skal vise, netop antallet af elementer i konjugationsklassen K a. For at vise dette lader vi sideklasserne til N a være henholdsvis N a t 1, N a t 2,..., N a t j.såvil det om to forskellige elementer, g 1 t 1 og g 2 t 1 fra samme sideklasse N a t 1 gælde: (g 1 t 1 ) 1 a(g 1 t 1 )=t 1 1 g 1 1 ag 1t 1 = t 1 1 at 1 og (g 2 t 1 ) 1 a(g 2 t 1 )=t 1 1 g 1 2 ag 2 t 1 = t 1 1 at 1. Dette viser, at a konjugeres til samme element i K a af de to elementer g 1 t 1 og g 2 t 1, eller tydeligere: a konjugeres til samme element i K a af ethvert element i N a t 1. Derimod vil to elementer g 1 t 1 og g 2 t 2 fra forskellige sideklasser N a t 1 og N a t 2 konjugere a forskelligt; thihvis (g 1 t 1 ) 1 a(g 1 t 1 )=t 1 1 at 1 og (g 2 t 2 ) 1 a(g 2 t 2 )=t 1 2 at 2 var ens, så var (t 2 t 1 1 )a = a(t 2 t 1 1 ), men den sidste relation udtrykker, at t 2 t 1 1 N a, og dette strider imod, at N a t 1 og N a t 2 var forskellige. Hermed har vi indset, at man kan etablere en enentydig afbildning af elementerne i K a på mængden af sideklasser N a t; dette var netop, hvad der skulle vises. 6. Invariante undergrupper Definition (6.1): En undergruppe H i en gruppe G kaldes invariant (eller normal), hvis det om dens sideklasser gælder, at xh = Hx for alle x G. Man kan ud fra denne definition formulere følgende kriterium: Sætning (6.2) En undergruppe er normal, når og kun når a H medfører t 1 at H for alle t G. Bevis: Antag H er en invariant undergruppe og a H. Såer t 1 (at) =t 1 (tb) =b

16 14 Gruppeteori hvor b H; dette beviser den ene halvdel af sætningen. Ved beviset af den anden halvdel antager vi om en undergruppe H, ata H medfører t 1 at H for alle t G. Så er for alle x G ax = x(x 1 ax) =xb hvor b H, ogderforerhx indeholdt i xh. På tilsvarende måde finder man, at xher indeholdt i Hx,ogderforialtxH = Hx,dvs.H er invariant. Sætningen udtrykker, at en normal undergruppe med et element af en konjugationsklasse indeholder hele konjugationsklassen, og omvendt: hvis foreningsmængden af visse hele klasser udgør en undergruppe, så er denne invariant. Det er klart, at i en abelsk gruppe G er enhver undergruppe invariant. Lidt mindre triviel er følgende Sætning (6.3) En undergruppe af index 2 er normal. Bevis: Lad undergruppe H i G have index 2. Så er 1) hh = Hh = H for ethvert h H. 2) th = Ht for ethvert t G men t / H; thi G består af kun 2højre sideklasser H og Ht; altsåbestår mængderne th og Ht af de samme elementer. Korollar (6.4) Den alternerende gruppe A n er en invariant undergruppe i den symmetriske gruppe S n. Eksempel (6.5) I fortsættelse af eks.(4.5) vedrørende S 3 nævner vi, at elementerne e, a, og a 2 = b udgør en (cyklisk) undergruppe (af 3. orden) i S 3 ; denne undergruppe er invariant det er A 3 denbestår af to hele konjugationsklasser K e og K a. Elementerne e og c udgør en undergruppe af 2. orden; denne sidste undergruppe er ikke invariant, da fx c s konjugerede elementer ikke er med. Idet vi minder om definitionen i 5 af produktet AB af to delmængder A og B i en gruppe G, skal vi i det følgende behandle produkter af sideklasser; vi vil kun betragte tilfældet, hvor der er tale om sideklasser til en invariant undergruppe, og vi kan i det tilfælde nøjes med at se på fx højre sideklasser. Sætning (6.6) Om to vilkårlige sideklasser Ha og Hb til en invariant undergruppe H i gruppen G gælder HaHb = Hab. Bevis: Vi bemærker først, at da H er invariant, består ah og Ha af de samme elementer i G. Idet HaHb = {xy x Ha, y Hb},

17 6. Invariante undergrupper 15 vil vi udregne xy, hvorx = h 1 a, y = h 2 b og h 1, h 2 H: xy = h 1 ah 2 b = h 1 h 2ab = hab, hvor h 2,h H; thi ah 2 ah = Ha. Dette viste, at mængden HaHb er indeholdt i Hab. For et vilkårligt element z Hab gælder z = hab = hah 1 hb =(hh a)(hb) HaHb. Dette viste, at mængden Hab er indeholdt i HaHb. Sætning (6.7) Samlingen af sideklasser til en normal undergruppe H i G udgør en gruppe, når den organiseres med multiplikation af delmængder i G som kompositionsregel. Bevis: Lad os kalde samlingen af sideklasser til H for T. Så viser sætning (6.6), at T er stabil med hensyn til multiplikation af sideklasser. Det er uden videre klart fra definitionen, at multiplikation af delmængder i G er associativ, og man efterviser let, at sideklassen H er neutralt element i T ; endelig gælder HaHa 1 = Haa 1 = H og Ha 1 Ha = Ha 1 a = H, hvilket viser, at sideklassen Ha 1 er inverst element til Ha. Definition (6.8): Gruppen T, hvis elementer er sideklasser til en normal undergruppe H i G kaldes kvotientgruppen af G med hensyn til H eller faktorgruppen af H i G. Den betegnes G H; dens orden er index H. Eksempel (6.9) Lad G være den cykliske gruppe af orden 12frembragt af elementet a, altså G = {a, a 2,..., a 12 = e}. Lad endvidere H være undergruppen af 3. orden frembragt af a 4 : H = {a 4,a 8,a 12 = e}. Da G er abelsk, er H invariant; dens index er 4, og dens sideklasser er H = {a 4,a 8,e} Ha 2 = {a 6,a 10,a 2 } Ha = {a 5,a 9,a} Ha 3 = {a 7,a 11,a 3 }. Gruppen G H er givet ved følgende Cayley-tavle: H Ha Ha 2 Ha 3 H H Ha Ha 2 Ha 3 Ha Ha Ha 2 Ha 3 H Ha 2 Ha 2 Ha 3 H Ha Ha 3 Ha 3 H Ha Ha 2

18 16 Gruppeteori Eksempel (6.10) Lad G være den additive gruppe af hele tal, og H undergruppen bestående af tal delelig med 3; da G er abelsk, er H invariant. Da kompositionsreglen er addition, plejer man at notere G H med G H. Sideklasserne bliver H, H +1,H +2: H = {0, ±3, ±6,...}, H +1={1, 4, 2, 7, 5,...} H +2={2, 5, 1, 8, 4,...}. Med andre ord: ethvert element i sideklassen H + 1 giver den principale rest 1 ved division med 3, mens ethvert element i H + 2giver principal rest 2ved division med 3. Cayley-tavlen ser således ud: H H +1 H +2 H H +1 H H +1 H +1 H +2 H +2 H H +2 H +2 H H Homomorfi og isomorfi Lad (G, ) og(g, ) være to grupper og f en afbildning af G ind i G. Afbildningen f kaldes en homomorfi, hvis der for alle a, b G gælder, at f(a b) =f(a) f(b). Hvis vi betegner billedelementet f(a) med a, kan homomorfiegenskaben udtrykkes ved: (a b) = a b. Idet e er neutralt element i G, og a =(a e) = a e, ser vi, at e = f(e) er neutralt element i G. Desuden er hvilket viser, at (a ) 1 =(a 1 ) eller e =(a a 1 ) = a (a 1 ), [f(a)] 1 = f(a 1 ). Eksempel (7.1) Lad (G, ) være den cykliske gruppe af orden 8 frembragt af elementet a, dvs. G = {a, a 2,..., a 8 = e}. Lad (G, + ) være den additive restklassegruppe modulo 12, dvs. G = {0, 1,..., 11}

19 7. Homomorfi og isomorfi 17 med addition modulo 12betegnet ved +. Vi definerer nu en afbildning f af G ind i G ved f(a) =f(a 5 )=3 f(a 2 )=f(a 6 )=6 f(a 3 )=f(a 7 )=9 f(a 4 )=f(a 8 )=0. Såerfx f(a 2 a 3 )=f(a 5 )=3=6 + 9=f(a 2 ) + f(a 3 ). Man kan nu vise alment, at for alle x, y G er f(x y) =f(x) + f(y) (prøv dette); en anden mulighed er at efterprøve direkte de 64 mulige produkter og derved indse, at f er en homomorfi af G i G. Eksempel (7.2) Lad G = GL n være den multiplikative gruppe af regulære matricer af nte orden, G den multiplikative gruppe af komplekse tal 0. MedM, N betegner vi matricer, elementer i GL n,og M betegner M s determinant. Afbildningen f(m) = M af G ind i G er en homomorfi, idet MN = M N. Idet vi benytter betegnelserne indført før de to eksempler kan vi nu vise: Sætning (7.3) Hvis f er en homomorfi af G ind i G,såermængdenf(G) af billedelementer en undergruppe i G. Bevis: Vi har allerede set, at det neutrale element e G er indeholdt i f(g), idet e = f(e). Homomorfiegenskaberne viser direkte, at f(g) erstabil. Ethvert element a f(g) haretinverst(a 1 ) f(g), og gyldigheden af den associative regel i f(g) følger af dens gyldighed i G. Sætning (7.4) Hvis f er en homomorfi af G ind i G,ermængden: kerf = {x G f(x) =e } en invariant undergruppe i G. Bevis: Vi vil tillade os at undertrykke symbolet for kompositionsreglerne i G og G. Idet x, y kerf, gælderdaf(xy) =f(x)f(y) =e e = e,og derfor xy kerf. Mængden kerf er derfor stabil. Den associative regel er trivielt opfyldt i kerf som delmængde i G. Det neutrale element e kerf, da f(e) =e,ogomx 1 gælder, at f(x 1 )=[f(x)] 1 =[e ] 1 = e,ogderfor x 1 kerf. Hermed har vi vist, at kerf er en undergruppe. For at vise, at kerf er invariant, benytter vi (6.2): Lad t være et vilkårligt element i G, og x kerf. Såer f(t 1 xt) =f(t 1 )e f(t) =[f(t)] 1 f(t) =e t 1 xt kerf.

20 18 Gruppeteori Definition (7.5): En enentydig homomorfi f af en gruppe G på en gruppe G kaldes en isomorfi af G på G, og to grupper kaldes isomorfe, hvisder findes en isomorfi af den ene gruppe på den anden; vi skriver G G. Eksempel (7.1) viser, at en homomorfi behøver ikke at være en isomorfi; i eksemplet er f hverken enentydig eller på. Når f er en isomorfi, er f(g) =G,ogkerf = {e}. Omvendt gælder også, at f(g) =G og kerf = {e} medfører, at f er enentydig; thi f(a) =f(b) medfører f(ab 1 )=f(a)[f(b)] 1 = f(a)[f(a)] 1 = e,ogderforab 1 = e, hvoraf følger a = b. Definition (7.6): Hvis f er en homomorfi af gruppen G på gruppen G,så kaldes G en repræsentation af G. Hvis f er en isomorfi af gruppen G på gruppen G,såkaldesG en tro repræsentation af G. Vi skal slutte denne paragraf med nogle eksempler på repræsentationssætninger. Sætning (7.7) (Cayley) Enhver endelig gruppe G af orden n er isomorf med en undergruppe i S n. Bevis: Lad elementerne i G være g 1, g 2,..., g n. Såerelementerneg 1 g i, g 2 g i,...,g n g i indbyrdes forskellige elementer i G og derfor blot G s elementer i en eller anden rækkefølge: g i1, g i2,..., g in. Vi kan derfor knytte en permutation til gruppemedlemmet g i og derved fastlægge en afbildning f af G ind i S n : 1 2 n f(g i )= i 1 i 2 i. n Afbildningen f er en homomorfi, idet 1 2 n f(g j )= j 1 j 2 j n giver for det første 1 2 u n f(g i )f(g j )= k 1 k 2 k u k n og for det andet i1 i = 2 i u i n k 1 k 2 k u k n g u (g i g j )=(g u g i )g j = g iu g j = g ku (u =1, 2,..., n). Altså erf(g i g j )=f(g i )f(g j ), og ifølge (7.3) er f(g) en undergruppe i S n. Denne afbildning er enentydig fordi forskellige gruppeelementer afbildes i forskellige permutationer; det gælder oven i købet, at g i g j medfører i u j u for u =1, 2,..., n i de tilhørende permutationer, thi g u g i g u g j. Hermed er beviset færdigt. Sætning (7.8) Enhver cyklisk gruppe af orden n er isomorf med (Z n, + ), den additive restklassegruppe modulo n. Enhver uendelig cyklisk gruppe er isomorf med (Z, +), den additive gruppe af hele tal.

21 7. Homomorfi og isomorfi 19 Bevis: 1) Lad G være en endelig, cyklisk gruppe af orden n, frembragt af elementet a. Definér en afbildning f af G i Z n ved f(a m )=m (for 0 m<n). Detskalfremhæves,ata 0 = e og f(a 0 ) = 0. Afbildningen er enentydig, og f(a i a j )=f(a i+j )=f(a r )=r, hvor r er den principale rest af i + j ved division med n. Men i (Z n, + )er i + j = r, ogderforgælder f(a i a j )=f(a i ) + f(a j ). Afbildningen f er således en isomorfi. 2) Lad G være en uendelig cyklisk gruppe frembragt af elementet a: G = {a k k helt tal}. Definér en afbildning f af Z på G ved f(k) =a k. Afbildningen f er enentydig, thi hvis a i = a j,menfxi<j,såvara j i = e. Sætter vi nu j i = m, så gælder for ethvert helt tal k: k = qm + r, (0 r<m) a k = a qm a r = a r ; men heraf kunne vi slutte, at et vilkårligt element a k {a 0,a 1,..., a m 1 }. Dette strider imod at G er uendelig. Afbildningen f er tillige en homomorfi, idet f(s + t) =a s+t = a s a t = f(s)f(t). Altså erf en isomorfi. Sætning (7.9) Hvis H er en normal undergruppe i en gruppe G, såkang afbildes homomorft på faktorgruppen G H. Omvendt:hvisG = f(g) er det homomorfe billede af G ved homomorfien f, såerg isomorf med faktorgruppen G kerf. Bevis: 1) Vi definerer en afbildning f 1 af G på G H: f 1 (x) =Hx (for x G). Da H er normal, er ifølge (6.6) f 1 (xy) =Hxy =(Hx)(Hy)=f 1 (x)f 1 (y). f 1 er altså en homomorfi af G på G H; f 1 kaldes den naturlige homomorfi af G på G H. Vi kan bemærke, at kerf 1 = H. 2) I beviset for den omvendte sætning er det bekvemt at betegne kerf med E. Vivilså indføre en afbildning F af G E på G = f(g) ved F (Eg) =f(g).

22 20 Gruppeteori Denne afbildning er en homomorfi, idet fordi E er invariant ifølge (7.4); men F (Eg 1 Eg 2 )=F (Eg 1 g 2 ), F (Eg 1 g 2 )=f(g 1 g 2 )=f(g 1 )f(g 2 )=F (Eg 1 )F (Eg 2 ), fordi f er en homomorfi. Afbildningen F er desuden enentydig; antog man nemlig, at F (Eg 1 )=f(g 1 )=F (Eg 2 ), så ville F ((Eg 1 )(Eg 2 ) 1 )=F (Eg 1 g 1 2 )=f(g 1g 1 2 )=f(g 1)[f(g 1 )] 1 = e hvor e er neutralt element i G ; dette ville betyde, at g 1 g 1 2 E, ogderfor Eg 1 = Eg 2. I alt har vi nu vist, at F er en isomorfi. 8. Direkte produkt af grupper Lad G 1 og G 2 være to grupper. Ved det direkte produkt G 1 G 2 af G 1 og G 2 skal vi forstå mængdeproduktet af G 1 og G 2 forsynet med følgende kompositionsregel (8.1) (g 1,g 2 )(h 1,h 2 )=(g 1 h 1,g 2 h 2 ), hvor g 1, h 1 G 1 og g 2, h 2 G 2. Idet mængdeproduktet af G 1 og G 2 består af ordnede par (g 1,g 2 )servi,at G 1 G 2 er stabil med hensyn til kompositionsreglen i (8.1). Desuden er elementet (e 1,e 2 ) neutralt i G 1 G 2,idete 1 (e 2 ) betegner neutralt element i G 1 (G 2 ). Endelig er (g1 1,g 1 2 ) inverst element til (g 1,g 2 ), og den associative lov er trivielt opfyldt i G 1 G 2.Detdirekte produkt er således en gruppe. Mængden H 1 = {(g 1,e 2 ) g 1 G 1 } eftervises let at være en invariant undergruppe i G 1 G 2, og afbildningen f af H 1 på G 1 givet ved f(g 1,e 2 )=g 1 er en isomorfi af H 1 på G 1. Tilsvarende finder man, at H 2 = {(e 1,g 2 ) g 2 G 2 } er en invariant undergruppe i G 1 G 2,ogH 2 er isomorf med G 2. De to undergrupper H 1 og H 2 kommuterer, dvs. H 1 H 2 = H 2 H 1. Lad nemlig a =(g 1,e 2 ) H 1 og b =(e 1,g 2 ) H 2 ;såer ab =(g 1,e 2 )(e 1,g 2 )=(g 1,g 2 )=ba Denne relation viser tillige, at ethvert element i G 1 G 2 kan skrives som produkt af et element fra H 1 og et fra H 2. Desuden har H 1 og H 2 kun det neutrale element (e 1,e 2 ) fælles. Disse betragtninger leder til følgende:

23 8. Direkte produkt af grupper 21 Sætning (8.2) En gruppe G er isomorf med det direkte produkt af to af dens undergrupper A og B, når og kun når A og B er invariante undergrupper i G med fællesmængden lig {e} og med AB = G. Bevis: Vi har allerede set ovenfor, at A B indeholder isomorfe eksemplarer af A og B med de nævnte egenskaber. Antag derfor omvendt, at A og B er invariante undergrupper i G med fællesmængde {e} og AB = G. Betragt så et element a 1 b 1 ab = a 1 (b 1 ab) =(a 1 b 1 a)b, hvor a A, b B. Dette ses at tilhøre både A og B, fordi disse er normale undergrupper, jvf. (6.2); derfor er a 1 b 1 ab = e og ab = ba og AB = BA(= G). Fremstillingen g = ab, hvora A, b B, af et vilkårligt element g G er éntydig, idet a 1 b 1 = a 2 b 2 medfører a 1 2 a 1 = b 2 b 1 1 {e}, eller a 1 2 a 1 = b 2 b 1 1 = e a 1 = a 2,b 1 = b 2. Men så er afbildningen f af G på A B givet ved f(g) =(a, b) enisomorfi, fordi g 1 g 2 =(a 1 b 1 )(a 2 b 2 )=(a 1 a 2 )(b 1 b 2 ) og f(g 1 g 2 )=(a 1 a 2,b 1 b 2 )=f(g 1 )f(g 2 ). Hermed er sætningen bevist. Man omtaler ofte gruppen G i (8.2) som selve det direkte produkt af A og B. I denne formulering giver resultatet (8.2) følgende korollar, der ofte tages som definition af det direkte produkt: Korollar (8.3) En gruppe G er et direkte produkt A B af to undergrupper A og B, hvis 1) ethvert g G kan skrives g = ab, a A, b B; 2) faktorerne a og b er éntydigt bestemt af g; 3) ethvert a A kommuterer med ethvert b B. Tilsvarende siger man G A 1 A 2 A k er et direkte produkt af undergrupperne A 1, A 2,..., A k,når 1) ethvert g G kan skrives g = a 1 a 2 a k, a i A i ; 2) faktorerne a i er éntydigt bestemt af g; 3) ethvert a i A i kommuterer med ethvert a j A j for i og j =1, 2,..., k og i j.

24 22 Gruppeteori Eksempel (8.4) Lad G = {1, 2, 4, 7, 8, 11, 13, 14}, og lad kompositionsreglen være multiplikation modulo 15. Herved får man en abelsk gruppe (vis dette!). G indeholder en cyklisk undergruppe af 4. orden frembragt af element 2: C 4 = {1, 2, 2 2 =4, 2 3 =8}, og en cyklisk undergruppe af 2. orden frembragt af elementet 11: C 2 = {1, 11} Vi ser straks, at C 2 og C 4 har kun det neutrale element 1 fælles. Desuden er C 2 og C 4 normale, da G er abelsk, og C 2 C 4 = {1, 2, 4, 8, 11, 22, 44, 88}. Men her er 22 7, og 88 13, altsammen modulo 15, og C 2 C 4 er derfor netop G. Ifølge (8.2) og bemærkningerne derefter kan vi derfor sige G = C 2 C 4. Eksempel (8.5) Vi vil vise, at på nær isomorfier findes der kun to grupper af orden 4. Ifølge (2.6) kan ordenen af et element i en gruppe af orden 4 kun være 2 eller 4. 1) Hvis gruppen G indeholder et element a med ordenen 4, så erg cyklisk og G = {e, a, a 2,a 3 }. 2) Hvis de tre elementer a, b, c e i gruppen har ordenen 2, så frembringer hver af disse tre elementer undergrupper af orden 2, hver af index 2 og derfor normale, ifl. (6.3). To vilkårlige af disse har kun {e} fælles, og fx {e, a}{e, b} = {e, a, b, ab} = G da ab må være gruppens element c. Både {e, a} og {e, b} er cykliske og isomorfe med C 2 og derfor er G = C 2 C 2. G kaldes Kleins fire-gruppe. 9. Repræsentation af en gruppe ved lineære transformationer Som allerede nævnt i (7.6) forstår vi ved repræsentation af gruppen G en ny gruppe G, som er et homomorft billede af G, repræsentationen kaldes tro, hvis G er isomorf med G. Vi skal i det følgende udelukkende beskæftige os med de tilfælde, hvor G er en (under)gruppe af matricer i GL n, se (7.2), og vi fastlægger derfor følgende Definition (9.1): En repæsentation af nte grad af en gruppe G er en med G homomorf undergruppe G i GL n.

25 9. Repræsentation af en gruppe ved lineære transformationer 23 Man fastlægger altså repræsentationeng ved til ethvert element g G at opgive matricen f (g) G svarende til g under homomorfien f af G på G ; gruppen G = f (G) er indeholdt i GL n. Som illustration til denne definition kan vi nævne følgende: Da GL 1 selv er isomorf med den multiplikative gruppe af komplekse tal 0,så kan en repræsentation af 1. grad af en gruppe G opgives ved en (under)gruppe G i den multiplikative gruppe af komplekse tal 0,fxerf(g) = 1 for alle g G en (ikke-tro) repræsentation af 1. grad af G. En tilsvarende enkel repræsentation, men af nte grad, fås ved at sætte f (g) = E for alle g G, hvore er enhedsmatricen i GL n. Definition (9.2): Ved karakteren χ f af en repræsentation f (G) af gruppen G forstås funktionen χ f (g) defineret på G ved χ f (g) =sporf (g) Karakteren er således (komplekse) tal. Hvis repræsentationen er af 1. grad er χ(g) lig med det komplekse tal f(g); for en repræsentation i almindelighed gælder, at repræsentationens grad n er lig med χ f (e), hvor e er det neutrale element i G. Sætning (9.3) Konjugerede elementer i en gruppe G har samme karakter; dvs. karakteren afhænger af G s konjugationsklasser. Bevis: Lad g = t 1 gt, hvort, g G. Såer f (g )=f (t 1 gt) =[f (t)] 1 f (g)f (t) og sporf (g )=sporf (g) fordi matricerne [f (t)] 1 f (g)f (t) ogf (g) har samme reduktionsdeterminant. Men dermed er χ f (g )=χ f (g). Lad nu f (G) repræsentere gruppen G i GL n,oglads være matricen hørende til en lineær transformation K n på sig selv, dvs. x = S x, hvor S GL n og x, x K n.så er afbildningen f af G ind i GL n givet ved en homomorfi. Thi f (g) =S 1 f (g) S f (g 1 g 2 )=S 1 f (g 1 g 2 ) S = S 1 f (g 1 )f (g 2 ) S = S 1 f (g 1 ) SS 1 f (g 2 ) S = f (g 1 )f (g 2 ) Gruppen f (G) erderforogsåenrepræsentationafnte grad af G. Repræsentationerne f (G) og f (G) kaldes ækvivalente.

26 24 Gruppeteori Sætning (9.4) Ækvivalente repræsentationer har samme karakter. Bevis: Idet f (g) =S 1 f (g) S ved vi fra matrix-regningen, at spor f (g) = spor [S 1 f (g) S ]=sporf(g), men det betyder netop χ f (g) =χ f (g). I fortsættelse af sætning (7.7) skal vi her konstruere en tro repræsentation af nte grad til en endelig gruppe G af orden n. Idet vi benytter betegnelserne fra (7.7) knytter vi til elementet g i G matricen F(g i )bestemtpå følgende måde: første række består af lutter 0 er undtagen i søjle i 1,hvorderskal stå 1; anden række består af lutter 0 er undtagen i søjle i 2,hvorderskal stå 1,etc.;hereri u bestemt ved, at g u g i = g iu. Matricen F(g i )kaldesen permutationsmatrix, og man ser, at den er en ortogonal matrix ([F(g i )] 1 = [F(g i )] T ), og at den lineære transformation af K n på sig selv givet ved x =[F(g i )] T x vil permutere en basis b 1, b 2,..., b n for K n til b i1, b i2,..., b in.repræsentationen F(G) kaldesdenregulære repræsentation af G. Viskalfremhæve, at den eneste af matricerne F(g i ), som indeholder 1-taller i diagonalen, er F(e). Dette udtrykkes i følgende Sætning (9.5) Karakteren af den regulære repræsentation er repræsentationens grad på det neutrale element e G, og ellers 0, eller χ F (e) =n, og χ F (g) =0 (g G, g e). Eksempel (9.6) Vi betragter en cyklisk gruppe C 4 af orden 4 med elementer e, a, a 2, a 3.Hvis f(c 4 )erenrepræsentationaf1.grad,såer f(e) =f(a 4 )=[f(a)] 4 =1 og f(a) en enhedsrod af 4. orden. Der findes derfor 4 forskellige repræsentationer af 1. grad af C 4 : e a a 2 a 3 f f 2 1 i 1 i f f 4 1 i 1 i Af disse er f 2 (C 4 )ogf 4 (C 4 ) tro repræsentationer. Eksempel (9.7) Vi betragter diedergruppen D 3,bestående af afbildninger af en ligesidet trekant på sig selv. Dens elementer betegner vi e 1, c 3, c 2 3, d 1, d 2, d 3,hvorc 3 er drejningen på 120 om normalen til trekantens plan gennem centrum, og hvor d i er en 180 drejning om en af de tre højder i den ligesiddet trekant. Gruppetavlen ser således ud:

27 9. Repræsentation af en gruppe ved lineære transformationer 25 e c 3 c 2 3 d 1 d 2 d 3 e e c 3 c 2 3 d 1 d 2 d 3 c 3 c 3 c 2 3 e d 2 d 3 d 1 c 2 3 c 2 3 e c 3 d 3 d 1 d 2 d 1 d 1 d 3 d 2 e c 2 3 c 3 d 2 d 2 d 1 d 3 c 3 e c 2 3 d 3 d 3 d 2 d 1 c 2 3 c 3 e Man ser umiddelbart, at D 3 er isomorf med S 3, se gruppetavlen i eksempel (3.2). Ved en repræsentation af 1. grad af D 3 må det gælde, at d i svarer til 1 eller 1, da d 2 i = e. Ligeledes må c 3 og c2 3 svare til enhedsrødder af 3. orden. Endvidere er d 1 c 3 d 1 = c 2 3, hvilket medfører, at c 3 og c2 3 svarer til samme enhedsrod af 3. orden, som derfor må være 1. Der er derfor to repræsentationer af 1. grad: e c 3 c 2 3 d 1 d 2 d 3 f f Ved en repræsentation af 2. grad er der til ethvert element i D 3 knyttet en regulær matrix af 2. orden; denne kan opfattes som en lineær transformation af planen R 2. Nu afbilder ethvert element i D 3 netop trekantens plan i sig selv, og man kan derfor straks opskrive en sådan repræsentation efter valg af koordinatsystem. Lad fx et sædvanligt retvinklet koordinatsystem være valgt med nulpunkt i trekantens centrum og abscisseakse på en højde,således at en vinkelspids følger efter nulpunktet. Man finder da: f (e) = f (d 1 )= ( 1 0 ) 0 1 f (c 3 )= f (c 2 3 )= f (d 2 )= f (d 1 3 )= Vi bemærker, at χ f (e) =2,altså graden af repræsentationen, at χ f (c 3 )= χ f (c 2 3 )= 1, og χ f (d i ) = 0; disse resultater stemmer med eksempel (4.5) og sætning (9.3). Ved en repræsentation af 3. grad skal der til ethvert element i D 3 knyttes en regulær matrix af 3. orden. Ligesom ovenfor ser vi, at elementerne i D 3 er afbildninger af R 3, og efter valg af koordinatsystem kan man opskrive matricer for disse (prøv dette). Ved den regulære repræsentation F(D 3 )afd 3 skal der til ethvert element i D 3 knyttes en permutationsmatrix af 6. orden. Til e knyttes naturligvis E, enhedsmatricen af 6. orden. For at bestemme F(c 3 ) skal vi ifl. opskriften ovenfor udregne Gc 3 = {g 1,..., g 6 }c 3 = {e, c 3,c 2 3,d 1,d 2,d 3 }c 3 = {c 3,c 2 3,e,d 3,d 1,d 2 } = {g 2,g 3,g 1,g 6,g 4,g 5 }. Dermed har F(c 3 )et1-tali

28 26 Gruppeteori 2. søjle af 1. række, i 3. søjle af 2. række, i 1. søjle af 3. række, etc. Ved en tilsvarende udregning af F(d 2 )fås: F(c 3 )= og F(d 2 )= De øvrige matricer opskrives let ved at udnytte søjlerne i gruppetavlen. Man bekræfter, at fx F(c 3 )F(d 2 )=F(d 3 )ogat χ F (e) =6 mens χ F (d i )=χ F (c 3 )=χ F (c 2 3 )=0. Vi vender nu tilbage til begrebet ækvivalente repræsentationer. Ifølge selve begrebet falder repræsentationer af samme grad for en given gruppe i klasser af indbyrdes ækvivalente repræsentationer, som hver for sig kan betragtes som kendt, når blot en enkelt repræsentant for en klasse er kendt. Problemet at bestemme samtlige repræsentationer af en gruppe (af en given grad) reduceres herved til en bestemmelse af klasserne af ækvivalente repræsentationer, eller med andre ord til en bestemmelse af et fuldstændigt system af ikkeækvivalente repræsentationer. For endelige grupper har man her et afgørende hjælpemiddel i følgende sætning (9.8), hvorefter man kan begrænse undersøgelsen til unitære repræsentationer, dvs. repræsentationer givet ved unitære matricer. Sætning (9.8) Enhver klasse af ækvivalente repræsentationer for en endelig gruppe indeholder (mindst) en unitær repræsentation. Vi vil føre beviset for denne sætning ved at bemærke, at den er en konsekvens af følgende Sætning (9.9) Til en vilkårlig endelig undergruppe af matricer A 1, A 2,..., A r i GL n findes S GL n, således at matricerne S 1 A 1 S, S 1 A 2 S,...,S 1 A r S alle er unitære. Bevis: Vi begynder med nogle betegnelser: S T skal betyde S transponeret. S H skal betyde S transponeret og komplekst konjugeret, (S T ).SåerS 1 = S H ensbetydende med, at S er unitær, mens S = S H er ensbetydende med, at S er hermitesk. En diagonalmatrix med elementer λ 1,λ 2,..., λ n vil vi her betegne med: {λ 1,λ 2,..., λ n }. Og nu beviset: Lad (9.10) A = j A H j A j

Oversigt over gruppeteori: definitioner og sætninger

Oversigt over gruppeteori: definitioner og sætninger Oversigt over gruppeteori: definitioner og sætninger (G, ) kaldesengruppe, når følgende aksiomer er opfyldt: 0) (G, ) er en organiseret (stabil) mængde: a, b G a b G 1) Den associative lov gælder, dvs.

Læs mere

Matematik YY Foråret Kapitel 1. Grupper og restklasseringe.

Matematik YY Foråret Kapitel 1. Grupper og restklasseringe. Matematik YY Foråret 2004 Elementær talteori Søren Jøndrup og Jørn Olsson Kapitel 1. Grupper og restklasseringe. Vi vil i første omgang betragte forskellige typer ligninger og søge efter heltalsløsninger

Læs mere

Gruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel.

Gruppeteori. Michael Knudsen. 8. marts For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel. Gruppeteori Michael Knudsen 8. marts 2005 1 Motivation For at motivere indførelsen af gruppebegrebet begynder vi med et eksempel. Eksempel 1.1. Lad Z betegne mængden af de hele tal, Z = {..., 2, 1, 0,

Læs mere

Note om endelige legemer

Note om endelige legemer Note om endelige legemer Leif K. Jørgensen 1 Legemer af primtalsorden Vi har i Lauritzen afsnit 2.1.1 set følgende: Proposition 1 Lad n være et positivt helt tal. Vi kan da definere en komposition + på

Læs mere

Kvadratiske matricer. enote Kvadratiske matricer

Kvadratiske matricer. enote Kvadratiske matricer enote enote Kvadratiske matricer I denne enote undersøges grundlæggende egenskaber ved mængden af kvadratiske matricer herunder indførelse af en invers matrix for visse kvadratiske matricer. Det forudsættes,

Læs mere

Om begrebet relation

Om begrebet relation Om begrebet relation Henrik Stetkær 11. oktober 2005 Vi vil i denne note diskutere det matematiske begreb en relation, herunder specielt ækvivalensrelationer. 1 Det abstrakte begreb en relation Som ordet

Læs mere

Oversigt [LA] 3, 4, 5

Oversigt [LA] 3, 4, 5 Oversigt [LA] 3, 4, 5 Nøgleord og begreber Matrix multiplikation Identitetsmatricen Transponering Fra matrix til afbildning Fra afbildning til matrix Test matrix-afbildning Inverse matricer Test invers

Læs mere

2. Gruppen af primiske restklasser.

2. Gruppen af primiske restklasser. Primiske restklasser 2.1 2. Gruppen af primiske restklasser. (2.1) Setup. I det følgende betegner n et naturligt tal større end 1. Den additive gruppe af restklasser modulo n betegnes Z/n, og den multiplikative

Læs mere

Matematik 2AL, vinteren

Matematik 2AL, vinteren EO 1 Matematik 2AL, vinteren 2002 03 Det er tilladt at skrive med blyant og benytte viskelæder, så længe skriften er læselig, og udviskninger foretages grundigt. Overstregning trækker ikke ned og anbefales

Læs mere

Nogle grundlæggende begreber

Nogle grundlæggende begreber BE2-kursus 2010 Jørgen Larsen 5. februar 2010 Nogle grundlæggende begreber Lidt simpel mængdelære Mængder består af elementer; mængden bestående af ingen elementer er, den tomme mængde. At x er element

Læs mere

Definition multiplikation En m n-matrix og en n p-matrix kan multipliceres (ganges sammen) til en m p-matrix.

Definition multiplikation En m n-matrix og en n p-matrix kan multipliceres (ganges sammen) til en m p-matrix. Oversigt [LA] 3, 4, 5 Nøgleord og begreber Matrix multiplikation Identitetsmatricen Transponering Fra matrix til afbildning Fra afbildning til matrix Test matrix-afbildning Inverse matricer Test invers

Læs mere

Nøgleord og begreber. Definition multiplikation En m n-matrix og en n p-matrix kan multipliceres (ganges sammen) til en m p-matrix.

Nøgleord og begreber. Definition multiplikation En m n-matrix og en n p-matrix kan multipliceres (ganges sammen) til en m p-matrix. Oversigt [LA] 3, 4, 5 Matrix multiplikation Nøgleord og begreber Matrix multiplikation Identitetsmatricen Transponering Fra matrix til afbildning Fra afbildning til matrix Test matrix-afbildning Inverse

Læs mere

Elementær Matematik. Mængder og udsagn

Elementær Matematik. Mængder og udsagn Elementær Matematik Mængder og udsagn Ole Witt-Hansen 2011 Indhold 1. Mængder...1 1.1 Intervaller...4 2. Matematisk Logik. Udsagnslogik...5 3. Åbne udsagn...9 Mængder og Udsagn 1 1. Mængder En mængde er

Læs mere

Grundlæggende Matematik

Grundlæggende Matematik Grundlæggende Matematik Hayati Balo, AAMS August 2012 1. Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske

Læs mere

Mordell s Sætning. Henrik Christensen og Michael Pedersen. 17. december 2003

Mordell s Sætning. Henrik Christensen og Michael Pedersen. 17. december 2003 Mordell s Sætning Henrik Christensen og Michael Pedersen 17. december 2003 Mordells sætning siger at gruppen C(Q) af rationale punkter over en ellipse C er en endeligt frembragt abelsk gruppe. Elliptiske

Læs mere

MM05 - Kogt ned. kokken. Jacob Aae Mikkelsen. 23. januar 2007

MM05 - Kogt ned. kokken. Jacob Aae Mikkelsen. 23. januar 2007 MM05 - Kogt ned Jacob Aae Mikkelsen kokken 23. januar 2007 1 INDHOLD 1 ARITMETIK I Z Indhold 1 Aritmetik i Z 2 2 Kongruens i Z 4 3 Ringe 6 4 Aritmetik i F[x] 9 5 Kongruens i F[x] og kongruensklasse aritmetik

Læs mere

Matematik og Form: Matrixmultiplikation. Regulære og singu

Matematik og Form: Matrixmultiplikation. Regulære og singu Matematik og Form: Matrixmultiplikation. Regulære og singulære matricer Institut for Matematiske Fag Aalborg Universitet 2012 Matrixmultiplikation Definition Definition A = [a ij ], B = [b ij ]: AB = C

Læs mere

Grundlæggende Matematik

Grundlæggende Matematik Grundlæggende Matematik Hayati Balo, AAMS Juli 2013 1. Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske

Læs mere

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, marts 2014, Kirsten Rosenkilde.

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, marts 2014, Kirsten Rosenkilde. Indhold 1 Delelighed, primtal og primfaktoropløsning Omskrivning vha. kvadratsætninger 4 3 Antal divisorer 6 4 Største fælles divisor og Euklids algoritme 7 5 Restklasser 9 6 Restklasseregning og kvadratiske

Læs mere

Ligningssystemer - nogle konklusioner efter miniprojektet

Ligningssystemer - nogle konklusioner efter miniprojektet Ligningssystemer - nogle konklusioner efter miniprojektet Ligningssystemet Ax = 0 har mere end en løsning (uendelig mange) hvis og kun hvis nullity(a) 0 Løsningerne til et konsistent ligningssystem Ax

Læs mere

Kursusgang 3 Matrixalgebra Repetition

Kursusgang 3 Matrixalgebra Repetition Kursusgang 3 Repetition - froberg@mathaaudk http://peoplemathaaudk/ froberg/oecon3 Institut for Matematiske Fag Aalborg Universitet 12 september 2008 1/12 Lineære ligningssystemer Et lineært ligningssystem

Læs mere

Lineær algebra: Matrixmultiplikation. Regulære og singulære

Lineær algebra: Matrixmultiplikation. Regulære og singulære Lineær algebra: Matrixmultiplikation. Regulære og singulære matricer Institut for Matematiske Fag Aalborg Universitet 2011 Matrixmultiplikation Definition Definition A = [a ij ], B = [b ij ]: AB = C =

Læs mere

Algebra2 Obligatorisk opgave

Algebra2 Obligatorisk opgave Algebra2 Obligatorisk opgave Anders Bongo Bjerg Pedersen, 070183 Eksamensnummer 45 23. maj 2005 Opgave 1 Vi har: σ = σ 6 5 = (σ 3 ) 2 (σ 5 ) 1 = (1 3 5 2 4)(8 7 6). b) Ordnen af en p-cykel er (jfr. 2.18)

Læs mere

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, august 2013, Kirsten Rosenkilde.

Talteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, august 2013, Kirsten Rosenkilde. Indhold 1 Delelighed, primtal og primfaktoropløsning Omskrivning vha. kvadratsætninger 4 3 Antal divisorer 6 4 Største fælles divisor og Euklids algoritme 7 5 Restklasser 9 6 Restklasseregning og kvadratiske

Læs mere

1 Om funktioner. 1.1 Hvad er en funktion?

1 Om funktioner. 1.1 Hvad er en funktion? 1 Om funktioner 1.1 Hvad er en funktion? Man lærer allerede om funktioner i folkeskolen, hvor funktioner typisk bliver introduceret som maskiner, der tager et tal ind, og spytter et tal ud. Dette er også

Læs mere

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2

Affine rum. a 1 u 1 + a 2 u 2 + a 3 u 3 = a 1 u 1 + (1 a 1 )( u 2 + a 3. + a 3. u 3 ) 1 a 1. Da a 2 Affine rum I denne note behandles kun rum over R. Alt kan imidlertid gennemføres på samme måde over C eller ethvert andet legeme. Et underrum U R n er karakteriseret ved at det er en delmængde som er lukket

Læs mere

Matricer og Matrixalgebra

Matricer og Matrixalgebra enote 3 1 enote 3 Matricer og Matrixalgebra Denne enote introducerer matricer og regneoperationer for matricer og udvikler hertil hørende regneregler Noten kan læses uden andet grundlag end gymnasiet,

Læs mere

De rigtige reelle tal

De rigtige reelle tal De rigtige reelle tal Frank Villa 17. januar 2014 Dette dokument er en del af MatBog.dk 2008-2012. IT Teaching Tools. ISBN-13: 978-87-92775-00-9. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

Matricer og lineære ligningssystemer

Matricer og lineære ligningssystemer Matricer og lineære ligningssystemer Grete Ridder Ebbesen Virum Gymnasium Indhold 1 Matricer 11 Grundlæggende begreber 1 Regning med matricer 3 13 Kvadratiske matricer og determinant 9 14 Invers matrix

Læs mere

6. Fokale undergrupper, Grün s sætninger, Z grupper G version

6. Fokale undergrupper, Grün s sætninger, Z grupper G version 6. Fokale undergrupper, Grün s sætninger, Z grupper G6-2004-version Vi starter med et par generelle bemærkninger. Som sædvanligt betegner G =[G, G] kommutatorundergruppen i gruppen G. (6A) Lemma: Lad H

Læs mere

Vi indleder med at minde om at ( a) = a gælder i enhver gruppe.

Vi indleder med at minde om at ( a) = a gælder i enhver gruppe. 0.1: Ringe 1. Definition: Ring En algebraisk struktur (R, +,, 0,, 1) kaldes en ring hvis (R, +,, 0) er en kommutativ gruppe og (R,, 1) er en monoide og hvis er såvel venstre som højredistributiv mht +.

Læs mere

Matematik: Struktur og Form Matrixmultiplikation. Regulære og singulære matricer

Matematik: Struktur og Form Matrixmultiplikation. Regulære og singulære matricer Matematik: Struktur og Form Matrixmultiplikation. Regulære og singulære matricer Martin Raussen Department of Mathematical Sciences Aalborg University 2017 1 / 12 Matrixmultiplikation Am n = [aij ], Bn

Læs mere

DesignMat Kvadratiske matricer, invers matrix, determinant

DesignMat Kvadratiske matricer, invers matrix, determinant DesignMat Kvadratiske matricer, invers matrix, determinant Preben Alsholm Uge 5 Forår 010 1 Kvadratiske matricer, invers matrix, determinant 1.1 Invers matrix I Invers matrix I Definition. En n n-matrix

Læs mere

Facitliste 1 MAT 2AL. 5. f (x) er irreducibel i Z 5 [X].

Facitliste 1 MAT 2AL. 5. f (x) er irreducibel i Z 5 [X]. Facitliste 1 Facitliste til eksamensopgaver Facit til de første 14 opgavesæt er blevet til paa basis af Jonas B. Rasmusssens facitliste. Han regnede størstedelen af opgaverne, medens han fulgte kurset,

Læs mere

Mat H /05 Note 2 10/11-04 Gerd Grubb

Mat H /05 Note 2 10/11-04 Gerd Grubb Mat H 1 2004/05 Note 2 10/11-04 Gerd Grubb Nødvendige og tilstrækkelige betingelser for ekstremum, konkave og konvekse funktioner. Fremstillingen i Kapitel 13.1 2 af Sydsæters bog [MA1] suppleres her med

Læs mere

Chapter 3. Modulpakke 3: Egenværdier. 3.1 Indledning

Chapter 3. Modulpakke 3: Egenværdier. 3.1 Indledning Chapter 3 Modulpakke 3: Egenværdier 3.1 Indledning En vektor v har som bekendt både størrelse og retning. Hvis man ganger vektoren fra højre på en kvadratisk matrix A bliver resultatet en ny vektor. Hvis

Læs mere

Omskrivningsregler. Frank Nasser. 10. december 2011

Omskrivningsregler. Frank Nasser. 10. december 2011 Omskrivningsregler Frank Nasser 10. december 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold 1 Introduktion

Læs mere

t a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42

t a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42 Slide 1/42 Hvad er matematik? 1) Den matematiske metode 2) Hvad vil det sige at bevise noget? 3) Hvor begynder det hele? 4) Hvordan vælger man et sæt aksiomer? Slide 2/42 Indhold 1 2 3 4 Slide 3/42 Mængder

Læs mere

Analyse 2. Gennemgå bevis for Sætning Supplerende opgave 1. Øvelser. Sætning 1. For alle mængder X gælder #X < #P(X).

Analyse 2. Gennemgå bevis for Sætning Supplerende opgave 1. Øvelser. Sætning 1. For alle mængder X gælder #X < #P(X). Analyse 2 Øvelser Rasmus Sylvester Bryder 3. og 6. september 2013 Gennemgå bevis for Sætning 2.10 Sætning 1. For alle mængder X gælder #X < #P(X). Bevis. Der findes en injektion X P(X), fx givet ved x

Læs mere

Matematik: Videnskaben om det uendelige 1

Matematik: Videnskaben om det uendelige 1 Matematik: Videnskaben om det uendelige 1 Ottende forelæsning: Den aksiomatiske metode II Klaus Frovin Jørgensen 15. november, 2010 1 / 30 Fra sidste gang (1/2) Generelt har vi set, at: Et basalt element

Læs mere

Facitliste til nyere eksamensopgaver

Facitliste til nyere eksamensopgaver Facitliste Facitliste til nyere eksamensopgaver Listen indeholder facit (eller vink) til eksamensopgaverne (i MatAL, Alg og ) fra sommeren 003 og fremefter. Bemærk, at de facitter, der står på listen,

Læs mere

9.1 Egenværdier og egenvektorer

9.1 Egenværdier og egenvektorer SEKTION 9.1 EGENVÆRDIER OG EGENVEKTORER 9.1 Egenværdier og egenvektorer Definition 9.1.1 1. Lad V være et F-vektorrum; og lad T : V V være en lineær transformation. λ F er en egenværdi for T, hvis der

Læs mere

Oversigt [LA] 1, 2, 3, [S] 9.1-3

Oversigt [LA] 1, 2, 3, [S] 9.1-3 Oversigt [LA], 2, 3, [S] 9.-3 Nøgleord og begreber Koordinatvektorer, talpar, taltripler og n-tupler Linearkombination Underrum og Span Test linearkombination Lineær uafhængighed Standard vektorer Basis

Læs mere

DesignMat Uge 1 Gensyn med forårets stof

DesignMat Uge 1 Gensyn med forårets stof DesignMat Uge 1 Gensyn med forårets stof Preben Alsholm Efterår 2010 1 Hovedpunkter fra forårets pensum 11 Taylorpolynomium Taylorpolynomium Det n te Taylorpolynomium for f med udviklingspunkt x 0 : P

Læs mere

Kalkulus 2 - Grænseovergange, Kontinuitet og Følger

Kalkulus 2 - Grænseovergange, Kontinuitet og Følger Kalkulus - Grænseovergange, Kontinuitet og Følger Mads Friis 8. januar 05 Indhold Grundlæggende uligheder Grænseovergange 3 3 Kontinuitet 9 4 Følger 0 5 Perspektivering 4 Grundlæggende uligheder Sætning

Læs mere

Sylvesters kriterium. Nej, ikke mit kriterium. Sætning 9. Rasmus Sylvester Bryder

Sylvesters kriterium. Nej, ikke mit kriterium. Sætning 9. Rasmus Sylvester Bryder Sætning 9 Sylvesters kriterium Nej, ikke mit kriterium Rasmus Sylvester Bryder Inspireret af en statistikers manglende råd om hvornår en kvadratisk matrix er positivt definit uden at skulle ud i at bestemme

Læs mere

TALTEORI Wilsons sætning og Euler-Fermats sætning.

TALTEORI Wilsons sætning og Euler-Fermats sætning. Wilsons sætning og Euler-Fermats sætning, oktober 2008, Kirsten Rosenkilde 1 TALTEORI Wilsons sætning og Euler-Fermats sætning. Disse noter forudsætter et grundlæggende kendskab til talteori som man kan

Læs mere

Lineær Algebra. Lars Hesselholt og Nathalie Wahl

Lineær Algebra. Lars Hesselholt og Nathalie Wahl Lineær Algebra Lars Hesselholt og Nathalie Wahl Oktober 2016 Forord Denne bog er beregnet til et første kursus i lineær algebra, men vi har lagt vægt på at fremstille dette materiale på en sådan måde,

Læs mere

Matematik for økonomer 3. semester

Matematik for økonomer 3. semester Matematik for økonomer 3. semester cand.oecon. studiet, 3. semester Planchesæt 2 - Forelæsning 3 Esben Høg Aalborg Universitet 10. september 2009 Institut for Matematiske Fag Aalborg Universitet Esben

Læs mere

Teoretiske Øvelsesopgaver:

Teoretiske Øvelsesopgaver: Teoretiske Øvelsesopgaver: TØ-Opgave 1 Subtraktion division i legemer: Er subtraktion division med elementer 0 i legemer veldefinerede, eller kan et element b have mere end ét modsat element -b eller mere

Læs mere

Symmetriske og ortogonale matricer Uge 7

Symmetriske og ortogonale matricer Uge 7 Symmetriske og ortogonale matricer Uge 7 Preben Alsholm Efterår 2009 1 Symmetriske og ortogonale matricer 1.1 Definitioner Definitioner En kvadratisk matrix A = [ a ij kaldes symmetrisk, hvis aij = a ji

Læs mere

Komplekse tal og polynomier

Komplekse tal og polynomier Komplekse tal og polynomier John Olsen 1 Indledning Dette sæt noter er forelæsningsnoter til foredraget Komplekse tal, polynomier og legemsudvidelser. Noterne er beregnet til at blive brugt sammen med

Læs mere

Spor Matematiske eksperimenter. Komplekse tal af Michael Agermose Jensen og Uwe Timm.

Spor Matematiske eksperimenter. Komplekse tal af Michael Agermose Jensen og Uwe Timm. Homografier Möbius transformationer Følgende tema, handler om homografier, inspireret af professor Børge Jessens noter, udgivet på Københavns Universitet 965-66. Noterne er herefter blevet bearbejdet og

Læs mere

Minilex Mat 2AL. .. Henrik Dahl hdahl@tdc-broadband.dḳ. Mangler 3.10-3.16

Minilex Mat 2AL. .. Henrik Dahl hdahl@tdc-broadband.dḳ. Mangler 3.10-3.16 Minilex Mat 2AL.. Henrik Dahl hdahl@tdc-broadband.dḳ.. Mangler 3.10-3.16 Resumé ADVARSEL - dette er et total underground-dokument!. Det er livsfarligt at bruge ukritisk. Der er næsten sikkert graverende

Læs mere

12.1 Cayley-Hamilton-Sætningen

12.1 Cayley-Hamilton-Sætningen SEKTION 12.1 CAYLEY-HAMILTON-SÆTNINGEN 12.1 Cayley-Hamilton-Sætningen Sætning 12.1.1 (Cayley-Hamilton) Lad A Mat n,n (C). Så gælder p A (A) =. Sætningen gælder faktisk over et vilkårligt legeme, men vi

Læs mere

Algebra med Bea. Bea Kaae Smit. nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering

Algebra med Bea. Bea Kaae Smit. nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Algebra med Bea Bea Kaae Smit nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Indhold 1 Forord 4 2 Indledning 5 3 De grundlæggende regler 7 3.1 Tal..........................

Læs mere

Appendix 1. Nogle egenskaber ved reelle tal.

Appendix 1. Nogle egenskaber ved reelle tal. - 0 - Appendi. Nogle egenskaber ved reelle tal. Som bekendt består de reelle tal R (dvs. alle tal på tallinien) af de rationale tal Q og de irrationale tal I, dvs. R = Q I. De rationale tal Q er mængden

Læs mere

t a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 27. oktober 2014 Slide 1/25

t a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 27. oktober 2014 Slide 1/25 Slide 1/25 Indhold 1 2 3 4 5 6 7 8 Slide 2/25 Om undervisningen Hvorfor er vi her? Hvad kommer der til at ske? 1) Teoretisk gennemgang ved tavlen. 2) Instruktion i eksempler. 3) Opgaveregning. 4) Opsamling.

Læs mere

Oversigt [LA] 1, 2, 3, [S] 9.1-3

Oversigt [LA] 1, 2, 3, [S] 9.1-3 Oversigt [LA] 1, 2, 3, [S] 9.1-3 Nøgleord og begreber Koordinatvektorer, talpar, taltripler og n-tupler Linearkombination Underrum og Span Test linearkombination Lineær uafhængighed Standard vektorer Basis

Læs mere

Lokalt ekstremum DiploMat 01905

Lokalt ekstremum DiploMat 01905 Lokalt ekstremum DiploMat 0905 Preben Alsholm Institut for Matematik, DTU 6. oktober 00 De nition Et stationært punkt for en funktion af ere variable f vil i disse noter blive kaldt et egentligt saddelpunkt,

Læs mere

Polynomier. Indhold. Georg Mohr-Konkurrencen. 1 Polynomier 2. 2 Polynomiumsdivision 4. 3 Algebraens fundamentalsætning og rødder 6

Polynomier. Indhold. Georg Mohr-Konkurrencen. 1 Polynomier 2. 2 Polynomiumsdivision 4. 3 Algebraens fundamentalsætning og rødder 6 Indhold 1 Polynomier 2 Polynomier 2 Polynomiumsdivision 4 3 Algebraens fundamentalsætning og rødder 6 4 Koefficienter 8 5 Polynomier med heltallige koefficienter 9 6 Mere om polynomier med heltallige koefficienter

Læs mere

Forelæsningsnoter til. Lineær Algebra. Niels Vigand Pedersen. Udgivet af. Asmus L. Schmidt. Københavns Universitet Matematisk Afdeling

Forelæsningsnoter til. Lineær Algebra. Niels Vigand Pedersen. Udgivet af. Asmus L. Schmidt. Københavns Universitet Matematisk Afdeling Forelæsningsnoter til Lineær Algebra Niels Vigand Pedersen Udgivet af Asmus L Schmidt Københavns Universitet Matematisk Afdeling August Revideret 9 ii udgave, oktober 9 Forord Gennem en særlig aftale varetages

Læs mere

Matematik. 1 Matematiske symboler. Hayati Balo,AAMS. August, 2014

Matematik. 1 Matematiske symboler. Hayati Balo,AAMS. August, 2014 Matematik Hayati Balo,AAMS August, 2014 1 Matematiske symboler For at udtrykke de verbale udsagn matematisk korrekt, så det bliver lettere og hurtigere at skrive, indføres en række matematiske symboler.

Læs mere

Matematiske metoder - Opgavesæt

Matematiske metoder - Opgavesæt Matematiske metoder - Opgavesæt Anders Friis, Anne Ryelund, Mads Friis, Signe Baggesen 24. maj 208 Beskrivelse af opgavesættet I dette opgavesæt vil du støde på opgaver, der er markeret med enten 0, eller

Læs mere

Algebra. Dennis Pipenbring, 10. februar 2012. matx.dk

Algebra. Dennis Pipenbring, 10. februar 2012. matx.dk matx.dk Algebra Dennis Pipenbring, 10. februar 2012 nøgleord andengradsligning, komplekse tal, ligningsløsning, ligningssystemer, nulreglen, reducering Indhold 1 Forord 4 2 Indledning 5 3 De grundlæggende

Læs mere

Affine transformationer/afbildninger

Affine transformationer/afbildninger Affine transformationer. Jens-Søren Kjær Andersen, marts 2011 1 Affine transformationer/afbildninger Følgende afbildninger (+ sammensætninger af disse) af planen ind i sig selv kaldes affine: 1) parallelforskydning

Læs mere

Matematik og Statistik. Rubiks terning. Symmetri. Gruppe G3-106 23. Maj 2014

Matematik og Statistik. Rubiks terning. Symmetri. Gruppe G3-106 23. Maj 2014 Matematik og Statistik Rubiks terning Symmetri Gruppe G3-106 23. Maj 2014 Aalborg Universitet Institut for Matematiske Fag Fredrik Bajers Vej 7G 9220 Aalborg Ø Tfl. 99409940 Institut for Matematiske Fag

Læs mere

t a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 7. november 2015 Slide 1/25

t a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 7. november 2015 Slide 1/25 Slide 1/25 Indhold 1 2 3 4 5 6 7 8 Slide 2/25 Om undervisningen Hvorfor er vi her? Slide 3/25 Om undervisningen Hvorfor er vi her? Hvad kommer der til at ske? 1) Teoretisk gennemgang ved tavlen. 2) Instruktion

Læs mere

Kursusgang 3 Matrixalgebra fortsat

Kursusgang 3 Matrixalgebra fortsat Kursusgang 3 fortsat - froberg@math.aau.dk http://people.math.aau.dk/ froberg/oecon3 Institut for Matematiske Fag Aalborg Universitet 12. september 2008 1/31 Nødvendige betingelser En nødvendig betingelse

Læs mere

Det Ingeniør-, Natur- og Sundhedsvidenskabelige basisår Matematik 2A, Forår 2007, Hold 4 Opgave A Kommenteret version

Det Ingeniør-, Natur- og Sundhedsvidenskabelige basisår Matematik 2A, Forår 2007, Hold 4 Opgave A Kommenteret version Det Ingeniør-, Natur- og Sundhedsvidenskabelige basisår Matematik 2A, Forår 2007, Hold 4 Opgave A Kommenteret version Opgaven består af et antal delopgaver Disse er af varierende omfang Der er også en

Læs mere

Banach-Tarski Paradokset

Banach-Tarski Paradokset 32 Artikeltype Banach-Tarski Paradokset Uden appelsiner Andreas Hallbäck Langt de fleste af os har nok hørt om Banach og Tarskis såkaldte paradoks fra 1924. Vi har hørt diverse poppede formuleringer af

Læs mere

1 Sætninger om hovedidealområder (PID) og faktorielle

1 Sætninger om hovedidealområder (PID) og faktorielle 1 Sætninger om hovedidealområder (PID) og faktorielle ringe (UFD) 1. Introducér ideal, hovedideal 2. I kommutativt integritetsområde R introduceres primelement, irreducibelt element, association 3. Begrebet

Læs mere

Talteori: Euklids algoritmer, modulær aritmetik

Talteori: Euklids algoritmer, modulær aritmetik Talteori: r, modulær aritmetik Videregående algoritmik Cormen et al. 31.1 31.4 Tirsdag den 6. januar 2009 1 1 2 Restklasseringene modulo n Grupper og undergrupper Modulær division Divisorer De hele tal

Læs mere

4. Semidirekte produkter - teori og eksempler G version

4. Semidirekte produkter - teori og eksempler G version 4. Semidirekte produkter - teori og eksempler G4-2004-version Lad G være en gruppe, og A en undergruppe af automorfigruppen Aut(G). Vi danner en ny gruppe kaldet G A, (detsemidirekte produkt af G med A).

Læs mere

Matematik opgave Projekt afkodning Zehra, Pernille og Remuss

Matematik opgave Projekt afkodning Zehra, Pernille og Remuss Matematik opgave Projekt afkodning Zehra, Pernille og Remuss Opgave A Sæt de overstående symboler ind i en matematisk sammenhæng der gør dem forståelige. Det kan være som en sætning eller med tal og bogstaver

Læs mere

Noter om primtal. Erik Olsen

Noter om primtal. Erik Olsen Noter om primtal Erik Olsen 1 Notation og indledende bemærkninger Vi lader betegne de hele tal, og Z = {... 3, 2, 1, 0, 1, 2, 3...} N = {0, 1, 2, 3...} Z være de positive hele tal. Vi minder her om et

Læs mere

Matematisk induktion

Matematisk induktion Induktionsbeviser MT01.0.07 1 1 Induktionsbeviser Matematisk induktion Sætninger der udtaler sig om hvad der gælder for alle naturlige tal n N, kan undertiden bevises ved matematisk induktion. Idéen bag

Læs mere

Oversigt [LA] 1, 2, 3, [S] 9.1-3

Oversigt [LA] 1, 2, 3, [S] 9.1-3 Oversigt [LA] 1, 2, 3, [S] 9.1-3 Nøgleord og begreber Talpar, taltripler og n-tupler Linearkombination og span Test linearkombination Hvad er en matrix Matrix multiplikation Test matrix multiplikation

Læs mere

LINALG JULENØD 2013 SUNE PRECHT REEH

LINALG JULENØD 2013 SUNE PRECHT REEH LINALG JULENØD 203 SUNE PRECHT REEH Resumé I denne julenød skal vi se på lineær algebra for heltallene Z Hvad går stadig godt? og hvad går galt? I de reelle tal R kan vi for ethvert a 0 altid finde R som

Læs mere

Om første og anden fundamentalform

Om første og anden fundamentalform Geometri, foråret 2005 Jørgen Larsen 9. marts 2005 Om første og anden fundamentalform 1 Tangentrummet; første fundamentalform Vi betragter en flade S parametriseret med σ. Lad P = σu 0, v 0 være et punkt

Læs mere

10. Nogle diofantiske ligninger.

10. Nogle diofantiske ligninger. Diofantiske ligninger 10.1 10. Nogle diofantiske ligninger. (10.1). I dette kapitel betragtes nogle diofantiske ligninger, specielt nogle af de ligninger, der kan behandles via kvadratiske talringe. Ligningerne

Læs mere

Matematik A. Studentereksamen. Forberedelsesmateriale. Digital eksamensopgave med adgang til internettet

Matematik A. Studentereksamen. Forberedelsesmateriale. Digital eksamensopgave med adgang til internettet Matematik A Studentereksamen Digital eksamensopgave med adgang til internettet Forberedelsesmateriale frs-matn/a-270420 Onsdag den 27. april 20 Forberedelsesmateriale til stx-a-net MATEMATIK Der skal afsættes

Læs mere

Dis1 2008-09 Ugeopgave 1

Dis1 2008-09 Ugeopgave 1 Dis1 2008-09 Ugeopgave 1 Rasmus Sylvester Bryder 20. februar 2009 1 F08 opgave 1 (i) Der skal gøres rede for at [2] er en primisk restklasse i Z/49, og den inverse dertil skal ndes. Altså skal gælde, at

Læs mere

Noter om polynomier, Kirsten Rosenkilde, Marts Polynomier

Noter om polynomier, Kirsten Rosenkilde, Marts Polynomier Noter om polynomier, Kirsten Rosenkilde, Marts 2006 1 Polynomier Disse noter giver en kort introduktion til polynomier, og de fleste sætninger nævnes uden bevis. Undervejs er der forholdsvis nemme opgaver,

Læs mere

Eksempel 9.1. Areal = (a 1 + b 1 )(a 2 + b 2 ) a 1 a 2 b 1 b 2 2a 2 b 1 = a 1 b 2 a 2 b 1 a 1 a 2 = b 1 b 2

Eksempel 9.1. Areal = (a 1 + b 1 )(a 2 + b 2 ) a 1 a 2 b 1 b 2 2a 2 b 1 = a 1 b 2 a 2 b 1 a 1 a 2 = b 1 b 2 Oversigt [LA] 9 Nøgleord og begreber Helt simple determinanter Determinant defineret Effektive regneregler Genkend determinant nul Test determinant nul Produktreglen Inversreglen Test inversregel og produktregel

Læs mere

4.1 Lineære Transformationer

4.1 Lineære Transformationer SEKTION 41 LINEÆRE TRANSFORMATIONER 41 Lineære Transformationer Definition 411 ([L], s 175) Lad V, W være F-vektorrum En lineær transformation L : V W er en afbildning, som respekterer lineær struktur,

Læs mere

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå

qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå qwertyuiopåasdfghjklæøzxcvbnmqw ertyuiopåasdfghjklæøzxcvbnmqwert yuiopåasdfghjklæøzxcvbnmqwertyui opåasdfghjklæøzxcvbnmqwertyuiopå Polynomier Kort gennemgang af polynomier og deres asdfghjklæøzxcvbnmqwertyuiopåasd

Læs mere

Symmetriske matricer

Symmetriske matricer Symmetriske matricer Preben Alsholm 17. november 008 1 Symmetriske matricer 1.1 Definitioner Definitioner En kvadratisk matrix A = a ij kaldes symmetrisk, hvis aij = a ji for alle i og j. Altså hvis A

Læs mere

Polynomium Et polynomium. Nulpolynomiet Nulpolynomiet er funktionen der er konstant nul, dvs. P(x) = 0, og dets grad sættes per definition til.

Polynomium Et polynomium. Nulpolynomiet Nulpolynomiet er funktionen der er konstant nul, dvs. P(x) = 0, og dets grad sættes per definition til. Polynomier Polynomier Polynomium Et polynomium P(x) = a n x n + a n x n +... + a x + a 0 Disse noter giver en introduktion til polynomier, centrale sætninger om polynomiumsdivision, rødder og koefficienter

Læs mere

Nøgleord og begreber

Nøgleord og begreber Oversigt [LA] 9 Nøgleord og begreber Helt simple determinanter Determinant defineret Effektive regneregler Genkend determinant nul Test determinant nul Produktreglen Inversreglen Test inversregel og produktregel

Læs mere

Projekt 7.9 Euklids algoritme, primtal og primiske tal

Projekt 7.9 Euklids algoritme, primtal og primiske tal Projekter: Kapitel 7 Projekt 79 Euklids algoritme, primtal og primiske tal Projekt 79 Euklids algoritme, primtal og primiske tal Projektet giver et kig ind i metodee i modee talteori Det kan udbygges med

Læs mere

t a l e n t c a m p d k Talteori Anne Ryelund Anders Friis 16. juli 2014 Slide 1/36

t a l e n t c a m p d k Talteori Anne Ryelund Anders Friis 16. juli 2014 Slide 1/36 Slide 1/36 sfaktorisering Indhold 1 2 sfaktorisering 3 4 5 Slide 2/36 sfaktorisering Indhold 1 2 sfaktorisering 3 4 5 Slide 3/36 1) Hvad er Taleteori? sfaktorisering Slide 4/36 sfaktorisering 1) Hvad er

Læs mere

Modulpakke 3: Lineære Ligningssystemer

Modulpakke 3: Lineære Ligningssystemer Chapter 4 Modulpakke 3: Lineære Ligningssystemer 4. Homogene systemer I teknikken møder man meget ofte modeller der leder til systemer af koblede differentialligninger. Et eksempel på et sådant system

Læs mere

GEOMETRI-TØ, UGE 8. X = U xi = {x i } = {x 1,..., x n }, U α, U α = α. (X \ U α )

GEOMETRI-TØ, UGE 8. X = U xi = {x i } = {x 1,..., x n }, U α, U α = α. (X \ U α ) GEOMETRI-TØ, UGE 8 Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imf.au.dk. Opvarmningsopgave 1. Lad X være en mængde og T familien af alle delmængder

Læs mere

Komplekse tal. Mikkel Stouby Petersen 27. februar 2013

Komplekse tal. Mikkel Stouby Petersen 27. februar 2013 Komplekse tal Mikkel Stouby Petersen 27. februar 2013 1 Motivationen Historien om de komplekse tal er i virkeligheden historien om at fjerne forhindringerne og gøre det umulige muligt. For at se det, vil

Læs mere

Kursusgang 3 Matrixalgebra Repetition

Kursusgang 3 Matrixalgebra Repetition Kursusgang 3 Repetition - froberg@math.aau.dk http://people.math.aau.dk/ froberg/oecon3 Institut for Matematiske Fag Aalborg Universitet 16. september 2008 1/19 Betingelser for nonsingularitet af en Matrix

Læs mere

Noter til Perspektiver i Matematikken

Noter til Perspektiver i Matematikken Noter til Perspektiver i Matematikken Henrik Stetkær 25. august 2003 1 Indledning I dette kursus (Perspektiver i Matematikken) skal vi studere de hele tal og deres egenskaber. Vi lader Z betegne mængden

Læs mere

1.1 Legemer. Legemer er talsystemer udstyret med addition og multiplikation, hvor vi kan regner som vi plejer at gøre med de reelle tal.

1.1 Legemer. Legemer er talsystemer udstyret med addition og multiplikation, hvor vi kan regner som vi plejer at gøre med de reelle tal. SEKTION 11 LEGEMER 11 Legemer Legemer er talsystemer udstyret med addition og multiplikation, hvor vi kan regner som vi plejer at gøre med de reelle tal Definition 111 Et legeme F er en mængde udstyret

Læs mere

Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec.

Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec. Noter om Komplekse Vektorrum, Funktionsrum og Differentialligninger LinAlg 2004/05-Version af 16. Dec. 1 Komplekse vektorrum I defininitionen af vektorrum i Afsnit 4.1 i Niels Vigand Pedersen Lineær Algebra

Læs mere