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

Størrelse: px
Begynne med side:

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

Transkript

1 Et noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori Ruben Spaans August 19, 2007

2 2

3 Part I Leksikon 3

4

5 Chapter 1 Alfabetisk oppslagsverk, for alle, kvantifikator. Brukes i forbindelse med utsagn, f.eks. om utsagnet P, xp (x) betyr at P (x) er sann for alle x. Abelsk, en binær operasjon over en mengde S er abelsk eller kommutativ hvis a b = b a for alle a, b i S. Alternerende gruppe, undergruppen av den symmetriske gruppen S n som består av de like permutasjonene av n tegn er den alternerende gruppen A n av n tegn. Bane (G-mengde), en delmengde av en G-mengde. Banen til et element x i X er mengden av elementer i X hvor x kan flyttes ved hjelp av elementene i G. Banen til x er angitt ved Gx = {g x g G}. Eksempel: La mengden X være alle rotasjoner av et kvadrat hvor hjørnene er merket 1, 2, 3, 4 med klokken, og la G = {ρ 0, ρ 1, ρ 2, ρ 3 } være en gruppe der hvert element tilsvarer en rotasjon på henholdsvis 0, 90, 180, 270 med klokken. Hvis x = (1, 2, 3, 4) X, vil Gx = {(1, 2, 3, 4), (2, 3, 4, 1), (3, 4, 1, 2), (4, 1, 2, 3)}. Bilde, bildet av en funksjon f : A B er alle elementer i B slik at f(a) B for en a, og skrives Im f. Med andre ord, mengden {f(a) a A}. Eksempel: La f : R R gitt ved f(x) = x 2. Im f = {x x R x 0}. Binær algebraisk struktur, en binær algebraisk struktur S, er en mengde S med en veldefinert binær operasjon over S. Binær operasjon, en binær operasjon på en mengde S er en funksjon som avbilder S S til S. For hver a, b S S skriver vi a b istedenfor ((a, b)). Dekomponerbar, En gruppe G er dekomponerbar hvis den er isomorf med 5

6 6 CHAPTER 1. ALFABETISK OPPSLAGSVERK et direkte produkt av to ekte ikke-trivielle undergrupper, i motsatt fall er gruppen ikke-dekomponerbar. Eksempel: Z 2 Z 2. Dihedral gruppe, den n-te dihedrale gruppen D n er gruppen av symmetrier av et regulært n-gon. Direkte produkt, et direkte produkt av grupper G 1, G 2,, G n kan skrives som n i=1 G i, og et element i produktet er (a 1, a 2,, a n ) der a 1 G 1,, a n G n. Divisjonsring, en ring R er en divisjonsring hvis hver a 0 i R har en multiplikativ invers, dvs for hver a 0 R, aa 1 = 1 = a 1 a. Ekte undergruppe, en ekte undergruppe H av G er ulik G, det vil si H har færre elementer enn G. Undergruppen av G som består av G selv er en uekte undergruppe. Ekvivalensrelasjon, en relasjon R på en mengde S som tilfredsstiller følgende egenskaper for alle x, y, z S: 1. (Refleksiv) xrx. 2. (Symmetrisk) Hvis xry, så yrx. 3. (Transitiv) Hvis xry og yrz, så xrz. Eksempel: Relasjonen =. 1. x = x holder. 2. Hvis x = y, så y = x, som er OK. 3. Hvis x = y og y = z, så x = z, som holder. Enhet (ring), la R være en ring med 1 0, u R er en enhet hvis u har en multiplikativ invers. Eksempel 1 : Enheter i Z er -1 og 1. Eksempel 2 : La R være en vilkårlig divisjonsring. Alle elementer a 0 R er enheter. Eksempel 3 : La R være M 2 (R), enhetene er de inverterbare 2 2-matrisene. Eulers teorem, hvis a er et heltall relativt primisk til n, da er a φ(n) 1( mod n). Evalueringshomomorfi. La F være den additive gruppen med alle funksjoner som avbilder R til R, la R være den additive gruppen av reelle tall, og la c være et hvilket som helst reelt tall. La φ c : F R være en evalueringshomomorfi definert ved φ c (f) = f(c) for f F. Da har vi φ c (f + g) = (f + g)(c) = f(c) + g(c) = φ c (f) + φ c (g) så vi har en homomorfi. Faktorgruppe, la φ : G G være en gruppehomomorfi med kjerne H. Da vil restklassene til H danne en faktorgruppe G/H, hvor (ah)(bh) = (ab)h. I tillegg, avbildningen µ = G/H φ[g] definert ved µ(ah) = φ(a) er en isomorfi. Både restklassemultiplikasjon og µ er veldefinert.

7 7 Eksempel: γ : Z Z m der γ(m) er resten av divisjonen m/n, eller γ(m) m(modn). Ker γ = nz. Da er faktorgruppen Z/nZ isomorf med Z n. Restklassene til nz er restklassene modulo n. Eksempel for n = 5: 5Z = {, 10, 5, 0, 5, 10, } 1 + 5Z = {, 9, 4, 1, 6, 11, } 2 + 5Z = {, 8, 3, 2, 7, 12, } 3 + 5Z = {, 7, 2, 3, 8, 13, } 4 + 5Z = {, 6, 1, 4, 9, 14, } Fermats lille teorem, hvis a Z og p er primtall som ikke dividerer a, vil p dividere a p 1 1, dvs a p 1 1( mod p) for a 0( mod p). Eksempel 1: Vis at ikke er delelig med 11. Fra Fermats lille teorem har vi ( mod 11), så [(2 10 ) ] 1 [ ] ( mod 11), altså er resten av dividert med 11 lik 7 og ikke 0. Forkortingsregelen, hvis G er en gruppe med binær operasjon, da vil den venstre og høyre forkortingsregelen gjelde i G. Det vil si, a b = a c medfører b = c, og b a = c a medfører b = c for alle a, b, c G. Bevis: Anta a b = a c. På grunn av gruppeaksiom G 3 har vi at a eksisterer, og a (a b) = a (a c). På grunn av den assosiative loven har vi (a a) b = (a a) c. På grunn av definisjonen av a i G 3, a a = e har vi e b = e c. På grunn av definisjonen av e i G 2 har vi b = c og vi har vist forkortingsregelen. Generator, Et element a i en gruppe G genererer G og er en generator for G hvis a = G. En gruppe er syklisk hvis det finnes et element a i G som genererer G. G-mengde, en mengde X slik at, gitt en gruppe G, det eksisterer en gruppevirkning på X fra G. Hvis G er en gruppe og X er en mengde, en (venstre) gruppevirkning fra G på X er en binær funksjon G X X, skrives som (g, x) g x, som tilfredsstiller følgende aksiomer: 1. (gh) x = g (h x) for all g, h in X and x in X. 2. e x = x for hver x i X, hvor e er identitetselementet i G. Gruppe, en gruppe (G, ) er en mengde G lukket under en binær operasjon slik at følgende aksiomer er oppfylt: 1. G 1 : For alle a, b, c G, vi har (a b) c = a (b c). assosiativitet for

