Grublegruppe 19. sept. 2011: Algebra I

Like dokumenter
Julenøtter til gruppe 5&7! (IKKE eksamensrelevant, bare for gøy gjerne i romjulen)

Et noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori. Ruben Spaans

Oblig 1 - MAT2400. Fredrik Meyer

MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile

7 Ordnede ringer, hele tall, induksjon

MA2201/TMA4150 Vår 2018

En rekke av definisjoner i algebra

MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile

x A e x = x e = x. (2)

Notat i MA2201. Vegard Hagen. 27. mai La S være en mengde og la f, g, h : S S. Da er

OPPGAVER FOR FORUM

MAT Grublegruppen Notat 10

MAT Grublegruppen Notat 9

Notat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner

Direkte produkter. (a, b)(a 0,b 0 )=(ab, a 0 b 0 ).

Oppgave 14 til 9. desember: I polynomiringen K[x, y] i de to variable x og y over kroppen K definerer vi undermengdene:

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014

Algebraiske strukturer

Notat med oppgaver for MAT1140

HJEMMEOPPGAVER (utgave av ):

4.1 Vektorrom og underrom

Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.

Utvidet løsningsforslag til Eksamen vår 2010

Løsningsforslag øving 6

Repetisjonsforelesning - INF1080

4.1 Vektorrom og underrom

4.1 Vektorrom og underrom

9 Lineærtransformasjoner TMA4110 høsten 2018

Grupper de første egenskaper

Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har:

(a) R n defineres som mengden av kolonnevektorer. a 1 a 2. a n. (b) R n defineres som mengden av radvektorer

Oppgaver i kommutativ algebra

Lineærtransformasjoner

MAT1030 Forelesning 14

Gauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts.

Kapittel 6: Funksjoner

Analysedrypp I: Bevis, mengder og funksjoner

INF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

UNIVERSITETET I OSLO

INF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]

Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. 8. november 2005 c Vladimir Oleshchuk 35. Teorem 11 (Z n, ) er en endelig abelsk gruppe.

Oppgaver MAT2500 høst 2011

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

Notat om Peanos aksiomer for MAT1140

4.1 Vektorrom og underrom

UNIVERSITETET I BERGEN

MAUMAT644 ALGEBRA vår 2016 Fjerde samling Runar Ile

Dette er altså et slags produkt av undermengder. Man sjekker lett at dette produktet har en assosiativitetsegenskap 1,nemlig:

Analysedrypp I: Bevis, mengder og funksjoner

To mengder S og T er like, S = T, hvis de inneholder de samme elementene. Notasjon. Mengden med elementene a, b, c og d skrives ofte {a, b, c, d}.

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 )

En gruppeteoretisk analyse av vri- og flyttespill. Alexander Lorenzo Masteroppgave, våren 2017

8 Vektorrom TMA4110 høsten 2018

4-torsjonspunkter på elliptiske romkurver

MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile

Karakterer. Kapittel Homomorfier av grupper. 8.2 Representasjoner

Dagens plan. INF3170 Logikk. Mengder. Definisjon. Notasjon. Forelesning 0: Mengdelære, Induksjon. Martin Giese. 23. januar 2008.

Geometriske avbildninger og symmetri. A2A/A2B Høgskolen i Vestfold

Vektorrom. Kapittel 7. Hva kan vi gjøre med vektorer?

Forelesning 13. Funksjoner. Dag Normann februar Opphenting. Opphenting. Opphenting. Opphenting

MAT1030 Diskret matematikk

Injektive og surjektive funksjoner

Masteroppgave Galois-teori

GRUPPETEORI VIA MATRISER. Dan Laksov KTH, Stockholm. matematikk/laksov/bokprosjekt/forum/gruppeteori/september 1, 2006

Oppgaver MAT2500. Fredrik Meyer. 29. september 2014

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

INF3170 Forelesning 1

Løsningsforslag øving 7

MAT1120 Repetisjon Kap. 1

Geometri på ikke-kommutative algebraer

QED 1 7. Matematikk for grunnskolelærerutdanningen. Bind 2. Fasit kapittel 1 Tallenes hemmeligheter

Potensrekker Forelesning i Matematikk 1 TMA4100

Sammensetningen h = f g er en funksjon fra A til C, h: A -> C og er definert ved h(a) = f(g(a)) Viktig: f g g f

