Algebraične strukture

Σχετικά έγγραφα
Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 22. oktober Gregor Dolinar Matematika 1

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 14. november Gregor Dolinar Matematika 1

Odvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 5. december Gregor Dolinar Matematika 1

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 21. november Gregor Dolinar Matematika 1

Funkcijske vrste. Matematika 2. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 2. april Gregor Dolinar Matematika 2

Linearne preslikave. Poglavje VII. 1 Definicija linearne preslikave in osnovne lastnosti

Matrike. Poglavje II. Matrika je pravokotna tabela realnih števil. Na primer: , , , 0 1

KODE ZA ODKRIVANJE IN ODPRAVLJANJE NAPAK

Funkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 12. november Gregor Dolinar Matematika 1

Odvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 10. december Gregor Dolinar Matematika 1

V tem poglavju bomo vpeljali pojem determinante matrike, spoznali bomo njene lastnosti in nekaj metod za računanje determinant.

matrike A = [a ij ] m,n αa 11 αa 12 αa 1n αa 21 αa 22 αa 2n αa m1 αa m2 αa mn se števanje po komponentah (matriki morata biti enakih dimenzij):

Lastne vrednosti in lastni vektorji

Definicija. definiramo skalarni produkt. x i y i. in razdaljo. d(x, y) = x y = < x y, x y > = n (x i y i ) 2. i=1. i=1

Osnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju

Vektorski prostori s skalarnim produktom

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO. Petra MATEMATIKA I

Booleova algebra. Izjave in Booleove spremenljivke

Tretja vaja iz matematike 1

Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 15. oktober Gregor Dolinar Matematika 1

1 Seštevanje vektorjev in množenje s skalarjem

Izpeljava Jensenove in Hölderjeve neenakosti ter neenakosti Minkowskega

Reševanje sistema linearnih

Podobnost matrik. Matematika II (FKKT Kemijsko inženirstvo) Diagonalizacija matrik

Diferencialna enačba, v kateri nastopata neznana funkcija in njen odvod v prvi potenci

Matematika. BF Lesarstvo. Zapiski ob predavanjih v šolskem letu 2009/2010

II. LIMITA IN ZVEZNOST FUNKCIJ

Matematika. BF Lesarstvo. Zapiski ob predavanjih v šolskem letu 2010/2011

DISKRETNA FOURIERJEVA TRANSFORMACIJA

Analiza I. (študijsko gradivo) Matija Cencelj

Poliedri Ines Pogačar 27. oktober 2009

Spoznajmo sedaj definicijo in nekaj osnovnih primerov zaporedij števil.

MATEMATIKA ZA BIOLOGE

Osnove matematične analize 2016/17

Uporabna matematika za naravoslovce


Kvadratne forme. Poglavje XI. 1 Definicija in osnovne lastnosti

1. Definicijsko območje, zaloga vrednosti. 2. Naraščanje in padanje, ekstremi. 3. Ukrivljenost. 4. Trend na robu definicijskega območja

AFINA IN PROJEKTIVNA GEOMETRIJA

Osnove linearne algebre

1 Fibonaccijeva stevila

IZPIT IZ ANALIZE II Maribor,

1. izpit iz Diskretnih struktur UNI Ljubljana, 17. januar 2006

Matematika I (VS) Univerza v Ljubljani, FE. Melita Hajdinjak 2013/14. Pregled elementarnih funkcij. Potenčna funkcija. Korenska funkcija.

Splošno o interpolaciji

SKUPNE PORAZDELITVE VEČ SLUČAJNIH SPREMENLJIVK

(Ne)rešljiva Rubikova kocka in grupe

Kotne in krožne funkcije

Kotni funkciji sinus in kosinus

Dodatna poglavja iz linearne algebre za 1. letnik finančne matematike na FMF. Primož Moravec

Domače naloge za 2. kolokvij iz ANALIZE 2b VEKTORSKA ANALIZA

Inverzni problem lastnih vrednosti evklidsko razdaljnih matrik

Univerza v Mariboru. Fakulteta za logistiko MATEMATIKA. Univerzitetni učbenik

13. Jacobijeva metoda za računanje singularnega razcepa

Matematika 1. Gabrijel Tomšič Bojan Orel Neža Mramor Kosta