8 8 CHAPTER 1. ALFABETISK OPPSLAGSVERK 2. G 2 : Det finnes et element e i G slik at for alle x G, e x = x e = x. identitetselement e for 3. G 3 : For hver a G finnes det et element a i G slik at a a = a a = e. invers a til a Gruppehomomorfi, gitt to grupper (G, ) og (H, ), en gruppehomomorfi fra G til H er en avbildning φ : G H slik at homomorfiegenskapen φ(a b) = φ(a) φ(b) gjelder for alle a, b G. Egenskaper for en gruppehomomorfi φ fra G til G : 1. Hvis e er identitetselementet i G, da er φ(e) identitetselementet e i G. 2. Hvis a G, da er φ(a 1 ) = φ(a) Hvis H er en undergruppe av G, da er φ[h] en undergruppe av G. 4. Hvis K er en undergruppe av G, da er φ 1 [K ] en undergruppe av G. Med andre ord, φ bevarer identitetselement, invers og undergrupper. Eksempel 1 : φ : (R, +) (R +, ), φ(x) = e x, φ(a + b) = e a+b, φ(a)φ(b) = e a e b = e a+b. { 0, φ jevn Eksempel 2 : φ : S n Z 2, φ(σ) =. Sjekk at φ(σµ) = 1, φ odde φ(σ) + φ(µ), det er 4 tilfeller å sjekke. Gruppevirkning, gitt en mengde X og en gruppe G, en gruppevirkning fra G på X er en avbildning : G X X slik at: 1. ex = x for alle x X, 2. (g 1 g 2 )(x) = g 1 (g 2 x) for alle x X og alle g 1, g 2 G. En mengde X under disse betingelser kalles en G-mengde. Homomorfi, se gruppehomomorfi eller ringhomomorfi. Hovedideal, hvis R er en kommutativ ring med identitetselement og a R, da er idealet {ra r R} av alle multipler av a et hovedideal generert av a og skrives a. Et ideal N av R er et hovedideal hvis N = a for en a R. Eksempel 1 : Alle idealer i Z er på formen nz som er generert av n, så alle idealer i Z er hovedidealer. Eksempel 2 : Idealet x i F [x] inneholder alle polynomer i F [x] som har 0 som konstantledd. Ideal, et ideal er en undergruppe N under addisjon av en ring R som i oppfyller egenskapene an N og Nb N for alle a, b R. Med andre

9 9 ord, hvis man tar et vilkårlig element fra N og multipliserer med et vilkårlig element fra R, vil resultatet ligge i N. Egenskaper: 1. La I være et ideal i R. Hvis 1 I, så er I = R. Bevis: 1 I, r R r = r 1 I. Altså er R I og I = R. 2. La I være et ideal i R, der R er en kropp. Da er (0) og R de eneste idealene i R. Bevis: La a I, der a 0. Da finnes en invers a 1 i R slik at a 1 a = 1 I da I er et ideal. Siden 1 I, er I = R pga egenskapen over. Altså er (0) og R de eneste idealene i R. Eksempel 1 : nz er et ideal i Z, siden vi vet at nz er en underring. La r Z og nt nz (t Z). r(nt) = n(rt) nz. Eksempel 2 : (0) og R er alltid idealer, og kalles de trivielle idealene. Indeks (undergruppe), la H være en undergruppe av en gruppe G. Antall venstre restklasser av H i G er indeksen (G : H) av H i G. Ifølge Lagranges teorem har vi (G : H) = G / H. Integritetsområde, en kommutativ ring med identitetselement 1 0 uten nulldivisorer er et integritetsområde. Eksempler: Q, R, C, Z p for alle primtall p. Z 6 er ikke et integritetsområde. For to ringer R og S, R S kan aldri være integritetsområde, da (r, 0)(0, s) = (0, 0) for alle r R og s S. Karakteristikk (ring), hvis det for en ring R finnes et positivt heltall n slik at n a = 0 for alle a R, da er det minste slike heltallet karakteristikken til ringen R. Hvis det ikke finnes et slikt tall, har R karakteristikk 0. Eksempel: Z n har karakteristikk n, Z, Q, R og C har karakteristikk 0. Kardinalitet, antall elementer i en mengde S, skrives S. Eksempler: {1, 20, 40} = 3, S n = n!, Q = Z = Z + = ℵ 0, R = ℵ 1 = 2 ℵ 0 = 10 ℵ 0. Sistnevnte likhet gjelder fordi reelle tall kan skrives i forskjellige baser. Kartesisk produkt, et kartesisk produkt av mengdene S 1, S 2,, S n er mengden av alle ordnede n-tupler (a 1, a 2,, a n ) der a i S i for i = 1, 2,, n. Det kartesiske produktet skrives som S 1 S 2 S n eller n i=1 S i. Kjerne, la φ : G G være en gruppehomomorfi. Undergruppen φ 1 [{e }] = {x G φ(x) = e } (det vil si alle elementene x i G slik at φ(x) = e ) kalles kjernen til φ, og skriver Ker(φ). Eksempel: La φ : R n R m være en gruppehomomorfi gitt ved φ(v) = Av hvor A er en m n-matrise. Her er Ker(φ) nullrommet til A. Det består av alle v R n slik at Av = 0, nullvektoren. Kommutativ ring, en kommutativ ring er en ring der multiplikasjon er kommutativ (abelsk). Eksempler: Q, R, C, Z. M 2 (R) er ikke en kommutativ ring.

10 10 CHAPTER 1. ALFABETISK OPPSLAGSVERK Kropp, en kropp er en ring som er både kommutativ og divisjonsring. Eksempler: Q, R, C, Z p for alle primtall p. Z er ikke en kropp. Lagranges teorem (gruppe), la H være en undergruppe av en endelig gruppe G. Da vil ordenen til H være en divisor til ordenen til G. Bevis: La n være ordenen til G, og la H ha orden m. Hver restklasse av H har også m elementer. La r være antall celler i partisjonen av G i venstre restklasser til H. Da er n = rm, så vi har vist at m er en divisor i n. Lukket under operasjon, en mengde H er lukket under en operasjon hvis a b H for alle a, b H. Maksimalt ideal, et ideal I, I R er et maksimalt ideal i en ring R hvis I og R er de eneste idealene i R som inneholder I. Med andre ord, det finnes ikke idealer i I med flere elementer enn I som ikke samtidig utgjør hele R. Eksempel: La p være et primtall i Z, da er pz et maksimalt ideal. Monoide, en mengde G med en assosiativ binær operasjon. I G finnes et identitetselement e slik at e x = x e = x for alle x i G. Definisjonen er identisk med definisjonen for gruppe med unntak av at G 3 ikke kreves, det vil si at en invers til hvert element i G behøver ikke å eksistere. Normal (undergruppe), en undergruppe H av en gruppe G er normal hvis de venstre og høyre restklassene faller sammen, det vil si gh = Hg for alle g G. Merk at alle undergrupper av abelske grupper er normale undergrupper. Nulldivisor, la R være en ring. a 0 og b 0 er nulldivisorer i R hvis ab = 0. Eksempel: R = Z 6, 2 3 = 0. Orden (gruppe), ordenen G til en gruppe G er antall elementer i G. Orden (element i gruppe), ordenen til et element a i en syklisk gruppe G er a, antall elementer i den sykliske undergruppen a generert av a. Alternativ definisjon: Ordenen til a er den minste m slik at a m = e der e er identitetselementet i G. Permutasjon, en permutasjon av en mengde A er en funksjon φ : A A som er både 1-1 og på. Eksempel: φ(1) = 4, φ(2) = 3, φ(3) ( = 2, φ(4) ) = Kan skrives på følgende måter: (1, 4)(2, 3), (1 4)(2 3), En permutasjon som bytter om to elementer og lar resten forbli på samme posisjon kalles en transposisjon. Alle permutasjoner kan skrives som produkt av transposisjoner. En like permutasjon har et odde antall transposisjoner, og en odde permutasjon har et like antall transposisjoner. Primideal. Et ideal N R i en kommutativ ring R er et primideal hvis ab N impliserer enten a N eller b N for a, b R.

11 Restklasser, la H være en undergruppe av en gruppe G. Delmengden ah = {ah h H} av G er den venstre restklassen til H som inneholder a, og Ha = {ha h H} av G er den venstre restklassen til H som inneholder a. Hvis H er en undergruppe av en abelsk gruppe, vil ah = Ha. Ring, en ring (R, +, ) er en mengde R med to binære operasjoner: addisjon + : R R R og multiplikasjon : R R R slik følgende betingelser oppfylles: 1. R 1 : (R, +) er en abelsk gruppe 2. R 2 : Multiplikasjon er assosiativ 3. R 3 : For alle a, b, c R, a (b+c) = (a b)+(a c) (venstredistributivitet) og (a + b) c = (a c) + (b c) (høyredistributivitet). Merk at det kreves ikke at den multiplikative operatoren er kommutativ (abelsk), eller at det eksisterer en multiplikativ invers. Eksempler: Z, R, Q, C, Z n for n > 1. Ringhomomorfi, for to ringer R og R, en avbildning φ : R R er en ringhomomorfi hvis disse to betingelsene er oppfylt for alle a, b R: 1. φ(a + b) = φ(a) + φ(b) 2. φ(ab) = φ(a)φ(b) Ringisomorfi, en ringisomorfi φ : R R fra en ring R til en ring R er en ringhomomorfi som er en-til-en og på R. Ringene R og R er dermed isomorfe. Ring med identitetselement, en ring R er en ring med identitetselement hvis R har et nøytralt element 1 med tanke på multiplikasjon. Eksempler: Z, R, Q, C, M 2 (R). Semigruppe, en mengde G med en assosiativ binær operasjon. Definisjonen er identisk med en gruppe med unntak av at G 2 og G 3 ikke kreves, det vil si at identitetselement og inverser behøver ikke å eksistere. Simpel gruppe, en gruppe som er ikke-triviell og som ikke har ekte ikketrivielle undergrupper. Eksempler: Den alternerende gruppen A n for n 5 og Z p for alle primtall p. Sykel (permutasjon), en permutasjon σ S n er en sykel hvis den har maksimalt en bane med mer enn et element. Lengden av en sykel er antall elementer i den lengste banen. Syklisk gruppe, en gruppe G er syklisk hvis det finnes et element a i G som genererer gruppen G, det vil si at G = a = {a n n Z}. For hvert positive heltall n finnes det eksakt en syklisk gruppe opp til isomorfi med orden n, og det er eksakt en syklisk uendelig gruppe, heltall under addisjon. 11

12 12 CHAPTER 1. ALFABETISK OPPSLAGSVERK En syklisk gruppe er alltid abelsk. Hvis ordenen n er endelig, er det φ(n) generatorer, der φ() er Eulers phi (totient)-funksjon. Syklisk undergruppe, la G være en gruppe og la a G. Da er undergruppen {a n n Z} av G en syklisk undergruppe av G generert av a, og skrives a. Symmetrisk gruppe, en symmetrisk gruppe over en mengde X = {1, 2,, n}, S n, er en gruppe der den underliggende mengden er mengden av alle bijektive funksjoner fra X til X. S n har orden n! og er ikke abelsk for n > 2. Undergrupper av S n kalles permutasjonsgrupper. Den alternerende gruppen A n er en undergruppe av S n. Trofast, en gruppe G sies å virke trofast på en G-mengde X hvis identitetselementet e er det eneste elementet i G som låser fast hver x X, det vil si det eneste elementet g G slik at gx = x for alle x X. Transitiv (G-mengde), en gruppe G er transitiv på en G-mengde X hvis for hver x 1, x 2 X, det finnes en g G slik at gx 1 = x 2. Dette medfører at hvert par av elementer i X befinner seg i samme bane, og dette medfører igjen at det bare finnes en bane i en G-mengde hvor G er transitiv. Triviell undergruppe, undergruppen {e} kalles en triviell undergruppe. Alle andre undergrupper kalles ikke-trivielle. Undergruppe, hvis en delmengde H av G er lukket under den binære operasjonen til G og hvis H under den samme binære operasjonen utgjør en gruppe, da er H en undergruppe av G, H G. Hvis H = G, da er H en uekte undergruppe. Hvis H = {e}, da er H en triviell undergruppe. Alle andre undergrupper er ikke-trivielle. Oppsummering: en delmengde H av en gruppe G utgjør en undergruppe av G hvis og bare hvis 1. H er lukket under den binære operasjonen til G, 2. identitetselementet e fra G er i H, 3. for alle a H, a 1 H. En viktig setning (Lagranges teorem) sier at ordenen til en undergruppe H av en gruppe G går opp i ordenen til G. Underring, en delmengde S av en ring R er en underring hvis og bare hvis: 1. 0 S 2. (a b) S for alle a, b S 3. ab S for alle a, b S

13 Chapter 2 Huskeliste 2.1 Sentrale definisjoner En ring (R, +, ) er en mengde R med to binære operasjoner (addisjon og multiplikasjon), slik at (R, +) er en abelsk gruppe, multiplikasjon er assosiativ og de distributive lover holder. En kommutativ ring er en ring der multiplikasjon er assosiativ. En ring med identitetselement er en ring med multiplikativt identitetselement. En enhet er et element u R (R ring med identitetselement 1 0) som har en multiplikativ invers i R. En divisjonsring er en ring der hvert element 0 er en enhet. En nulldivisor er et element a R (R ring) slik at det finnes en b R slik at ab = 0. En kropp er en kommutativ divisjonsring uten nulldivisorer. Et integritetsområde er en kommutativ ring med identitetselement 1 0 uten nulldivisorer. Alle kropper er integritetsområder. Bevis: La F være kropp, a, b F, og anta a 0. Hvis ab = 0 har vi a 1 (ab) = a 1 0 = 0. Men, 0 = a 1 (ab) = (a 1 a)b = 1b = b. Vi har vist at ab = 0 med a 0 medfører b = 0 i F, så F har ingen nulldivisorer og er integritetsområde da F er en kommutativ ring med identitetselement 1 0 fordi det er gitt at F er kropp. Et ideal M i R er et maksimalt ideal hvis og bare hvis R/M er en kropp. Et ideal N i R er et primideal hvis og bare hvis R/N er et integritetsområde. 13

14 14 CHAPTER 2. HUSKELISTE Ethvert maksimalt ideal i R er et primideal. Et ideal N i R er et hovedideal hvis N = a for en a R. La p(x) = x 2 +2x+2 i Z 3 [x]. Forklar hvorfor den kommutative faktorringen F = Z 3 [x]/ p(x) er en kropp. Svar: Vi sjekker om p(x) er irredusibelt. p(0) = 2, p(1) = 2, p(2) = 1, så p(x) har ingen lineær faktor. Siden p(x) er av grad 2, betyr det at p(x) er irredusibelt, for hvis det hadde vært redusibelt ville det ha hatt to faktorer av grad 1. Da er p(x) et maksimalt ideal i Z 3 [x], så F = Z 3 [x]/ p(x) er derfor en kropp. 2.2 Sentrale teoremer Lagranges teorem: La H være en undergruppe av en endelig gruppe G. Da er ordenen til H en divisor av ordenen til G. Strukturteoremet for endelige genererte abelske grupper: Hver endelige genererte abelske gruppe G er isomorf med et direkte produkt av sykliske grupper på formen Z (p1 ) r 1 Z (p2 ) r 2 Z (pn) rn Z Z Z, der p i er primtall, ikke nødvendigvis distinkte, og r i er positive heltall. Det direkte produktet er unikt med unntak av mulig rearrangering av faktorene. Det fundamentale homomorfiteoremet: La φ : G G være en gruppehomomorfi med kjerne H. Da er φ[g] en gruppe, og µ : G/H φ[g] gitt ved µ(gh) = φ(g) er en isomorfi. Hvis γ : G G/H er en homomorfi gitt ved γ(g) = gh, da er φ(g) = µγ(g) for hver g G. Bevis: s.140 i Fraleigh. Burnsides formel: La G være en endelig gruppe og X en endelig G-mengde. Antall baner r i X under G er da r = g G X g G.

15 Chapter 3 Bevismetoder Bevise entydighet For å vise at noe er unikt, anta at det finnes to ulike objekter med ønsket egenskap, for så å vise at de er like. Eksempel: Hvis G er en gruppe med binær operasjon, og hvis a og b er vilkårlige elementer i G, vis at ligningssystemet a x = b har unik løsning for x i G. Bevis: [Man må vise først at lignignssystemet har minst en løsning, denne delen av beviset er ikke tatt med her.] Anta at det finnes to forskjellige løsninger, x 1 og x 2 slik at a x 1 = b og a x 2 = b. Da har vi a x 1 = a x 2, og av forkortingsregelen har vi dermed at x 1 = x 2. Vise at to mengder er like En standardmåte å vise at to mengder er like, er for hver av dem å vise at den er en delmengde av den andre. Eksempel: [finn et enkelt og illustrativt eksempel] Vise at en binær operasjon er veldefinert, bruk eksempel fra faktorgrupper, f.eks. 15

16 16 CHAPTER 3. BEVISMETODER

17 Chapter 4 Algoritmer og betingelser Betingelser for at * er en veldefinert binær operasjon over en mengde S: 1. Ett element er tildelt til hvert ordnede par av elementer i S. Med andre ord, for alle a, b S, resultatet a b skal eksistere og være entydig. 2. For hvert ordnede par av elementer i S, må det tildelte elementet være i S. Med andre ord, for alle a, b S, ab må ligge i S. Hvis betingelse 1 brytes, er * ikke veldefinert. Hvis betingelse 2 brytes, er S ikke lukket under *. Vise at to binære algebraiske strukturer S, og S, er isomorfe. 1. Definer en funksjon φ som gir isomorfien fra S til S, det vil si hva φ(s) skal være for hver s S. 2. Vis at φ er en en-til-en-funksjon. Det vil si, anta φ(x) = φ(y) i S og vis at x = y i S. 3. Vis at φ er på S. Det vil si, anta at s S er gitt og vis at det alltid eksisterer s S slik at φ(s) = s. 4. Vis at φ(x y) = φ(x) φ(y) for alle x, y S. Betingelser for at en mengde G, lukket under en binær operasjon * er en gruppe G, 1. For alle a, b, c G, (a b) c = a (b c) (assosiativitet) 2. For alle x G finnes et element e i G slik at e x = x e = x (identitetselement) 3. For hver a G finnes et element a i G slik at a a = a a = e (invers a til a) 17

18 18 CHAPTER 4. ALGORITMER OG BETINGELSER Betingelser for at en delmengde H av en gruppe G er en undergruppe av G 1. H er lukket under den binære operasjonen til G. 2. Identitetselementet e i G er i H. 3. For hver a H finnes også a 1 i H. Vise at φ : G G er en isomorfi: 1. Vis at φ er en homomorfi. 2. Vis at Ker(φ) = {e}. 3. Vis at avbildningen φ : G G er på (surjektiv).

19 Chapter 5 Oversikter C komplekse tall N naturlige tall (alle heltall 0) Q rasjonale tall R reelle tall Z heltall Q +, R +, Z + positive elementer i Q, R, Z C, Q, R, Z elementer i C, Q, R, Z som ikke er 0 U mengden av alle z C slik at z = 1 R c mengden av alle x R slik at 0 x < c Z n {0, 1, 2,, n 1} P(a) potensmengden til A Table 5.1: Mengder 19

20 20 CHAPTER 5. OVERSIKTER Z n syklisk gruppe {0, 1,, n 1} under addisjon modulo n U n gruppe med nterøtter av 1 a syklisk undergruppe generert av a nz syklisk undergruppe generert av n S n symmetrisk gruppe med n tegn A n alternerende gruppe med n tegn nte dihedrale gruppe D n Table 5.2: Grupper e identitetselementet e x = x e = x identitetselementets egenskaper e 1 = e 2 identitetselementet er unikt a invers til a a a = a a = e egenskaper til invers a = a for hver a finnes kun en invers (a b) (b a) = a (b b ) a = a e a = a a = e invers til (a b) er (b a ) Table 5.3: Noen identiteter for elementer i en gruppe

21 Chapter 6 Oversettelser 21

22 22 CHAPTER 6. OVERSETTELSER Engelsk Alternating group Axiom Cardinality Characteristic Coset Cycle Cyclic group Decomposable Degree Disjoint Division ring Divisor of 0 Equivalence relation Even permutation Factor group Faithful Field Greatest common divisor Group Group action G-set Homomorphism Ideal Image Indecomposable Norsk Alternerende gruppe Aksiom Kardinalitet Karakteristikk Restklasse Sykel Syklisk gruppe Dekomponerbar Grad Disjunkt Divisjonsring Nulldivisor Ekvivalensrelasjon Like/jevn permutasjon Faktorgruppe Trofast Kropp Største felles divisor Gruppe Gruppevirkning/Gruppeoperasjon G-mengde Homomorfi Ideal Bilde Ikke-dekomponerbar

23 23 Engelsk Norsk Index Indeks Integral domain Integritetsområde Intersection Snitt Irreducible Irredusibel Isotropy Isotropi Kernel Kjerne Least common multiple Minste felles multiplum Left coset Venstre restklasse Maximal ideal Maksimalt ideal Map Avbildning Monoid Monoide Odd permutation Odde permutasjon Orbit Bane Order Orden Power set Potensmengde Prime ideal Primideal Principle ideal Hovedideal Proper subgroup Ekte undergruppe Quantifier Kvantifikator Reducible Redusibel Reflexive Refleksiv Relatively prime Relativt primisk Ring Ring Ring with unity Ring med 1 Semigroup Semigruppe Set Mengde Simple group Simpel gruppe Subgroup Undergruppe Subset Delmengde Symmetric Symmetrisk Transitive Transitiv Unit Enhet Unity Identitetselement

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

Notat i MA2201. Vegard Hagen. 27. mai 2012. La S være en mengde og la f, g, h : S S. Da er Notat i MA2201 Vegard Hagen 27. mai 2012 Del I - grupper og undergrupper Seksjon 2 - Binære Operasjoner En binær operasjon på en mengde S er en funksjonsavbildning S S S. (a, b) S S betegner vi elementet

Detaljer

Grublegruppe 19. sept. 2011: Algebra I

Grublegruppe 19. sept. 2011: Algebra I 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

Detaljer

Forslag til løsninger, TMA4150 Algebra, 29. mai 2018 Side 1 av 5

Forslag til løsninger, TMA4150 Algebra, 29. mai 2018 Side 1 av 5 Forslag til løsninger, TMA4150 Algebra, 29. mai 2018 Side 1 av 5 Oppgave 1 isomorfi, nemlig 24 = 2 3 3, så det finnes tre abelske grupper av orden 24 opp til Z 2 Z 2 Z 2 Z 3 ; Z 2 Z 4 Z 3 ; Z 8 Z 3. O

Detaljer

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

MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile 1 Introduksjon: Grupper og ringer Ringer En ring er et sted hvor du kan addere, subtrahere og multiplisere. Hvis du også kan dividere kalles ringen for

Detaljer

Eksamensoppgave i TMA4150 Algebra

Eksamensoppgave i TMA4150 Algebra Institutt for matematiske fag Eksamensoppgave i TMA4150 Algebra Faglig kontakt under eksamen: Torkil Utvik Stai Tlf: 47638459 Eksamensdato: 29. mai 2018 Eksamenstid (fra til): 15:00 19:00 Hjelpemiddelkode/Tillatte

Detaljer

MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile

MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile 1 Ringer og ringhomomorfier 1.1 Hva er en ring? Avsnitt 18: Ringer og kropper Stoff: Ring, direkte produkt av ringer, ringhomomorfi og ringisomorfi, kjernen

Detaljer

Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 2 Faglig kontakt under eksamen: Dagfinn F. Vatne 901 38 621 EKSAMEN I ALGEBRA OG TALLTEORI (TMA4150) Bokmål Tillatte

Detaljer

Utvidet løsningsforslag til Eksamen vår 2010

Utvidet løsningsforslag til Eksamen vår 2010 Utvidet løsningsforslag til Eksamen vår 2010 Morten Brun og Runar Ile 1 Dette er et utvidet løsningsforslag hvor det er gitt alternativer løsninger på flere av punktene og noen tips og kommentarer. På

Detaljer

UNIVERSITETET I BERGEN

UNIVERSITETET I BERGEN BOKMÅL UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Eksamen i emnet MAT220/MAUMAT44 - Algebra Fredag. juni 204, kl. 09-4 Tillatte hjelpemidler: Kalkulator i samsvar med fakultetets

Detaljer

En rekke av definisjoner i algebra

En rekke av definisjoner i algebra En rekke av definisjoner i algebra Martin Strand, martin.strand@math.ntnu.no 11. november 2010 Definisjonene som er gitt her, kommer i MA2201 Algebra og MA3201 Ringer og moduler. Forhåpentligvis blir det

Detaljer

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.

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. Eksamen i MNFMA205/SIF5021 19. mai 1999-Løsningsforslag { } Oppgave 2. a Vi skal vise at H 0 a C er en gruppe under matrisemultiplikasjon. Vi har at det aā + a 2 + 2 > 0 da enten a 0 eller 0. Dette fører

Detaljer

MA2201/TMA4150 Vår 2018

MA2201/TMA4150 Vår 2018 MA2201/TMA4150 Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 6 Seksjon 14 34 La G = n < og la H G være eneste undergruppe av G av orden m.

Detaljer

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

Direkte produkter. (a, b)(a 0,b 0 )=(ab, a 0 b 0 ). Direkte produkter Vi kjenner det kartesiske produktet av to mengder Y.Detbeståravallepar(x, y) av elementer x 2 og y 2 Y.OrdetkartesiskerdannetavegennavnetRenéDécartes, en fransk filosof og matematiker

Detaljer

MAT Grublegruppen Notat 10

MAT Grublegruppen Notat 10 MAT1100 - Grublegruppen Notat 10 Jørgen O. Lye Ringer Vi fortsetter i et lynkurs i algebraiske dyr. Først ut er ringer. En ring A (også kalt R) er en abelsk gruppe med addisjon + som operasjon. I tillegg

Detaljer

Algebraiske strukturer

Algebraiske strukturer MAT1140, H-16 Algebraiske strukturer Vi kan legge samme og multiplisere tall, funksjoner og matriser, og vi kan bruke snitt og union til å danne nye mengder. Mange av disse operasjonene følger de samme

Detaljer

Oblig 1 - MAT2400. Fredrik Meyer

Oblig 1 - MAT2400. Fredrik Meyer Oblig 1 - MAT2400 Fredrik Meyer 1 Oppgave 1 Påstand 1 a). Z 5 har fire generatorer og AutZ 5 ) Z 4 Bevis. Hvert ikke-null-element i Z 5 genererer en undergruppe. Siden 5 er et primtall, må denne undergruppen