Kapittel 5: Mengdelære

Underveiseksamen i MAT-INF 1100, 17. oktober 2003 Tid: Oppgave- og svarark

Kapittel 6: Funksjoner

MAT1030 Forelesning 14

Dedekind introduserer nå en spesiell klasse snitt som han kaller rasjonale snitt:

EKSAMEN. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

TOPOLOGI. Dan Laksov

Eksamen i MNFMA205/SIF5021, 19. mai 1999-Løsningsforslag a b Oppgave 2. (a) Vi skal vise at H = 0 a b under matrisemultiplikasjon. Vi har at det.

Løsningsforslag til prøveunderveiseksamen i MAT-INF 1100, H-03

MAT 1110: Bruk av redusert trappeform

TMA4100 Matematikk 1, høst 2013

Eksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik:

VASSILIEVS SPEKTRALFØLGE. John Rognes. 15. oktober 1994

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

Eksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik:

MAT1030 Diskret Matematikk

Permutasjoner og symmetriske grupper

Kapittel 5: Mengdelære

OPPGAVER FOR FORUM

Analysedrypp II: Kompletthet

Tall SKOLEPROSJEKT MAT VÅR 2014 AUTHORS: ASTRI STRAND LINDBÆCK CAMILLA HELVIG PIA LINDSTRØM. Date: March 31,

UNIVERSITETET I OSLO

Hans Petter Hornæs,

Notat om kardinalitet for MAT1140 (litt uferdig)

Mengder, relasjoner og funksjoner

TALL. 1 De naturlige tallene. H. Fausk

Transkript:

Grublegruppe 19. sept. 2011: Algebra I Ivar Staurseth ivarsta@math.uio.no Innledning, definisjoner Vi har så langt jobbet med mengder, X, hvor vi har hatt et avstandsbegrep og hvor vi har vært i stand til å drive matematisk analyse, dvs. studere konvergens av følger, kontinuitet av funksjoner osv. Vi begynte med R, R n og generaliserte teorien til generelle metriske rom. Nå skal vi bevege oss inn i en annen del av matematikken, nemlig den algebraiske. Vi skal se på mengder hvor vi har en algebraisk struktur, dvs. hvor vi har en veldefinert idé om hvordan vi legger sammen elementer: Definisjon 1. La G være en mengde. En binær operasjon på G er en funksjon : G G G, som tar to elementer, a, b G og returnerer et tredje element (a, b) G. Vi skriver gjerne (a, b) = a b. Eksempler på kjente binære operasjoner er addisjon og multiplikasjon av reelle tall. Eller av heltall. Eller av komplekse tall. Definisjon 2. En gruppe er et par (G, ), hvor G er en mengde og en binær operasjon på G, som oppfyller følgende: For alle a, b, c G har vi: a (b c) = (a b) c Det vil si at den binære operasjonen må være assosiativ. Det finnes et unikt element e G slik at e x = x e = x for alle x G Vi kaller e for identitetselementet i G. For alle a G finnes et element a slik at a a = a a = e. a er det inverse elementet til a. Legg merke til at det ikke er noe krav om at den binære operasjonen skal være kommutativ, dvs. at a b = b a. Det er en ektra egenskap som av og til er tilfelle, og denne typen grupper har et eget navn: Definisjon 3. Vi sier at en gruppe (G, ) er en abelsk gruppe dersom den binære operasjonen er kommutativ, dvs. hvis a b = b a for alle a, b G.. 1