Linearna algebra. Bojan Orel Fakulteta za računalništvo in informatiko

Univerza v Mariboru. Uporaba matematičnih metod v logistiki 1 Priročnik

Na pregledni skici napišite/označite ustrezne točke in paraboli. A) 12 B) 8 C) 4 D) 4 E) 8 F) 12

22. Kdaj sta dva vektorja vzporedna? FGG geodezija UNI Matematika I, 2005/ Kdaj so vektorji a 1, a 2,..., a n linearno neodvisni?

Kontrolne karte uporabljamo za sprotno spremljanje kakovosti izdelka, ki ga izdelujemo v proizvodnem procesu.

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO MATEMATIKA II

Gimnazija Krˇsko. vektorji - naloge

Matematika 1. Jaka Cimprič

8. Posplošeni problem lastnih vrednosti

Algoritmi nad grafi v jeziku linearne algebre

Diferencialna geometrija

VAJE IZ MATEMATIKE za študente gozdarstva. Martin Raič

VEKTORJI. Operacije z vektorji

Funkcije dveh in več spremenljivk

Riemannove ploskve in analitična geometrija. Franc Forstnerič

MATEMATIKA 1 UNIVERZITETNI ŠTUDIJSKI PROGRAM BIOKEMIJA 1. LETNIK

UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA SANDRA BOLTA LASTNE VREDNOSTI GRAFA DIPLOMSKO DELO

REˇSITVE. Naloga a. b. c. d Skupaj. FAKULTETA ZA MATEMATIKO IN FIZIKO Oddelek za matematiko Verjetnost 2. kolokvij 23.

MATEMATIČNI IZRAZI V MAFIRA WIKIJU

FAKULTETA ZA STROJNIŠTVO Matematika 4 Pisni izpit 22. junij Navodila

UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO MATEMATIKA III

8. Diskretni LTI sistemi

Univerza v Ljubljani Fakulteta za računalništvo in informatiko MATEMATIKA. Polona Oblak

Shefferjeva polinomska zaporedja

Simetrični stožci v evklidskih prostorih

Algebarske strukture sa jednom operacijom (A, ): Ako operacija ima osobine: zatvorenost i asocijativnost, onda je (A, ) polugrupa

Funkcija je predpis, ki vsakemu elementu x iz definicijskega območja D R priredi neko število f (x) R.

*M * Osnovna in višja raven MATEMATIKA NAVODILA ZA OCENJEVANJE. Sobota, 4. junij 2011 SPOMLADANSKI IZPITNI ROK. Državni izpitni center

Numerično reševanje. diferencialnih enačb II

TRANZITIVNI GRAFI. Katarina Jan ar. oktober 2008

INTEGRALI RACIONALNIH FUNKCIJ

Operacije s matricama

Univerza na Primorskem Pedagoška fakulteta Koper. Geometrija. Istvan Kovacs in Klavdija Kutnar

Matematika. Funkcije in enačbe

D f, Z f. Lastnosti. Linearna funkcija. Definicija Linearna funkcija f : je definirana s predpisom f(x) = kx+n; k,

Logika in izjavni račun

Oznake in osnovne definicije

Osnove kompleksne analize MARKO SLAPAR

Logika in množice c

SPEKTRALNA TEORIJA V HILBERTOVIH PROSTORIH

Integralni račun. Nedoločeni integral in integracijske metrode. 1. Izračunaj naslednje nedoločene integrale: (a) dx. (b) x 3 +3+x 2 dx, (c) (d)

Delovna točka in napajalna vezja bipolarnih tranzistorjev

MATEMATIKA II TEORIJA

Tadeja Kraner Šumenjak MATEMATIKA. Maribor, 2010

Matematika 1. Gabrijel Tomšič Bojan Orel Neža Mramor Kosta

Transcript:

Poglavje V Algebraične strukture V tem poglavju bomo spoznali osnovne algebraične strukture na dani množici. Te so podane z eno ali dvema binarnima operacijama. Binarna operacija paru elementov iz množice priredi nek element iz iste množice. Primeri binarnih operacij so seštevanje, množenje, odštevanje... Za binarne operacije na množicah lahko veljajo različne lastnosti. Glede na to ločimo več (abstraktnih) algebraičnih struktur. Zakaj vpeljemo te strukture? Izreki in trditve, ki veljajo za določeno abstraktno algebraično strukturo, potem veljajo za vse konkretne zglede te strukture in nam jih ni potrebno obravnavati za vsak zgled posebej. Algebraičnih struktur, ki jih bomo predstavili v tem poglavju, ne bomo podrobno študirali. Spoznali jih bomo le zato, ker nastopajo v definiciji vektorskega prostora, ki je osnovna algebraična struktura v linearni algebri. 1 Polgrupa, monoid in grupa Imamo neko (neprazno) množico M. Množico vseh (urejenih) parov (a, b), a,b M, označimo z M M. Podobno za dve neprazni množici M 1 in M 2 označimo z M 1 M 2 množico vseh urejenih parov (a,b), kjer je prvi element a M 1 in drugi element b M 2. Binarna operacija na množici M je preslikava : M M M. Binarna operacija tako urejenemu paru elementov iz M priredi nek element iz M. Zgled 1.1 1.) Na množici realnih števil poznamo več binarnih operacij: +,,. 2.) Na množici pozitivnih realnih števil so definirane naslednje binarne operacije: +,,, /. 3.) Na množici R n imamo binarno operacijo +. 85

86 POGLAVJE V. ALGEBRAIČNE STRUKTURE 4.) Na R 3 je vektorski produkt binarna operacija. 5.) Skalarni produkt na R n, n 2, pa ni binarna operacija, saj paru vektorjev priredi skalar. 6.) Na množici naravnih števil N sta binarni operaciji + in. Operaciji odštevanje in deljenje pa nista binarni operaciji na N, saj se lahko zgodi, da rezultat ni naravno število. Npr. 1 2, ali 2/3. Lastnosti binarnih operacij: : M M M 1.) je asociativna, če velja (a b) c = a (b c) za poljubne a, b, c M. Rečemo tudi, da za velja asociativnost. 2.) Element e M je enota, če velja a e = a in e a = a za vse a M. 3.) Če je e M enota, potem je b inverz elementa a, če velja a b = e in b a = e. Inverz označimo z a 1 ali z a kadar je operacija seštevanje +. 4.) je komutativna, če velja a b = b a za vse a, b M. Rečemo tudi, da za velja komutativnost. Definicija 1.2 Naj bo : M M M binarna operacija na M. Potem rečemo, da je (M, ) polgrupa, če je operacija asociativna. Če je (M, ) polgrupa in v njej obstaja enota e, potem rečemo, da je (M, ) monoid. Opazimo, da je e e = e in zato je e 1 = e. Če je (M, ) monoid in ima vsak element iz M inverz, potem rečemo, da je (M, ) grupa. Če je v polgrupi, monoidu ali grupi (M, ) operacija komutativna, potem rečemo, da je (M, ) komutativna polgrupa, komutativni monoid ali komutativna grupa. Komutativno grupo imenujemo tudi Abelova grupa. Opomba 1.3 Največkrat bo že iz konteksta jasno, katero binarno operacijo mislimo. Tako bomo poslej pogosto pisali kar M namesto (M, ). Rekli bomo, da je M polgrupa, monoid ali grupa. Kadar je operacija na M seštevanje in jo označimo s +, potem za inverz elementa a M uporabimo običajno oznako a (in ne a 1 ). Zgled 1.4 1.) (R,+) je Abelova grupa. Enota je 0 in inverz a. 2.) (R, ) je komutativen monoid. Enota je 1.