Detaljer

OPPGAVER FOR FORUM

OPPGAVER FOR FORUM OPPGAVER FOR FORUM 2006-2007 MERK!: Du skal først skrive hele oppgaveteksten for hver oppgave, og deretter svaret på oppgaven. Hvert svar skal være detajert, og skrevet i et klart og tydelig matematisk

Detaljer

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

x A e x = x e = x. (2) Notat om Algebra for MAT1140 1 Algebra 1.1 Operasjoner Definisjon 1.1. En operasjon på en mengde A er en avbildning fra A A til A. Bemerkning 1.1. Mer generelt kan man snakke om n-ære operasjoner på A,

Detaljer

7 Ordnede ringer, hele tall, induksjon

7 Ordnede ringer, hele tall, induksjon Notat 07 for MAT1140 7 Ordnede ringer, hele tall, induksjon Definition 7.1. La R være utstyrt med addisjon og multiplikasjon slik at vi har å gjøre med en kommutativ ring. Anta videre at R er utstyrt med

Detaljer

Løsningsforslag øving 6

Løsningsforslag øving 6 Løsningsforslag øving 6 7 Husk Teorem 79 i notatet: En delmengde U av et vektorrom V er et underrom hvis ) nullvektoren er i U, ) summen av to vektorer i U er i U igjen, og 3) et skalarmultiplum av en