Eksempel 1. (R, +) (De reelle tallene, under addisjon) er en gruppe. Her er identitetselementet 0 (a + 0 = 0 + a = a) og den inverse til et tall x er x (x + ( x) = 0) Eksempel 2. (C, ) (De komplekse tallene som er forskjellig fra 0, under multiplikasjon) er også en gruppe. Her er identiteten 1 (1z = z1 = z) og den inverse til et tall z er 1/z (z(1/z) = (1/z)z = 1) Litt notasjon: I mange tilfeller vil vi snakke om en gruppe G, uten å presisere hvilket symbol vi bruker for den binære operasjonen, dersom den er opplagt. Ofte vil vi skrive a b som ab. Dere vil også se notasjonen + brukt, også om andre binære operasjoner enn vanlig addisjon, men det er brudd på god matteskikk å bruke + om binære operasjoner som ikke er kommutative. 1 + 4 4 + 1 kan se unødvendig blasfemisk ut! Dersom vi bruker multiplikativ notasjon, dvs. skriver a b som ab er det vanlig å bruke tallet 1 som symbol for identitetselementet og a 1 for det inverse elementet til a - selv om gruppen består av andre ting enn tall. Tilsvarende for additiv notasjon: 0 for identitetselementet og a for inverselement. Undergrupper Definisjon 4. La G være en mengde, en binær operasjon på G og H G en delmengde av G. Vi sier at H er lukket under den binære operasjonen dersom vi for alle par av elementer x, y H har at også x y H Definisjon 5. La (G, ) være en gruppe. Dersom en delmengde H G er lukket under den binære operasjonen, og dersom H, sammen med denne binære operasjonen selv er en gruppe, sier vi at (H, ) er en undergruppe av (G, ). Vi skriver (H, ) (G, ) (Evt. (H, ) < (G, ) dersom H G) Faktisk er det tilfelle at: Teorem 1. En delmengde H av en gruppe G er en undergruppe av G hvis og bare hvis: H er lukket under den binære operasjonen til G identitetselementet e til G er med i H for alle a H har vi at det inverse elementet a 1 H For eksempel: dersom vi studerer Z, sammen med vanlig addisjon, vil delmengden som består av alle partallene være lukket under addisjon, mens odetallene ikke vil være lukket under addisjon 2

Enhver gruppe G vil alltid ha minst to undergrupper, nemlig den trivielle undergruppen {e} < G som bare består av identitetselementet, og den uekte undergruppen G G som består av G selv. Her er et par eksempler på grupper og undergrupper: Eksempel 3. La C være gruppen av alle komplekse tall forskjellig fra null, under (vanlig) multplikasjon. Da er U n = {z C z n = 1 (alle komplekse n-te-røtter av 1) en undergruppe av C. Eksempel 4. (Z, +) er en undergruppe av (R, +) Definisjon 6. Dersom (G, ) er en gruppe sier vi at den er av orden n ( G = n) dersom G har n elementer. Dersom G har uendelig mange elementer, sier vi at den er av uendelig orden. Funksjoner mellom grupper, homomorfier, isomorfier Nå skal vi se litt på funksjoner mellom grupper. Først et par-tre-fire definisjoner: Definisjon 7. En funksjon f : X Y er injektiv, eller en-til-en, dersom: for alle x, y X, med x y, har vi at f(x) f(y). Eller ekvivalent: f(x) = f(y) = x = y. Det vil si at forskjellige elementer i X sendes på forskjellige elementer i Y. Et eksempel på en injektiv funksjon fra R til R er f(x) = x 3 +1 (hvorfor?), mens f(x) = x 2 ikke er injektiv. (Moteksempel: a a, men f( a) = f(a) = a 2 ) Definisjon 8. En funksjon f : X Y er surjektiv dersom: for alle y Y finnes (minst) en x X slik at f(x) = y. Dersom funksjonen er både injektiv og surjektiv sier vi at den er bijektiv eller at den er en bijeksjon. To andre begreper som er nyttige i forbindelse med funksjoner mellom grupper er kjernen og bildet til funksjonen: Definisjon 9. La f : X Y være en funksjon mellom to grupper. Kjernen til avbildningen er mengden av alle elementer i X som sendes på identitetselementet i Y, dvs: ker(f) = {x X f(x) = e Y } 3

Definisjon 10. La f : X Y være en funksjon mellom to grupper. Bildet til avbildningen er definert ved: im(f) = {f(x) x X}. Det vil si alle elementer i Y som er på formen f(x) for et element i X Funksjoner dukker opp i alle greiner av matematikk. Vi har funksjoner mellom metriske rom, funksjoner mellom topologiske rom og ikke overraskende: funksjoner mellom grupper. Alt dette er i bunn og grunn mengder, men vi har lagt litt forskjellig struktur på mengdene. I alle disse kategoriene (grupper, topologiske rom, vektorrom, metriske rom,...) finnes det noen funksjoner som er penere enn andre - dvs. funksjoner som bevarer den strukturen vi har lagt på mengdene. Blant alle tenkelige avbildninger mellom metriske rom er de kontinuerlige funksjonene spesielt fine. Ett eksempel på det: hvis f : X Y er kontinuerlig, {x n } en konvergent følge i X med grense x, så vet vi at også følgen {f(x n )} konvergent i Y - med grense f(x). Kan det bli bedre? Når vi jobber med grupper blir vi veldig glad hver gang vi støter på det vi kaller en gruppehomomofri, eller bare homomorfi på kortform: Definisjon 11. La φ : (G, ) (H, ) være en funksjon mellom gruppene (G, ) og (H, ). (Dvs. mellom mengdene G og H). Vi sier at φ er en gruppehomomorfi dersom φ(a b) = φ(a) φ(b) for alle a, b G. Vi sier gjerne at gruppehomomorfiene respekterer den algebraiske strukturen. Om vi først multipliserer to elementer i G (med G sin binære operasjon), og deretter avbilder resultatet til H med φ, så får vi samme element som hvis vi først avbildet begge elementene til H og deretter multipliserte dem i H (med H sin binære operasjon.) En gruppehomomorfi vil også sende identitetselement på identitetselement ( φ(e G ) = e H ) og inverse elementer på inverse elementer (φ(a) 1 = φ(a 1 )). (Dette får du anledning til å bevise i en av oppgavene) Eksempel 5. La (R, +) være gruppen av de reelle tallene med addisjon (identitetselement 0) og (R, ) gruppen av ikke-null reelle tall med multiplikasjon (identitetselement 1). La φ : (R, +) (R, ) være definert ved φ(x) = e x. Da er φ en gruppehomomorfi. Bevis: Vi må vise at φ(a + b) = φ(a) φ(b) for alle a, b (R, +). Vi ser lett at φ(a + b) = e (a+b) = e a e b = φ(a) φ(b). Vi legger merke til at identitetselementet i (R, +), som er 0, sendes på identitetselementet i (R, ), som er 1. (φ(0) = e 0 = 1). Vi ser også at inverselementet til φ(a) = e a er φ( a) = e a ) 4

