Gruppekohomologi og Gruppeudvidelser

Størrelse: px
Starte visningen fra side:

Download "Gruppekohomologi og Gruppeudvidelser"

Transkript

1 DET NATURVIDENSKABELIGE FAKULTET KØBENHAVNS UNIVERSITET Lise Volsing Smith Gruppekohomologi og Gruppeudvidelser Bachelorprojekt i matematik. Institut for matematiske fag, Københavns Universitet Bachelor Thesis in Mathematics. Department of Mathematical Sciences, University of Copenhagen Vejleder: Jesper Grodal Afleveringsdato: 10. juni 2011

2 Resumé Vi starter med at betragte R-moduler, som er abelske grupper med en virkning af ringelementerne fra R på gruppeelementerne. Derefter definerer vi begrebet graduerede R-moduler, som er følger af R-moduler {C i } i Z. Hvis der findes en endomorfi af grad -1 og 2 =0, kalder vi det graduerede R-modul sammen med endomorfien for et kædekompleks, hvis derimod har grad +1, kalder vi det et kokædekompleks. Homologi og Kohomologi defineres til Ker /Im. Vi indfører grupperingen ZG, og viser, at ZG-moduler er et ækvivalent begreb til G-moduler, som er abelske grupper med en G-virkning. Vi definerer projektive resolutioner af R-moduler, til at være eksakte ikke-negative kædekomplekser med en kædeafbildning ind i R-modulerne. Hvis F Z er en projektiv resolution af Z over ringen ZG, defineres homologi af gruppen G, til at være homologien af F G, altså HG = H(F G ), hvor F G er det projektive modul, som opnås af F ved at dividere G-virkningen ud. Hvis vi har to projektive resolutioner af Z over ZG, er homologierne isomorfe, idet de er ækvivalente op til homotopi. Vi definerer endvidere homologi og kohomologi af en gruppe med koefficienter i et G- modul ved tensorproduktet og gruppen af homomorfier, så H n (G, M) =H n (F G M) og H n (G, M) =H n (Hom G (F, M)). Vi behandler også gruppeudvidelser, idet det viser sig, at A-konjugerede splitudvidelser af G ved A, er i 1-1 korrespondance med elementerne i H 1 (G, A), og generelt er ækvivalensklasser af udvidelser af G ved A, er i 1-1 korrespondance til elementer i H 2 (G, A), når A er abelsk. Gruppeudvidelser kan bruges i problemet, hvor man ønsker at klassificere grupper E med en normal undergruppe A og G = E/A som kvotient. Til sidst bruger vi resultaterne for gruppeudvidelser, til at klassificere p-grupper med en cyklisk undergruppe af index p. Abstract We start by considering R-modules, which are abelian groups with an action of the ring elements of R on the group elements. We define the concept of graded R-modules to be sequences of R-modules {C i } iinz. If there exists an endomorphism of degree -1 and 2 =0, we call the graded R-module with the endomorphism a chain complex, on the other hand if has degree +1 we ll call it a cochain complex. Homology and cohomology is defined as Ker /Im. We introduce the interger group ring ZG and show that ZG-modules is an equivalent concept to G-modules, which are abelian groups with a G-action. We define projective resolutions of R-modules to be exact non-negative chain complexes with a chainmap to the R-modules. If F Z is a projective resolution of Z over the ring ZG, we define homology of the group G to be the homology of F G,thusHG = H(F G ),wheref G is the projective module obtained from F by dividing out the G-action. If we have two projective resolutions of Z over ZG the homologies are isomorphic, since they are equivalent up to homotopy. We define homology and cohomology of a group with coefficients in a G-module by the tensor product and the group of homomorphisms; H n (G, M) =H n (F G M) and H n (GM) =H n (Hom G (F, M)). We also consider group extensions, as it turns out that A-conjugated split extensions of G by A are in 1-1 correspondence with elements of H 1 (G, A), and generally the equivalence classes of extensions G by A are in 1-1 correspondence with elements of H 2 (G, A), whena is abelian. Group Extensions can be used in the problem of classifying groups E with a normal subgroup A and G = E/A as the quotient. Finally, we use the results for group extensions to classify the p-groups with a cyclic subgroup of index p.

3 Indhold 1 Modulteori og homologisk algebra Moduler Graduerede moduler Projektive moduler Heltalsgrupperingen ZG G-moduler Resolutioner Standardresolutionen Tensorproduktet og Hom Tensorproduktet Hom Homologi af en gruppe 13 6 Homologi og Kohomologi med Koefficienter 17 7 Gruppeudvidelser Splitudvidelser Udvidelser med abelsk kerne p-grupper med en cyklisk undergruppe af orden p 27 9 Litteraturliste 31

4 Indledning Homologi og Kohomologi optræder i mange grene indenfor Algebra og Topologi. Konceptet er udsprunget af topologiske problemer, hvorefter det har fået en algebraisk beskrivelse. Dette bachelorprojekt er en algebraisk tilgang til (ko)homologi, og omhandler primært teorien for gruppekohomologi, og giver også en anvendelse af teorien; at klassificere grupper E med en normal undergruppe A og kvotient G = E/A. Dette kan gøres ved gruppeudvidelser. Vi viser, at for gruppeudvidelser af G ved A, hvor A er abelsk, er A-konjugerede splitudvidelser af G ved A i 1-1 korrespondance med elementerne i H 1 (G, A), og generelt er ækvivalensklasser af udvidelser af G ved A i 1-1 korrespondance til elementer i H 2 (G, A). Konkret klassificeres p-grupper med en abelsk undergruppe af index p. Projektet forudsætter kendskab til grupper, ringe og lidt modulteori. Dog opsummeres den nødvendige modulteori i starten af projektet. Jeg har taget udgangspunkt i bøgerne Cohomology of Groups af Brown og ACourseinHomologicalAlgebraaf Hilton-Stammbach.

5 1 MODULTEORI OG HOMOLOGISK ALGEBRA 1 Modulteori og homologisk algebra 1.1 Moduler Lad R være en vilkårlig ring med et-element 1 R. Vi definerer et venstre R-modul til at være en abelsk gruppe A sammen med en ringhomomorfi ϕ : R End(A). Vi skriver λa := (ϕ(λ))(a) for alle λ R og a A. EtvenstreR-modul er dermed en abelsk gruppe med en virkning af ringelementer på gruppeelementer, som for alle λ 1,λ 2,λ R og a 1,a 2,a A opfylder M1: (λ 1 + λ 2 )a = λ 1 a + λ 2 a M2: (λ 1 λ 2 )a = λ 1 (λ 2 a) M3: 1 R a = a M4: λ(a 1 + a 2 )=λa 1 + λa 2 Et højre R-modul A defineres på lignende vis, hvor virkningen sker fra højre. I det følgende vil et R-modul betyde et venstre R-modul. Vi definerer nu en R-modul homomorfi mellem to R-moduler A og B, til at være en afbildning f : A B, som opfylder f(a 1 + a 2 )=f(a 1 )+f(a 2 ) og f(λa) =λf(a) for alle a, a 1,a 2 A og λ R. EtR-modul A kaldes frit, hvis der eksisterer en delmængde S af A, såethvertelementa A, kan skrives entydigt på formen a = s S λ(s)s, hvor λ(s) R og λ : A R, som opfylder λ(s) =0for alle pånær endeligt mange s. Delmængden S kaldes da en basis for A. Hvis A har basis S, err-modul homomorfier fra A fastlagt efter, hvad de er på basiselementerne, for hvis ϕ : A B er en R-modul homomorfi, gælder det for x A ϕ(x) =ϕ λ(s)s = λ(s)ϕ(s) s S 1.2 Graduerede moduler s S Vi betragter nu situationen, hvor man har en følge af R-moduler med R-modul homomorfier imellem Definition 1.1. Et gradueret R-modul C er en følge af R-moduler C = {C n } n Z.En gradueret R-modul homomorfi f mellem graduerede R-moduler C og C af grad p er en familie af R-modul homomorfier f = {f n : C n C n+p} n Z Vi vil nu betragte graduerede R-moduler med endomorfier af grad 1 og +1, som opfylder at 2 =0. Definition 1.2. Et kædekompleks (C, ) over R er et gradueret R-modul C = {C n } n Z sammen med en endomorfi : C C af grad -1, sådan at 2 =0.Et kokædekompleks (C, ) over R er et gradueret R-modul C = {C n } n Z sammen med en endomorfi : C C af grad +1, sådan at 2 =0. Vi kalder og for differentialerne på C hhv. C. 1