1. POLGRUPA, MONOID IN GRUPA 87 3.) (R, ) ni niti polgrupa, saj binarna operacija odštevanje ni asociativna. Na primer: 4 = (1 2) 3 1 (2 3) = 2. 4.) R + = {α R ; α > 0} je Abelova grupa za množenje. Enota je 1 in inverz α 1. 5.) (R n,+) je Abelova grupa. Enota je vektor 0 in inverz vektorja v R n je vektor v. 6.) (R m n,+) je Abelova grupa. Enota je matrika 0 in inverz matrike A R m n je matrika A. 7.) (R n n, ), (n 2), je monoid, ki ni komutativen. Enota je I. 8.) (R 3, ) ni niti polgrupa, saj vektorski produkt ni asociativen. 9.) Naj bo M = {f : R R} množica vseh funkcij in operacija kompozitum funkcij. Potem je M monoid, enota je funkcija f(x) = x za x R. Definicija 1.5 Naj bo (M, ) polgrupa in N M neprazna podmnožica. Če je a b N za poljubna a, b N, potem rečemo, da je notranja operacija za N, oziroma, da je N zaprta podmnožica za operacijo. Če je N zaprta za, potem je tudi (N, ) polgrupa, saj je (M, ) polgrupa. Rečemo, da je N podpolgrupa v M. Podobno definiramo tudi pojma podmonoid in podgrupa: Če je (M, ) monoid z enoto e in N M neprazna množica, za katero je notranja operacija in e N, potem rečemo, da je N podmonoid v M. Če je (M, ) grupa (e enota v M) in N M neprazna množica, za katero je notranja operacija, e N in za vsak a N je tudi a 1 v N, potem rečemo, da je N podgrupa. Trditev 1.6 Naj bo M grupa. Potem je N M podgrupa natanko tedaj, ko je a b 1 N, za poljubna a, b N. Dokaz Naj bo N M podgrupa in a, b N. Potem je tudi b 1 N in zato tudi a b 1 N. Obratno, denimo, da je a b 1 N za poljubna a, b N. Če vzamemo a = b N, dobimo a a 1 = e N. Če vzamemo sedaj a = e in izberemo nek b N, je tudi b 1 N in zato je a (b 1 ) 1 = a b N. Tako smo preverili, da je N res podgrupa v M.

88 POGLAVJE V. ALGEBRAIČNE STRUKTURE Zgled 1.7 1.) Z R za seštevanje je podgrupa. Velja namreč m n Z za poljubni celi števili m in n. 2.) (R\{0}, ) je Abelova grupa. Z\{0} R\{0} pa je samo podmonoid. Produkt m n poljubnih celih števil je spet celo število in 1 Z. Ker je 2 1 / Z, Z ni podgrupa. 3.) Naj bo T n podmnožica zgornje-trikotnih matrik v R n n in naj bo binarna operacija seštevanje matrik. Potem je T n podgrupa v R n n. 4.) Označimo Gl n (R) = {A R n n ; deta 0}. Množica Gl n (R) je grupa za binarno operacijo množenja matrik: Vemo, da je množenje matrik asociativno, enota je I in A 1 je inverz. Posledica 5.7 nam pove, da je produkt dveh obrnljivih matrik spet obrnljiva matrika. Zato je Gl n (R) zaprta za množenje. Ker velja deta 1 = (det A) 1 in deti = 1, sledi I, A 1 Gl n (R). Torej je Gl n (R) grupa, ki pa ni Abelova grupa. Označimo Sl n (R) = {A R n n ; deta = 1}. Sl n (R) je podgrupa v Gl n (R): Če je det A = detb = 1, je potem tudi det (AB 1 ) = (deta) ( det (B 1 ) ) = deta (detb) 1 = 1. Zato je AB 1 Sl n (R). 5.) Označimo z D n množico vseh obrnljivih diagonalnih matrik v R n n. Potem je D n podgrupa v Gl n (R). 6.) M = {f : R R} množica vseh realnih funkcij in N podmnožica vseh zveznih funkcij f : R R. Potem je N podmonoid v M. 2 Kolobar in obseg Naj bo M neprazna množica. Denimo, da imamo na M dve binarni operaciji, ki ju označimo s + : M M M in : M M M. Operacijo + imenujemo seštevanje in operacijo množenje. Rečemo, da sta operaciji + in distributivni, če velja poljubne a, b, c M. (a + b) c = (a c) + (b c) in a (b + c) = (a b) + (a c) za