Detaljer

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

Notat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner Notat 05 for MAT1140 5 Relasjoner, operasjoner, ringer 5.1 Relasjoner Når R er en relasjon som er veldefinert på A B, slik at R(x, y) er en påstand når x A og B B, tenker vi på relasjonen som noe som lever

Detaljer

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

QED 1 7. Matematikk for grunnskolelærerutdanningen. Bind 2. Fasit kapittel 1 Tallenes hemmeligheter QED 1 7 Matematikk for grunnskolelærerutdanningen Bind 2 Fasit kapittel 1 Tallenes hemmeligheter Kapittel 1 Oppgave 8. Nei Oppgave 9. Det nnes ikke nødvendigvis et minste element i mengden. Et eksempel

Detaljer

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

Julenøtter til gruppe 5&7! (IKKE eksamensrelevant, bare for gøy gjerne i romjulen) Julenøtter til gruppe 5&7! (IKKE eksamensrelevant, bare for gøy gjerne i romjulen) Dette er smakebiter på ting som dukker opp i videregående emner (MAT2400 og MAT2200). Del I og II kan gjøres uavhengig

Detaljer

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

(a) R n defineres som mengden av kolonnevektorer. a 1 a 2. a n. (b) R n defineres som mengden av radvektorer 5 Vektorrom Et vektorrom er en mengde V med tre algebraiske operasjoner (addisjon, negasjon og skalærmultiplikasjon) som tilfredsstiller de 10 betingelsene fra Def. 4.1.1. Jeg vil ikke gi en eksamensoppgave