6 1.2 Graduerede moduler 1 MODULTEORI OG HOMOLOGISK ALGEBRA Altså er kæde- og kokædekomplekser følgerne i+2 C i+1 i+1 C i i C i 1 i 1 i 2 i 1 i 1 C C i i i+1 i+1 C Vi ser at kæde- og kokædekomplekser er duale begreber i den forstand at hvis vi har et kædekompleks C = {C n } n Z, kan vi danne et kokædekompleks ved at sætte C n := C n og omvendt. Vi siger at et kompleks er ikke-negativt hvis C n =0for n<0. Hvis x C n skriver vi deg x = n. Definition 1.3. For kæde- eller kokædekomplekser (C, ) definerer vi de graduerede R-moduler Z(C) :=Ker og B(C) :=Im Z(C) kaldes (co)cycles, og B(C) kaldes (co)boundaries. Vi definerer det graduerede R- modul H(C) :=Z(C)/B(C), og kalder det (kohomologi af C. Hvis C er et kædekompleks, er homologi af C H(C) ={H n (C) =Ker n /Im n+1 } n Z og hvis C er et kokædekompleks, er kohomologi af C H(C) ={H n (C) =Ker n /Im } n Z De er veldefinerede idet 2 =0og dermed Im Ker. Vi kalder et kompleks C acyklisk hvis H n (C) =0for alle n Z. Definition 1.4. Lad A ϕ B ψ C være en kort følge af R-moduler. Vi siger at følgen er eksakt på B, hvisimϕ = Ker ψ. En lang følge A 0 A 1 A n A n+1 kaldes eksakt, hvis den er eksakt på A i for i =1,...,n. Hvis vi har et eksakt kæde- eller kokædekompleks, er Im = Ker, og dermed er H n (C) =0for alle n Z. Så eksakte kæde- og kokædekomplekser er acykliske. Definition 1.5. En kædeafbildning mellem kædekomplekser (C, ) og (C, ) over R er en gradueret R-modul homomorfi f : C C af grad nul, sådan at f = f,dvs. at diagrammet C i i C i 1 f i C i i C i 1 f i 1 kommuterer for alle i Z. 2

7 1.2 Graduerede moduler 1 MODULTEORI OG HOMOLOGISK ALGEBRA Definition 1.6. En homotopi h mellem to kædeafbildninger f og g er en gradueret R-modul homomorfi h : C C af grad 1 sådan at h + h = f g. Hvis der findes en homotopi imellem to kædeafbildninger f og g, siger vi at de er homotopiske, og skriver f g. Sætning 1.7. En kædeafbildning f : C C inducerer en afbildning H(f) :H(C) H(C ).HvistokædeafbildningererhomotopiskeerH(f) =H(g). Vikalderf en svag ækvivalens hvis H(f) er en isomorfi. Bevis. Vi betragter for et i Z det kommutative diagram C i i C i 1 f i C i i C i 1 f i 1 Hvis x Ker i er i (f i(x)) = f i 1 ( i (x)) = 0 så f i (x) Ker i. Hvis y Im i findes et x så i (x) =y, dermederf i 1 (y) =f i 1 ( i (x)) = i (f i(x)) så f i 1 (y) Im i. Dermed inducerer f en afbildning H(f) :Ker i /Im i+1 Ker i /Im i+1, altså H i (C) i H i 1 (C) H i(f) H i (C ) H i 1(f) i H i 1 (C ) Antag nu at f,g : C C er to homotopiske kædeafbildninger, dvs. der findes en homotopi h : C C sådan at h + h = f g. Lad z Ker n da er (f n g n )(z) = n+1(h n (z)) + h ( n (z)) = n+1(h n (z)) da n (z) =0.Så(f n g n )(z) =f n (z) g n (z) Im n+1, og dermed H(f n )=H(g n ). Da n var vilkårlig opnår vi H(f) =H(g). Definition 1.8. En kædeafbildning f : C C kaldes en homotopiækvivalens hvis der findes en kædeafbildning f : C C sådan at ff id C og f f id C. Vi ser at en homotopiækvivalens er en svag ækvivalens, idet de to inducerede afbildninger H(f) : H(C) H(C ) og H(f ) : H(C ) H(C) af Sætning 1.7 opfylder H(f)H(f )=H(id C )=id H(C ) og H(f )H(f) =H(id C )=id H(C). Sætning 1.9. Lad (C, ) være et kædekompleks. Da er C er acyklisk hvis 0 id C. En homomotopi imellem 0 og id C kaldes en contracting homotopi. Bevis. Af Sætning 1.7 er H(0) = H(id C ). 0:C C inducerer 0:H(C) H(C) og id C : C C inducerer id H(C) : H(C) H(C). Det følger nu at H(C) =0. Vi bruger følgende resultat fra homologisk algebra uden bevis Sætning En kort eksakt følge 0 C i C π C 0 af kædekomplekser giver anledning til en lang eksakt følge af homologi H n (C ) H(i) H n (C) H(π) H n (C ) H (C ) 3

8 1.3 Projektive moduler 1 MODULTEORI OG HOMOLOGISK ALGEBRA Definition Lad f :(C, ) (C, ) være en kædeafbildning, da defineres afbildningskeglen af f til at være kædekomplekset (C, ) med C = C C givet ved Cn = C n C, og (c, c )=( c + fc, c ). Sætning Lad f : C C være en kædeafbildning med afbildningskegle C. Der er en lang eksakt følge af homologi H n (C ) H(f) H n (C) H n (C ) H (C ) og f er en svag ækvivalens hvis og kun hvis C er acyklisk. Bevis. Betragt følgen 0 C i C π C 0, hvor i er inklusion og π er projektion. Følgen er eksakt. Af Sætning 1.10 får vi en lang eksakt følge H n (C ) H(f) H n (C) H n (C ) H n ( C ) og H n ( C )=Ker /Im n = H (C ) som ønsket. Antag f er en svag ækvivalens. Så er H(f) en bijektion, altså injektiv og surjektiv. Betragt H n (C ) Hn(f) H n (C) g H n (C ) h H (C ) H(f) H (f) Da kæden er eksakt, og H(f) er en bijektion, følger Ker g = Im H n (f) =H n (C) og Im h = Ker H (f) =0, altså er h og g nulafbildningerne. Vi ser at H n (C )= Ker h = Im g =0, og da n var vilkårlig at C er acyklisk. Antag C er acyklisk, dvs. H n (C )=0for alle n Z, betragt for et i Z 0 H i (C ) Hi(f) H i (C) 0 da kæden er eksakt, er Ker H i (f) =Im 0=0og Im H i (f) =Ker 0=H i (C), hvilket vil sige, at H(f) er injektiv hhv. surjektiv. Så H(f) er en isomorfi, og dermed en svag ækvivalens. 1.3 Projektive moduler Definition Lad P være et R-modul. Betragt diagrammet P ψ 0 ϕ M i M j M hvor i, j, ϕ er givne homomorfier, rækken er eksakt og jϕ =0. Hvis ψ findes for alle sådanne tilfælde kaldes P projektiv. Sætning Frie moduler er projektive. Bevis. Betragt diagrammet F ψ 0 ϕ M i M j M hvor F er et frit modul med basis {e α } α Λ. Vi ved at ϕ(e α ) Ker j. Darækkener eksakt er Ker j = Im i, såderfindesx α M så i(x α )=ϕ(e α ). Vi definerer dermed ψ til at være homomorfien som på basiselementerne er givet ved ψ(e α )=x α, og opnår dermed i(ψ(e α )) = i(x α )=ϕ(e α ), som ønsket. 4

9 1.3 Projektive moduler 1 MODULTEORI OG HOMOLOGISK ALGEBRA Sætning Lad (C, ) og (C, ) være kædekomplekser og lad r Z. Lad{f i : C i C i } i r = {f i } i r være en familie af homomorfier sådan at i f i = f i 1 i for i r. HvisC i er projektive moduler for i>rog H i (C )=0for i r, daudvides {f i } i r til kædeafbildning f : C C,somerentydigoptilhomotopi.Toudvidelser er homotopiske ved en homotopi som opfylder at h i =0for i r. Bevis. Antag, at f i er blevet defineret for i n, hvor r n, og at i f i = f i 1 i, for i n. Vi vil vise eksistensen af f n+1 i diagrammet C n+1 n+1 C n+1 f n+1 n+1 C n n C n f n n C C f Da C er et kædekompleks, er n n+1 =0. f er en homomorfi, så f n n+1 =0. Da nf n = f n er nf n n+1 = f n n+1 =0.DaC i er projektiv for i>r, og n r er C n+1 projektiv. Definér ϕ = f n n+1, vi har da diagrammet C n+1 f n+1 n+1 C n+1 0 ϕ n C n C Hvor rækken er eksakt, idet H n (C ) = 0. Af definitionen af et projektivt modul, eksisterer f n+1. Antag nu, at g er en anden udvidelse af {f i } i r. Vi vil finde en homotopi h mellem f og g. Vi kan sætte h i =0for i r, idetf og g her stemmer overens. Vi antager, at h i : C i C i+1 er definieret for i n, og opfylder at i+1 h i + h i 1 i = f i g i. Vi vil vise eksistensen af h n+1. Lad τ i = f i g i og betragt diagrammet C n+2 C n+1 Definér ϕ := τ n+1 h n n+1. Vi har at og C n h n+1 h n h τ n+1 τ n Cn+1 Cn C n+1ϕ = n+1(τ n+1 h n n+1 )= n+1τ n+1 n+1h n n+1 n+1h n n+1 =(τ n h n ) n+1 = τ n n+1 = n+1τ n+1 Så n+1ϕ =0. Af defintionen for et projektivt modul eksisterer h n+1 : C n+1 C n+2, og h n+1 opfylder som ønsket. n+2h n+1 = ϕ = τ n+1 h n n+1 n+2h n+1 + h n n+1 = τ n+1 5

10 2 HELTALSGRUPPERINGEN ZG 2 Heltalsgrupperingen ZG Lad G være en multiplikativt skrevet gruppe med neutralelement e. Vi definerer ZG til det frie Z-modul med basis G, dvs. ZG = a(g)g a : G Z, a(g) =0 for alle udentaget endeligt mange g G g G Vi definerer en multiplikation i ZG ved a(g)g a (g )g = g G g G g,g G (a(g) a (g ))gg hvor multiplikation af basiselementer g, g er multiplikationen i G. Vi ser, at 1 e = e er neutralelement for multiplikationen i ZG. Multiplikationen er associativ, idet a(g)g a (g )g a (g )g = ((a(g) a (g )) a (g ))(gg )g = (a(g) (a (g ) a (g )))g(g g ) = a(g)g a (g )g a (g )g hvor summerne er over alle elementerne g, g,g G. Additionen i ZG har neutralelement 0. Additionen er associativ og kommutativ og multiplikationen er også distributiv pr. konstruktion af ZG. Vi ser dermed, at med den definerede multiplikation og addition, er ZG en ring, og denne kaldes heltalsgrupperingen af G. Vi ser at G er indeholdt i ZG ved g =1 g. Ligeledes er Z indeholdt i ZG ved z = z e. ZG opfylder følgende universielle egenskab Sætning 2.1. Lad R være en ring med 1 R, G en multiplikativt skrevet gruppe med neutralelement e og f : G R en afbildning, som opfylder f(xy) =f(x) f(y) og f(e) =1 R.Dafindesenentydigudvidelseaff til en ringhomomorfi f : ZG R, sådan at f i = f, hvori : G ZG er inklusionen Bevis. Vores eneste kandidat for en ringhomomorfi f : ZG R er givet ved f g G a(g)g = g G a(g)f(g), idet den skal være additiv og f (i(g)) = f(g). Den er multiplikativ, da f a(g)g a (g )g = f (a(g) a (g ))gg g G g G = g,g G = g,g G g,g G (a(g) a (g ))f(gg ) (a(g) a (g ))f(g)f(g ) = a(g)f(g) a (g )f(g ) g G g G = f a(g)g f a (g )g g G g G 6

11 2.1 G-moduler 3 RESOLUTIONER Vi har, at f (i(e)) = f(e) =1 R.Såf er den entydige ringhomomorfi med de ønskede egenskaber. 2.1 G-moduler Lad G være en multiplikativt skrevet gruppe. Vi definerer et G-modul til at være en abelsk gruppe A sammen med en gruppehomomorfi σ : G Aut(A), dvs. at gruppelementerne virker på A som automorfier, og vi skriver ga for (σ(g))a. Siden automorfier på A er bijektive endomorfier på A, siger den universielle afbildningsegenskab, at der eksisterer en entydig ringhomomorfi σ : ZG End(A). Det vil altså sige, at vi kan betragte A som et ZG-modul. Hvis vi er givet et ZG-modul A, era også et G-modul, idet elementerne g G ZG er invertible, og ringhomomorfien, som bestemmer virkningen af ZG, sender invertible elementer af ZG til invertible elementer i End(A), hvilket vil sige Aut(A), såσ restringeret til G er den ønskede gruppehomomorfi. Vi kan altså betragte G-moduler og ZG-moduler som det samme. Et højre G-modul kan ligeledes identificeres med et højre ZG-modul. Et G-modul kaldes trivielt, hvis σ : G Aut(A) er triviel, dvs. ga = a for alle a A og g G. Vi kan dermed betragte enhver abelsk gruppe som et trivielt G-modul for enhver gruppe G. Den trivielle gruppehomomorfi : G Z givet ved (g) =0for alle g G giver af Sætning 2.1 en ringhomomorfi ε : ZG Z. Lad g G a(g)g være et element i ZG, da ser vi at, ε er givet ved ε a(g)g = a(g)(g) = a(g) g G g G g G af beviset for Sætning 2.1. Vi kalder ε for augmentationsafbildningen af ZG. 3 Resolutioner Lad R være en ring og M et venstre R-modul. En resolution af M over R er en eksakt følge af R-moduler 3 F ε F1 F0 M 0 Hvis alle F i erne er frie R-moduler, kaldes resolutionen fri, og ligeledes kaldes resolutionen projektiv, hvis ethvert F i er projektivt. Lad M være et R-modul; da eksisterer der frie resolutioner af M, og de kan konstrueres på følgende måde: Vælg en surjektion ε : F 0 M med F 0 frit. Vælg nu en surjektion 1 : F 1 Ker ε med F 1 frit. Da er F 1 F 0 M 0 en eksakt følge, da Im 1 = Ker ε, og Im ε = M = Ker 0. Vi har dermed konstrueret en fri resolution. Man kan betragte resolutioner som kædekomplekser på to måder. Den første er, at betragte resolutionen som et kædekompleks med M i dimension 0. Det kalder vi det augmenterede kædekompleks associeret til resolutionen. En anden måde at betragte resolutionen på, er at betragte F i erne som et ikke-negativ kædekompleks, dvs. F = 7

12 3.1 Standardresolutionen 3 RESOLUTIONER (F i, i ) i 0. og dermed at betragte ε : F M som en kædeafbildning, hvor M er kædekomplekset koncentreret i dimension 0. Det kan visualiseres i følgende diagram: 3 2 F 2 1 F 1 F M Hvis der findes et n Z så F i =0for i>nsiger vi, at resolutionen har længde n, og skriver 0 F n F 0 M 0 Vi har følgende resultater for projektive resolutioner Sætning 3.1. Givet projektive resolutioner F og F af et modul M findes en augmentations bevarende kæde afbildning f : F F entydig op til homotopi og f er en homotopiækvivalens. Bevis. Lad ε : F M og ε : F M være to projektive resolutioner af et modul M. Vi betragter de augmenterede kædekomplekser med M i dimension 1: F 1 ε F 0 M 0 id M F1 F0 ε M 0 Af Sætning 1.15 eksisterer en kædeafbildning f : F F som opfylder ε f = εid M = ε, hvilket vi kalder augmentationsbevarende. Yderligere følger, at f er entydig op til homotopi. Ligeledes eksisterer der en op til homotopi entydig augmentationsbevarende kædeafbildning f : F F. Vi har ff id F og f f id F,idetidentiteteneren anden udvidelse af ff : F F og f f : F F.Såf er en homotopiækvivalens. Korollar 3.2. Hvis F, F er projektive resolutioner, er H(F )=H(F ). Bevis. Dette følger af Sætning 3.1, og af, at en homotopiækvivalens er en svag ækvivalens. 3.1 Standardresolutionen Der er en fri resolution af Z over ZG som altid virker. Vi vil nu konstruere den og kalde den for standardresolutionen. Den har forskellige konstruktioner, og vi vil præsentere den i bar-notationen. Lad G være en givet gruppe og betragt Z som et ZG-modul. Lad F n for n 0 være de frie ZG-moduler med følgende n-tupler som basiselementer [ g 1 g 2 g n ]:=(1,g 1,g 1 g 2,...,g 1 g 2 g n ) Vi identificerer F 0 som ZG-modulet med basiselement []=1. Så vi kan identificere F 0 med ZG, idetetelementif 0 er på formen 1 F 0 λ(1) 1=λ(1), hvor λ(1) ZG. Vi kan dermed bruge augmentationsafbildningen ε : F 0 = ZG Z; betragt nu følgen F : F n n F 2 1 ε F1 ZG Z 0 ε 8

13 3.1 Standardresolutionen 3 RESOLUTIONER med differentiale = { n } n 1 givet ved n [ g 1 g n ]=g 1 [ g 2 g 2 ] ( 1) i [ g 1 g i 1 g i g i+1 g i+2 g n ] + i=1 +( 1) n [ g 1 g ] som er veldefineret idet F i erne kan betragtes som G-moduler, jvf. afsnit 2.1. Der ønskes nu at vise, at (F, ) er eksakt. Definér h = {h n : F n F n+1 } n Z til at være familien af ZG-modul homomorfier, som på elementerne g[ g 1 g n ] (og dermed også basiselementerne) er givet ved h n (g[ g 1 g n ]) = [ g g 1 g n ] Vi vil vise, at h er en contracting homotopi, hvorfra det af Sætning 1.9 følger at F er en eksakt følge. Vi skal dermed vise at n+1 h n + h n = id Fn. Det er nok at vise, at det gælder for basiselementerne, da h n, n er ZG-modul homomorfier. For lad f F n,daer ( n+1 h n + h n )(f) = n+1 h n λ([ g 1 g n ])[ g 1 g n ] = = + h n g 1,...,g n G + g 1,...,g n G g 1,...,g n G g 1,...,g n G g 1,...,g n G λ([ g 1 g n ])[ g 1 g n ] λ([ g 1 g n ]) n+1 (h n ([ g 1 g n ])) λ([ g 1 g n ])h ( n ([ g 1 g n ])) λ([ g 1 g n ])( n+1 (h n ([ g 1 g n ])) + h ( n ([ g 1 g n ]))) som er identiteten, hvis n+1 (h n ([ g 1 g n ])) + h ( n ([ g 1 g n ])) er identiteten. Lad derfor [ g 1 g n ] være et basiselement i F n og betragt n+1 (h n [ g 1 g n ]) = n+1 ([ 1 g 1 g n ]) =[g 1 g n ]+( 1) 1 [ g 1 g n ] n + ( 1) i [1 g 1 g i 1 g i g i+1 g i+2 g n ] i=2 +( 1) n+1 [ g 1 g n ] 9

14 4 TENSORPRODUKTET OG HOM og h ( n [ g 1 g n ]) = h (g 1 [ g 2 g n ]) ( 1) i h ([ g 1 g i 1 g i g i+1 g i+2 g n ]) + i=1 +( 1) n+1 h ([ g 1 g ]) =[g 1 g 2 g n ] ( 1) i [1 g 1 g i 1 g i g i+1 g i+2 g n ] + i=1 +( 1) n [1 g 1 g ] hvor vi undervejs har benyttet at h er en ZG-modul homomorfi. Vi ser at n+1 (h n [ g 1 g n ]) + h ( n [ g 1 g n ]) som ønsket. = ( 1) i+1 [1 g 1 g i 1 g i g i+1 g i+2 g n ] i=1 +( 1) n+1 [ g 1 g ] +[g 1 g 2 g n ] ( 1) i [1 g 1 g i 1 g i g i+1 g i+2 g n ] + i=1 +( 1) n [1 g 1 g ] =[g 1 g n ] 4 Tensorproduktet og Hom 4.1 Tensorproduktet Tensorproduktet over R-moduler Lad R være en ring, og lad A være et højre og B et venstre R-modul. Definition 4.1. Lad S være den abelske gruppe, som er fri på mængden {a b a A, b B}. Lad T være undergruppen frembragt af (a 1 + a 2 ) b (a 1 b + a 2 b), a (b 1 + b 2 ) (a b 1 + a b 2 ), ar b a rb og for alle a, a 1,a 2 A, b, b 1,b 2 B og r R. Daertensorproduktet af A og B over R defineret som A R B := S/T I A R B gælder altså følgende relationer (a 1 + a 2 ) b = a 1 b + a 2 b, a (b 1 + b 2 )=a b 1 + a b 2, ar b = a rb og 10

15 4.1 Tensorproduktet 4 TENSORPRODUKTET OG HOM for alle a, a 1,a 2 A, b, b 1,b 2 B og r R. De første to relationer siger at tensorproduktet er bilineært. Tensorproduktet over G-moduler Hvis A og B er enten venstre eller højre ZG-moduler, dermed G-moduler, kan vi definerer tensorproduktet A G B. For vi kan bruge automorfien g g 1 af G til at gøre et venstre G-modul A til et højre G-modul, dvs. ved at definere ag := g 1 a for alle a A og g G. Vi kan på den måde snakke om A G B for to venstre G-moduler. En af relationerne er nu, at a gb = ag b = g 1 a b. Vi ser da at a b = g 1 ga b = ga gb, så hvis vi definerer virkningen af G på A B til at være diagonal g(a b) =ga gb opnår vi for A, B venstre R-moduler (A G B)=(A B) G = A B/undergrp. frembragt af{(g(a b) (a b)) : g G, a A, b B} Med andre ord kan vi betragte A G B som tensorproduktet over Z, A B, hvor G-virkningen er divideret ud. Idet A B B A ser vi, at A G B B G A. Tensorproduktet er et eksempel på en højre-eksakt funktor: Definition 4.2. En kovariant funktor F er højre-eksakt, hvis for alle eksakte følger A B C 0 er følgen F (A) F (B) F (C) 0 eksakt. Et venstre R-modul kaldes fladt, hvis funktoren R F anvendt på en eksakt følge bevarer eksaktheden. Specielt er projektive moduler flade. Sætning 4.3. Lad f : C C være en svag ækvivalens mellem komplekser af højre R-moduler. Hvis P er et ikke-negativt kompleks af flade venstre R-moduler, så er f P : C R P C R P en svag ækvivalens. Bevis. Afbildningskeglen C af f er acyklisk af Sætning??. C R P er afbildningskeglen for f P,idet (C R P ) n =((C C ) R P ) n = (C C ) i R P j i+j=n = (C i Ci 1) R P j i+j=n (C R P (C R P )) n =(C R P ) n (C R P ) = C i R P j Ci R P j i+j=n = i+j=n = i+j=n i+j= C i R P j i+j=n C i R P j C i 1 R P j = (C i Ci 1) R P j i+j=n C i 1 R P j Det er nok af Sætning 1.12 at vise, at C R P er acyklisk. Lad P (n) være n-skellettet af P, dvs komplekset 0 P n P P 0 0. Vi vil vise, at C P (n) er acyklisk ved induktion. Hvis n =0er n-skellettet givet ved 0 P 0 0, dvs.et 11

16 4.2 Hom 4 TENSORPRODUKTET OG HOM kompleks koncentreret i dimension 0. DaP 0 er fladt forbliver følgen Ci+1 C i Ci 1 eksakt tensoreret med P 0, og dermed er C P (0) acyklisk. Antag nu, at C R P () er acyklisk. Betragt komplekset P (n) /P () ; det er koncentreret i dimension n, og består af modulet P n.dap n er fladt er C (P (n) /P () ) eksakt, og dermed acyklisk. Betragt nu følgen 0 C R P () i C R P (n) π C R P (n) /P () 0 hvor i er inklusion og π er projektion. Det er en eksakt følge, for hvis for et n Z x Ker π, erx k n p n =0hvilket vil sige at x = x p deqx+degp=k for deg p =0,...,n 1. Såx (C R P ( n 1)) k, og er derfor billedet af sig selv under inklusion. Af Sætning 1.12, følger nu at C P (n) er acyklisk. (C R P (i) ) i N er en voksende følge af komplekser, og det n te kompleks er givet ved 0 i+j=n C i R P j i+j= C i P j C 0 R P 0 0 Vi ser, at C R P er foreningen af elementerne i følgen (C R P (i) ) i N,påden måde, at (C R P ) n = i N (C R P (i) ) n. Lad nu x (C R P ) n for et vilkårligt n Z, og antag nx =0. Vi ser, at x (C R P (n+1) ) n som er acyklisk, dvs. Ker n/im n+1 =0,såderfindesy (C R P (n+1) ) n+1 så n+1y = x, meny tilhører også (C R P ) n+1, så vi har vist, at H n (C R P )=0, og da n var vilkårlig at C R P er acyklisk. 4.2 Hom Hom R (A, B) er gruppen af R-modul homomorfier fra A til B. Den er abelsk, idet vi definerer ϕ+ψ : A B ved (ϕ+ψ)(a) =ϕ(a)+ψ(a) for alle a A. Neutralelementet er nulafbildningen. Vi kan konstruere et funktionskompleks Hom R (C, C ) for C og C kædekomplekser. Det n-te led (Hom R (C, C )) n er defineret til mængden af graduerede R-modul homomorfier af grad n fra C til C, det vil sige (Hom R (C, C )) n = q Z Hom(C q,c q+n) og med differentiale D n :(Hom R (C, C )) n (Hom R (C, C )) givet ved D n (f) = f ( 1) n f Sætning 4.4. Lad R være en vilkårlig ring med et-element 1 R =0 R,betragtetsom et højre R-modul. Lad A være et venstre R-modul med neutralelement 0 A.Daer,som abelske grupper, R R A A og Hom R (R, A) A. Bevis. Lad ϕ : R R A A være givet ved ϕ(r a) =ra, det er en homomorfi idet ϕ(r 1 a 1 +r 2 a 2 )=ϕ(1 R r 1 a 1 +1 R r 2 a 2 )=ϕ(1 R r 1 a 1 +r 2 a 2 )=r 1 a 1 +r 2 a 2 = ϕ(r 1 a 1 )+ϕ(r 2 a 2 ).Lad ψ : A R R A være givet ved ψ(a) =(1 R a), derer 12

17 5 HOMOLOGI AF EN GRUPPE en homomorfi idet ψ(m + n) =(1 R m + n) =(1 R m)+(1 R n) =ψ(m)+ψ(n). ψ og ϕ er hinandens inverse, da ϕ(ψ(a)) = ϕ(1 R a) =1 R a = a ψ(ϕ(r a)) = ψ(ra) =(1 R ra) =(r a). Så R R A A. Lad α : Hom R (R, A) A være givet ved α(f) =f(1 R ). Det er en homomorfi idet α(f + g) =(f + g)(1 R )=f(1 R )+g(1 R )=α(f)+α(g), hvor anden lighed følger af den definerede addition i Hom R (R, A). Vi viser, at α er bijektiv. Antag at α(f) =0 A,såerf(1 R )=0 A.Daf er en R-modul homomorfi gælder f(r) =rf(1 R )=0 A for alle r R. Dermedmåf være identisk nul. Så Ker α =0 HomR og dermed er α injektiv. a A kan rammes af R-modul homomorfien f(r) =ra, for α(f) =f(1 R )=1 R a = a, såα er surjektiv. Dermed er Hom R (R, A) A. 5 Homologi af en gruppe Lad G være en gruppe og M et G-modul. Gruppen af koinvarianter M G defineres som M G := M/den additive undergrp. frembragt af {(gm m) g G, m M} Altså dannes M G ved at dividere G-virkningen ud. M G kan også beskrives ved tensorproduktet: Sætning 5.1. Betragt Z som et højre G-modul med triviel G-virkning. Da er M G Z ZG M Bevis. Betragt (1 gm) Z ZG M, der gælder at (1 gm) =(1g m) =(1 m) da G-virkningen på Z er triviel. Der findes dermed en afbildning ϕ : M G Z ZG M givet ved ϕ(m) =(1 m), som er veldefineret. Det er en gruppehomomorfi da ϕ(a + b) =(1 a + b) =(1 a)+(1 b) =ϕ(a)+ϕ(b) Definér nu afbildningen ψ : Z ZG M M G givet ved ψ(a m) =am. Vi har at a m + b n =1 am +1 bn =1 (am + bn) så ψ(a m + b n) =ψ(1 (am + bn)) = am + bn = am + bn = ψ(a m)+ψ(b n) så afbildningen er en gruppehomomorfi. De er inverse til hinanden for ψ(ϕ(m)) = ψ(1 m) =m ϕ(ψ(a m)) = ϕ(am) =1 am = a m Så som grupper opnår vi M G Z ZG M. 13

18 5 HOMOLOGI AF EN GRUPPE Sætning 5.2. Der gælder følgende (1) Hvis M M M er en eksakt følge af G-moduler, er den inducerede følge M G M G M G eksakt. (2) Hvis P er et projektivt ZG-modul, er P G et projektivt Z-modul. (3) Hvis F er et frit ZG-modul med basis {e i } i α,såerf G et fri Z-modul med basis {ē i } i α. Bevis. (1) Lad M M M være en eksakt følge af G-moduler. Da A G Z G M for G-moduler M, og tensorproduktet er en højre-eksakt funktor, er MG M G MG eksakt. (2) Da P er projektiv har vi at ψ eksister for alle diagrammer P ψ 0 ϕ M i M j M med eksakt række. Problemet er dermed ækvivalent med at vise eksistensen af ψ i følgende diagram P π ψ P 0 ψ G ϕ M i M j M hvor π(p) =p, altså er nu ϕ = ϕπ. Vi ønsker at vise eksistens af ψ, sådan at iψ = ϕ. Lad ψ : P G M være en afbildning som opfylder ψ = ψπ. Daeriψ(g) =iψπ(g) = iψ(g) =ϕ(g) =ϕπ(g) =ϕ(g), som ønsket. Dermed er P G projektiv. (3) Lad F være et frit ZG-modul med basis {e i } i α. Lad z Z og m F,daer z m =1 zm =1 i α λ i e i under isomorfien af beviset for sætning 5.1 er ψ 1 i α λ ie i = i α λ ie i = i α λ ie i, så derfor er {e i } i α en Z-basis for F G. Definition 5.3. Lad G være en gruppe og ε : F Z en projektiv resolution af Z over ZG. Homologigrupperne af G defineres som Altså er homologi af G homologi af H i G := H i (F G ) (P 3 ) G (P 2 ) G (P 1 ) G (P 0 ) G 0 Vi ser som konsekvens, at H i G =0for i 0. Definitionen er veldefineret, for lad F, F være to projektive resolutioner af Z over ZG. Da er af Sætning 5.2 F G og FG projektive resolutioner af Z over Z, og af Korollar 1.16 følger at H(F G )=H(FG ). Dermed er det fuldstændigt frit for os at vælge hvilken projektiv resolution vi ønsker, så længe den er projektiv eller fri (da frie resolutioner er projektive af Sætning 1.14). 14

19 5 HOMOLOGI AF EN GRUPPE Korollar 5.4. Idet der af Sætning 5.1 gælder F G Z ZG F er Så homologi af G er homologi af H i G H i (Z ZG F ) Z ZG P 3 Z ZG P 2 Z ZG P 1 Z ZG (P 0 ) G 0 Homologi af en cyklisk gruppe Eksempel 5.5. Antag G er en endelig cyklisk gruppe af orden n med frembringer t. Vi vil vise at Z hvis i =0, H i G Z/Zn hvis i ulige, 0 hvis i lige. Dette vil vi vise, ved at betragte følgen t 1 ZG N ZG t 1 ZG Z 0 hvor afbildningerne er multiplikation med t 1 og N = ti, og vise, at det er en resolution af Z over ZG. Elementer i heltalsgrupperingen ZG er på formen λ i t i med λ i Z Vi viser at det er en eksakt følge. Lad x Im (t 1), daerx = y(t 1) for et y ZG. x ligger i kernen af N, da y(t 1)N = y(t 1) t i = y (t i+1 t i ) = y(t n t 0 )=y 0=0 Lad x Im N, daerx = yn for et y ZG. x ligger i kernen af (t 1) da yn(t 1) = y t i (t 1) = y (t i+1 t i ) =0 Lad x Ker (t 1), dvs.x(t 1) = 0, så λ i t i (t 1) = 0 men λ i (t i+1 t i )=0 λ i (t i+1 t i )= λ i t i+1 λ i t i = n i=1 λ i 1 t i λ i t i = λ λ 0 t 0 + (λ i 1 λ i )t i = (λ i 1 λ i )t i 15

20 5 HOMOLOGI AF EN GRUPPE med λ 1 := λ.da{t i } er en basis for G, ersummen (λ i 1 λ i )t i =0 hvis og kun hvis λ i 1 λ i = 0 for i = 0,...,n 1. Vi ser at dette betyder at λ 0 = λ 1 =...= λ := λ, så x = λ som er billedet af λ ZG under multiplikation med N. Såx ligger i billedet af N. Lad x Ker N. Skrivx = λ it i. Vi ser at λ i t i t i = t i i,j=0 = λ i t i+j λ i t j j=0 = j=0 λ i som er nul hvis og kun hvis λ i =0. Lad y = µ it i hvor µ i erne opfylder, at forskellen µ i 1 µ i = λ i, og hvor µ 1 := µ. Dette er muligt idet µ i 1 µ i = 0. Vi ser, at y(t 1) = µ i (t i+1 t i )= (µ i 1 µ i )t i = λ i t i Så x Im (t 1). Vi har dermed vist at kæden er eksakt. Vi opnår nu følgen af (ZG) G til at være 0 Z n Z 0 Z 0 0 da vi dividerer G-virkningen ud. For hvis z Z er zn = zt zt = zn og z(t 1) = tz z =0. Vi ser at lad i være lige, da er lad i være ulige, da er som ønsket. H 0 (G) =Ker 0/Im 0=Z/0 =Z H i (G) =Ker n/im 0=0/0 =0 H i (G) =Ker 0/Im n = Z/Zn Homologi ved standardresolutionen Eksempel 5.6. Lad G være en vilkårlig gruppe. Vi kan vælge en projektiv resolution af Z over ZG til at være standardresolutionen. Vi vil da betegne kædekomplekset F G med C (G). Vi kan nu beskrive C (G) ved sætning 5.2. C n (G) har en Z-basis givet ved n-tuplerne [ g 1 g n ], som nu er billedet af basiselementerne [ g 1 g n ] af t j 16

21 6 HOMOLOGI OG KOHOMOLOGI MED KOEFFICIENTER F n i (F n ) G, det vil sige, hvor G-virkningen er divideret ud. Vi har at det inducerede differentialet n : C n (G) C (G) er givet ved idet vi af diagrammet n [ g 1 g n ]=[g 2 g n ] ( 1) i [ g 1 g i 1 g i g i+1 g i+2 g n ] + i=1 +( 1) n [ g 1 g ] F n n F π n π (F n ) G n (F ) G hvor π n : F n (F n ) G er homomorfien som sender et element g i sin sideklasse g, får at n (g) = n (π n (g)) = π ( n (g)) = n (g). Vi betragter nu C (G) i lave dimensioner. Da har vi, at med Vi kan dermed udregne C 2 (G) 2 C 1 (G) 1 Z [g 1,g 2 ]=[g 2 ] [g 1 g 2 ]+[g 1 ] og 1 =[ ] [ ] = 0 H 0 G = H 0 (C 0 (G)) = Ker 0/Im 1 = Z/0 =Z 6 Homologi og Kohomologi med Koefficienter Lad F være en projektiv resolution af Z over ZG og lad M være et G-modul. Definition 6.1. Homologi af G med koefficienter i M defineres ved H (G, M) :=H (F G M) hvor F G M er komplekset opnået fra F ved at tilføje funktoren G M. Altså er homologi af G med koefficienter i M homologi af F 3 G M F 2 G M F 1 G M F 0 G M 0 Dette er en naturlig generalisering af H G, for ved at tage koefficienter i Z, M = Z, opnår vi nemlig H (G, Z) =H (F G Z)=H (Z G F )=H (F G ) En ækvivalent definition er at tage projektive resolutioner for både Z og M, F ε Z og P η M og sætte H (G, M) :=H (F G P ) 17

22 6 HOMOLOGI OG KOHOMOLOGI MED KOEFFICIENTER Det er konsistent med forrige definition, da η inducerer en svag ækvivalens F η : F G P F G M af Sætning 4.3, idet F er et ikke-negativt kompleks bestånde af projektive dvs. flade moduler. Så H (F G P ) H (F G M) Vi har yderligere en svag ækvivalens ε P : F G P Z G P P G,så H (F G P )=H (Z G P )=H (P G ) For en gruppe G med koefficienter i M har vi nu tre måde at regne homologien H (G, M) ud på. Vi vil nu vise at H 0 (G, M) =M G, og har derfor brug for følgende sætning Sætning 6.2. Lad F være en højre-eksakt funktor og P A en projektiv resolution af A. DaerH 0 (F (P )) F (A). Bevis. Vi betragter resolutionen P 1 P 0 A 0, som er en eksakt følge. Da F er højre-eksakt er F (P 1 ) ϕ F (P 0 ) α F (A) 0 eksakt. Vi ser at H 0 (F (P )) = Ker ψ/im ϕ er homologien af kædekomplekset F (P 1 ) ϕ F (P 0 ) ψ 0 Vi har af den eksakte følge at Ker ψ/im ϕ = F (P 0 )/Ker α. Vi påstår at F (P 0 )/Ker α F (A). Definer en afbildning F (P 0 )/Ker α F (A) givet ved x α(x). Det er en homomorfi, idet x + y α(x + y) =α(x) α(y) som er billedet af x + y. Vi ser at hvis α(x) =0er x Ker α, såx =0, så afbildningen er injektiv. Hvis y F (A) findes et z F (P 0 ) så α(z) =y, idetα er surjektiv. Så vil z y, så afbildningen er surjektiv. Vi konkluderer, at det er en isomorfi. Korollar 6.3. Med F = G M opnår vi H 0 (G, M) =Z G M M G Vi vender nu blikket mod definitionen af kohomologi med koefficienter. Lad F Z være en projektiv resolution af Z over ZG. Vi betragter M =(M n ) som et kompleks koncentreret i dimension 0, dvs. M 0 = M og M i =0for i = 0. Betragt nu kædekomplekset Hom G (F, M). Hom G (F, M) n er defineret som mængden af graduerede ZG-modul homomorfier af grad n fra F til M, dvs. Hom G (F, M) n = q Z Hom G (F q,m q+n ) da M i =0for i = 0, vil Hom G (F q,m q+n ) for q + n = 0være mængden indeholdende den trivielle homomorfi, som sender alt i 0. For q + n =0kan der også være ikketrivielle homomorfier. Vi ser dermed at Hom G (F, M) n = Hom G (F n,m) Vi kan dermed se Hom G (F, M) som et kokædekompleks, ved at indeksere på følgende måde Hom G (F, M) n = Hom G (F, M) n = Hom G (F n,m) 18

23 6 HOMOLOGI OG KOHOMOLOGI MED KOEFFICIENTER Det er et ikke-negativt kokædekompleks Hom G (F 0,M) δ0 Hom G (F 1,M) δ1 Hom G (F 2,M) δ2 med differentiale δ = {δ n } n 0 givet ved (δ n u)(x) =( 1) n+1 u( n+1 (x)) for u Hom G (F n,m),x F n+1 hvor = { n } n Z er differentialet på resolutionen F. Vi checker at δ 2 =0: Lad u Hom G (F n,m) og x F n+2,daer da n+1 n+2 =0. (δ n+1 (δ n u))(x) =( 1) n+2 (δ n u)( n+2 (x)) =( 1) 2n+3 u( n+1 ( n+2 (x))) = 0 Definition 6.4. Vi definerer kohomologi af G med koefficienter i M til at være H (G, M) :=H (Hom G (F, M)) Altså er kohomologi af G med koefficienter i M, kohomologien af 0 Hom G (F 0,M) Hom G (F 1,M) Hom G (F 2,M) Vi ser at H n (G, M) =0for n<0. Homologi og Kohomologi med koefficienter af standardresolutionen Eksempel 6.5. Hvis vi for F= {F n, n } tager standard resolutionen, definerer vi C (G, M) :=(F G M) =(M G F ), C (G, M) =(Hom G (F, M)) Vi husker at F n er ZG-modulet med basiselementer [ g 1 g n ], og elementer i F n er dermed på formen λ([ g 1 g n ])[ g 1 g n ] g 1,,g n G for λ([ g 1 g n ]) ZG. Betragt nu elementer i C n (G, M), de er givet ved n λ([ g 1 g n ])[ g 1 g n ]= nλ([ g 1 g n ]) [ g 1 g n ] g 1,...,g n G g 1,...,g n G for n M og λ([ g 1 g n ]) ZG. Altså er elementerne endelige summer (idet elementerne i F n er endelige summer) af elementer m [ g 1 g n ] for m M. Differentialet δ n = M G n : C n (G, M) C (G, M) er givet ved (M G n )(m [ g 1 g n ]) = m g 1 [ g 2 g n ] + m ( 1) i [ g 1 g i 1 g i g i+1 g i+2 g n ] i=1 + m ( 1) n [ g 1 g ] 19

24 6 HOMOLOGI OG KOHOMOLOGI MED KOEFFICIENTER Elementer i C (G, M) er ZG-modul homomorfier. Betragt det n te led i C (G, M): C n (G, M) =Hom G (F n,m). ZG-homomorfier ϕ : F n M er bestemt ved hvad de er på basiselementerne, så ϕ svarer til en funktion f : G n M. På den anden side, hvis vi har en funktion f : G n M, kan vi definere en ZG-modul homomorfi ϕ til at opfyldende ϕ λ([ g 1 g n ])[ g 1 g n ] = λ([ g 1 g n ])f ([ g 1 g n ]) g 1,,g n G g 1,,g n G Dermed er C n (G, M) og {f : G n M} i 1-1 korrespondance. Op til fortegn er differentialet δ : C (G, M) C n (G, M) givet ved (δ f)(g 1,...,g n )=f( n (g 1,...,g n )) = g 1 f(g 2,...,g n ) ( 1) i f(g 1,...,g i 1,g i g i+1,g i+2,...,g n ) i=1 +( 1) n f(g 1,...,g ) Homologi og Kohomologi med koefficienter for cykliske grupper af endelig orden Eksempel 6.6. Lad G vær en cyklisk gruppe af orden n og med frembringer t. Vi har da af eksempel 5.5 resolutionen af Z over ZG N ZG t 1 ZG N ZG t 1 ZG Z 0 hvor N = ti. For at finde homologien og kohomologien af G med koefficienter, anvender vi funktorerne ZG M og Hom ZG (,M), og opnår N M t 1 M N M t 1 M M t 1 M N M t 1 M N Idet for enhver ring R og ethvert R-modul A gælder at R R A A og Hom R (R, A) A, jvf. Sætning 4.4 Vi ser, at N opfylder at Ngm = Nm for alle g G og m M, idetg = t j for et j {0,...,}. SåN er defineret på M G. Vi ser også at Im N er indeholdt i M G = {m M g G : gm = m}. DermedinducererN en afbildning N : M G M G, som vi kalder norm afbildningen. For en tilfældig gruppe H, er norm afbildningen multiplikation med h H h. Lad i være ulige, da er H i (G, M) =H i+1 (G, M) =Ker (t 1)/Im N = M G /Im N = Coker N lad nu i være lige, da er H i (G, M) =H i 1 (G, M) =Ker N/Im (t 1) = Ker N/{mt m m M} = Ker N 20

25 7 GRUPPEUDVIDELSER Homologi og Kohomologi med Koefficienter af cykliske grupper med uendelig orden Eksempel 6.7. Lad G være en cyklisk gruppe af uendelig orden med frembringer t. Betragt følgen 0 ZG t 1 ZG ε Z 0 Elementer i ZG er på formen λ i t i hvor λ i =0for alle pånær endeligt mange i i Z Vi viser, at det er en eksakt følge, dermed er det en fri resolution. Lad x Im (t 1), da er x = λ i t i (t 1) = λ i (t i+1 t i ) i Z Så ε(x) = i Z i Z λ i (ε(t i+1 ) ε(t i )) = i Z λ i (1 1) = 0 så x Ker ε. Lad y Ker ε, daerε(y) =0. Vi har, at ε(y) =ε λ i t i = λ i ε t i = λ i i Z i Z i Z Så i Z λ i =0, og ser af eksempel 5.5 at y Im (t 1). SåIm(t 1) = Ker ε. Vi har yderligere, at Im 0={0} = Ker (t 1), idetx(t 1) = i Z λ it i (t 1) = i Z λ i(t i+1 t i ) hvis og kun hvis λ i =0for alle i Z. Vi ser, at Im ε Ker 0. Lad x Ker 0=Z. Daerε(z) =zε(1) = z, såx Im ε. H (G, M) er homologien af og H (G, M) er kohomologien af 0 M t 1 M 0 0 M t 1 M 0 Vi ser at H 1 (G, M) =H 0 (G, M) M G af Korollar 6.3, H 1 (G, M) =H 0 (G, M) og H i (G, M) =H i (G, M) =0for i>1. 7 Gruppeudvidelser En udvidelse af en gruppe G ved en gruppe N er en kort eksakt følge 1 N α E β G 1 (1) Vi ser at ker α =1og Im β = G, såα er injektiv, og β er surjektiv. En udvidelse 1 N E G 1 siges at være ækvivalent med (1), hvis der findes en afbildning 21

26 7.1 Splitudvidelser 7 GRUPPEUDVIDELSER E E, som får det tilhørende diagram E 1 N G 1 E til at kommutere. Sådan en afbildning er nødvendigvis en isomorfi, idet den skal være surjektiv og injektiv, for at udvidelserne er eksakte. De følgende afsnit vil handle om at klassificere udvidelser af G ved N op til ækvivalens. Dette viser sig, at indvolere kohomologigrupperne H 1 (G, ) og H 2 (G, ). Dermedvil vi prøve at forstå, på hvilke måder, man kan opbygge gruppen E med N som normal undergruppe og G som kvotient. Vi vil udelukkende betragte tilfældet, hvor gruppen A := N er abelsk og skrevet additiv: 0 A i E π G 1 Siden A er indlejret som en normal undergruppe af E, virkere på A ved konjugering. Siden A er abelsk, virker A på sig selv ved konjugering, så vi har en induceret gruppevirkning af E/A = G på A. Lad g G, daπ er surjektiv vælg da e E så π(e) =g. Gruppevirkningen af G på A er da karakteriseret ved Vi har at π(1) = 1, så i(g.a) =ei(a)e 1 (2) i(1.a) =1i(a)1 1 = i(a) da i er injektiv, må 1.a = a. Lad nu g, h G og vælg e g,e h sådan at π(e g )=g og π(e h )=h, og betragt i((gh).a) =e g e h i(a)(e g e h ) 1 = e g e h i(a)e 1 h e 1 g = i(g.(h.a)) da i er injektiv må (gh).a = g.(h.a). Virkningen er dermed veldefineret. Vi ser, at (2) kan omskrives til ei(a) =i(ga)e og observerer at billedet i(a) kommuterer med elementer i E, dvs. er central i E, hvis og kun hvis virkningen er triviel. I dette tilfælde kalder vi udvidelsen central. Nu har vi defineret en struktur, som gør A til et G-modul. Vi kan dermed omtolke klassifikationsproblemet, ved at lade et G-modul A være givet, og prøve at klassificere udvidelserne af G ved A, som giver den definerede virkning af G på A. Vi betragter først problemet for splitudvidelser. 7.1 Splitudvidelser Lad A være et G-modul med udvidelsen 0 A i E π G 1 (3) 22

27 7.1 Splitudvidelser 7 GRUPPEUDVIDELSER som giver den virkningen (2) af G på A. Vi siger, at udvidelsen er split, hvisder findes en homomorfi s : G E så πs = id G, og da kalder vi s en splitting. Vi ser, at π restringeret på billedet s(g) er en isomorfi. Lad nu s(g) s(g), da er (sπ)(s(g)) = s(π(s(g)) = s(g), sås(π s(g)) = id s(g). Lad e i(a) s(g), dae i(a) er π(e) =1,sås(π(e)) = 1, mendae s(g) er s(π(e)) = e, såe =1. Altså er i(a) s(g) ={1}. Vi opnår altså, at E = i(a) s(g), dvs. ethvert element i E, er entydigt skrevet e = i(a)s(g), for et a A og g G. Sætning 7.1. Udvidelsen 0 A i E π G 1 er split, hvis og kun hvis den er ækvivalent til udvidelsen 0 A i A G π G 1 (4) hvor A G er det semi-direkte produkt af G og A relativt til virkningen (2) og i, π er den kanoniske inklusion a (a, 1) hhv. den kanoniske projektion (a, g) g. Det semi-direkte produkt er pr. definition mængden G A med produktet (a, g)(a,g )= (a + ga,gg ). Bevis. Vi vil først vise, at de to udvidelser er ækvivalente, dvs. E A G, hvis udvidelsen (3) er split. Lad s : G E være en homomorfi så πs = id G, definer funktionen ϕ : A G E ved ϕ(a, g) =i(a)s(g). Den er surjektiv,da elementer i E er på formen i(a)s(g) for a A og g G. Denerinjektiv,daelementerneiE er entydigt skrevne på formen i(a)s(g) og i og s er injektive. Så ϕ er en bijektion. Vi vil nu finde multiplikationen i A G, som gør ϕ til en isomorfi. Lad e, e E, daere = i(a)s(g), e = i(a )s(g ) for a, a A og g, g G. Betragt ee = i(a)s(g)i(a )s(g )=i(a)i(ga )s(g)s(g )=i(a + ga )s(gg ) af den definerede virkning af G på A. For at ϕ er en homomorfi, skal der gælde at ϕ((a, g)(a,g )) = ϕ((a, g))ϕ((a,g )), altså ϕ((a, g))ϕ((a,g )) = ee = i(a + ga )s(gg )=ϕ((a + ga,gg )) = ϕ((a, g)(a,g )) så produktet er givet ved (a, g)(a,g )=(a+ga,gg ). A G med dette produkt er det semi-direkte produkt A G. Hvis E A G, definerdas : G E til g (1,g). Hvis virkningen af G på A er triviel er E isomorf med det direkte produkt A G. Idettetilfældeers en homomorfi s : G A G, sådan at πs = Id G. Vi har π(s(g)) = π(s 1 (g),s 2 (g)), og ser, at π(s(g)) = g hvis s 2 (g) =g, altså hvis s 2 = id G. Det eneste krav på s 1 er at det er en homomorfi s 1 : G A. Dermeder { splitudvidelser (3) med triviel G-virkning på A} {homomorfier G A} i 1-1 korrespondance. Vi ser nu på det generelle tilfælde hvor virkningen ikke er triviel. Definition 7.2. Homomorfier d : G A, som opfylder d(gg )=dg+g.(dg ) g, g G kaldes derivationer. Hvis vi tænker på G som virkende trivielt fra højre, kommer derivationen på formen d(gh) =(dg).h+g.(dh), som vi genkender som produktreglen for differentation. Sætning 7.3. Der gælder at er i 1-1 korrespondance. { splitudvidelser (3) } {derivationer G A } 23

28 7.2 Udvidelser med abelsk kerne 7 GRUPPEUDVIDELSER Bevis. En funktion s : G A G med πs = id G har formen s(g) =(dg, g) med d : G A. Vi vil gerne vise at s er en homomorfi hvis og kun hvis d opfylder d(gg )=dg + g.(dg ) for alle g, g G. Betragt derfor s(g)s(g )=(dg, g)(dg,g )=(dg + g.(dg ),gg ) s(gg )=(d(gg ),gg ) dermed er s(g)s(g )=s(gg ) hvis og kun hvis d(gg )=dg + g.(dg ), som ønsket. Definition 7.4. To splittings s 1,s 2 siges at være A-konjugerede, hvis der findes et a A, sådan at s 1 (g) =i(a)s 2 (g)i(a) 1 for alle g G. Betragt to A-konjugerede splittings s 1,s 2 : G G A, med derivationer d 1 og d 2.IA G gælder s 1 (g) =(a, 1)(b, g)(a, 1) 1 =(a + b, g)( a, 1) = (a + b ga, g) så d 1 (g) =a + b ga, og da d 2 (g) =b d 1 g = a + d 2 g ga Så d 1 og d 2 er derivationer af A-kongugerede splittings hvis og kun hvis d 2 d 1 : G A sender g ga a for et a A. Vi kalder d 2 d 1 for en principal derivation. Hvis vi betragter A-konjugerede splittings som ækvivalente, er A-konjugeringsklasserne af splittings elementer i kvotienten Der(G, A)/P(G, A), hvor Der(G, A) er derivationer, og P(G, A) er pricipale derivationer. Vi betragter nu (δ 1 f)(g, h) C 2 (G, A), som ved eksempel 6.5 er givet ved (δ 1 f)(g, h) =gf(h) f(gh)+f(g) Vi ser at (δ 1 f)(g, h) =0hvis og kun hvis gf(h) f(gh)+f(g) =0dvs. hvis og kun hvis f er en derivation. Altså er Ker δ 1 = Der(G, A). Betragt nu δ 0 : A C 1 (G, A) ved eksempel 6.5. Vi ser at (δ 0 a)(g) =ga a,såimδ 0 = P(G, A). Vi ser dermed at Der(G, A)/P(G, A) =H 1 (G, A), og opnår resultatet Sætning 7.5. For et G-modul A, er A-kongueringsklasserne af splittings af splitudvidelser 0 A A G G 1 i1-1korrespondancemedelementerneih 1 (G, A). 7.2 Udvidelser med abelsk kerne Lad A være et givet G-modul med den givne virkning (2) af G på A, og betragt udvidelsen 0 A i E π G 1 (5) Siden π er surjektiv, kan vi finde en mængdeteoretisk funktion s : G E så πs = id G. Denne funktion kalder vi en sektion af udvidelsen. Vi antager, at s opfylder normaliseringsbetingelsen, dvs. s(1) = 1. Vi har behandlet tilfældet, hvor s er en homomorfi i det forrige afsnit. Vi betragter nu det generelle tilfælde, hvor vi indfører funktionen f : G G A, som måler hvor meget s afviger i at være en homomorfi. Lad g, h G, davils(gh) og s(g)s(h) begge blive sendt til gh G af π, idetπ(s(g)s(h)) = 24

29 7.2 Udvidelser med abelsk kerne 7 GRUPPEUDVIDELSER π(s(g))π(s(h)) = gh. Da elementer af i(a) ligger i kernen af π, vils(g)s(h) og s(hg) i E dermed afvige med et element af i(a). Dermeddefinerervif til at opfylde s(g)s(h) =i(f(g, h))s(gh) for alle g, h G Da s er normaliseret, vil s(g)s(1) = s(g) =i(f(g, 1))s(g) medføre, at i(f(g, 1)) = 1, og da i er injektiv vil defor f(g, 1) = 0. Ligeledes er f(1,g)=0.såf(g, 1) = 0 = f(1,g) for alle g G. Af forrige afsnit så vi, at ϕ : A G E givet ved ϕ((a, g)) = i(a)s(g), er en bijektion. Vi finder nu gruppekompositionen i A G som gør bijektionen til en isomorfi. Betragt derfor i(a)s(g)i(b)s(h) =i(a)i(g.b)s(g)s(h) = i(a)i(g.b)i(f(g, h))s(gh) =i(a + g.b + f(g, h))s(gh) Da vi ønsker, at ϕ er en homomorfi, ser vi, at gruppekompositionen må være (a, g)(b, h) = (a + g.b + f(g, h),gh). Vi kalder A G med denne komposition for E f. I E f er (0, 1) er en to-sidet identitet, da (a, g)(0, 1) = (a + g.0+f(g, 1),g 1) = (a, g) (0, 1)(a, g) =(0+1.a + f(1,g), 1 g) =(a, g) idet f er normaliseret. Lad (a, g) E f,daer( g 1 a f(g 1,g),g 1 ) en venstre invers og ( g 1 a g 1 f(g, g 1 ),g 1 ) en højre invers, som ses ved følgende udregninger ( g 1 a f(g 1,g),g 1 )(a, g) =( g 1 a f(g 1,g)+g 1 a + f(g 1,g),g 1 g) =(0, 1) (a, g)( g 1 a g 1 f(g, g 1 ),g 1 )=(a + g( g 1 a g 1 f(g, g 1 )) + f(g, g 1 ),gg 1 ) =(0, 1) Vi ser de er lig hinanden af associativitet: kald g 1 := ( g 1 a f(g 1,g),g 1 ) og g 2 := ( g 1 a g 1 f(g, g 1 ),g 1 ),daer Betragt nu (g 1 (a, g))g 2 = g 2 g 1 ((a, g)g 2 )=g A i f E f π f G 1 1 (6) Vi observerer, at i f må være den kanoniske inklusionsafbildning givet ved a (a, 1), da den må være lig ϕ i og i(a) =i(a)s(1). π f må være den kanoniske projektion (a, g) g, dadenmåværeligπ ϕ.vi ser, at i f og π f er homomorfier: i f (a + b) =(a + b, 1) i f (a)i f (b) =(a, 1)(b, 1) = (a + b + f(1, 1), 1) = (a + b, 1) π f ((a, g)(b, h)) = π f ((a + b.g + f(g, h),gh)=gh π f (a, g)π f (b, h) =gh Vi viser nu, at følgen er eksakt. Billedet af nulafbildningen er 0 og i f (0) = (0, 1), som er neutralelementet i E f. Billedet af et element a A under i f er (a, 1) og π f (a, 1) = 1, som er neutralelementet i G. Idet alle elementer i G bliver sendt i 1, gør billedet af π f det specielt. Lad a Ker i f,daer(a, 1) = (0, 1), såa =0, som 25

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

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

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

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

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

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

FAGPROJEKT KATEGORIER, DERES NERVE OG DERES (KO)HOMOLOGI.

FAGPROJEKT KATEGORIER, DERES NERVE OG DERES (KO)HOMOLOGI. FAGPROJEKT KATEGORIER, DERES NERVE OG DERES (KO)HOMOLOGI. TOKE NØRGÅRD-SØRENSEN VEJLEDER: JESPER GRODAL Resumé. I dette projekt vil jeg introducere homologi og kohomologi af en kategori. Dette er en generalisering

Læs mere

Homotopiteori for pomængden af p-undergrupper i en endelig gruppe

Homotopiteori for pomængden af p-undergrupper i en endelig gruppe D E T N A T U R V I D E N S K A B E L I G E F A K U L T E T K Ø B E N H A V N S U N I V E R S I T E T Kandidatprojekt i matematik Sune Precht Reeh Homotopiteori for pomængden af p-undergrupper i en endelig

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

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

DEN ØVRE GRÆNSE SÆTNING FOR SIMPLICIALE SFÆRER. n 2 v 1. n 1. v 2. n 1 3(n 0 2) n 2 2(n 0 2)

DEN ØVRE GRÆNSE SÆTNING FOR SIMPLICIALE SFÆRER. n 2 v 1. n 1. v 2. n 1 3(n 0 2) n 2 2(n 0 2) DEN ØVRE GRÆNSE SÆTNING FOR SIMPLICIALE SFÆRER ISABELLE LAUDE = {, n 0 {}}{ {v 0 },..., n 1 {}}{ {v 1, v 1},..., n 2 {}}{ {v 2, v 2, v 2 },..., } v 1 v 2 v 2 v 0 v 1 v 2 = S 1 = = n 1 n 0 = S 2 = =. n

Læs mere

= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y).

= λ([ x, y)) + λ((y, x]) = ( y ( x)) + (x y) = 2(x y). Analyse 2 Øvelser Rasmus Sylvester Bryder 17. og 20. september 2013 Supplerende opgave 1 Lad λ være Lebesgue-målet på R og lad A B(R). Definér en funktion f : [0, ) R ved f(x) = λ(a [ x, x]). Vis, at f(x)

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

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

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

Gult Foredrag Om Net

Gult Foredrag Om Net Gult Foredrag Om Net University of Aarhus Århus 8 th March, 2010 Introduktion I: Fra Metriske til Topologiske Rum Et metrisk rum er en mængde udstyret med en afstandsfunktion. Afstandsfunktionen bruges

Læs mere

p = d, q = multiplikation med x, dx hvor d T θ har entydig (normaliseret) spor, dvs. en linear afbilding τ : T θ C

p = d, q = multiplikation med x, dx hvor d T θ har entydig (normaliseret) spor, dvs. en linear afbilding τ : T θ C 1. Den ikke-kommutative verden 1.1. Lidt historie. Historien begynder samtidig med det tyvende århundrede, med opdagelse af de sære egenskaber af mikrokosmos såsom spektra af atomer og molekyler, fotoelektrisk

Læs mere

University of Copenhagen Faculty of Science Written Exam April Algebra 3

University of Copenhagen Faculty of Science Written Exam April Algebra 3 University of Copenhagen Faculty of Science Written Exam - 16. April 2010 Algebra This exam contains 5 exercises which are to be solved in hours. The exercises are posed in an English and in a Danish version.

Læs mere

Første konstruktion af Cantor mængden

Første konstruktion af Cantor mængden DYNAMIK PÅ CANTOR MÆNGDEN KLAUS THOMSEN Første konstruktion af Cantor mængden For de fleste der har hørt on Cantor-mængden, er den blevet defineret på flg måde: I = 0 I = I = 0 0 OSV Cantor mængden C er

Læs mere

University of Copenhagen Faculty of Science Written Exam - 8. April 2008. Algebra 3

University of Copenhagen Faculty of Science Written Exam - 8. April 2008. Algebra 3 University of Copenhagen Faculty of Science Written Exam - 8. April 2008 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish

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

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

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

z 1 = z 1z 1z 1 z 1 2 = z z2z 1 z 2 2

z 1 = z 1z 1z 1 z 1 2 = z z2z 1 z 2 2 M å l e p u n k t R i e m a n n s k G e o m e t r i E 8 J a ko b L i n d b l a d B l a ava n d 2 5 3 6 7 5 27 oktober 28 I n s t i t u t fo r M at e m at i s k e Fag A a r h u s U n i v e r s i t e t indledning

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

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

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

Kommutativ algebra II, 2005

Kommutativ algebra II, 2005 Kommutativ algebra II, 2005 Anders Thorup Matematisk Afdeling Københavns Universitet Anders Thorup, e-mail: thorup@math.ku.dk Kommutativ algebra II, 2005 Matematisk Afdeling Universitetsparken 5 2100 København

Læs mere

University of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3

University of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3 University of Copenhagen Faculty of Science Written Exam - 3. April 2009 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish

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

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

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

Euler-karakteristik for fusionskategorier

Euler-karakteristik for fusionskategorier Euler-karakteristik for fusionskategorier Martin Wedel Jacobsen 17. april 2010 Indledning Der findes mange forskellige metoder til delvis klassifikation af endelige grupper. En af de mest velkendte er

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

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

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

GEOMETRI-TØ, UGE 6. . x 1 x 1. = x 1 x 2. x 2. k f

GEOMETRI-TØ, UGE 6. . x 1 x 1. = x 1 x 2. x 2. k f GEOMETRI-TØ, UGE 6 Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imfaudk Opvarmningsopgave 1 Lad f : R 2 R være tre gange kontinuert differentierbar

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

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

1.1. n u i v i, (u, v) = i=1

1.1. n u i v i, (u, v) = i=1 1.1 1. Hilbert rum 1.1. Hilbert rum og deres geometri. Definition 1.1. Et komplekst vektor rum V kaldes et indre produkt rum (eller præ-hilbert rum), når det er forsynet med en funktion (, ): V V C, som

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

Hilbert rum. Chapter 3. 3.1 Indre produkt rum

Hilbert rum. Chapter 3. 3.1 Indre produkt rum Chapter 3 Hilbert rum 3.1 Indre produkt rum I det følgende skal vi gøre brug af komplekse såvel som reelle vektorrum. Idet L betegner enten R eller C minder vi om, at et vektorrum over L er en mængde E

Læs mere

Supplerende opgaver. S1.3.1 Lad A, B og C være delmængder af X. Vis at

Supplerende opgaver. S1.3.1 Lad A, B og C være delmængder af X. Vis at Supplerende opgaver Analyse Jørgen Vesterstrøm Forår 2004 S.3. Lad A, B og C være delmængder af X. Vis at (A B C) (A B C) (A B) C og find en nødvendig og tilstrækkelig betingelse for at der gælder lighedstegn

Læs mere

GEOMETRI-TØ, UGE 12. A σ (R) = A f σ (f(r))

GEOMETRI-TØ, UGE 12. A σ (R) = A f σ (f(r)) GEOMETRI-TØ, UGE 12 Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imfaudk Opvarmningsopgave 1, [P] 632 Vis at Ennepers flade σ(u, v) = ( u u 3 /3

Læs mere

Lineær Algebra, TØ, hold MA3

Lineær Algebra, TØ, hold MA3 Lineær Algebra, TØ, hold MA3 Lad mig allerførst (igen) bemærke at et vi siger: En matrix, matricen, matricer, matricerne. Og i sammensætninger: matrix- fx matrixmultiplikation. Injektivitet og surjektivitet

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

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

8 Regulære flader i R 3

8 Regulære flader i R 3 8 Regulære flader i R 3 Vi skal betragte særligt pæne delmængder S R 3 kaldet flader. I det følgende opfattes S som et topologisk rum i sportopologien, se Definition 5.9. En åben omegn U af p S er således

Læs mere

Kommutativ algebra, 2005

Kommutativ algebra, 2005 Kommutativ algebra, 2005 Anders Thorup Matematisk Afdeling Københavns Universitet Anders Thorup, e-mail: thorup@math.ku.dk Kommutativ algebra, 2005 Matematisk Afdeling Universitetsparken 5 2100 København

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

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

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

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

6.1 Reelle Indre Produkter

6.1 Reelle Indre Produkter SEKTION 6.1 REELLE INDRE PRODUKTER 6.1 Reelle Indre Produkter Definition 6.1.1 Et indre produkt på et reelt vektorrum V er en funktion, : V V R således at, for alle x, y V, I x, x 0 med lighed x = 0, II

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

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

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

MATEMATIK 3 AL. Klassisk Algebra. Christian U. Jensen. Typeset by AMS-TEX

MATEMATIK 3 AL. Klassisk Algebra. Christian U. Jensen. Typeset by AMS-TEX MATEMATIK 3 AL Klassisk Algebra Christian U. Jensen 2004 Typeset by AMS-TEX Matematisk Afdeling Universitetsparken 5 2100 København Ø c 2004 Matematisk Afdeling FORORD TIL 1998-UDGAVEN At lære og at tilegne

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

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

Konstruktion af de reelle tal

Konstruktion af de reelle tal Konstruktion af de reelle tal Rasmus Villemoes 17. oktober 2005 Indledning De fleste tager eksistensen af de reelle tal R for givet. I Matematisk Analyse-bogen Funktioner af en og flere variable af Ebbe

Læs mere

Punktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013

Punktmængdetopologi. Mikkel Stouby Petersen. 1. marts 2013 Punktmængdetopologi Mikkel Stouby Petersen 1. marts 2013 I kurset Matematisk Analyse 1 er et metrisk rum et af de mest grundlæggende begreber. Et metrisk rum (X, d) er en mængde X sammen med en metrik

Læs mere

Spingrupper og spinrepræsentationer Søren Ladegaard Kristensen

Spingrupper og spinrepræsentationer Søren Ladegaard Kristensen 40 Formidlingsaktivitet Spingrupper og spinrepræsentationer Søren Ladegaard Kristensen Indledning Som en del af kandidatuddannelsen i matematik forlanges det, at den studerende udfører visse formidlingsaktiviteter.

Læs mere

Selv-absorberende C*-algebraer

Selv-absorberende C*-algebraer Selv-absorberende C*-algebraer Speciale af Randi Rohde 5. marts 006 Vejleder: Mikael Rørdam Indhold Indledning Tensorprodukter 3. Indledende resultater................................. 3. Fuldstændigt

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

Lineær Algebra. Lars Hesselholt og Nathalie Wahl

Lineær Algebra. Lars Hesselholt og Nathalie Wahl Lineær Algebra Lars Hesselholt og Nathalie Wahl 2. udgave, oktober 207 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

Læs mere

DesignMat Komplekse tal

DesignMat Komplekse tal DesignMat Komplekse tal Preben Alsholm Uge 7 Forår 010 1 Talmængder 1.1 Talmængder Talmængder N er mængden af naturlige tal, 1,, 3, 4, 5,... Z er mængden af hele tal... 5, 4, 3,, 1, 0, 1,, 3, 4, 5,....

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

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

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

2. Fourierrækker i en variabel

2. Fourierrækker i en variabel .1. Fourierrækker i en variabel I Kapitel II 7 blev der indført, dels funktionsrummene L p (X, µ) (mere udførligt skrevet L p (X, E, µ)), dels rummene L p (X, µ), der fås af L p (X, µ) ved at funktioner

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

Algebraisk K-teori og sporinvarianter

Algebraisk K-teori og sporinvarianter Algebraisk K-teori og sporinvarianter Lars Hesselholt Algebraisk K-teori Algebraisk K-teori defineret af Quillen er af natur multiplikativ. Med sporinvarianter indlejrer man denne teori i en additiv teori,

Læs mere

N o t e r t i l G e o m e t r i

N o t e r t i l G e o m e t r i N o t e r t i l G e o m e t r i I b M a d s e n o g J o h a n D u p o n t J a n u a r 2 0 0 5 I n s t i t u t f o r M a t e m a t i s k e Fa g D e t N a t u rv i d e n s k a b e l i g e Fa k u l t e t

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

Jeg foretager her en kort indføring af polynomier over såvel de reelle som

Jeg foretager her en kort indføring af polynomier over såvel de reelle som Polynomier, rødder og division Sebastian Ørsted 20. november 2016 Jeg foretager her en kort indføring af polynomier over såvel de reelle som de komplekse tal, hvor fokus er på at opbygge værktøjer til

Læs mere

Geom2-dispositioner (reeksamen)

Geom2-dispositioner (reeksamen) Geom2-dispositioner (reeksamen) Rasmus Sylvester Bryder 20. april 2012 1 Mangfoldigheder i R n 1. Introducér begreberne parametriseret mangfoldighed, regularitet, indlejret parametriseret mangfoldighed

Læs mere

Konstruktionen af de reelle tal gennem decimaltalsrepræsentation og Dedekind-snit

Konstruktionen af de reelle tal gennem decimaltalsrepræsentation og Dedekind-snit Keeping it real Konstruktionen af de reelle tal gennem decimaltalsrepræsentation og Dedekind-snit Speciale 10. januar 2018 Pernille Andersen Rikke Bod Lund Matematisk Institut Skjernvej 4A 9220 Aalborg

Læs mere

Matematisk modellering og numeriske metoder. Lektion 16

Matematisk modellering og numeriske metoder. Lektion 16 Matematisk modellering og numeriske metoder Lektion 16 Morten Grud Rasmussen 6. november, 2013 1 Interpolation [Bogens afsnit 19.3 side 805] 1.1 Interpolationspolynomier Enhver kontinuert funktion f på

Læs mere

Lineær Algebra - Beviser

Lineær Algebra - Beviser Lineær Algebra - Beviser Mads Friis 8 oktober 213 1 Lineære afbildninger Jeg vil i denne note forsøge at give et indblik i, hvor kraftfuldt et værktøj matrix-algebra kan være i analyse af lineære funktioner

Læs mere

Tapetmønstre. Symmetri i 2 dimensioner. 4. Semester - MAT4 Aalborg Universitet

Tapetmønstre. Symmetri i 2 dimensioner. 4. Semester - MAT4 Aalborg Universitet Tapetmønstre Symmetri i 2 dimensioner 4. Semester - MAT4 Aalborg Universitet G3-112 16. maj 2012 Institut for Matematiske Fag Matematik Fredrik Bajers Vej 7G Telefon 99 40 99 40 http://www.math.aau.dk

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

En gruppeteoretisk undersøgelse af Rubik s Cube en

En gruppeteoretisk undersøgelse af Rubik s Cube en Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er godt. Ost er

Læs mere

Hyperelliptisk kurve kryptografi

Hyperelliptisk kurve kryptografi Christian Robenhagen Ravnshøj NKS November 2007 Elliptiske kurver Gruppelov på elliptisk kurve R P Q P Q R = 0. Elliptiske kurver Elliptisk kurve kryptografi Gruppelov giver krypto baseret på elliptisk

Læs mere

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober Miniprojekt: Lineær algebra på polynomier

1 Vektorrum. MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober Miniprojekt: Lineær algebra på polynomier MATEMATIK 3 LINEÆR ALGEBRA M. ANV. 4. oktober 2017 Miniprojekt: Lineær algebra på polynomier Grupperne forventes at regne de små opgaver i afsnittene 1 5 i løbet af de første 4 halve dage. Dernæst tilføjes

Læs mere

Eksamen 2014/2015 Mål- og integralteori

Eksamen 2014/2015 Mål- og integralteori Eksamen 4/5 Mål- og integralteori Københavns Universitet Institut for Matematiske Fag Formalia Eksamensopgaven består af 4 opgaver med ialt spørgsmål Ved bedømmelsen indgår de spørgsmål med samme vægt

Læs mere

1: Fundamentale begreber.

1: Fundamentale begreber. Topologi 1 1: Fundamentale begreber. Hvis vi lader henholdsvis O og C betegne de åbne og afsluttede delmængder i et metrisk rum med X som underliggende mængde, mens vi benytter betegnelserne I henholdsvis

Læs mere

UENDELIG, MERE UENDELIG, ENDNU MERE UENDELIG, Indledning

UENDELIG, MERE UENDELIG, ENDNU MERE UENDELIG, Indledning UENDELIG, MERE UENDELIG, ENDNU MERE UENDELIG, ESBEN BISTRUP HALVORSEN 1 Indledning De fleste kan nok blive enige om, at mængden {a, b, c} er større end mængden {d} Den ene indeholder jo tre elementer,

Læs mere

Module 1: Lineære modeller og lineær algebra

Module 1: Lineære modeller og lineær algebra Module : Lineære modeller og lineær algebra. Lineære normale modeller og lineær algebra......2 Lineær algebra...................... 6.2. Vektorer i R n................... 6.2.2 Regneregler for vektorrum...........

Læs mere

Wigner s semi-cirkel lov

Wigner s semi-cirkel lov Wigner s semi-cirkel lov 12. december 2009 Eulers Venner Steen Thorbjørnsen Institut for Matematiske Fag Århus Universitet Diagonalisering af selvadjungeret matrix Lad H være en n n matrix med komplekse

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

Matematik 2 AL. Opgave 2 (20p)

Matematik 2 AL. Opgave 2 (20p) Opgver til besvrelse i 4 timer. Alle sædvnlige hjælpemidler må medbringes. Sættet består f 6 opgver. Opgve 1, 2, 3, 4, 5 og 6 er for de studerende, der hr læst efter nyt pensum. Opgve 1, 2, 3, 4, 5, og

Læs mere

Gruppeteori Abstrakt gruppeteori Noter ved Jørn B. Olsson Version 2009

Gruppeteori Abstrakt gruppeteori Noter ved Jørn B. Olsson Version 2009 Gruppeteori Abstrakt gruppeteori Noter ved Jørn B. Olsson Version 2009.. what wealth, what a grandeur of thought may spring from what slight beginnings. (H.F. Baker on gruppebegrebet) 1 INDHOLD: 1. Lidt

Læs mere

Foredrag i Eulers Venner 30. nov. 2004

Foredrag i Eulers Venner 30. nov. 2004 BSD-prosper.tex Birch og Swinnerton-Dyer formodningen Johan P. Hansen 26/11/2004 13:34 p. 1/20 Birch og Swinnerton-Dyer formodningen Foredrag i Eulers Venner 30. nov. 2004 Johan P. Hansen matjph@imf.au.dk

Læs mere

Klassifikation af Cuntz-Krieger algebraer

Klassifikation af Cuntz-Krieger algebraer Speciale for cand.scient. graden i matematik 4. november 2003 Klassifikation af Cuntz-Krieger algebraer Forfatter: Gunnar Restorff Vejleder: Søren Eilers Københavns Universitet Institut for Matematiske

Læs mere

Forside. Matematik og Statistik. Symmetri. Tapetmønstre. Gruppe G maj 2014

Forside. Matematik og Statistik. Symmetri. Tapetmønstre. Gruppe G maj 2014 Forside Matematik og Statistik Symmetri Tapetmønstre Gruppe G3-110 23. maj 2014 Aalborg Universitet Institut for Matematiske Fag Fredrik Bajers Vej 7G 9220 Aalborg Ø Tfl. 99409940 Institut for Matematiske

Læs mere

Skriftlig eksamen - med besvarelse Topologi I (MM508)

Skriftlig eksamen - med besvarelse Topologi I (MM508) INSTITUT FOR MATEMATIK OG DATALOGI SYDDANSK UNIVERSITET, ODENSE Skriftlig eksamen - med besvarelse Topologi I (MM508) Mandag d. 14. januar 2007 2 timer med alle sædvanlige hjælpemidler tilladt. Opgavesættet

Læs mere