2. KOLOBAR IN OBSEG 89 1.) Množica realnih števil R ima operaciji + in, ki sta distrib- Zgled 2.1 utivni. 2.) Množica R n n ima dve operaciji + in, ki sta distributivni. 3.) Množica R 3 ima dve operaciji + in, ki sta distributivni. Definicija 2.2 Rečemo, da je množica M kolobar, če za binarni operaciji + in na M velja: 1.) (M,+) je Abelova grupa, 2.) (M, ) je polgrupa, 3.) operaciji + in sta distributivni. Če je še (M, ) monoid, rečemo, da je K kolobar z enoto. Če pa je (M, ) komutativna polgrupa, pa rečemo, da je M komutativen kolobar. Množica M je obseg, če za binarni operaciji + in velja: 1.) (M,+) je Abelova grupa (z enoto 0), 2.) (M\{0}, ) je grupa, 3.) operaciji + in sta distributivni. Če je še (M, ) komutativen monoid, potem rečemo, da je M komutativen obseg (za komutativen obseg se včasih uporablja tudi izraz polje). Zgled 2.3 1.) (R,+, ) je komutativen obseg. 2.) (R n n,+, ) je kolobar z enoto. 3.) R[x] = {a n x n + a n 1 x n 1 + + a 1 x + a 0 ; a n,a n 1,...,a 1,a 0 R, n N} je množica vseh polinomov s koeficienti v R. R[x] je komutativen kolobar z enoto. 4.) (Z,+, ) je komutativen kolobar z enoto (ki ni obseg). 5.) (Q,+, ) je komutativen obseg. 6.) C = {a + bi ; a,b R, i 2 = 1} je množica vseh kompleksnih števil. Operaciji na C sta definirani s predpisoma: (a + bi) + (c + di) = (a + c) + (b + d)i (a + bi) (c + di) = (ac bd) + (ad + bc)i.