Detaljer

Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010

Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010 Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010 1. a) Ingen andre tall enn en deler en, og en deler fire, så (1, 4) = 1 b) 1 c) 7 er et primtall og 7 er ikke en faktor i 41, så største felles

Detaljer

MAT Grublegruppen Notat 9

MAT Grublegruppen Notat 9 MAT1100 - Grublegruppen Notat 9 Jørgen O. Lye Gruppeteori Oppvarmingseksempel La oss som vanlig ta en historisk vinkling. En klassisk måte grupper (som jeg straks skal denere) oppstod er gjennom å lete

Detaljer

Obligatorisk oppgave MAT2200 VÅREN 2011

Obligatorisk oppgave MAT2200 VÅREN 2011 Obligatorisk oppgave MAT2200 VÅREN 2011 Alle punkter teller likt. Det kreves at 50% er riktig (som betyr 10 av 19 punkter) for at oppgaven skal godkjennes. Den skal leveres i egen innleveringsboks i 7.

Detaljer

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.

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. Endelige grupper Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. En gruppe er en mengde S sammen med en binær operasjon definert på S, betegnes (S, ), med følgende egenskaper: 1. a, b S, a b S 2. det

Detaljer

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

Oppgave 14 til 9. desember: I polynomiringen K[x, y] i de to variable x og y over kroppen K definerer vi undermengdene: HJEMMEOPPGAVER utgave av 8-12-2002): Oppgave 15 til 16 desember: La H være mengden av alle matriser på formen A = a 1 a 12 a 13 a 1n 0 a 2 0 0 0 0 a 3 0 0 0 a n der a 1 a 2 a n 0 Videre la SH være matrisene

Detaljer

1 Aksiomatisk definisjon av vanlige tallsystemer

1 Aksiomatisk definisjon av vanlige tallsystemer Notat XX for MAT1140 1 Aksiomatisk definisjon av vanlige tallsystemer 1.1 Aksiomer Vi betrakter en mengde R, utstyrt med to avbild- Algebraiske aksiomer. ninger: addisjon { R R R, (x, y) x + y. { R R R,

Detaljer

TALL. 1 De naturlige tallene. H. Fausk

TALL. 1 De naturlige tallene. H. Fausk TALL H. Fausk 1 De naturlige tallene De naturlige tallene er 1, 2, 3, 4, 5,... (og så videre). Disse tallene brukes til å telle med, og de kalles også telletallene. Listen med naturlige tall stopper ikke

Detaljer

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

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 ) For å finne største felles divisor (gcd) kan vi begrense oss til N, sidenfor alle a, b Z, harvi gcd(a, b) =gcd( a, b ). I prinsippet, dersom vi vet at a = p t 1 kan vi se at 1 p t 2 2 p t n og b = p s

Detaljer

Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008. i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. 0 1 0 0

Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008. i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. 0 1 0 0 Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008 8.4.27 Vi beregner matrisene W i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. a) W 0 = W 1 = W 2 = 1 0 0 0 1 1 0 0 b) W 0 = c) W 0 = d) W 0

Detaljer

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