Nå skal vi se på en spesiell form for homomorfier, nemlig isomorfier: Definisjon 12. La (S, ) og (S, ) være to grupper, og φ : (S, ) (S, ) en funksjon mellom S og S. φ er en isomorfi dersom: φ er en bijeksjon mellom mengdene S og S (Se definisjon 6 og 7) φ er en homomorfi: φ(x y) = φ(x) φ(y) for alle x, y S Dersom det finnes en isomorfi mellom to grupper, S og S sier vi at S og S er isomorfe. Det skriver vi som S = S. Isomorfi er et eksempel på en ekvivalensrelasjon. I gruppeteorien er det viktig å vite når to grupper er isomorfe. To isomorfe grupper er så like at en gruppeteoretiker ikke ser noen grunn til å skille mellom dem. For å illustrere dette kan vi tenke oss et helt banalt eksempel: Vi kan se på gruppen Z kjell som består av elementene: {... 2 kjell, 1 kjell, 0 kjell, 1 kjell, 2 kjell,...} sammen med addisjonen a kjell + b kjell = (a + b) kjell Det er opplagt at gruppen (Z kjell, + ) er isomorf med (Z, +). Det finnes en bijeksjon n kjell n begge veier, som bevarer den algebraiske strukturen i begge gruppene. Å gi alle heltallene etternavnet (?) Kjell tilfører ikke gruppen noe nytt, vi har i realiteten å gjøre med samme gruppe. Det er også tilfelle hvis isomorfien ikke er like opplagt: Eksempel 6. La U n = {e i0, e i π 2, e iπ, e i 3π 2 } være gruppen av alle de komplekse 4.-røttene til 1, sammen med vanlig multiplikasjon av komplekse tall. La Z 4 være den additive gruppen av heltall, modulo 4. (Dvs. Z 4 = {0, 1, 2, 3} og a + b = r hvor r er resten du får i divisjonen (a + b)/4.) Da er (U n, ) = (Z 4, +) ved isomorfien f : (Z 4, +) (U n, ), hvor f(n) = e i nπ 2. I gruppe-verden er dette to forskjellige måter å skrive én og samme gruppe på - nemlig den sykliske gruppen av orden 4. Slektskapet er like nært som mellom Z og Z kjell, selv om både elementene og den binære operasjonen er temmelig forskjellig i dette siste eksempelet. 5