90 POGLAVJE V. ALGEBRAIČNE STRUKTURE za poljubne a, b, c, d R. Množica je komutativen obseg. Enota za seštevanje je 0 in inverz števila a + bi za seštevanje je a bi. Enota za 1 množenje je 1 in inverz neničelnega kompleksnega števila je (a bi). a 2 +b 2 Preveri za vajo, da so izpolnjene vse zahteve in da je C res komutativen obseg. {[ ] } α β 7.) Naj bo H = ; α, β C, ter + in operaciji seštevanja in β α množenja matrik (ki sta definirani enako kot za matrike, katerih elementi so realna števila). Preveri za vajo, da je H obseg, ki ni komutativen. H imenujemo obseg kvaternionov. Definicija 2.4 Naj bo M kolobar. Neprazna množica N M je podkolobar, če je N podgrupa za seštevanje in podpolgrupa za množenje. Naj bo M obseg in N M neprazna podmnožica. Potem rečemo, da je N podobseg, če je N podgrupa za seštevanje in N\{0} podgrupa za množenje. Zgled 2.5 1.) Z R je podkolobar, ki ni podobseg. 2.) T n R n n je podkolobar. 3.) R C je podobseg. 4.) Naj bo 2Z množica vseh sodih celih števil. Potem je 2Z podkolobar v kolobarju Z. Opazimo še, da kolobar 2Z nima enote za množenje. 3 Kolobar ostankov celih števil Naj bo n N, n 2. Potem v množici Z n = {0, 1,...,n 1} vpeljemo dve binarni operaciji. Seštevanje je definirano takole: i+j = { i+j, če je i + j n 1, i + j n, če je i + j n. Povedano drugače, vsota i+j je enaka ostanku pri deljenju i + j z n.

3. KOLOBAR OSTANKOV CELIH ŠTEVIL 91 Zgled 3.1 Za n = 3 je seštevanje v Z 3 podano z naslednjo tabelo: + 0 1 2 0 0 1 2 1 1 2 0 2 2 0 1. Preverimo, da je (Z n,+) Abelova grupa. Naj bodo i, j, k Z n. Potem je i + j + k, če je i + j + k n 1 (i+j)+k = i + j + k n, če je n i + j + k 2n 1 i + j + k 2n, če je 2n i + j + k = i+(j+k). Seštevanje je torej asociativno. Enota za seštevanje je 0, inverz števila i ( 0) pa je n i. Seštevanje je komutativno. Množenje v Z n definiramo takole: i j = ostanek pri deljenju produkt ij z n. Zgled 3.2 Tabeli za množenje v Z 3 in Z 4 sta naslednji: 0 1 2 0 0 0 0 1 0 1 2 2 0 2 1 in 0 1 2 3 0 0 0 0 0 1 0 1 2 3 2 0 2 0 2 3 0 3 2 1. Preverimo, da je Z n komutativen kolobar z enoto. V kolobarju Z velja (ij)k = (r 1 + s 1 n)k = r 2 + s 2 n i(jk) = i(r 3 s 3 n) = r 4 + s 4 n. in Pri tem je ij = r 1 + s 1 n in je r 1 ostanek pri deljenju ij z n. Podobno dobimo tudi r 2, r 3 in r 4. Torej je r 2 r 4 = (s 4 s 2 )n enako 0 ali pa deljivo z n. Ker 0 r 2 n 1 in 0 r 4 n 1, mora biti r 2 = r 4. Zato v Z n velja asociativnost (ij)k = i(jk). Enota za množenje je 1. Distributivnost seštevanja in množenja preverimo podobno, kot smo preverili asociativnost množenja. Množenje je komutativno. Ali je Z n obseg? Z n je obseg natanko takrat, ko je Z n \{0} Abelova grupa za množenje.

92 POGLAVJE V. ALGEBRAIČNE STRUKTURE Zgled 3.3 Poiščimo tabeli za množenje v Z n \{0} za n = 4 in n = 5. 1 2 3 1 1 2 3 2 2 0 2 3 3 2 1 in 1 2 3 4 1 1 2 3 4 2 2 4 1 3 3 3 1 4 2 4 4 3 2 1. Vidimo, da v Z 4 \{0} množenje ni notranja operacija, saj je 2 2 = 0. Torej Z 4 ni obseg. Iz tabele za množenje v Z 5 \{0} vidimo, da je množenje notranja operacija in da imamo v vsaki vrstici element 1. Zato ima vsak element inverz za množenje. Ker smo asociativnost, obstoj enote, distributivnost in komutativnost že preverili, je Z 5 \{0} Abelova grupa in Z 5 komutativen obseg. Izrek 3.4 Kolobar Z n je obseg natanko takrat, ko je n praštevilo. Dokaz Če n ni praštevilo, potem je n = q r za dve naravni števili q in r iz množice {2,3,...,n 1}. Zato je q r = 0 v Z n. Množenje v Z n \{0} ni notranja operacija in Z n ni obseg. Obratno, naj bo n praštevilo. Izberimo i {2,3,...,n 1}. Ker je n praštevilo, sta števili i in n tuji. Zato obstajata taki naravni števili p in q, da je p n + q i = 1. Pri tem lahko izberemo 1 q n 1. Če to ne velja, q delimo z n in imamo q = sn + q, kjer je 1 q n 1. Potem je (p + s)n + q i = 1 in 1 q n 1. Privzemimo, da je pn + qi = 1 in 1 q n 1. Potem v Z n velja q i = 1 in q je inverz za i. Ker je bil i poljuben neničeln element, je Z n obseg. 4 Homomorfizem in izomorfizem Definicija 4.1 Naj bosta (M 1, 1 ) in (M 2, 2 ) dve polgrupi. Preslikavo ϕ : M 1 M 2 imenujemo homomorfizem polgrup, če je ϕ(a 1 b) = ϕ(a) 2 ϕ(b) za vse a, b M 1. Če sta (M 1, 1 ) in (M 2, 2 ) monoida (oziroma grupi), potem preslikavo z lastnostjo ϕ(a 1 b) = ϕ(a) 2 ϕ(b) za vse a, b M 1, imenujemo homomorfizem monoidov (oziroma homomorfizem grup).

4. HOMOMORFIZEM IN IZOMORFIZEM 93 Zgled 4.2 1.) Naj bo M 1 = M 2 = N in operacija seštevanje. Potem pokažimo, da je preslikava ϕ : N N, ϕ(n) = 2n homomorfizem polgrup. Velja namreč ϕ(n + m) = 2(n + m) = 2n + 2m = ϕ(n) + ϕ(m). 2.) Naj bo M 1 = R Abelova grupa za seštevanje + in M 2 = R Abelova grupa za množenje. Dana je preslikava ϕ(x) = e x. Pokažimo, da je ϕ homomorfizem grup: ϕ(x + y) = e x+y = e x e y = ϕ(x) ϕ(y). 3.) Naj bosta R R m m in S R n n dve matriki. Preslikava ϕ : R m n R m n naj bo definirana s predpisom ϕ(a) = RAS. ϕ je homomorfizem Abelove grupe R m n nase: ϕ(a + B) = R(A + B)S = RAS + RBS = ϕ(a) + ϕ(b). Definicija 4.3 Naj bo M 1 M 2 homomorfizem (polgrup, monoidov ali grup). Potem rečemo, da je ϕ izomorfizem (polgrup, monoidov ali grup), če je ϕ bijektivna preslikava. Zgled 4.4 1.) Preslikava ϕ : R R +, ϕ(x) = e x, je izomorfizem (R,+) na (R +, ). Pri tem je R + množica vseh pozitivnih realnih števil. Da je ϕ(x) homomorfizem, vemo iz zgleda 2.) malo prej. Bijektivnost funkcije f(x) = e x kot preslikave iz R v R + smo dokazali pri predavanjih iz Matematike. 2.) Če sta R Rm m in S R n n obrnljivi matriki, potem je preslikava ϕ(a) = RAS, ϕ : R m n R m n izomorfizem. Da je ϕ homomorfizem, smo že pokazali. Ker sta R in S obrnljivi, iz RAS = RBS dobimo A = B. Injektivnost sledi. Če je A Rm n, potem je ϕ(r 1 AS 1 ) = A in zato je ϕ surjektivna. Trditev 4.5 Naj bosta M 1 in M 2 grupi in 1 A M 1 in 1 B M 2 njuni enoti. Če je ϕ : M 1 M 2 homomorfizem, potem je ϕ(1 A ) = 1 B in ϕ(a 1 ) = ϕ(a) 1. Dokaz Ker je ϕ : M 1 M 2 homomorfizem grup, velja ϕ(a) = ϕ(1 A 1 a) = ϕ(1 A ) 2 ϕ(a)