INF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng] INF1080 Logiske metoder for informatikk Digital eksamen (med løsningsforslag) Dette er et utkast til løsningsforslag til eksamen i INF1080, og feil kan forekomme. Hvis du finner noen feil, si ifra til

Detaljer

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014 Oppgaver MAT500 Fredrik Meyer 9. august 04 Oppgave. Bruk cosinus-setningen til å se at definisjonen av vinkel i planet blir riktig. Løsning. Dette er en litt rar oppgave. Husk at cosinus-setningen sier

Detaljer

Eksamen MAT H Løsninger

Eksamen MAT H Løsninger Eksamen MAT1140 - H2014 - Løsninger Oppgave 1 Vi setter opp en vanlig sannhetsverditabell. La Φ betegne formelen i oppgaven. Tabellen vil bli som følger: A B C A B A C Φ T T T T T T T T F T T T T F T F

Detaljer

MAUMAT644 ALGEBRA vår 2016 Fjerde samling Runar Ile

MAUMAT644 ALGEBRA vår 2016 Fjerde samling Runar Ile MAUMAT644 ALGEBRA vår 2016 Fjerde samling Runar Ile 1 Kroppsutvidelser og geometriske konstruksjoner 1.1 Hva har kroppsutvidelser med geometriproblemer å gjøre? Avsnitt 29: Kroppsutvidelser Stoff: Utvidelseskropper

Detaljer

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

INF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng] INF1080 Logiske metoder for informatikk Digital eksamen Tid: Onsdag 7. desember 2016 kl. 14.30 18.30 (4 timer) Tillatte hjelpemidler: Ingen Eksamen består av to deler som er verdt omtrent like mye. Den

Detaljer

Lineærtransformasjoner

Lineærtransformasjoner Kapittel 8 Lineærtransformasjoner I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige

Detaljer

Et ekstremt ufullstendig oppslagsverk for TMA4185 Kodeteori