Oppgaver Oppgave 1. Avgjør om den binære operasjonen gir en gruppestruktur på de oppgitte mengdene: 1. Z med a b = ab (vanlig multiplikasjon) 2. 7Z = {7n n Z} = {..., 21, 14, 7, 0, 7, 14, 21,...} med a b = a + b (vanlig addisjon) 3. R + (positive reelle tal) med a b = ab 4. Q med a b = ab 5. R (reelle tall, forskjellig fra 0) med a b = a/b 6. C med a b = ab Oppgave 2. Vis at definisjonen av en undergruppe (Definisjon 5 s. 2) medfører at Teorem 1 (samme side) er riktig. Oppgave 3. Forklar hvorfor mengden av alle oddetall, {2n 1 n Z}, ikke er en undergruppe av (Z, +). Oppgave 4. La (C, +) være gruppen av komplekse tall, under addisjon. Avgjør hvilke av følgende delmengder av C som er en undergruppe av (C, +). 1. R 2. Q + (positive rasjonale tall) 3. ir = {ix x R} (rent imaginære tall, inklusiv 0) 4. 5Z = {5n n Z} = {..., 15, 10, 5, 0, 5, 10, 15,...} 5. πq = {qπ q Q} (rasjonale multipler av π) 6. {π n n Z} Oppgave 5. Hvilke av delmengdene 1-6 i forrige oppgave er undergrupper av (C, ) (komplekse tall, forskjellig fra 0, under multiplikasjon)? 6

Oppgave 6. Legg læreboka foran deg på pulten og se på mengden av rotasjoner av læreboka (plasser et tredimensjonalt koordinatsystem med origo midt i boka (midt på midterste side) og se på rotasjoner på 90, 180, 270 og 360 grader rundt hver av aksene, samt speiling om diagonalene. Definer en binær operasjon på mengden ved å la komposisjonen av to rotasjoner, ρ i ρ j være rotasjonen hvor du først utfører ρ i og deretter ρ j. La ρ 0 være identiteten, dvs. rotasjonen som ikke gjør noen verdens ting. Greier du å lage en gruppe av rotasjoner? I så fall: er den abelsk?? Oppgave 7. Se på definisjon 10 (s. 4) av en gruppehomomorfi. La φ : (G, +) (H, ) være en homomorfi mellom grupper. La e G være identitetselementet i G og e H identitetselementet i H. Vis at φ(e G ) = e H. La a betegne inverselementet til a G og la h 1 betegne inverselementet til h H. Vis at hvis φ(g) = h så må φ( a) = h 1. Oppgave 8. Dersom (G, ) er en gruppe, a G et element i G lar vi a n være definert ved: a n = a a... a (n ganger), a 0 = e og a m = a 1 a 1... a 1 (m ganger) (NB! Vi bruker denne notasjonen, også om den binære operasjonen er vanlig addisjon. Dvs. at i gruppen (Z, +) er 5 3 = 5 + 5 + 5 = 15). 1. La a være et element i en gruppe (G, ) og la a = {a n n Z}. Vis at a er en undergruppe av (G, ). Vis at a er den minste undergruppen av G som inneholder a. 2. Vis at dersom a er av uendelig orden, må a = (Z, +). 3. Vis at dersom a er av orden n må a være på formen {e, a, a 2,..., a n 1 }, hvor a n = e. Vis deretter at a i så fall er isomorf med (Z n, + n ), hvor Z n = {0, 1, 2,..., n 1} og + n er addisjon, modulo n. Dvs. at a+ n b = r, hvor r er resten du får (det du ikke får delt) når du forsøker deg på divisjonen (a + b)/n. (Under-)grupper som er generert av ett element på denne måten kalles sykliske. De sykliske gruppene er enten endelige (og isomorfe med (Z n, + n )) eller uendelige (og isomorfe med (Z, +)) 7

Oppgave 9. La φ : G G være en isomorfi mellom gruppene (G, ) (G, ). 1. Hvis at dersom H er en undergruppe av G så må H = φ[h] = {φ(g) G g G} være en undergruppe av G 2. Hvis at dersom G er en syklisk gruppe, generert av ett element, dvs. G = {g n n Z} (se oppgave 8), så må også G være syklisk. 8