94 POGLAVJE V. ALGEBRAIČNE STRUKTURE za vsak a M 1. Ker je M 2 grupa, ima ϕ(a) inverz za operacijo 2. Zato je 1 B = ϕ(a) 2 ϕ(a) 1 in tudi 1 B = [ϕ(1 A ) 2 ϕ(a)] 2 ϕ(a) 1 = ϕ(1 A ). Za vsak a M 1 velja ϕ(1 A ) = ϕ(a 1 a 1 ) = ϕ(a) 2 ϕ(a 1 ). Ker je ϕ(1 A ) = 1 B, sledi enakost ϕ(a 1 ) = ϕ(a) 1. Definicija 4.6 Naj bosta (K 1,+ 1, 1) in (K 2, + 2, 2) dva kolobarja. Preslikava ϕ : K 1 K 2 je homomorfizem kolobarjev, če velja ϕ(a + 1 b) = ϕ(a) + 2 ϕ(b) za vse a, b K 1 (V.1) in ϕ(a 1 b) = ϕ(a) 2 ϕ(b) za vse a, b K 1. (V.2) Če sta K 1 in K 2 obsega, preslikavo ϕ : K 1 K 2 z lastnostima (V.1) in (V.2) imenujemo homomorfizem obsegov. Bijektivni homomorfizem (kolobarjev, obsegov) imenujemo izomorfizem (kolobarjev, obsegov). Zgled 4.7 1.) Naj bo S R n n obrnljiva matrika. Potem je preslikava ϕ : R n n R n n, ϕ(a) = SAS 1, homomorfizem kolobarja R n n nase. ϕ je celo izomorfizem: - ϕ(a + B) = S(A + B)S 1 = SAS 1 + SBS 1 = ϕ(a) + ϕ(b) - ϕ(ab) = SABS 1 = SAS 1 SBS 1 = ϕ(a) ϕ(b) - ϕ je injektiven: iz SAS 1 = SBS 1 sledi A = B. - ϕ je surjektiven: za A R n n je ϕ(s 1 AS) = A. 2.) Za vajo preveri, da je preslikava homomorfizem (kolobarjev). ϕ : C R 2 2 [ ] a b ϕ(a + b i) = b a 3.) Naj bo n neko naravno število večje ali enako 2 in ϕ : Z Z n preslikava definirana s pravilom ϕ(m) je ostanek pri deljenju m z n. Preveri za vajo, da je ϕ homomorfizem kolobarjev.