Et ekstremt ufullstendig oppslagsverk for TMA4185 Kodeteori Et ekstremt ufullstendig oppslagsverk for TMA4185 Kodeteori Ruben Spaans May 21, 2008 1 Pensum Pensumliste: ˆ Kapittel 1: Hele, unntatt 110 ˆ Kapittel 2: 21, 24 (singleton upper bound og MDS), 27 (Gilbert

Detaljer

9 Lineærtransformasjoner TMA4110 høsten 2018

9 Lineærtransformasjoner TMA4110 høsten 2018 9 Lineærtransformasjoner MA4 høsten 8 I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige

Detaljer

Repetisjonsforelesning - INF1080

Repetisjonsforelesning - INF1080 Repetisjonsforelesning - INF1080 Mengder, relasjoner og funksjoner 18. november 2015 1 Grunnleggende mengdelære 1.1 Elementært om mengder 1.1.1 Hva er en mengde? Definisjon 1.1 (Mengde). En mengde er en

Detaljer

Tillegg til kapittel 11: Mer om relasjoner

Tillegg til kapittel 11: Mer om relasjoner MAT1140, H-16 Tillegg til kapittel 11: Mer om relasjoner I læreboken blir ekvivalensrelasjoner trukket frem som en viktig relasjonstype. I dette tillegget skal vi se på en annen type relasjoner som dukker

Detaljer

Notat med oppgaver for MAT1140

Notat med oppgaver for MAT1140 Notat med oppgaver for MAT1140 1 Injeksjon, surjeksjon Oppgave 1.1. La f : A B være en avbildning. Vis at da er f injektiv hvis og bare hvis følgende holder: for hver mengde C og for hver g, h : C A hvis

Detaljer

Øvingsforelesning 5. Binær-, oktal-, desimal- og heksidesimaletall, litt mer tallteori og kombinatorikk. TMA4140 Diskret Matematikk

Øvingsforelesning 5. Binær-, oktal-, desimal- og heksidesimaletall, litt mer tallteori og kombinatorikk. TMA4140 Diskret Matematikk Binær-, oktal-, desimal- og heksidesimaletall, litt mer tallteori og kombinatorikk Øvingsforelesning 5 TMA4140 Diskret Matematikk 1. og 3. oktober 2018 Dagen i dag Repetere binære, oktale osv. heltallsrepresentasjoner,

Detaljer

LO118D Forelesning 5 (DM)

LO118D Forelesning 5 (DM) LO118D Forelesning 5 (DM) Relasjoner 03.09.2007 1 Relasjoner 2 Ekvivalensrelasjoner 3 Matriser av relasjoner 4 Relasjonsdatabaser Relasjon Relasjoner er en generalisering av funksjoner En relasjon er en

Detaljer

LO118D Forelesning 3 (DM)

LO118D Forelesning 3 (DM) LO118D Forelesning 3 (DM) Mengder og funksjoner 27.08.2007 1 Mengder 2 Funksjoner Symboler x y Logisk AND, både x og y må være sanne x y Logisk OR, x eller y må være sann x Negasjon, ikke x x For alle

Detaljer

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 6 KONTINUASJONSEKSAMEN I TMA440 LØSNINGSFORSLAG Oppgave Sannhetsverditabell for det logiske utsagnet ( (p q) ) ( q r

Detaljer

Emne 12 Mengdelære. ( bokstaven g er ikke et element i mengden B ) Betyr: B er mengden av alle positive oddetall.

Emne 12 Mengdelære. ( bokstaven g er ikke et element i mengden B ) Betyr: B er mengden av alle positive oddetall. Emne 12 Mengdelære En mengde er en samling elementer. Mengden er veldefinert hvis vi entydig kan avgjøre om et vilkårlig element tilhører mengden eller ikke. Mengder på listeform. Endelige mengder:, Uendelige

Detaljer

Vi viser denne ekvivalensen ved å vise begge implikasjoner. " "Anta at G virker trofast på X og anta at g, h G er slik at gx = hx for alle

Vi viser denne ekvivalensen ved å vise begge implikasjoner.  Anta at G virker trofast på X og anta at g, h G er slik at gx = hx for alle TMA4150 Algebra Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Seksjon 16 2 Fasit: G 1 = {ρ 0, δ 2 } = G 3 = G P1 = G P3 G S1 = {ρ 0, µ 1 } = G S3 G m1 = {ρ 0, ρ 2, µ 1, µ

Detaljer

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

Vektorrom. Kapittel 7. Hva kan vi gjøre med vektorer? Kapittel 7 Vektorrom Vårt mål i dette kapitlet og det neste er å generalisere og abstrahere ideene vi har jobbet med til nå Især skal vi stille spørsmålet Hva er en vektor? Svaret vi skal gi, vil virke

Detaljer

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

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye. Løsningsforslag Emnekode: ITF75 Dato: 5 desember Emne: Matematikk for IT Eksamenstid: kl 9 til kl Hjelpemidler: To A4-ark med valgfritt innhold på begge sider Kalkulator er ikke tillatt Faglærer: Christian

Detaljer

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

Gauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts. Gauss-Jordan eliminasjon; redusert echelonform Forelesning, TMA4110 Fredag 18/9 Martin Wanvik, IMF MartinWanvik@mathntnuno En matrise vil normalt være radekvivalent med flere echelonmatriser; med andre

Detaljer

x 1 x 2 x = x n b 1 b 2 b = b m Det kan være vanskelig (beregningsmessig) og bearbeide utrykk som inneholder

x 1 x 2 x = x n b 1 b 2 b = b m Det kan være vanskelig (beregningsmessig) og bearbeide utrykk som inneholder 4 Noen merknader 4. Lineære systemer Ax = b Gitt systemet Ax = b, A = [a i,j ] i=,,...,m, j=,,...,n x = b = Det kan være vanskelig (beregningsmessig) og bearbeide utrykk som inneholder b i. Med det finnes

Detaljer

Masteroppgave Galois-teori

Masteroppgave Galois-teori Masteroppgave Galois-teori Anders Fjogstad Universitetet i Stavanger 2011 Anders Fjogstad, Universitetet i Stavanger, 2011, Side 1 Sammendrag Problemstillingen for denne oppgaven er å sette seg inn i Galoisteorien

Detaljer

12 Lineære transformasjoner

12 Lineære transformasjoner 2 Lineære transformasjoner 2 Funksjoner Definisjon 2 En funksjon ( a function) f : A B er en regel, som tilordner en entydig bestemt verdi f (a) B til ethvert element a A Mengden A kalles domenet til f

Detaljer

FASIT/LF FOR EKSAMEN TMA4140, H07

FASIT/LF FOR EKSAMEN TMA4140, H07 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 5 FASIT/LF FOR EKSAMEN TMA440, H07 Oppgave (0%) Benytt matematisk induksjon til å vise at for alle heltall n. n i i!

Detaljer

HJEMMEOPPGAVER (utgave av ):

HJEMMEOPPGAVER (utgave av ): HJEMMEOPPGAVER (utgave av 20-5-2003): Oppgave 16 til 26 mai: La K være kroppen med 2 elementer og la A = K(t)[x]/(x 2 +t) være residuringen av polynomringen i den varibale x over den rasjonale funksjonsringen

Detaljer

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

En gruppeteoretisk analyse av vri- og flyttespill. Alexander Lorenzo Masteroppgave, våren 2017 En gruppeteoretisk analyse av vri- og flyttespill Alexander Lorenzo Masteroppgave, våren 2017 Denne masteroppgaven er levert inn som en del av programspesialiseringen Matematikk under Lektorprogrammet

Detaljer

En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser ofte kan ha.

En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser ofte kan ha. Forelesning 12 Relasjoner, Dag Normann - 20. februar 2008 Oppsummering En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser

Detaljer

MAT1030 Forelesning 12

MAT1030 Forelesning 12 MAT1030 Forelesning 12 Relasjoner Dag Normann - 24. februar 2010 (Sist oppdatert: 2010-02-24 12:36) Kapittel 5: Relasjoner Repetisjon En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt

Detaljer

Matriser. Kapittel 4. Definisjoner og notasjon

Matriser. Kapittel 4. Definisjoner og notasjon Kapittel Matriser Vi har lært å løse et lineært ligningssystem ved å sette opp totalmatrisen til systemet gausseliminere den ved hjelp av radoperasjoner på matrisen Vi skal nå se nærmere på egenskaper

Detaljer

Karakterer. Kapittel Homomorfier av grupper. 8.2 Representasjoner

Karakterer. Kapittel Homomorfier av grupper. 8.2 Representasjoner Kapittel 8 Karakterer 8. Homomorfier av grupper I forrige kapittel definerte vi begrepet abstrakt gruppe, som en abstrakt versjon av begrepet symmetrigruppe. For å studere forbindelsen mellom abstrakte

Detaljer

Kapittel 5: Relasjoner

Kapittel 5: Relasjoner MAT1030 Diskret Matematikk Forelesning 12: Relasjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Relasjoner 24. februar 2010 (Sist oppdatert: 2010-02-24 12:36) MAT1030 Diskret Matematikk

Detaljer

Lineær algebra. 0.1 Vektorrom

Lineær algebra. 0.1 Vektorrom Lineær algebra Siden dette temaet er alt for stort til å kunne gjennomgås på en halvtime, med alle de teoremene og denisjonene som skal til, har jeg laget dette notatet. Det bygger hovedsakelig på notatene

Detaljer

8 Vektorrom TMA4110 høsten 2018

8 Vektorrom TMA4110 høsten 2018 8 Vektorrom TMA4 høsten 8 I de foregående kapitlene har vi tatt en lang vandring gjennom den lineære algebraens jungel. Nå skal vi gå opp på en fjelltopp og skue ut over landskapet vi har vandret gjennom.

Detaljer

4.1 Vektorrom og underrom

4.1 Vektorrom og underrom 4.1 Vektorrom og underrom Vektorrom er en abstraksjon av R n. De kan brukes til å utlede egenskaper, resultater og metoder for tilsynelatende svært ulike klasser av objekter : n-tupler, følger, funksjoner,

Detaljer

Grupper de første egenskaper

Grupper de første egenskaper Grupper de første egenskaper Definisjonen av en gruppe Da vi studerte symmetriene til et kvadrat, så vi at det var enkelte karakteristiske trekk ved symmetrier; De kunne settes sammen og de kunne inverteres.

Detaljer

Oppsummering. MAT1030 Diskret matematikk. Ekvivalensrelasjoner. Oppsummering. Definisjon. Merk

Oppsummering. MAT1030 Diskret matematikk. Ekvivalensrelasjoner. Oppsummering. Definisjon. Merk Oppsummering MAT1030 Diskret matematikk Forelesning 12: Relasjoner, Dag Normann Matematisk Institutt, Universitetet i Oslo 20. februar 2008 En relasjon på en mengde A er en delmengde R A A = A 2. Vi har

Detaljer

Før vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet

Før vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet MAT1030 Diskret Matematikk Forelesning 12: Relasjoner og litt funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Før vi begynner 3. mars 2009 (Sist oppdatert: 2009-03-04 01:00) MAT1030

Detaljer

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

Dagens plan. INF3170 Logikk. Mengder. Definisjon. Notasjon. Forelesning 0: Mengdelære, Induksjon. Martin Giese. 23. januar 2008. INF3170 Logikk Dagens plan Forelesning 0:, Induksjon Martin Giese 1 Institutt for informatikk, Universitetet i Oslo 2 23. januar 2008 Institutt for informatikk (UiO) INF3170 Logikk 23.01.2008 2 / 47 1

Detaljer

Løsningsforslag øving 7

Løsningsforslag øving 7 Løsningsforslag øving 7 8 Husk at en funksjon er injektiv dersom x y gir f(x) f(y), men her ser vi at f(3) 9 f( 3), eller generelt at f(z) z f( z) for alle z C, som betyr at f ikke er injektiv Vi ser også

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 9. desember 2015 Tid for eksamen: 09.00 13.00 (Fortsettes på side 2.) INF1080 Logiske metoder for informatikk Oppgave

Detaljer

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

Dette er altså et slags produkt av undermengder. Man sjekker lett at dette produktet har en assosiativitetsegenskap 1,nemlig: Kvotientgrupper En helt sentral konstruksjon i gruppeteorien er dannelsen av kvotienten av en gruppe G med en normal undergruppe. I et spesialtilfelle har vi allerede gjort denne konstruksjonen, nemlig

Detaljer

LØSNINGSFORSLAG EKSAMEN V06, MA0301

LØSNINGSFORSLAG EKSAMEN V06, MA0301 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 7 LØSNINGSFORSLAG EKSAMEN V06, MA0301 Oppgave 1 a) Sett opp en sannhetsverditabell(truth table) for det logiske uttrykket

Detaljer

Permutasjoner og symmetriske grupper

Permutasjoner og symmetriske grupper Permutasjoner og symmetriske grupper Verbet permutere betyr å bytte om, og ombyttinger, eller altså permutasjoner, er noe vi kjenner fra dagliglivet. I matematikk er de også flittig i bruk, de fleste har

Detaljer

Matematikk for IT, høsten 2016

Matematikk for IT, høsten 2016 Matematikk for IT, høsten 2016 Oblig Løsningsforslag 16. september 2016 2.4.1 a) {(0, 1), (0, 2), (1, 2)} b) {(0, 0), (1, 1), (2, 2)} c) {(0, 0), (0, 1), (1, 0), (0, 2), (2, 0)} d) {(0, 0), (1, 0), (1,

Detaljer

Kommentarer til Eksamen IM005 - V02

Kommentarer til Eksamen IM005 - V02 Kommentarer til Eksamen IM005 - V02 Følgende oppgaver er aktuelle innenfor dagens pensum: Oppgave 1a,d,e,f,h,i Oppgave 2a,b,c Oppgave 3 Oppgave 4a,c,d I Oppgavene 1f,h,i skal det stå enkel graf (simple

Detaljer

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

Geometriske avbildninger og symmetri. A2A/A2B Høgskolen i Vestfold Geometriske avbildninger og symmetri A2A/A2B Høgskolen i Vestfold 6. november 2009 Innhold 1. Symmetri 2. Avbildninger 3. Isometrier 4. Egenskaper ved avbildninger 5. Symmetrigrupper Kilde for forelesningen:

Detaljer

En (reell) funksjon f fra en (reell) mengde D er en regel som til hvert element x D tilordner en unik verdi y = f (x).

En (reell) funksjon f fra en (reell) mengde D er en regel som til hvert element x D tilordner en unik verdi y = f (x). Funksjoner En (reell) funksjon f fra en (reell) mengde D er en regel som til hvert element x D tilordner en unik verdi y = f (x). Mengden D kalles definisjonsmengden (eng.: domain) til f. Merknad Dersom

Detaljer

KOMPENDIUM FOR FORKURS I MATEMATIKK FOR MASTERSTUDIET I INFORMASJONSSIKKERHET VED HØGSKOLEN I GJØVIK SOMMEREN 2004.

KOMPENDIUM FOR FORKURS I MATEMATIKK FOR MASTERSTUDIET I INFORMASJONSSIKKERHET VED HØGSKOLEN I GJØVIK SOMMEREN 2004. KOMPENDIUM FOR FORKURS I MATEMATIKK FOR MASTERSTUDIET I INFORMASJONSSIKKERHET VED HØGSKOLEN I GJØVIK SOMMEREN 2004 av Hans Engenes 18. august 2004 2 Innhold 1 Tallteori 3 1.1 Innledning...............................

Detaljer

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

Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017. Hint til oppgavene Fullstendige løsningsforslag finnes på emnesidene for 2017. Uke 34 Oppgave 1, 2, 3 og 4 kan alle løses ved å tegne sannhetstabeller, men i flere tilfeller kan man like gjerne manipulere

Detaljer

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}.

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}. Forelesning 0: Mengdelære, Induksjon Martin Giese - 23. januar 2008 1 Mengdelære 1.1 Mengder Mengder Definisjon 1.1. En mengde er en endelig eller uendelig samling objekter der innbyrdes rekkefølge og

Detaljer

KAPITTEL 10. EUKLIDS ALGORITME OG DIOFANTISKE LIGNINGER

KAPITTEL 10. EUKLIDS ALGORITME OG DIOFANTISKE LIGNINGER KAPITTEL 10. EUKLIDS ALGORITME OG DIOFANTISKE LIGNINGER Euklids algoritme Euklid s setning 1, divisjonslemmaet, fra Bok 7 Gitt to ulike tall. Det minste trekkes så fra det største så mange ganger dette

Detaljer

INF1800 LOGIKK OG BEREGNBARHET

INF1800 LOGIKK OG BEREGNBARHET INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Institutt for informatikk Universitetet i Oslo 26. august 2008 (Sist oppdatert: 2008-09-05 12:55) Repetisjon

Detaljer

Repetisjon INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER. Mengder. Multimengder og tupler.

Repetisjon INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER. Mengder. Multimengder og tupler. INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Repetisjon Institutt for informatikk Universitetet i Oslo 26. august 2008 (Sist oppdatert: 2008-09-05 12:55)

Detaljer

Vi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon.

Vi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon. Mengder En mengde (eng:set) er en uordnet samling av objekter. Vi bruker vanligvis store bokstaver, A, B, C, osv., til å betegne mengder. Objektene som inngår i mengden kalles for elementer i mengden (eller

Detaljer

Permutasjoner og symmetriske grupper

Permutasjoner og symmetriske grupper 4. Del Permutasjoner og symmetriske grupper Verbet permutere kommer av det latinske verbet permutare og betyr å bytte om, og ombyttinger,elleraltsåpermutasjoner,ernoevikjennerfradagliglivet.imatematikker

Detaljer

Oppgaver i kommutativ algebra

Oppgaver i kommutativ algebra Oppgaver i kommutativ algebra Fredrik Meyer 1 Moduler Oppgave (1). Vis at om m, n er koprimære, så er (Z/mZ) Z (Z/nZ) = 0. Proof. Siden m og n er koprimære, finnes det a, b Z slik at an + bm = 1. La x

Detaljer

Emnerapport for MAUMAT vår og 2015 vår av Runar Ile 11/ Navn på emneansvarlig: Runar Ile (begge årene) Hvilke styringsorgan har

Emnerapport for MAUMAT vår og 2015 vår av Runar Ile 11/ Navn på emneansvarlig: Runar Ile (begge årene) Hvilke styringsorgan har Emnerapport for MAUMAT644 2014 vår og 2015 vår av Runar Ile 11/9 2015 Navn på emneansvarlig: Runar Ile (begge årene) Hvilke styringsorgan har behandlet evalueringen/når: Referanse til eventuelle saksforelegg

Detaljer

STØRRELSER OG TALL Om størrelser skriver Euklid i Bok 5: 1. En størrelse er en del av en annen størrelse, den mindre av den større når den måler (går

STØRRELSER OG TALL Om størrelser skriver Euklid i Bok 5: 1. En størrelse er en del av en annen størrelse, den mindre av den større når den måler (går STØRRELSER OG TALL Om størrelser skriver Euklid i Bok 5:. En størrelse er en del av en annen størrelse, den mindre av den større når den måler (går opp i) den større.. Den større er et multiplum av den

Detaljer

MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile

MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile MAUMAT644 ALGEBRA vår 2016 Andre samling Runar Ile 1 Når er to grupper strukturlike? Avsnitt 13: Homomorfier av grupper Stoff: Gruppehomomorfi (en-til-en og på), gruppeisomorfi, kjernen og bildet til en

Detaljer

To nyttige begreper. Ekvivalensrelasjoner

To nyttige begreper. Ekvivalensrelasjoner To nyttige begreper Det er to begreper fra mengdelæren som til stadighet vil bli brukt i dette kurset, og som vi av erfaring vet kan være tungt fordøyelig for endel studender. For å få en skikkelig forståelse

Detaljer

LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002

LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 7 LØSNINGSFORSLAG SIF55 DISKRET MATEMATIKK Onsdag 8. desember 22 Oppgave a) Vi vil ha 77x (mod 3), så vi trenger en

Detaljer

4.1 Vektorrom og underrom

4.1 Vektorrom og underrom 4.1 Vektorrom og underrom Vektorrom er en abstraksjon av R n. De kan brukes til å utlede egenskaper, resultater og metoder for tilsynelatende svært ulike klasser av objekter : n-tupler, følger, funksjoner,

Detaljer

Obligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer

Obligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer Obligatorisk oppgave 1 i MAT1140, Høst 2014. Oppgave 1 er med kommentarer En funksjon f : R R er en polynomfunksjon hvis f kan defineres som f(x) = a 0 + a 1 x + + a n x n hvor n 0 og a 0,..., a n er reelle

Detaljer

MAT1030 Forelesning 11

MAT1030 Forelesning 11 MAT1030 Forelesning 11 Relasjoner Roger Antonsen - 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) Kapittel 5: Relasjoner Binære relasjoner Definisjon. La A være en mengde. En binær relasjon på A er

Detaljer

Funksjoner Forelesning i Matematikk 1 TMA4100. Hans Jakob Rivertz Institutt for matematiske fag 18. august 2011

Funksjoner Forelesning i Matematikk 1 TMA4100. Hans Jakob Rivertz Institutt for matematiske fag 18. august 2011 Funksjoner Forelesning i Matematikk TMA400 Hans Jakob Rivertz Institutt for matematiske fag 8. august 20 2 Definisjon av funksjon Definisjon En funksjon er en regel f som til et hvert tall i definisjonsmengden

Detaljer

Eksamensoppgave i TMA4140 Diskret matematikk

Eksamensoppgave i TMA4140 Diskret matematikk Institutt for matematiske fag Eksamensoppgave i TMA44 Diskret matematikk Faglig kontakt under eksamen: Christian Skau Tlf: 7359755 Eksamensdato: 8 desember 25 Eksamenstid (fra til): 9:-3: Hjelpemiddelkode/Tillatte

Detaljer