MASARYKOVA UNIVERZITA Pˇr´ırodovˇedeck´a fakulta
Moduly nad okruhy hlavn´ıch ide´ al˚ u ´ JANA MEDKOVA Bakal´aˇrsk´a pr´ace
Vedouc´ı pr´ace: prof. RNDr. Radan Kuˇcera, DSc. Studijn´ı program: matematika Studijn´ı obor: obecn´a matematika 2010
Podˇ ekov´ an´ı: Dˇekuji velice prof. RNDr. Radanu Kuˇcerovi, DSc. za vstˇr´ıcnost, trpˇelivost a pˇr´ıleˇzitost nauˇcit se opˇet nˇeco nov´eho.
Prohl´ aˇ sen´ı: Prohlaˇsuji, ˇze jsem svou bakal´aˇrskou pr´aci napsal(a) samostatnˇe a v´ yhradnˇe s pouˇzit´ım citovan´ ych pramen˚ u.
V Brnˇe dne 2. ˇcervna 2010
................................................... Jana Medkov´a
Abstrakt N´azev pr´ace: Moduly nad okruhy hlavn´ıch ide´al˚ u Autor: Jana Medkov´a ´ Ustav matematiky a statistiky Pˇr´ırodovˇedeck´e fakulty, MU Vedouc´ı bakal´aˇrsk´e pr´ace: prof. RNDr. Radan Kuˇcera, DSc. Abstrakt: Pr´ace se zab´ yv´a odvozen´ım a aplikac´ı vlastnost´ı modul˚ u nad okruhy hlavn´ıch ide´al˚ u. V prvn´ı kapitole je uvedena definice modulu a pojmy pouˇz´ıvan´e v dalˇs´ım textu. V druh´e kapitole se odvozuj´ı vlastnosti torzn´ıch modul˚ u nad okruhy hlavn´ıch ide´al˚ u, kter´e se n´aslednˇe pouˇzij´ı v d˚ ukazu vˇety o rozkladu na parci´aln´ı zlomky. Ve tˇret´ı kapitole se zab´ yv´ame koneˇcnˇe generovan´ ymi moduly nad okruhy hlavn´ıch ide´al˚ u, pro kter´e, jak dok´aˇzeme, plat´ı, ˇze jsou izomorfn´ı vhodn´emu souˇctu cyklick´ ych modul˚ u. V posledn´ı kapitole se pouˇzij´ı v´ ysledky tˇret´ı kapitoly k d˚ ukazu, ˇze kaˇzd´a matice je podobn´a matici v racion´aln´ım kanonick´em tvaru a k odvozen´ı algoritmu na jeho nalezen´ı. Kl´ıˇcov´a slova: Modul, okruh hlavn´ıch ide´al˚ u, torzn´ı modul, racion´aln´ı kanonick´ y tvar
Abstract Title: Modules over principal ideal domain Author: Jana Medkov´a Department of Mathematics and Statistics, Faculty of Science, MU Supervisor: prof. RNDr. Radan Kuˇcera, DSc. Abstract: In this work, we look into properties od modules over principal ideal domain and applications of those. First chapter consist of definition of module and terms used in following text. In second chapter, we derive properties of torsion modules over principal ideal domain, which are used to prove parcial fraction decomposition. In third chapter we study finitely generated modules over principal ideal domain, which, as we prove, are isomorphic to suitable sum of cyclic modules. The results of third chapter are used in the last chapter to show, that every square matrix is similar to matrix in rational canonical form and the algorithm how to find it. Keywords: Module, principal ideal domain, torsion module, rational canonical form
Obsah ´ Uvod
6
1 Z´ akladn´ı pojmy
7
2 Torzn´ı moduly nad okruhy hlavn´ıch ide´ al˚ u
12
3 Koneˇ cnˇ e generovan´ e moduly nad okruhy hlavn´ıch ide´ al˚ u
19
4 Racion´ aln´ı kanonick´ y tvar
28
Literatura
42
5
´ Uvod V t´eto bakal´aˇrsk´e pr´aci se budeme zab´ yvat odvozen´ım vlastnost´ı modul˚ u nad okruhy hlavn´ıch ide´al˚ u a jejich aplikacemi. Protoˇze budovat celou teorii od zaˇca´tku by bylo pˇr´ıliˇs rozsahovˇe n´aroˇcn´e, budeme pˇredpokl´adat, ˇze ˇcten´aˇr m´a znalosti v rozsahu publikace [6] a pojmy a vˇety z t´eto publikace uˇz nebudou v textu d´ale pˇripom´ın´any. Pr´ace je rozdˇelena do ˇctyˇr kapitol. V prvn´ı kapitole zavedeme pojem modul nad okruhem a uvedeme nˇekter´a tvrzen´ı vztahuj´ıc´ı se k tomu pojmu, kter´a budou potˇreba v dalˇs´ıch kapitol´ach a tak´e nˇekolik tvrzen´ı o okruz´ıch hlavn´ıch ide´al˚ u, kter´a nejsou uvedena v [6] a budou v dalˇs´ım textu potˇreba. V druh´e kapitole se budeme zab´ yvat torzn´ımi moduly nad okruhy hlavn´ıch ide´al˚ u a jejich rozkladem na souˇcet podmodul˚ u anihilovan´ ych mocninou ireducibiln´ıho prvku, kter´ y potom pouˇzijeme k d˚ ukazu vˇety o rozkladu prvk˚ u pod´ılov´ ych tˇeles okruh˚ u hlavn´ıch ide´al˚ u na parci´aln´ı zlomky. Ve tˇret´ı kapitole dok´aˇzeme, ˇze kaˇzd´ y koneˇcnˇe generovan´ y modul nad okruhem hlavn´ıch ide´al˚ u je izomorfn´ı souˇctu vhodn´ ych cyklick´ ych modul˚ u. Ve speci´aln´ım pˇr´ıpadˇe, pokud za okruh hlavn´ıch ide´al˚ u vezmeme okruh cel´ ych ˇc´ısel, je toto tvrzen´ı ekvivalentn´ı vˇetˇe o rozkladu koneˇcn´e komutativn´ı grupy na souˇcin netrivi´aln´ach cyklick´ ych p-grup. V posledn´ı kapitole pak aplikujeme tento poznatek na vektorov´e prostory, kter´e uvaˇzujeme jako moduly nad okruhem polynom˚ u nad tˇelesem, abychom dok´azali, ˇze kaˇzd´a matice a line´arn´ı transformace m´a racion´aln´ı kanonick´ y tvar a uk´azali si algoritmus, jak tento tvar naj´ıt. Tato bakal´aˇrsk´a pr´ace byla vys´azena syst´emem LATEX.
6
Kapitola 1 Z´ akladn´ı pojmy ´ celem t´eto kr´atk´e kapitoly nen´ı sdˇelit nov´e informace, jako sp´ıˇse pˇripomenout pojmy, Uˇ kter´e budou v dalˇs´ıch kapitol´ach pouˇz´ıv´any jiˇz bez vysvˇetlen´ı. Definice 1.1. Bud’ R okruh (ne nutnˇe komutativn´ı). Lev´ ym R-modulem naz´ yv´ame mnoˇzinu M spolu s: 1. bin´arn´ı operac´ı + na M takovou, ˇze (M, +) je komutativn´ı grupa. 2. akc´ı R na M tj. zobrazen´ım R × M → M (obraz dvojice (r, m) znaˇc´ıme rm), kter´a splˇ nuje pro vˇsechna r, s ∈ R, m, n ∈ M n´asleduj´ıc´ı podm´ınky: (a) (r + s)m = rm + sm. (b) (rs)m = r(sm). (c) r(m + n) = rm + rn. (d) pokud m´a okruh R jedniˇcku, pak 1R m = m. Pokud se v textu vyskytne pojem R-modul, nen´ı pod n´ım myˇsleno nic jin´eho neˇz lev´ y R-modul. Akci R na M ˇcasto naz´ yv´ame n´asoben´ı prvky z okruhu R. Definice 1.2. Bud’ M lev´ y R-modul, N ⊆ M . Pak N se naz´ yv´a R-podmodul (nebo jen podmodul) modulu M pr´avˇe tehdy, kdyˇz (N, +) je podgrupa grupy (M, +) a pro kaˇzd´e r ∈ R, m ∈ N je rm ∈ N . Pokud uvaˇzujeme okruh R jako lev´ y R-modul, pak jeho podmoduly jsou pr´avˇe jeho lev´e ide´aly. Pokud m´a okruh jedniˇcku, pak −m = (−1)m a pˇri ovˇeˇrov´an´ı, zda podmoˇzina modulu M je podmodul, staˇc´ı ovˇeˇrit uzavˇrenost v˚ uˇci sˇc´ıt´an´ı a n´asoben´ı prvkem z R, protoˇze ta implikuje uzavˇrenost na inverze v˚ uˇci sˇc´ıt´an´ı.
7
Definice 1.3. Necht’ M , N jsou lev´e R-moduly. Pak zobrazen´ı f : M → N naz´ yv´ame homomorfismus R-modul˚ u, pokud pro libovoln´a m, n ∈ M , r, s ∈ R plat´ı f (rm + sn) = rf (m) + sf (n). J´adrem homomorfismu f naz´ yv´ame mnoˇzinu vˇsech prvk˚ u m ∈ M , kter´e splˇ nuj´ı podm´ınku f (m) = 0, znaˇc´ıme Ker(f ). Obrazem homomorfismu f naz´ yv´ame mnoˇzinu vˇsech prvk˚ u n ∈ N , pro kter´e existuje m ∈ M tak, ˇze f (m) = n, znaˇc´ıme Im(f ). Bijektivn´ı homomorfismus R-modul˚ u naz´ yv´ame izomorfismus R-modul˚ u. Pozn´ amka 1.4. Pro kaˇzd´ y homomorfismus R-modul˚ u f : M → N je Ker(f ) podmodul modulu M a Im(f ) podmodul modulu N . D˚ ukaz. Z teorie grup v´ıme, ˇze Ker(f ) je podgrupa grupy M , staˇc´ı tedy dok´azat, ˇze pokud m ∈ Ker(f ), pak pro libovoln´e r ∈ R je i rm ∈ Ker(f ). Ale f (rm) = rf (m) = r0 = 0. Tedy j´adro homomorfismu f je podmodul modulu M . Stejnˇe tak Im(f ) je podgrupa grupy N . Pro libovoln´e n ∈ Im(f ) existuje m ∈ M tak, ˇze f (m) = n. Ale pak pro libovoln´e r ∈ R plat´ı rn = rf (m) = f (rm), proto rn ∈ Im(f ). Definice 1.5. Bud’ R okruh, M lev´ y R-modul, N podmodul modulu M . Pak faktormodulem M/N rozum´ıme faktorgrupu M/N spoleˇcnˇe s akc´ı R na M/N urˇcenou pˇredpisem r(m + N ) = rm + N pro vˇsechna r ∈ R, m ∈ M . Homomorfismus k : M → M/N , k(m) = m + N se naz´ yv´a kanonick´a projekce na faktormodul. ˇ Definice 1.6. Bud’ R okruh, M lev´ y R-modul. Rekneme, ˇze mnoˇzina prvk˚ uA Pgeneruje modul M , pr´avˇe kdyˇz pro libovoln´e m ∈ M existuj´ı ri ∈ R, mi ∈ A tak, ˇze m = ni=1 ri mi . Koneˇcnˇe generovan´ y modul je takov´ y modul, kter´ y je generov´an koneˇcnou mnoˇzinou. Pokud je modul generov´an jedn´ım prvkem, naz´ yv´a se cyklick´ y. Definice 1.7. Bud’ R okruh, M lev´ y R-modul. Podmnoˇzina B modulu M se naz´ yv´a b´az´ı, pokud je libovoln´a jej´ı koneˇcn´ a podmnoˇzina line´arnˇe nez´avisl´a (tj. pro libovoln´a P b1 , . . . , bn ∈ B a a1 , . . . an ∈ R plat´ı ni=1 ai bi = 0 jedinˇe v pˇr´ıpadˇe, kdy vˇsechna ai = 0) ˇ a generuje modul M . Rekneme, ˇze R-modul M je voln´ y, pokud m´a b´azi. Definice 1.8. Bud’ R okruh, M lev´ y R-modul, Ni , i ∈ I podmoduly modulu M . Pak souˇctem modul˚ u Ni , i ∈ I rozum´ıme mnoˇzinu vˇsech koneˇcn´ ych souˇct˚ u N ={
n X
mji |mji ∈ Nji pro i = 1, . . . , n},
i=1
8
P znaˇc´ıme N = i∈I Ni . P Pokud d´alePplat´ı, ˇze pro libovoln´e m ∈ i∈I Ni existuj´ı jednoznaˇcnˇe urˇcen´a mi ∈ Ni tak, ˇze m = sechna mi jsou nulov´a, naz´ yv´ame N direktn´ım souˇctem i∈I mi a skoro vˇ ` modul˚ u Ni , i ∈ I, znaˇc´ıme N = i∈I Ni . Pro direktn´ı souˇcet M dvou modul˚ u N1 , N2 se pouˇz´ıv´a t´eˇz znaˇcen´ı M = N1 ⊕ N2 . Pozn´ aS mka 1.9. Souˇcet podmodul˚ u Ni , i ∈ I modulu M je podmodul generovan´ y sjednocen´ım i∈I Ni . Voln´ y modul je pˇr´ım´ y souˇcet modul˚ u izomorfn´ıch s R (ne nutnˇe koneˇcn´ y). Definice 1.10. Rankem voln´eho modulu M rozum´ıme poˇcet prvk˚ u jeho b´aze. Vˇ eta 1.11. Bud’ R obor integrity a M voln´y R-modul ranku n < ∞. Pak libovoln´ych n + 1 prvk˚ u je line´arnˇe z´avisl´ych, tj. pro kaˇzd´e prvky m1 , . . . , mn+1 ∈ M existuj´ı r1 , . . . , rn+1 ∈ R, ne vˇsechna nulov´a tak, ˇze r1 m1 + · · · + rn+1 mn+1 = 0. D˚ ukaz. Modul M je voln´ y ranku n, tedy M ∼ = R ⊕ . . . . ⊕ R (n-kr´at). Vezmˇeme pod´ılov´e tˇeleso F okruhu R. Pak jistˇe M ⊆ F ⊕ · · · ⊕ F (n-kr´at). Toto je ale vektorov´ y prostor jehoˇz vlastnosti dobˇre zn´ame, tud´ıˇz v´ıme, ˇze existuj´ı x1 , . . . , xn+1 ∈ F , ne vˇsechna nulov´a, P x m sechny tyto koeficienty jsou ve tvaru si t−1 tak, ˇze n+1 i ∈ R, ti 6= 0 i , si , tQ i=1 i i = 0. Vˇ Qn+1 a vyn´asoben´ım obou stran prvkem i=1 ti dost´av´ame koeficienty rj = sj n+1 i=1,i6=j ti ∈ R do rovnice z tvrzen´ı, kter´e jsou alespoˇ n pro jedno j nenulov´e (protoˇze R je obor intergity).
Rank modulu nad oborem integrity m˚ uˇzeme definovat i jin´ ym zp˚ usobem. Povˇsimnˇeme si, ˇze d´ıky pˇredchoz´ı vˇetˇe je tato definice ve shodˇe s definic´ı ranku voln´eho modulu. Definice 1.12. Bud’ R obor integrity. Rankem R-modulu M naz´ yv´ame maxim´aln´ı poˇcet line´arnˇe nez´avisl´ ych prvk˚ u modulu M . V textu budeme tak´e vyuˇz´ıvat nˇekter´e vlastnosti okruhu hlavn´ıch ide´al˚ u, kter´e nejsou uvedeny v [6], proto je dok´aˇzeme v t´eto kapitole a d´ale je budeme pouˇz´ıvat bez d˚ ukazu. Dalˇs´ı zaj´ımav´e vlastnosti okruh˚ u hlavn´ıch ide´al˚ u, kter´e ovˇsem nebudeme v textu pouˇz´ıvat, je moˇzn´e nal´ezt napˇr. v [3] nebo [2]. Definice 1.13. Bud’ R okruh. Prvek r ∈ R nazveme primitivn´ı, pokud je nenulov´ y, nen´ı jednotka a pro libovoln´e s, t ∈ R, pro kter´e plat´ı r|st, plat´ı, ˇze r|s nebo r|t. Prvek r ∈ R nazveme ireducibiln´ı, pokud je nenulov´ y, nen´ı jednotka a neexistuj´ı s, t ∈ R, kter´e nejsou jednotky, tak, ˇze r = st. Vˇ eta 1.14. Bud’ R okruh hlavn´ıch ide´al˚ u. Pak libovoln´e dva nenulov´e prvky a, b maj´ı nejvˇetˇs´ıho spoleˇcn´eho dˇelitele d, kter´y m˚ uˇze b´yt zaps´an jako line´arn´ı kombinace ra + sb = d prvk˚ u a, b pro vhodn´a r, s ∈ R. 9
D˚ ukaz. Protoˇze R je okruh hlavn´ıch ide´al˚ u, je i ide´al (a, b) hlavn´ı, to znamen´a, ˇze (a, b) = (d). Prvek d je pak nejvˇetˇs´ı spoleˇcn´ y dˇelitel prvk˚ u a a b. Protoˇze d ∈ (a, b), mus´ı existovat r, s ∈ R tak, ˇze ra + sb = d. Vˇ eta 1.15. Bud’ R okruh hlavn´ u, a1 , . . . , an prvky okruhu R tak, ˇze (ai , aj ) = R Q ıch ide´al˚ pro libovoln´e i 6= j. Bud’ a = ni=1 ai . Pak R/(a) ∼ =
n Y
R/(ai ).
i=1
D˚ ukaz. Nejdˇr´ıve dok´aˇzeme tvrzen´ı pro dvojici prvk˚ u. Bud’ a = a1 a2 , (a1 , a2 ) = R. Uvaˇzujme homomorfismus okruh˚ u f : R → R/(a1 ) × R/(a2 ) dan´ y pˇredpisem f (b) = (b + (a1 ), b + (a2 )). Mˇejme libovoln´ y prvek (b1 + (a1 ), b2 + (a2 )) ∈ R/(a1 ) × R/(a2 ). Protoˇze (a1 , a2 ) = R ´ a b2 − b1 ∈ R, mus´ı existovat r, s ∈ R tak, ˇze b2 − b1 = ra1 + sa2 . Upravou dost´av´ame b2 − sa2 = b1 + ra1 = x. Je zˇrejm´e, ˇze obrazem prvku x v homomorfismu f bude prvek (b1 +ra1 +(a1 ), b2 −sa2 +(a2 )) = (b1 +(a1 ), b2 +(a2 )). Tedy libovoln´ y prvek R/(a1 )×R/(a2 ) m´a vzor a f je surjektivn´ı homomorfismus. J´adro homomorfismu f tvoˇr´ı pr˚ unik ide´al˚ u (a1 ) ∩ (a2 ). Uk´aˇzeme, ˇze (a1 ) ∩ (a2 ) = (a). Jistˇe a ∈ (a1 ) ∩ (a2 ), a proto (a) ⊆ (a1 ) ∩ (a2 ). Protoˇze (a1 , a2 ) = R, existuj´ı s, t ∈ R tak, ˇze sa1 + ta2 = 1. Nyn´ı bud’ x ∈ (a1 ∩ a2 ) libovoln´e. Pak existuj´ı u, v ∈ R tak, ˇze x = ua1 = va2 . Pak x = xsa1 + xta2 = va2 sa1 + ua1 ta2 = a1 a2 (sv + tu) = a(sv + tu) ∈ (a). Tedy (a1 ) ∩ (a2 ) ⊆ (a). Proto Ker(f ) = (a) a podle prvn´ı vˇety o izomorfismu dost´av´ame R/(a) ∼ = R/(a1 ) × R/(a2 ). Nyn´ı dok´aˇzeme indukc´ı, ˇze toto tvzen´ı plat´ı pro libovoln´ ych n prvk˚ u a1 , . . . , an pro kter´e plat´ı (ai , aj ) = R pro libovoln´e i 6= j. Pro dva prvky jsme toto uˇz dok´azali. Nyn´ı pˇredpokl´adejme, ˇze tvzen´ı bylo dok´az´ano pro libovoln´ ych n − 1 prvk˚ u s touto vlastnost´ı. Protoˇze pro libovoln´e dva prvky (ai , aj ) = R, existuj´ı pro kaˇzd´e i, 2 ≤ i ≤ n prvky ri , si ∈ R tak, ˇze ri a1 Q + si ai = 1. Vyn´asoben´ımQtˇechto rovnost´ı dostaneme Bezoutovu rovnost a1 a ni=2Q ai . Plat´ı tedy, ˇze (a1 , ni=2 ai )Q= R a z v´ yˇse dok´azan´eho plyne Qn pro prvky n n R/( i=1 ai ) ∼ a ) se ale vztahuje indukˇcn´ı = R/(a1 ) × R/( i=2 ai ). NaQfaktorokruh R/( Qn i=2 i n ∼ ∼ pˇredpoklad, a proto R/(a) = R/(a1 ) × i=2 R/(ai ) = i=1 R/(ai ). Vˇ eta 1.16. Bud’ R okruh hlavn´ıch ide´al˚ u, 0 =6= r ∈ R. Pak n´asleduj´ıc´ı podm´ınky jsou ekvivalentn´ı 1. (r) je prvoide´al, 2. (r) je maxim´aln´ı ide´al, 3. r je ireducibiln´ı prvek, 10
4. r je primitivn´ı prvek. D˚ ukaz. (1) ⇒ (4) Bud’ I = (r) prvoide´al. Pak (r) 6= R, tedy r nen´ı jednotka (a r 6= 0 z pˇredpoklad˚ u vˇety). Necht’ s, t ∈ R jsou libovoln´e prvky takov´e, ˇze r|st. Pak st ∈ (r) a podle definice prvoide´alu mus´ı bud’ s ∈ R nebo t ∈ R. To ale znamen´a, ˇze bud’ r|s nebo r|t a prvek r je primitivn´ı. (4) ⇒ (3) Bud’ r primitivn´ı prvek. Pak r 6= 0 a r nen´ı jednotka. Necht’ s, t ∈ R jsou libovoln´e prvky tak, ˇze r = st. To ale tak´e znamen´a, ˇze r|st. Protoˇze je r primitivn´ı prvek, mus´ı platit, ˇze r|s nebo r|t. Pak ale jeden z ˇcinitel˚ u s, t mus´ı b´ yt asociovan´ y s prvkem r a druh´ y mus´ı b´ yt jednotka. Tedy r 6= 0, r nen´ı jednotka a neexistuje rozklad r na souˇcin dvou prvk˚ u tak, aby ani jeden z nich nebyl jednotka. (3) ⇒ (2) Necht’ r je ireducibiln´ı prvek. Pak (r) 6= {0}, protoˇze r 6= 0, a (r) 6= R, protoˇze r nen´ı jednotka. Dok´aˇzeme, ˇze (r) je maxim´aln´ı ide´al okruhu R. Kdyby nebyl, tak existuje s ∈ R tak, ˇze (r) ⊂ (s) ⊂ R, to ale znamen´a, ˇze r = st a ani s ani t nejsou jednotky, ale to je spor s ireducibilitou r. (4) ⇒ (3) Protoˇze faktorizac´ı okruhu podle prvoide´alu dost´av´ame obor integrity, faktorizac´ı podle maxim´aln´ıho ide´alu tˇeleso a tˇeleso je z definice obor integrity, je vidˇet, ˇze kaˇzd´ y maxim´aln´ı ide´al je i prvoide´al. Vˇ eta 1.17. Bud’ R okruh hlavn´ıch ide´al˚ u. Pak R je i okruhem s jednoznaˇcn´ym rozkladem. D˚ ukaz. Bud’ r ∈ R libovoln´e takov´e, ˇze r 6= 0 a r nen´ı jednotka. Nejdˇr´ıve dok´aˇzeme, ˇze r lze rozloˇzit na koneˇcn´ y souˇcin ireducibiln´ıch prvk˚ u. Pokud je r ireducibiln´ı, jsme hotovi. Nyn´ı pˇredpokl´adejme, ˇze nen´ı. Pak r = r1 s1 , kde r1 , s1 nejsou jednotky. Bud’ jsou r1 , s1 ireducibiln´ı a jsme hotovi nebo jeden z nich, pˇredpokl´adejme, ˇze r1 nen´ı ireducibiln´ı a jde d´ale rozloˇzit na souˇcin r2 s2 , kde r2 , s2 nejsou jednotky. Budeme takto pokraˇcovat v rozkl´ad´an´ı. Pokud se po koneˇcnˇe mnoha kroc´ıch zastav´ıme, je vˇse v poˇr´adku a r lze rozloˇzit na koneˇcn´ y souˇcin ireducibiln´ıch prvk˚ u. Pokud bychom se ale nezastavili, pak lze sestrojit nekoneˇcn´ y rostouc´ı ˇretˇezec ide´al˚ u (r) ⊂ (r1 ) ⊂ (r2 ) ⊂ . . . to je ale ve sporu s t´ım, ˇze R je noetherovsk´ y okruh (viz. 3.2). Dok´aˇzeme nyn´ı, ˇze rozklad na koneˇcn´ y souˇcet ireducibiln´ıch prvk˚ u je d´an jednoznaˇcnˇe aˇz na poˇrad´ı a asociovanost. Pˇredpokl´adejme, ˇze existuj´ı dva r˚ uzn´e rozklady na ireducibiln´ı prvky r = p1 · · · pn = q1 · · · qm , n ≤ m. Jistˇe lev´a strana je prvkem ide´alu (p1 ), takˇze mus´ı platit, ˇze p1 |q1 · · · qm . Prvek p1 je ireducibiln´ı, tedy i primitivn´ı, to znamen´a, ˇze mus´ı dˇelit nˇekter´ y z prvk˚ u q1 , . . . , qm . Zmˇenou poˇrad´ı m˚ uˇzeme tento prvek m´ıt na prvn´ı pozici, a proto m˚ uˇzeme bez u ´jmy na obecnosti pˇredpokl´adat, ˇze p1 |q1 . Protoˇze q1 je ireducibiln´ı, plat´ı p1 ∼ q1 , tud´ıˇz existuje u1 ∈ R, u1 je jednotka tak, ˇze q1 = u1 p1 . Kdyˇz za q1 dosad´ıme zpˇet do vyj´adˇren´ı, dost´av´ame p1 p2 · · · pn = u1 p1 q2 · · · qm . Protoˇze R je obor integrity m˚ uˇzeme si dovolit kr´atit p1 . Tedy p2 · · · pn = u1 q2 · · · qm . Opakov´an´ım stejn´eho postupu pro p2 , . . . , pn dostaneme, ˇze p1 ∼ q1 , . . . , pn ∼ qn a 1 = u1 · · · un qm−n · · · qm . Protoˇze ˇza´dn´e z qm−n , . . . , qm nen´ı jednotka, mus´ı b´ yt m = n.
11
Kapitola 2 Torzn´ı moduly nad okruhy hlavn´ıch ide´ al˚ u Definice 2.1. Bud’ R okruh, M lev´ y R-modul a x ∈ M . Anihil´atorem prvku x rozum´ıme mnoˇzinu ann(x) = {r ∈ R|rx = 0} Pozn´ amka 2.2. Anihil´ator prvku x je lev´ ym ide´alem okruhu R a pokud uvaˇzujeme R jako lev´ y R-modul a ann(x) jako jeho podmodul, pak faktormodul R/ ann(x) ∼ = (x), kde (x) je podmodul M generovan´ y prvkem x. D˚ ukaz. Staˇc´ı dok´azat, ˇze ann(x) obsahuje 0, je uzavˇren´ y na sˇc´ıt´an´ı, bran´ı inverze v˚ uˇci sˇc´ıt´an´ı a n´asoben´ı prvkem z R zleva. Z definice modulu 0 · x = 0, takˇze 0 ∈ ann(x). Necht’ r, s ∈ ann(x) jsou libovoln´e. Pak (r+s)x = rx+sx = 0 a 0 = (r−r)x = rx+(−r)x = (−r)x, takˇze (r + s), −r ∈ ann(x). Nakonec bud’ r ∈ R, s ∈ ann(x) libovoln´e, pak (rs)x = r(sx) = 0. Uvaˇzujme homomorfismus modul˚ u k : R → (x), k(r) = rx. Jistˇe Im(k) = (x) a Ker(k) = {r ∈ R|rx = 0} = ann(x). Podle prvn´ı vˇety o izomorfismu plat´ı R/ ann(x) ∼ = (x). Definice 2.3. Bud’ R okruh, M lev´ y R-modul, x ∈ M . Prvek x se naz´ yv´a torzn´ı, pokud ann(x) 6= {0}. Pokud je R obor integrity, nazveme mnoˇzinu vˇsech torzn´ıch prvk˚ u modulu M torzn´ı podmodul modulu M a budeme jej znaˇcit Tor(M ) Bylo by vhodn´e dok´azat, ˇze Tor(M ) je opravdu podmodul modulu M . Jistˇe 0 ∈ Tor(M ), protoˇze r0 = 0 z definice modulu pro vˇsechna r ∈ R. Abychom dok´azali, ˇze Tor(M ) je podmodul modulu M , staˇc´ı uˇz jen ovˇeˇrit uzavˇrenost na sˇc´ıt´an´ı a n´asoben´ı prvkem z R (protoˇze R je obor integrity). Bud’ x, y ∈ Tor(M ) libovoln´e torzn´ı prvky, r ∈ ann(x), s ∈ ann(y), r, s 6= 0 prvky okruhu R. Pak rs(x + y) = rsx + rsy = s(rx) + r(sy) = 0. Souˇcin rs je tedy prvkem ann(x + y) a je nenulov´ y, protoˇze R je obor integrity a r, s jsou nenulov´e, tedy x + y je torzn´ı prvek a Tor(M ) je uzavˇren´ y v˚ uˇci sˇc´ıt´an´ı. Necht’ r ∈ ann(x), r 6= 0, s ∈ R libovoln´e. Pak r(sx) = s(rx) = 0, tud´ıˇz ann(sx) nen´ı roven nule pro libovoln´e s ∈ R a tedy sx ∈ Tor(M ), ˇc´ımˇz jsme dok´azali uzavˇrenost v˚ uˇci n´asoben´ı prvkem z R. 12
Definice 2.4. Modul M nazveme torzn´ım, pokud Tor(M ) = M . V dalˇs´ım textu se budeme zab´ yvat torzn´ımi moduly nad okruhy hlavn´ıch ide´al˚ u. Danou problematiku nelze zobecnit na libovoln´ y okruh, protoˇze potˇrebujeme, aby okruh, nad kter´ ym operujeme, byl obor integrity a pro dok´az´an´ı nˇekter´ ych vlastnost´ı vyuˇz´ıv´ame vlastnost, ˇze anihil´ator libovoln´eho prvku je hlavn´ı ide´al, tj. ide´al generovan´ y jedn´ım prvkem. Bud’ R okruh hlavn´ıch ide´al˚ u. Oznaˇcme P(R) mnoˇzinu vˇsech maxim´aln´ıch ide´al˚ u okruhu R. Definice 2.5. Bud’ R okruh hlavn´ıch ide´al˚ u, M lev´ y R-modul, (p) ∈ P(R). Mnoˇzinou M(p) nazveme mnoˇzinu vˇsech prvk˚ u m ∈ M , pro kter´e existuje n ∈ N tak, ˇze pn m = 0. Je potˇreba ovˇeˇrit, zda je M(p) definov´ana korektnˇe, tj. je nez´avisl´a na volbˇe gener´atoru ide´alu (p). Pˇredpokl´adejme, ˇze (p) = (q). To ale znamen´a, ˇze existuje jednotka u ∈ R tak, ˇze p = uq. Dok´aˇzeme, ˇze libovoln´ y prvek m plat´ı, ˇze m ∈ M(p) pr´avˇe, kdyˇz m ∈ M(q) . Jestliˇze m ∈ M(p) , existuje n ∈ N tak, ˇze pn m = 0. Pak ale 0 = pn m = (uq)n m = un q n m. Vyn´asob´ıme obˇe strany prvkem u−n a dost´av´ame u−n 0 = 0 = u−n un q n m = q n m. Tedy existuje n ∈ N tak, ˇze q n m = 0, proto pokud m ∈ M(p) , pak m ∈ M(q) . Opaˇcn´ y smˇer dostaneme analogicky pro q = u−1 p. Pozn´ amka 2.6. M(p) je podmodul modulu M . D˚ ukaz. Pro d˚ ukaz staˇc´ı ovˇeˇrit uzavˇrenost na sˇc´ıt´an´ı a n´asoben´ı prvkem z R, nebot’ obor integrity m´a jedniˇcku a 0 ∈ M(p) . Bud’ m1 , m2 ∈ M(p) . Pak existuj´ı n1 , n2 ∈ N tak, ˇze pn1 m1 = 0, pn2 m2 = 0. Vezmeme n = max{n1 , n2 }. Potom ale pn (m1 + m2 ) = pn m1 + pn m2 = 0 tedy M(p) je uzavˇreno na souˇcet. D´ale pak bud’ m ∈ M(p) , r ∈ R. Pak existuje n ∈ N takov´e, ˇze pn m = 0. Pak pn (rm) = r(pn m) = 0. Odtud vid´ıme, ˇze M(p) je uzavˇreno i na n´asoben´ı prvkem z R a je tedy podmodulem modulu M . Vˇ eta 2.7. Bud’ M lev´y R-modul, Mi , i ∈ I syst´em jeho podmodul˚ u. Pak n´asleduj´ıc´ı podm´ınky jsou ekvivalentn´ı: ` 1. M = i∈I Mi , 2. pro syst´em podmodul˚ u Mi plat´ı: S (a) M je generov´an i∈I Mi , (b) pro kaˇzd´e j ∈ I bud’ Nj podmodul generovan´y sjednocen´ım Nj ∩ Mj = {0}.
13
S
i∈I,i6=j
Mi . Pak
S D˚ ukaz. (1) ⇒ (2) Prvn´ı ˇca´st, ˇze M je generovan´ y sjednocen´ım i∈I Mi plyne z definice souˇctu. Staˇc´ı tedy dok´azat, ˇze Nj ∩ Mj = {0}. Bud’ m ∈ Nj ∩ Mj .P Protoˇze m ∈ Nj , mus´ı existovat koneˇcn´a podmnoˇzina index˚ u J ⊆ I − {j} tak, ˇze m = i∈J mi , mi ∈ Mi pro i ∈ J. Vezmeme homomorfismus p : M → Mj definovan´ y n´asledovnˇe: pro kaˇzd´e x ∈ M , x = xi1 + · · · + xik , xil ∈ Mil , je obraz roven tomu sˇc´ıtanci, kter´ y leˇz´ı v Mj , pˇr´ıpadnˇe 0, nen´ı-li tam takov´ y. Tento homomorfismus je definov´an korektnˇe, protoˇze sˇc´ıtance jsou z definice P direktn´ıho souˇ Pctu urˇceny jednoznaˇcnˇe. Pak ale p(m) = m, protoˇze m ∈ Mj , ale p(m) = p( i∈J mi ) = i∈J p(mi ) = 0. Z toho vypl´ yv´a, ˇze m = 0. (2) ⇒ (1) Jelikoˇz je M generov´ano syst´emem modul˚ u Mi , i ∈ I, tak urˇcitˇe kaˇzd´ y prvek M lze zapsat jako P koneˇcn´ y souˇ c et prvk˚ u z M , i ∈ I. Dok´ a ˇ z eme, ˇ z e tento z´ a pis je i P jednoznaˇcn´ y. Necht’ m = i∈I mi = i∈I m0i jsou dvˇe r˚ uzn´a vyj´aP dˇren´ı prvkuP m, ve kter´ ych P 0 0 je pouze koneˇcnˇe mnoho sˇc´ıtanc˚ u nenulov´ ych. Pak 0 = m − m = (m −m i i i i ). i∈I i∈I i∈I P 0 0 0 Plat´ı ale, ˇze mi − mi ∈ Mi ∩ Ni , protoˇze mi − ` mi = j∈I,j6=i (mi − mi ), takˇze z (2b) plyne, 0 0 ˇze mi − mi = 0, a proto mi = mi . Tedy M = i∈I Mi .
Pr´avˇe dok´azan´e tvrzen´ı bude d˚ uleˇzit´e pro d˚ ukaz n´asleduj´ıc´ı vˇety. Vˇ eta 2.8. Bud’ R okruh hlavn´ıch ide´al˚ u, M torzn´ı R-modul. Pak M =
`
(p)∈P(R)
M(p) .
D˚ ukaz. K S d˚ ukazu vyuˇzijeme pˇredchoz´ı vˇetu, takˇze staˇc´ı dok´azat, ˇze M je generovan´ y sjednocen´ım (p)∈P(R) M(p) a pro kaˇzd´e (p) ∈ P(R) je N(p) ∩ M(p) = 0, kde N(p) je podmodul S generovan´ y sjednocen´ım (q)∈P(R),(p)6=(q) M(q) . Bud’ x ∈ M libovoln´e. Jelikoˇz je M torzn´ı modul, ann(x) je nenulov´ y a ann(x) = (a) pro nˇejak´e a 6= 0. Jak jiˇz dˇr´ıve zaznˇelo, plat´ı, ˇze R/(a) ∼ (x) jako moduly, takˇze existuje = izomorfismus modul˚ u ψ : R/(a) → (x), ψ(r + (a)) = rx. Okruh R je okruh hlavn´ıch ide´al˚ u a tedy je i okruhem s jednoznaˇcn´ ym rozkladem, a prvekQa proto m˚ uˇzeme rozloˇzit na koneˇcn´ y souˇcin ireducibiln´ıch prvk˚ u a jednotky, tedy a = u· ki=1 pni i , kde pi jsou ireducibiln´ı prvky, u jednotka okruhu R. Podle vˇety 1.15 plat´ı, ˇze Qk Qk R/(a) ∼ = i=1 R/(pni i ) jako okruhy. Toto ale plat´ı i pokud uvaˇzujeme R/(a) a i=1 R/(pni i ) Q jako lev´e R-moduly a izomorfismus ϕ : R/(a) → ki=1 R/(pni i ), kter´ y je d´an pˇredpisem Q nk n1 ϕ(r + (a)) = (r + (p1 ), · · · , r + (pk )), je izomorfismus R-modul˚ u R/(a) a ki=1 R/(pni i ). Q Oznaˇcme yi = (0, . . . , 1 + (pni i ), . . . 0) prvky ki=1 R/(pni i ) s jedniˇckou na i-t´e pozici Q a f = ψϕ−1 , f : ki=1 R/(pni i ) → (x). Pak pni i f (yi ) = f (pni i yi ) = 0. Dost´av´ame tedy, Pk ˇze f (yi ) ∈ M(pi ) . Je tak´e zˇrejm´e, ˇze x = f ((1 + (pn1 1 ), · · · , 1 + (pnk k ))) = i=1 f (yi ), f (yi ) ∈ M(pi ) , coˇz n´am ale d´av´a vyj´aSdˇren´ı x jako koneˇcn´ y souˇcet prvk˚ u z M(pi ) . Proto modul M je generovan´ y sjednocen´ım (p)∈P(R) M(p) . ’ Bud 0 6= x ∈ N(p) ∩ M(p) libovoln´e. Pak existuje n ∈ N tak, ˇze pn x = 0 (protoˇze x ∈ M(p) ) a tak´e existuj´ı x1 , · · · , xk , xi ∈ M(pi ) , (pi ) 6= (p), xi 6= 0, pro i = 1, · · · , k tak, ˇze P x = ki=1 xi (protoˇze x ∈ N(p) ). Ke kaˇzd´emu xi ∈ M(pi ) existuj´ı pˇr´ısluˇsn´e exponenty ni ∈ N Q tak, ˇze pni i xi = 0. Oznaˇcme r = ki=1 pni i . Pak rx = 0. Protoˇze pn a r jsou nesoudˇeln´a, plat´ı, 14
ˇze (pn , r) = R, a proto mus´ı existovat a, b ∈ R tak, ˇze ar + bpn = 1, tud´ıˇz vyn´asoben´ım rovnosti prvkem x dost´av´ame arx + bpn x = x. Vzhledem k tomu, ˇze lev´a strana je rovna nule, dost´av´ame spor s t´ım, ˇze x 6= 0. Proto N(p) ∩ M(p) = {0}. Vˇ eta 2.9. Bud’ R okruh hlavn´ıch ide´al˚ u, K pod´ılov´e tˇeleso okruhu R a {pi }i∈I podmnoˇzina ireducibiln´ıch prvk˚ u R takov´a, ˇze kaˇzd´y ireducibiln´ı prvek R je asociovan´y s pr´avˇe jedn´ım prvkem mnoˇziny {pi }i∈I . Pak pro kaˇzd´e x ∈ K existuje koneˇcn´a podmnoˇzina I 0 mnoˇziny I tak, ˇze x lze vyj´adˇrit ve tvaru X x = r0 + ri pi−ni , i∈I 0
v nˇemˇz r0 ∈ R a pro vˇsechna i ∈ I plat´ı: 1. ri ∈ R, 2. ri nen´ı dˇeliteln´e pi v okruhu R, 3. ni ∈ N. Nav´ıc mnoˇzina I 0 a ˇc´ısla ni jsou jednoznaˇcnˇe urˇcena. D˚ ukaz. Pod´ılov´e tˇeleso K i okruh R m˚ uˇzeme uvaˇzovat jako R-moduly, pˇriˇcemˇz R je podmodulem K. Vezmˇeme faktormodul M = K/R. Tento R-modul je tvoˇren prvky ve tvaru rs−1 + R, r, s ∈ R, s 6= 0. Je zˇrejmˇe vidˇet, ˇze tento modul je torzn´ı (kaˇzd´ y prvek rs−1 + R staˇc´ı vyn´asobit s). Lze ho tedy rozloˇzit na souˇcet podmodul˚ u M(p) , kde (p) ∈ P(R), jak jsme dok´azali v pˇredchoz´ı vˇetˇe. Bud’ k : K → M kanonick´a projekce na faktormodul. 0 Dok´aˇzeme nejdˇr´ıve, ˇze pro libovoln´e x ∈ K existuj´ P ı r0 , ri−n∈i R, i ∈ I a ni ∈ N tak, ˇze ri nen´ı dˇeliteln´e pi v okruhu R a plat´ı, ˇze x = r0 + i∈I ri pi . Nejdˇr´ıve zobraz´ıme x projekc´ı k, k(x) = x + R. Protoˇze M je torzn´ı R-modul, existuje podle pˇredchoz´ıP vˇety koneˇcn´a mnoˇzina I 0 a nenulov´e prvky mi + R, mi + R ∈ M(pi ) , i ∈ I 0 tak, ˇze k(x) = i∈I 0 (mi + R). Pro kaˇzd´ y prvek mi + R ∈ M(pi ) existuje n ∈ N tak, ˇze n pi (mi + R) = R. Vezmˇeme za ni nejmenˇs´ı n, kter´e toto splˇ nuje. Prvek pni i mi leˇz´ı v Ker(k), protoˇze k(pni i mi ) = pni i k(mi ) = pni i (mi + R) = R. Ale j´adro tvoˇr´ı pr´avˇe prvky modulu R, a proto pro mi existuje ri ∈ R tak, ˇze pni i mi = ri . Prvek mi tedy m˚ uˇzeme vyj´adˇrit jako −ni ri pi a jelikoˇz jsme s´ı moˇzn´e, plat´ı, ˇze pi nedˇel´ı ri . i nejmenˇ P brali n−n i Stejnˇe tak x − r p leˇ z ´ ı v j´adˇre homomorfismu k, a proto mus´ı existovat r0 ∈ R 0 i∈I i i P −ni tak, ˇze x − i∈I 0 ri pi = r0 , z ˇcehoˇz uˇz dost´av´ame k´ yˇzen´e vyj´adˇren´ı prvku X x = r0 + ri pi−ni . i∈I 0
Zb´ yv´a tedy dok´azat jednoznaˇcnost takov´eho vyj´adˇren´ı. Nejdˇr´ıve dok´aˇzeme, ˇze mnoˇzina index˚ u je jednoznaˇcnˇe dan´a. Bud’ I 0 , J 0 dvˇe r˚ uzn´e koneˇcn´e podmnoˇziny index˚ u splˇ nuj´ıc´ı v´ yˇse uveden´e podm´ınky. Prvek x tak lze vyj´adˇrit dvˇema zp˚ usoby jako X X −m i r0 + ri p−n = s0 + sj pj j . i i∈I 0
j∈J 0
15
Zobraz´ıme obˇe vyj´adˇren´ı projekc´ı k : K → M . Dost´av´ame rovnost P −mj + R. Bud’ l ∈ I 0 . Pak j∈J 0 sj pj l +R=( M(pl ) 3 rl p−n l
X
−mj
sj qj
−
j∈J 0
X
P
i∈I 0
i ri p−n +R = i
ri pi−ni ) + R ∈ N(pl ) ,
i∈I 0 ,i6=l
S kde N(pl ) je modul generovan´ y sjednocen´ım i∈I,i6=l M(pi ) z ˇcehoˇz dle tvrzen´ı 2.7 a 2.8 l + R = 0 + R, tj. rl pl−nl ∈ R, coˇz je spor s t´ım, ˇze pl nedˇel´ı rl . vypl´ yv´a, ˇze rl p−n l Podobn´e to je pro jednoznaˇcnost exponent˚ u. Pˇredpokl´adejme, ˇze mnoˇzina index˚ u je nyn´ı stejn´a, ale u pl se liˇs´ı velikost exponentu. Pak u ´pravami podobnˇe jako v minul´em pˇr´ıpadˇe dost´av´ame, ˇze X X −ml −ni i l ) + R ∈ N(pl ) . − si p−m M(pl ) 3 (rl p−n − s p ) + R = ( r p l i i i l l i∈I,i6=l
i∈I,i6=l
l l Z toho dost´av´ame, ˇze (rl p−n − sl p−m ) + R = 0 + R. Bud’ bez u ´jmy na obecnosti nl < ml . l l nl Pak vyn´asoben´ım obou stran p dost´av´ame sl pl−ml +nl + R = 0 + R, −ml + nl < 0 coˇz je opˇet spor s t´ım, ˇze pl nedˇel´ı sl .
Vyj´adˇren´ı popsan´e v pˇredchoz´ı vˇetˇe ale neodpov´ıd´a rozkladu, na kter´ y jsme zvykl´ı tˇreba pˇri rozkladu na parci´aln´ı zlomky pˇri integraci racion´aln´ıch funkc´ı. Proto bude potˇreba naˇse u ´vahy jeˇstˇe d´ale rozvinout. Vˇ eta 2.10. Bud’ R okruh hlavn´ıch ide´al˚ u, K jeho pod´ılov´e tˇeleso a {pi }i∈I podmnoˇzina ireducibiln´ıch prvk˚ u R tak, ˇze kaˇzd´y ireducibiln´ı prvek R je asociovan´y s pr´avˇe jedn´ım prvkem mnoˇziny {pi }i∈I . D´ale pˇredpokl´adejme, ˇze pro kaˇzd´e pi , i ∈ I, m´ame pevnˇe d´ ano zobrazen´ı si : R/(pi ) → R, 0 ∈ Im(si ) tak, ˇze ki ◦si = idR/(pi ) pro vˇsechna i ∈ I, kde ki je kanonick´a projekce z R na R/(pi ). Necht’ x ∈ K je libovoln´y. Pak existuje jednoznaˇcnˇe urˇcen´ a 0 koneˇcn´a podmnoˇzina I mnoˇziny I tak, ˇze prvek x m˚ uˇze b´yt zaps´an, a to jednoznaˇcnˇe, ve tvaru ∞ XX x = r0 + ri,j p−j i , i∈I 0 j=1
kde 1. r0 , ri,j jsou prvky z R, 2. skoro vˇsechny prvky ri,j jsou nulov´e, 3. vˇsechny prvky ri,j ∈ Im(si ). P D˚ ukaz. Dok´azali jsme, ˇze lze x ∈ K rozloˇzit na souˇcet x = r0 + i∈I ri pi−ni a mnoˇzina index˚ u I 0 a exponenty −ni jsouPurˇceny jednoznaˇcnˇe. Potˇrebovali bychom tedy dok´azat, ˇze −j i lze ri p−n d´ale rozloˇzit na ti + ∞ i j=1 ri,j pi , ti , ri,j ∈ R. 16
Bud’ p ireducibiln´ı prvek. Uvaˇzujme R jako lev´ y R-modul a k kanonickou projekci na faktormodul R/(p). Vezmˇeme s : R/(p) → R zobrazen´ı takov´e, ˇze k ◦ s = idR/(p) , dan´e z pˇredpoklad˚ u vˇety. Dok´aˇzeme indukc´ı, ˇze pro R a kaˇzd´e n ∈ N lze naj´ıt prvky ui ∈ R/(p), P kaˇzd´e r ∈ i i = 0, . . . , n − 1 tak, ˇze r − n−1 s(u )p ∈ (pn ). Pokud n = 1, staˇc´ı vz´ıt u0 = k(r), jelikoˇz i i=0 k(r − s(k(r))p0 ) = k(r) − k(s(k(r))) = k(r) − k(r) = 0, protoˇze k ◦ s = idR/(p) . BudemePnyn´ı pˇredpokl´adat, ˇze uˇz byla az´ana existence u0 , . . . , un−1 splˇ nuj´ıc´ıch podPdok´ n−1 n−1 i n i n m´ınku r − i=0 s(ui )p ∈ (p ), tzn. r − i=0 s(ui )p = tp , kde t ∈ R. Poloˇzme un = k(t). Pak t − s(un ) = lp, pro vhodn´e l ∈ R. Kdyˇz z t´eto rovnice vyj´adˇr´ıme t a dosad´ıme do Pn−1 i n prav´e strany indukˇ c n´ ıho pˇ r edpokladu, dost´ a v´ a me, ˇ z e r − i=0 s(ui )p = (s(un ) + lp)p , Pn tedy r − i=0 s(ui )pi = lpn+1 , ˇc´ımˇz je d˚ ukaz indukc´ı hotov. Nyn´ ı dok´ a ˇ z eme, ˇ z e prvky s(u ) jsou urˇceny jednoznaˇcnˇe. Mˇejme dvˇe r˚ uzn´a vyj´adˇren´ı i Pn Pn i n+1 i r − i=0 s(ui )p a r − i=0 s(vi )p , kter´a leˇz´ı v (p ). Protoˇze nejsou stejn´a, existuje j
ni . Potom −j z je dokazovan´e vyj´adˇren´ı prvku x. x = r0 + i∈I 0 ∞ j=1 ri,j pi , coˇ Zb´ yv´a tedy dok´azat jeho jednoznaˇcnost. Pˇredpokl´adejme, ˇze nˇejak´e x ∈ K lze vyj´adˇrit dvˇema zp˚ usoby ∞ ∞ XX XX −j 0 0 x = r0 + ri,j pi = r0 + ri,j p−j i , i∈I 0 j=1
i∈J 0 j=1
kter´e oba splˇ nuj´ı podm´ınky vˇety. Obˇe mnoˇziny I 0 , J 0 jsou koneˇcn´e, proto bez u ´jmy na obecnosti lze pˇredpokl´adat, ˇze jsou stejn´e, protoˇze m˚ uˇzeme vyj´adˇren´ı doplnit nulov´ ymi ri,j 0 0 0 0 0 a nahradit mnoˇziny I , J jejich sjednocen´ım I ∪ J . D´ale v´ıme, ˇzQ e pro kaˇzd´e i ∈ I existuje 0 ni ∈ N tak, ˇze ri,j = ri,j = 0 pro vˇsechna j > ni . Vyn´asoben´ım i∈I 0 pni i dostaneme r0
Y i∈I 0
pni i
+
nl XX
rl,j pnl l −j
l∈I 0 j=1
Y
pni i
=
i∈I 0 ,i6=l
r00
Y i∈I 0
pni i
+
nl XX l∈I 0 j=1
Odtud plyne pro kaˇzd´e l ∈ I 0 nl X
0 (rl,j − rl,j )plnl −j
Y i∈I 0 ,i6=l
j=1
17
pni i ∈ (pnl )
0 rl,j pnl l −j
Y i∈I 0 ,i6=l
pni i
Protoˇze (pnl , a dost´av´ame
Q
i∈I 0 ,i6=l
pni i ) = R, existuj´ı a, b ∈ R tak, ˇze apnl +b
Q
i∈I 0 ,i6=l
pni i = 1. Vyn´asoben´ım
nl nl X X nl −j 0 rl,j plnl −j ) ∈ (pnl ) rl,j pl ) − ( ( j=1
j=1
0 0 . ∈ Im(sl ) a z v´ yˇse dok´azan´e jednoznaˇcnosti plyne rl,j = rl,j Vˇsechna rl,j , rl,j
Vˇ eta 2.11. Kaˇzd´e x ∈ Q lze jednoznaˇcnˇe napsat ve tvaru x = r0 +
∞ XX p
rp,n p−n ,
n=1
kde p jsou prvoˇc´ısla a 1. r0 , rp,n ∈ Z, 2. skoro vˇsechna rp,n jsou nulov´a, 3. 0 ≤ rp,n ≤ p − 1. D˚ ukaz. Pokud vezmeme za sp : Z/(p) → Z takov´e zobrazen´ı, kter´e tˇr´ıdu t + Z zobraz´ı na jej´ıho nejmenˇs´ıho nez´aporn´eho reprezentanta, pak kp sp = idZ/(p) a Im(sp ) = {0, . . . , p − 1}. Tvzen´ı pak pˇr´ımo vypl´ yv´a z pˇredchoz´ı vˇety.
18
Kapitola 3 Koneˇ cnˇ e generovan´ e moduly nad okruhy hlavn´ıch ide´ al˚ u V teorii modul˚ u se ˇcasto setk´av´ame se z´avislost´ı struktury R-modulu na vlastnostech okruhu R. Napˇr. je-li R tˇeleso, je hned z definice vidˇet, ˇze pojem R-modulu spl´ yv´a s pojmem vektorov´ y prostor nad tˇelesem R. Takov´eto obecn´e vlastnosti lze odvodit i pro koneˇcnˇe generovan´e moduly nad okruhy hlavn´ıch ide´al˚ u, pˇresnˇeji dok´aˇzeme, ˇze jsou izomorfn´ı souˇctu cyklick´ ych modul˚ u. V z´avˇeru kapitoly potom uk´aˇzeme pˇeknou aplikaci tohoto tvzen´ı na koneˇcnˇe generovan´e Z-moduly, coˇz jsou pr´avˇe koneˇcn´e komutativn´e grupy. Abychom mohli dok´azat nejd˚ uleˇzitˇejˇs´ı tvrzen´ı t´eto kapitoly, budeme nejdˇr´ıve potˇrebovat definovat nˇekolik pojm˚ u a jejich vlastnost´ı. Prvn´ım takov´ ym pojmem je noetherovsk´ y modul. Definice 3.1. Bud’ R okruh a M lev´ y R-modul. R-modul M naz´ yv´ame noetherovsk´ y, pokud jeho podmoduly splˇ nuj´ı podm´ınku rostouc´ıch ˇretˇezc˚ u, tj. pokud pro kaˇzd´ y rostouc´ı ˇretˇezec podmodul˚ u modulu M M1 ⊆ M2 ⊆ M3 ⊆ M4 ⊆ . . . existuje m ∈ N tak, ˇze pro vˇsechna n ≥ m plat´ı, Mn = Mm . Okruh R nazveme noetherovsk´ y, pokud je noetherovsk´ y jako lev´ y R-modul, tj. neexistuje nekoneˇcn´ y rostouc´ı ˇretˇezec jeho lev´ ych ide´al˚ u.
Vˇ eta 3.2. Bud’ R okruh, M lev´y R-modul. Pak n´asleduj´ıc´ı podm´ınky jsou ekvivalentn´ı: 1. M je noetherovsk´y modul, 2. kaˇzd´a nepr´azdn´a mnoˇzina podmodul˚ u modulu M obsahuje maxim´aln´ı prvek vzhledem k inkluzi,
19
3. kaˇzd´y podmodul modulu M je koneˇcnˇe generovan´y. D˚ ukaz. 1 ⇒ 2. Bud’ M noetherovsk´ y modul, S nepr´azdn´a mnoˇzina jeho podmodul˚ u a pˇredpokl´adejme, ˇze tato mnoˇzina nem´a maxim´aln´ı prvek. Necht’ M1 ∈ S. Potom ale mus´ı existovat M2 ∈ S tak, ˇze M1 ⊂ M2 (jinak by M1 byl maxim´aln´ı prvek). Ale M2 tak´e nen´ı z pˇredpokladu maxim´aln´ı prvek, tud´ıˇz mus´ı existovat M3 ∈ S tak, ˇze M1 ⊂ M2 ⊂ M3 . Takto bychom ale mohli zkonstruovat nekoneˇcnou rostouc´ı posloupnost podmodul˚ u M , coˇz je spor s t´ım, ˇze M je noetherovsk´ y. Tedy S mus´ı obsahovat maxim´aln´ı prvek. 2 ⇒ 3. Nyn´ı necht’ kaˇzd´a nepr´azdn´a mnoˇzina podmodul˚ u modulu M obsahuje maxim´aln´ı prvek. Bud’ N libovoln´ y podmodul modulu M a S mnoˇzina vˇsech koneˇcnˇe generovan´ ych podmodul˚ u modulu N . Jistˇe S nen´ı pr´azdn´a, protoˇze v n´ı vˇzdy leˇz´ı prvek {0} . Necht’ N 0 ∈ S je maxim´aln´ı prvek t´eto mnoˇziny (kter´ y z pˇredpokladu existuje). Dok´aˇzeme, ˇze pak N 0 = N . ˜ = h{x} ∪ N 0 i ⊃ N 0 . Necht’ tedy N 0 ⊂ N . Pak existuje x ∈ N tak, ˇze x ∈ / N 0 . Oznaˇcme N ˜ je koneˇcnˇe generovan´ ˜ ∈ S. To je ale spor s maxiAle N y podmodul modulu N , tud´ıˇz N 0 0 malitou N . Proto N = N a N je koneˇcnˇe generovan´ y. Jelikoˇz jsme N volili libovolnˇe, tak kaˇzd´ y podmodul modulu M je koneˇcnˇe generovan´ y. ’ 3 ⇒ 1. Necht kaˇzd´ y podmodul modulu M je koneˇcnˇe generovan´ y. Uvaˇzujme nekoneˇcn´ y neklesaj´ıc´ı ˇretˇezec podmodul˚ uM M1 ⊆ M2 ⊆ M3 ⊆ . . . S∞
y Bud’ N = i=1 Mi . Toto je ale podmodul modulu M , a proto je koneˇcnˇe generovan´ a existuje mnoˇzina jeho gener´ator˚ u {a1 , . . . , an }. Bud’ ki nejmenˇs´ı index tak, ˇze ai ∈ Mki a k = max(ki |i = 1, . . . n). Pak a1 , . . . , an ∈ Mk , proto N ⊆ Mk ⊆ Ml ⊆ N pro libovoln´e l ≥ k. Tedy M je noetherovsk´ y modul. Pozn´ amka 3.3. Tento v´ ysledek koresponduje s faktem, ˇze okruh hlavn´ıch ide´al˚ u je noetherovsk´ y. V minul´e kapitole jsme pouˇz´ıvali pojmy torzn´ıho podmodulu a anihil´atoru. Nyn´ı jeˇstˇe zavedeme pojem pro anihil´ator modulu. Definice 3.4. Anihil´atorem R-modulu M rozum´ıme mnoˇzinu vˇsech r ∈ R splˇ nuj´ıc´ıch pro vˇsechna m ∈ M podm´ınku rm = 0. Znaˇc´ıme jej ann(M ). Tedy ann(M ) = {r ∈ R| rm = 0 pro vˇsechna m ∈ M } . Pozn´ amka 3.5. Anihil´ator modulu M tvoˇr´ı ide´al okruhu R, protoˇze 0 ∈ ann(M ), pro libovoln´e r, s ∈ ann(M ) a libovoln´ y prvek m ∈ M plat´ı (r + s)m = rm + sm = 0 a 0 = (r − r)m = rm + (−r)m = (−r)m, proto (r + s), (−r) ∈ ann(M ) a nakonec 20
pro r ∈ R, s ∈ ann(M ) plat´ı (rs)m = r(sm) = r0 = 0 a (sr)m = s(rm), rm ∈ M , proto s(rm) = 0. Pokud je N podmodul modulu M , plat´ı, ˇze ann(N ) ⊇ ann(M ). Zvl´aˇstˇe pak pro pˇr´ıpad, kdy je R okruh hlavn´ıch id´al˚ u, plat´ı, ˇze ann(N ) = (a) ⊇ ann(M ) = (b), a proto a|b. Vˇ eta 3.6. Bud’ R okruh hlavn´ıch ide´al˚ u, M voln´y R-modul koneˇcn´eho ranku m a N podmodul modulu M . Pak 1. N je voln´y R-modul ranku n, n ≤ m. 2. Existuje b´aze y1 , . . . , ym modulu M a nenulov´a a1 , . . . , an ∈ R tak, ˇze (a) a1 y1 , . . . , an yn tvoˇr´ı b´azi modulu N a (b) a1 |a2 | . . . |an . D˚ ukaz. Nejdˇr´ıve dok´aˇzeme, ˇze pokud je M voln´ y modul ranku m nad okruhem hlavn´ıch ide´al˚ u, pak libovoln´ y jeho podmodul N je voln´ y ranku n ≤ m. Budeme to dokazovat indukc´ı v˚ uˇci ranku modulu M . Bud’ m = 0. Pak tvrzen´ı trivi´alnˇe plat´ı. Nyn´ı pˇredpokl´adejme, ˇze tvrzen´ı plat´ı pro vˇsechny voln´e moduly ranku nepˇrevyˇsuj´ıc´ıho m. Bud’ M voln´ y modul ’ ranku m + 1. Bud x1 , . . . , xm+1 b´aze M a f : M → R homomorfismus dan´ y pˇredpisem f (x1 ) = 1, f (xi ) = 0 pro i ≥ 2. J´adro tohoto homomorfismu Ker(f ) = {
m+1 X
ri xi |ri ∈ R, r1 = 0} = Rx2 ⊕ · · · ⊕ Rxm+1
i=1
je voln´ y modul ranku m. Bud’ nyn´ı g : N → R, g = f |N homomorfismus vznikl´ y z´ uˇzen´ım f na N . V´ıme, ˇze Ker(g) = N ∩ Ker(f ), tedy je podmodulem modulu Ker(N ). Na ten se ale vztahuje indukˇcn´ı pˇredpoklad a tak Ker(g) je voln´ y modul ranku k ≤ m a existuje nˇejak´a jeho b´aze B = {u1 , . . . , uk }. Nyn´ı mohou nastat dvˇe situace. Bud’ N = Ker(g), pak jsme hotovi, N je voln´ y modul ranku k ≤ m ≤ m + 1 s b´az´ı B = {u1 , . . . , uk }. Nebo N 6= Ker(g) a pak {0} = 6 Im(g) ⊆ R. Pak Im(g) = (a), a ∈ R, a 6= 0, coˇz je voln´ y modul ranku 1, protoˇze m´a b´azi {a}. Jistˇe existuje u ∈ N tak, ˇze g(u) = a. Dok´aˇzeme, ˇze {u}∪B je b´aze podmodulu N , tzn. generuje modul N a je line´arnˇe nez´avisl´a. Ukaˇzme, ˇzP e prvky u, u1 , . . . , uk jsou line´arnˇe nez´avisl´e. P Necht’ existuj´ı r, r1 , . . . , rn ∈ R tak, ˇze ru + ki=1 ri ui = 0. Pak ale 0 = g(0) = g(ru) + g( ki=1 ri ui ) = g(ru) = ra. To je nula jen tehdy, kdyˇz r = 0 (protoˇze R je obor integrity). Zb´ yvaj´ıc´ı prvky u1 , . . . , uk tvoˇr´ı b´azi, takˇze pokud r = 0, mus´ı b´ yt i vˇsechny ri = 0, 1 ≤ i ≤ k. Prvky u, u1 , . . . , uk jsou tedy line´arnˇe nez´avisl´e. Necht’ P x ∈ N je libovoln´ y. Uk´aˇzeme, ˇze existuj´ı prvky r, r1 , . . . , rk ∈ R takov´e, ˇze k x = ru + i=1 ri ui Vezmˇeme homomorfismus R-modul˚ u h : (a) → N , urˇcen´ y pˇredpisem h(a) = u. Pak g ◦ h = id(a) . Protoˇze g(x − h(g(x))) = g(x) − g(h(g(x))) = g(x) − g(x) = 0, je prvek x − h(g(x)) P ∈ Ker(g). Ale Ker(g) je generov´an prvky u1 , . . . uk , proto existuj´ı r1 , . . . , rk ∈ R tak, ˇze ki=1 ri ui = x − h(g(x)). D´ale h(g(x)) ∈ Im(h). Protoˇze Im(g) = (a) 21
je generov´an prvkem a, mus´ı b´ yt Im(h) generov´an prvkem h(a) = u, tedy mus´ı existovat P r ∈ R tak, ˇze h(g(x)) = ru. Dost´av´ame tedy, ˇze x = ki=1 ri ui + ru. Modul N je tedy voln´ y ranku k + 1 ≤ m + 1, protoˇze prvky u, u1 , . . . , uk tvoˇr´ı jeho b´azi. Nyn´ı budeme dokazovat druhou ˇca´st tvrzen´ı. Budeme opˇet pouˇz´ıvat d˚ ukaz indukc´ı v˚ uˇci ranku m modulu M . Pro m = 0 je M = N = {0} a tvrzen´ı zˇrejmˇe plat´ı. Nyn´ı pˇredpokl´adejme, ˇze M je modul ranku m > 0 a tvrzen´ı plat´ı pro vˇsechny moduly ranku menˇs´ıho neˇz m. Pokud je N = {0} je cel´a situace nezaj´ımav´a, a proto jeˇstˇe pˇredpokl´adejme, ˇze N 6= 0. Okruh R je tak´e R-modul. Oznaˇc´ıme Hom(M, R) = {ϕ|ϕ : M → R} mnoˇzinu vˇsech R-modulov´ ych homomorfism˚ u M do R. Jelikoˇz N je podmodul modulu M , je ϕ(N ) podmodulem modulu R pro libovoln´e ϕ ∈ Hom(M, R), coˇz znamen´a, ˇze je hlavn´ım ide´alem okruhu R (protoˇze R je okruh hlavn´ıch ide´al˚ u). Zavedeme mnoˇzinu T = {ϕ(N )|ϕ ∈ Hom(M, R)}. Jistˇe T nen´ı pr´azdn´a mnoˇzina, protoˇze do n´ı patˇr´ı prvek {0}, kter´ y je obrazem nulov´eho homomorfismu. Jelikoˇz je R noetherovsk´ y, jak jsme si uvedli v´ yˇse, mus´ı tato mnoˇzina m´ıt nˇejak´ y maxim´aln´ı prvek (a1 ). Je potˇreba dok´azat, ˇze a1 je nenulov´e, abychom mohli v´est dalˇs´ı u ´vahy. Pokud ale vezmeme nˇejakou b´azi x1 , . . . , xm modulu M a jako homomorfismus z M do R projekci na i-tou sloˇzku, z nenulovosti podmodulu N plyne, ˇze pro nˇekterou projekci mus´ı b´ yt obraz nenulov´ y. Protoˇze je (a1 ) maxim´aln´ı prvek, nem˚ uˇze b´ yt nulov´e. Zvolme pevnˇe nˇejak´ y homomorfismus ϕ1 , pro kter´ y ϕ1 (N ) = (a1 ) a u vzor a1 vzhledem k homomorfismu ϕ1 (tzn. ϕ1 (u) = a1 ). Dok´aˇzeme, ˇze a1 dˇel´ı vˇsechny obrazy u v jin´ ych homomorfismech. Vezmˇeme ϕ libovoln´ y homomorfismus z Hom(M, R) a ide´al (d) = (a1 , ϕ(u)). Plat´ı, ˇze d = r1 a1 + r2 ϕ(u) pro nˇejak´a r1 , r2 ∈ R. Pokud vezmeme homomorfismus ψ : M → R, ψ = r1 ϕ1 + r2 ϕ, dost´av´ame, ˇze ψ(u) = r1 a1 + r2 ϕ(u) = d. Toto n´am ale d´av´a, ˇze (a1 ) ⊆ (d) ⊆ ψ(N ). Jelikoˇz je (a1 ) maxim´aln´ı prvek, mus´ı b´ yt (a1 ) = (d) = ψ(N ), tedy a1 |d, a proto a1 dˇel´ı i ϕ(u). M´ame tedy dok´az´ano, ˇze a1 dˇel´ı ϕ(u) pro libovoln´e ϕ ∈ Hom(M, R). Jistˇe tedy dˇel´ı i obrazy u ve vˇsech projekc´ıch πi na i-tou sloˇzku souˇradnic (vzhledem k b´azi x1 , . . . , xm ), Pm takˇze πi (u) = a1 bi , bi ∈ R pro i = 1, . . . , m. Oznaˇcme y1 = i=1 bi xi . V n´asleduj´ıc´ı ˇc´asti budeme dokazovat, ˇze y1 bude prvkem b´aze novan´e vePvˇetˇe a tak je na m´ıstˇe uv´est o nˇem Pzmiˇ m nˇekolik poznatk˚ u. Napˇr´ıklad, ˇze a1 y1 = i=1 a1 bi xi = m ze ϕ1 (y1 ) = 1, i=1 πi (u)xi = u a ˇ protoˇze a1 6= 0 a souˇcasnˇe a1 = ϕ1 (u) = ϕ1 (a1 y1 ) = a1 ϕ1 (y1 ). Dok´aˇzeme nyn´ı, ˇze M = Ry1 ⊕ Ker(ϕ1 ). Bud’ x ∈ M libovoln´ y prvek. Potom x = ϕ1 (x)y1 + (x − ϕ1 (x)y1 ), kde ϕ1 (x)y1 ∈ Ry1 a ϕ1 (x − ϕ1 (x)y1 ) = ϕ1 (x) − ϕ1 (x)ϕ1 (y1 ) = ϕ1 (x) − ϕ1 (x) = 0, takˇze x − ϕ1 (x)y1 ∈ Ker(ϕ1 ). Staˇc´ı dok´azat, ˇze tento souˇcet je direktn´ı. Pokud by ale nˇejak´e ry1 bylo v Ker(ϕ1 ), tak 0 = ϕ1 (ry1 ) = rϕ1 (y1 ) = r, tedy je nulov´e a souˇcet je direktn´ı. Stejnˇe tak lze dok´azat, ˇze N = Ra1 y1 ⊕ (N ∩ Ker(ϕ1 )). Bud’ x ∈ N libovoln´e. Z definice hlavn´ıch ide´al˚ u vypl´ yv´a, ˇze a1 dˇel´ı ϕ1 (x), tedy ϕ1 (x) = a1 b, b ∈ R. Rozloˇz´ıme x podobnˇe jako v pˇredchoz´ım pˇr´ıpadˇe; x = ϕ1 (x)y1 + (x − ϕ1 (x)y1 ) = a1 by1 + (x − a1 by1 ), 22
prvn´ı sˇc´ıtanec je z a1 Ry1 , druh´ y z Ker(ϕ1 ) a z´aroveˇ n z N (protoˇze a1 y1 = u ∈ N ). Direktnost souˇctu vypl´ yv´a z direktnosti souˇctu Ry1 ⊕ Ker(ϕ1 ). Modul Ker(ϕ1 ) je ale voln´ y ranku m − 1 a splˇ nuje tak spolu s podmodulem Ker(ϕ1 ) ∩ N indukˇcn´ı pˇredpoklad a tak lze naj´ıt jeho b´azi y2 , . . . , ym a prvky a2 , . . . , an ∈ R, a2 | . . . |an tak, ˇze a2 y2 , . . . , an yn jsou b´az´ı N ∩ Ker(ϕ1 ). Souˇcet Ry1 ⊕ Ker(ϕ1 ) je direktn´ı, a proto y1 , . . . , ym tvoˇr´ı b´azi M a stejnˇe tak a1 y1 , . . . , an yn tvoˇr´ı b´azi N . Staˇc´ı tedy dok´azat, ˇze a1 |a2 . Definujme homomorfismus ϕ : M → R, ϕ(y1 ) = ϕ(y2 ) = 1, ϕ(yi ) = 0 pro 3 ≤ i ≤ m. Obraz ϕ(a1 y1 ) = a1 z ˇcehoˇz vypl´ yv´a, ˇze (a1 ) ⊆ ϕ(N ). Protoˇze jsme volili (a1 ) maxim´aln´ı, je (a1 ) = ϕ(N ). Protoˇze obraz prvku a2 y2 je t´eˇz v ϕ(N ), mus´ı ho a1 dˇelit. Ale ϕ(a2 y2 ) = a2 , proto a1 |a2 .
Vˇ eta 3.7. (Rozklad - invariantn´ı faktory) Bud’ R okruh hlavn´ıch ide´al˚ u a M koneˇcnˇe generovan´y R-modul. Pak 1. M je izomorfn´ı direktn´ımu souˇctu koneˇcnˇe mnoha cyklick´ych modul˚ u: M∼ = Rr ⊕ R/(a1 ) ⊕ · · · ⊕ R/(am ) pro nˇejak´e r ∈ N0 a nenulov´a a1 , . . . , am ∈ R, kter´a nejsou jednotkami a kter´a splˇ nuj´ı, ˇze a1 |a2 | . . . |am , 2. M je bez torze, pr´avˇe kdyˇz M je voln´y, 3. Tor(M ) ∼ = R/(a1 ) ⊕ · · · ⊕ R/(am ). Modul M je torzn´ı, pr´avˇe kdyˇz r v pˇredchoz´ım vyj´adˇren´ı je nulov´e; pak plat´ı ann(M ) = (am ). D˚ ukaz. Modul M je koneˇcnˇe generov´an. Oznaˇcme x1 , . . . , xn prvky generuj´ıc´ı mnoˇziny o nejmenˇs´ı kardinalitˇe. Bud’ Rn voln´ y modul ranku n s b´az´ı b1 , . . . , bn a f homomorfismus n R-modul˚ u R → M , f (bi ) = xi pro i = 1, . . . , n. Homomorfismus f je jistˇe surjektivn´ı, protoˇze x1 , . . . , xn generuj´ı M . Prvn´ı vˇeta o izomorfismu n´am d´av´a izomorfismus R-modul˚ u n n ∼ R / Ker(f ) = M . Pˇritom Ker(f ) je podmodulem R , a podle pˇredchoz´ı vˇety existuje b´aze y1 , . . . , yn modulu Rn a a1 , . . . , am ∈ R, a1 | . . . |am tak, ˇze a1 y1 , . . . , am ym je b´aze Ker(f ). Pak plat´ı M ∼ = (Ry1 ⊕ · · · ⊕ Ryn )/(Ra1 y1 ⊕ · · · ⊕ Ram ym ) Prav´a strana je ale poˇra´d jeˇstˇe tˇeˇzko uchopiteln´a a tak najdeme dalˇs´ı ˇsikovn´ y homomorfismus, kter´ y by n´am ji pˇribl´ıˇzil. Bud’ g : Ry1 ⊕ · · · ⊕ Ryn → R/(a1 ) ⊕ · · · ⊕ R/(am ) ⊕ Rn−m dan´ y pˇredpisem g(α1 y1 , . . . , αn yn ) = (α1 + (a1 ), . . . , αm + (am ), αm+1 , . . . , αn ). Zˇrejmˇe j´adrem tohoto homomorfismu jsou pr´avˇe takov´e prvky, kter´e jsou na i-t´e pozici dˇeliteln´e ai pro i = 1, . . . , m, to jest Ker(g) = Ra1 y1 ⊕ · · · ⊕ Ram ym . Proto opˇet podle prvn´ı vˇety o izomorfismu (Ry1 ⊕ · · · ⊕ Ryn )/(Ra1 y1 ⊕ · · · ⊕ Ram ym ) ∼ = R/(a1 ) ⊕ · · · ⊕ R/(am ) ⊕ Rn−m . n−m To n´am d´av´a M ∼ ⊕ R/(a1 ) ⊕ · · · ⊕ R/(am ). Pokud by nˇejak´a ai byly jednotky, pak =R R/(ai ) = 0 a lze je ze z´apisu vylouˇcit. Prvn´ı ˇca´st tvrzen´ı je tedy dok´az´ana. Nyn´ı dok´aˇzeme, ˇze M je bez torze, pr´avˇe kdyˇz je voln´ y. Implikace zprava doleva je zˇrejm´a. Nyn´ı pˇredpokl´adejme, ˇze M nen´ı voln´ y. Pak v rozkladu z pˇredchoz´ıho bodu je 23
alespoˇ n jeden ˇclen ve tvaru R/(a). Jenˇze pak Tor(M ) bude urˇcitˇe obsahovat prvek x, kter´ y m´a vzhledem k rozkladu Rr ⊕ R/(a1 ) ⊕ · · · ⊕ R/(am ) vˇsude nuly, kromˇe pozice pˇrin´aleˇzej´ıc´ı rozkladov´emu ˇciniteli R/(ai ), na kter´e bude nenulov´ y prvek. Pak 0 6= ai ∈ ann(x), a proto x ∈ Tor(M ) a M nen´ı bez torze. Stejnˇe tak je vidˇet, ˇze Tor(M ) obsahuje pr´avˇe prvky, kter´e maj´ı (vzhledem k rozkladu r R ⊕ R/(a1 ) ⊕ · · · ⊕ R/(am )) na prvn´ıch r pozic´ıch nuly a na zb´ yvaj´ıc´ıch m˚ uˇze b´ yt cokoli, protoˇze po vyn´asoben´ı nenulov´ ym prvkem z (am ) bude na pozic´ıch odpov´ıdaj´ıc´ım R/(ai ) prvek z am , tedy i z (ai ) (vzhledem k tomu, ˇze a1 | . . . |am , je (am ) ⊂ · · · ⊂ (a1 )). ˇ ıslo r z pˇredchoz´ıho tvrzen´ı se naz´ Definice 3.8. C´ yv´a voln´ y rank nebo Bettiho ˇc´ıslo modulu M a prvky a1 , . . . , am invariantn´ı faktory M . Protoˇze R je okruh hlavn´ıch ide´al˚ u, je i okruhem s jednoznaˇcn´ ym rozkladem (viz. 1.17), α1 αn tedy libovoln´e a ∈ R lze rozloˇzit na souˇcin up1 · · · pn , kde pi jsou po dvou neasociovan´e ireducibiln´ı prvky, u ∈ R jednotka, pˇriˇcemˇ z ˇcinitel´e jsou urˇceni jednoznaˇcnˇe aˇz na asoQ n αi ∼ ciovanost a poˇ r ad´ ı. Podle 1.15 je R/(a) = i=1 R/(pi ) coby okruhy skrze izomorfismus Q n f : R/(a) ∼ = i=1 R/(pαi i ), f (r + (a)) = (r + (pα1 1 ), . . . , r + (pαnn )), protoˇze pi , pj jsou neasoα u ciovan´e prvky pro i 6= j, a proto (pαi i , pj j ) = R pro i 6= j. Tento izomorfismus okruh˚ je i izomorfismus R-modul˚ u. Protoˇ cn´ y souˇcin R-modul˚ u je izomorfn´ı koneˇcn´emu `n ze koneˇ αi ∼ souˇctu, dost´av´ame, ˇze R/(a) = i=1 R/(pi ). Toto n´am d´av´a jin´ y zp˚ usob rozkladu modulu M . Vˇ eta 3.9. (Rozklad - element´arn´ı dˇelitel´e) Bud’ R okruh hlavn´ıch ide´al˚ u, M koneˇcnˇe generovan´y R-modul. Pak M je souˇctem koneˇcnˇe mnoha cyklick´ych R-modul˚ u, jejichˇz anihil´ator je bud’ {0} nebo ide´al generovan´y mocninou ireducibiln´ıho prvku s pˇrirozen´ym exponentem: M∼ = Rr ⊕ R/(pα1 1 ) ⊕ · · · ⊕ R/(pαmm ) kde r ∈ N0 , p1 , . . . , pm ireducibiln´ı prvky (ne nutnˇe rozd´ıln´e) a α1 , . . . , αm ∈ N. D˚ ukaz. D˚ ukaz plyne z pˇredch´azej´ıc´ıch u ´vah a vˇety o rozkladu na invariantn´ı faktory.
Definice 3.10. Bud’ R okruh hlavn´ıch ide´al˚ u a M koneˇcnˇe generovan´ y R-modul. Pak α1 αm p1 , . . . , pm v rozkladu z pˇredchoz´ıho tvrzen´ı naz´ yv´ame element´arn´ı dˇelitel´e M .
Lemma 3.11. Bud’ R okruh hlavn´ıch ide´al˚ u a p ∈ R ireducibiln´ı prvek. Oznaˇcme F tˇeleso R/(p). Potom 1. pokud M ∼ = Rr , pak M/pM ∼ = F r, 24
2. pokud M ∼ = R/(a), kde a 6= 0, pak M/pM ∼ = F pokud p|a v R, 0 jinak, 3. pokud M ∼ = R/(a1 ) ⊕ · · · ⊕ R/(am ), kde vˇsechna a1 , . . . , am jsou dˇeliteln´e p, pak M/pM ∼ = F m. D˚ ukaz. Uvaˇzujme pˇrirozenou projekci p : Rr → (R/(p))r , p(a1 , . . . , ar ) = (a1 + (p), . . . , ar + (p)). J´adro t´eto projekce obsahuje pr´avˇe ty r-tice, kter´e jsou na vˇsech pozic´ıch dˇeliteln´a p, tj. pRr . Z prvn´ı vˇety o izomorfismu dost´av´ame, ˇze Rr /pRr ∼ = (R/(p))r , tj. M/pM ∼ = F r. Podmodul p(R/(a)) je obrazem ide´alu (p) vzhledem k pˇrirozen´e projekci R na R/(a). Tedy p(R/(a)) = ((p) + (a))/(a). Ide´al (p) + (a) je generovan´ y nejvˇetˇs´ım spoleˇcn´ ym dˇelitelem (a, p), tedy je roven (p), pokud p|a nebo R, pokud jsou nesoudˇeln´a. Potom (R/(a))/(p(R/(a))) = (R/(a))/((p)/(a)) ∼ = R/(p), pokud p|a. V opaˇcn´em pˇr´ıpadˇe, kdy p nedˇel´ı a je (R/(a))/(p(R/(a))) = (R/(a))/(R/(a)) ∼ = 0. Uvaˇzujme zobrazen´ı g : R/(a1 ) ⊕ · · · ⊕ R/(am ) → (R/(p))m , kter´e je dan´e pˇredpisem g(x1 + (a1 ), . . . , xm + (am )) = (x1 + (p), . . . , xm + (p)). Jelikoˇz p|ai pro 1 ≤ i ≤ m, je toto zobrazen´ı definov´ano korektnˇe a zad´av´a n´am surjektivn´ı homomorfismus, jehoˇz j´adro Ker(g) obsahuje vˇsechny prvky, kter´e jsou dˇeliteln´e p, tj. Ker(g) = p(R/(a1 )⊕· · ·⊕R/(am )). Podle prvn´ı vˇety o izomorfismu dost´av´ame M/pM ∼ = F m.
Vˇ eta 3.12. Bud’ R okruh hlavn´ıch ide´al˚ u. 1. Dva koneˇcnˇe generovan´e R-moduly M, N jsou izomorfn´ı, pr´avˇe kdyˇz maj´ı stejn´y voln´y rank a (po pˇr´ıpadn´em vyn´asoben´ı vhodn´ymi jednotkami) stejn´y seznam invariantn´ıch faktor˚ u. 2. Dva koneˇcnˇe generovan´e R-moduly M, N jsou izomorfn´ı, pr´avˇe kdyˇz maj´ı stejn´y voln´y rank a (po pˇr´ıpadn´em vyn´asoben´ı vhodn´ymi jednotkami) stejn´y seznam element´arn´ıch dˇelitel˚ u. D˚ ukaz. Pokud maj´ı dva moduly stejn´ y voln´ y rank a stejn´ y seznam invariantn´ıch faktor˚ u nebo element´arn´ıch dˇelitel˚ u, jsou jistˇe izomorfn´ı. Nyn´ı pˇredpokl´adejme, ˇze moduly M, N jsou izomorfn´ı. Jistˇe tedy budou izomorfn´ı i jejich torzn´ı moduly, Tor(M ) ∼ = Tor(N ) a bude platit M/ Tor(M ) ∼ = N/ Tor(N ). V´ıme, r1 r2 ∼ ∼ ˇze M/ Tor(M ) = R , N/ Tor(N ) = R , kde r1 , resp. r2 je voln´ y rank modulu M , resp. N . Bud’ p nenulov´ y ireducibiln´ı prvek v R. Pak Rr1 /(p) ∼ = Rr2 /(p). Z pˇredchoz´ıho tvrzen´ı v´ıme, ˇze Rr1 /(p) ∼ = F r1 . Tedy F r1 ∼ = F r2 . Jelikoˇz F je tˇeleso, jde o izomorfismus dvou vektorov´ ych prostor˚ u a tedy r1 = r2 . Pokud by se stalo, ˇze R ˇza´dn´ y ireducibiln´ı prvek nem´a, je R tˇeleso a vˇeta zˇrejmˇe plat´ı. Zb´ yv´a dok´azat, ˇze oba moduly maj´ı stejn´ y seznam invariantn´ıch faktor˚ u a element´arn´ıch dˇelitel˚ u (aˇz na n´asoben´ı jednotkou). Pro jednoduchost pˇredpokl´adejme, ˇze pokud jsou dva 25
element´arn´ı dˇelitel´e asociovan´ı, pak jsou stejn´ı, protoˇze toto m˚ uˇzeme zaˇr´ıdit vyn´asoben´ım element´arn´ıch dˇelitel˚ u vhodn´ ymi jednotkami. Protoˇze Tor(M ) ∼ = Tor(N ) a invariantn´ı faktory maj´ı moduly M a Tor(M ) stejn´e, m˚ uˇzeme pro pˇrehlednost uvaˇzovat, ˇze oba moduly M, N jsou torzn´ı. Abychom dok´azali, ˇze oba moduly maj´ı stejn´e elemet´arn´ı dˇelitele, staˇc´ı dok´azat, ˇze pro libovoln´ y p jsou element´arn´ı dˇelitel´e, kter´e jsou mocniny p, stejn´e pro oba moduly. Zamˇeˇr´ıme se pˇredevˇs´ım na jejich podmoduly M(p) ⊆ M a N(p) ⊆ N (viz. 2.5). Jelikoˇz jsou M, N izomorfn´ı, budou i tyto jejich podmoduly izomorfn´ı. Podmodul M(p) je roven souˇctu pr´avˇe tˇech cyklick´ ych faktor˚ u, jejichˇz element´arn´ı dˇelitel´e jsou mocniny p. Necht’ pα1 , . . . , pαm , pαm+1 . . . , pαs , α1 = · · · = αm = 1 < αm+1 ≤ · · · ≤ αs jsou vˇsichni element´arn´ı dˇelitel´e modulu M , kter´e jsou mocninou p. Anihil´ator M(p) bude roven (pαs ). Stejnˇe tak N(p) m´a element´arn´ı dˇelitele pβ1 , . . . , pβn , pβn+1 . . . , pβt , β1 = · · · = βn = 1 < βn+1 ≤ · · · ≤ βt , ann(N(p) ) = (pβt ). Nyn´ı dok´aˇzeme indukc´ı vzhledem k mocninˇe p generuj´ıc´ı anihil´ator, ˇze seznamy element´arn´ıch dˇelitel˚ u obou modul˚ u jsou stejn´e. Bud’ αs = 0. Pak M(p) = 0 = N(p) (protoˇze jsou izomorfn´ı), nemaj´ı ˇz´adn´e element´arn´ı dˇelitele a tvrzen´ı trivi´alnˇe plat´ı. Pˇredpokl´adejme nyn´ı, ˇze tvrzen´ı plat´ı pro moduly, jejich anihil´ator je generov´an niˇzˇs´ı mocninou p neˇz αs . Podmodul M(p) je koneˇcn´ y souˇcet cyklick´ ych modul˚ u. Oznaˇcme gener´atory tˇechto modul˚ u x1 , . . . , xs , x1 , . . . , xs ∈ M(p) . Jejich anihil´atory jsou po ˇradˇe (pα1 ), . . . , (pαs ). Potom modul pM(p) je generov´an prvky px1 , . . . , pxs a jejich anihil´atory jsou (pα1 −1 ), . . . , (pαs −1 ), coˇz je pro 1 ≤ i ≤ m ide´al generovan´ y jedniˇckou. Takˇze element´arn´ı dˇelitel´e modulu pM(p) jsou pαm+1 −1 , . . . , pαs −1 . Stejnˇe tak pro modul N(p) jeho podmodul pN(p) m´a element´arn´ı dˇelitele pβn+1 −1 , . . . , pβt −1 . Jenˇze pM(p) a pN(p) jsou izomorfn´ı moduly, kter´e splˇ nuj´ı indukˇcn´ı pˇredpoklad, a proto plat´ı, ˇze s − m = t − n a αi+m − 1 = βi+n − 1 pro i = 1, . . . , s − m. Potˇrebujeme tedy uˇz jen dok´azat, ˇze t = s. Protoˇze jsou moduly M(p) a N(p) izomorfn´ı, jsou izomorfn´ı i moduly M(p) /pM(p) a N(p) /pN(p) . Jelikoˇz p dˇel´ı vˇsechny element´arn´ı dˇelitele M(p) i N(p) , dost´av´ame podle pˇredchoz´ı vˇety, ˇze (R/(p))s ∼ = (R/(p))t . Ale R/(p) je tˇeleso, a proto se jedn´a o izomorfismus dvou vektorov´ ych prostor˚ u, a proto s = t (z ˇcehoˇz a v´ yˇse zm´ınˇen´eho plyne, ˇze i n = m). T´ımto je d˚ ukaz indukc´ı hotov. Nyn´ı zb´ yv´a dok´azat, ˇze i invariantn´ı faktory jsou stejn´e pro oba moduly M, N . Invariantn´ı faktory M jsou a1 , . . . , an , kde a1 | . . . |an . Z tohoto rozkladu ale m˚ uˇzeme snadno z´ıskat rozklad s element´arn´ımi dˇeliteli stejn´ ym postupem, jak jsme tento tvar odvozovali. Jelikoˇz jsou M a N izomorfn´ı, maj´ı stejn´e element´arn´ı dˇelitele. Ze znalosti seznamu element´arn´ıch dˇelitel˚ u vˇsak m˚ uˇzeme seznam invariantn´ıch faktor˚ u zpˇetnˇe urˇcit, protoˇze dˇelitelnost a1 | . . . |an nutnˇe znamen´a, ˇze an mus´ı b´ yt souˇcinem tˇech element´arn´ıch dˇelitel˚ u, kter´e jsou nejvyˇsˇs´ımi mocninami (pro kaˇzd´ y ireducibiln´ı prvek), an−1 druh´ ych nejvyˇsˇs´ıch mocnin atd. Pro invariantn´ı faktory modulu N plat´ı to stejn´e. Ze shodnosti element´arn´ıch 26
dˇelitel˚ u, kterou jsme dok´azali v pˇredchoz´ım odstavci, tedy plyne, ˇze i invariantn´ı faktory dvou izomorfn´ıch modul˚ u mus´ı b´ yt stejn´e. D˚ usledek 3.13. Necht’ G je koneˇcn´a komutativn´ı grupa. Pak G je izomorfn´ı s vhodn´ym souˇcinem cyklick´ych p-grup a tento souˇcin je grupou G urˇcen jednoznaˇcnˇe aˇz na poˇrad´ı ˇcinitel˚ u. D˚ ukaz. Kaˇzdou komutativn´ı grupu G m˚ uˇzeme uvaˇzovat jako Z-modul. Okruh Z je okruh hlavn´ıch ide´al˚ u, a proto se na nˇej vztahuje vˇeta o rozkladu na element´arn´ı dˇelitele, podle kter´e existuje rozklad na souˇcet koneˇcnˇe mnoha cyklick´ ych Z-modul˚ u (takˇze cyklick´ ych ’ komutativn´ıch grup), jejichˇz anihil´ator je bud {0} nebo ide´al generovan´ y nez´apornou mocninou ireducibiln´ıho prvku (v Z prvoˇc´ısla). Fakt, ˇze anihil´ator komutativn´ı cyklick´e grupy mocnina prvoˇc´ısla, neznamen´a nic jin´eho, neˇz ˇze se jedn´a o p-grupu. Koneˇcn´ y souˇcet je izomorfn´ı koneˇcn´emu souˇcinu a t´ım je tvrzen´ı dok´az´ano.
27
Kapitola 4 Racion´ aln´ı kanonick´ y tvar V t´eto kapitole bude pˇredvedena jedna z aplikac´ı tvrzen´ı o rozkladu koneˇcnˇe generovan´eho modulu nad okruhem hlavn´ıch ide´al˚ u. Dalˇs´ı jsou uvedeny napˇr. v [1] nebo [4], nicm´enˇe do t´eto pr´ace se uˇz nevejdou. Mˇejme vektorov´ y prostor koneˇcn´e dimenze nad tˇelesem F a jednu jeho pevnˇe danou line´arn´ı trasformaci T . Uvaˇzujme ho jako F [x]-modul, kde prvek f ∈ F [x] p˚ usob´ı na prvek vektorov´eho prostoru v jako line´arn´ı trasformace, kter´a vznikne po dosazen´ı transformace T do polynomu f . Vektorov´ y prostor koneˇcn´e dimenze je koneˇcnˇe generovan´ y a existuje tedy jeho rozklad podle pˇredchoz´ı kapitoly V ∼ = F [x]r ⊕ F [x]/(f1 ) ⊕ · · · ⊕ F [x]/(fn ) kde r ∈ N0 , f1 , . . . , fn ∈ F [x], f1 | . . . |fn . Je dobr´e si povˇsimnout, ˇze F [x] samo o sobˇe je nekoneˇcnˇe dimenzion´aln´ı vektorov´ y prostor nad tˇelesem F , zat´ımco V je koneˇcnˇe dimenzion´aln´ı. Je tedy nutn´e, aby voln´ y rank r modulu V byl nulov´ y, takˇze V je torzn´ı F [x]-modul. Plat´ı tedy, ˇze V ∼ = F [x]/(f1 ) ⊕ · · · ⊕ F [x]/(fn ) kde f1 , . . . , fn jsou urˇceny jednoznaˇcnˇe aˇz na n´asoben´ı jednotkou. Jestliˇze ale budeme od f1 , . . . , fn poˇzadovat, aby byly normovan´e, dost´av´ame tyto polynomy urˇceny jednoznaˇcnˇe. Nyn´ı si uk´aˇzeme, jak vyuˇz´ıt tˇechto poznatk˚ u k nalezen´ı b´aze, pro n´ıˇz m´a matice line´arn´ı transformace T obzvl´aˇstˇe jednoduch´ y tvar. Zobrazen´ı prvku vektorov´eho prostoru line´arn´ı transformac´ı T se (vzhledem k naˇs´ı definici V jako F [x]-modulu) chov´a jako n´asoben´ı x. Pod´ıvejme se nejdˇr´ıve, co toto n´asoben´ı dˇel´a s prvky F [x]/(f ), pot´e co s cel´ ym souˇctem F [x]/(f1 ) ⊕ · · · ⊕ F [x]/(fn ). k k−1 ’ Bud f = x + ak−1 x + · · · + a1 x + a0 . V´ıme, ˇze 1, x¯, x¯2 , . . . , x¯k−1 tvoˇr´ı b´azi prostoru F [x]/(f ), zde x¯ = x + (f ). N´asoben´ı x n´am d´av´a:
28
1 7→ x¯ x¯ 7→ x¯2 .. . x¯k−1 7→ x¯k = −ak−1 x¯k−1 − · · · − a1 x¯ − a0 Vzhledem k t´eto b´azi m´a tedy 0 1 0 0 . .. 0
matice n´asoben´ı x tvar 0 ... 0 ... 1 ... . 0 .. .. . 0 ...
... ... ... ... ... ...
−a0 −a1 −a2
..
−a3 .. .
. ...
1
−ak−1
Pozn´ amka 4.1. Tato matice je natolik speci´aln´ı, ˇze si zaslouˇzila i vlastn´ı jm´eno. Naz´ yv´ame ji matice pˇridruˇzen´a polynomu f a budeme ji znaˇcit Cf (x) . Pokud pak vezmeme b´aze prostor˚ u F [x]/(f1 ), . . . , F [x]/(fn ) stejnˇe, jako v pˇr´ıpadˇe jen jednoho sˇc´ıtance, a seˇrad´ıme je za sebe, dostaneme b´azi pro celou pravou stranu a v t´eto b´azi, jelikoˇz souˇcet je direktn´ı, bude matice transformace m´ıt tvar C f1 0 . . . . . . 0 0 Cf 0 ... 0 2 .. .. . . .. . . . . 0 ... C fn Cel´a tato matice je urˇcena jednoznaˇcnˇe, protoˇze po jednotliv´ ych fi v rozkladu vyˇzadujeme, aby byly normovan´e. Na z´akladˇe v´ yˇse uveden´ ych u ´vah m˚ uzeme zav´est definici racion´aln´ıho kanonick´eho tvaru matice. Definice 4.2. Matici M naz´ yv´ame matic´ı v racion´aln´ım kanonick´em tvaru, pokud je blokov´a diagon´aln´ı matice a na diagon´ale m´a matice pˇridruˇzen´e normovan´ ym polynom˚ um f1 , . . . , fn stupnˇe aspoˇ n jedna tak, ˇze f1 | . . . |fn . Polynomy f1 , . . . , fn naz´ yv´ame invariantn´ı faktory matice M . Racion´aln´ım kanonick´ ym tvarem ˇctvercov´e matice M naz´ yv´ame matici A, kter´a je v racion´aln´ım kanonick´em tvaru a je podobn´a matici M . Racion´aln´ım kanonick´ ym tvarem line´arn´ı transformace T naz´ yv´ame matici line´arn´ı transformace T , kter´a je v racion´aln´ım kanonick´em tvaru. 29
Vˇ eta 4.3. Necht’ V je vektorov´y prostor nad tˇelesem F a T libovoln´a line´arn´ı transformace. Pak existuje b´aze β vektorov´eho prostoru V tak, ˇze matice line´arn´ı transformace T v˚ uˇci t´eto b´azi je v racion´aln´ım kanonick´em tvaru a ten je jednoznaˇcnˇe urˇcen. D˚ ukaz. Existence plyne z u ´vah uveden´ ych v´ yˇse. Staˇc´ı tedy dok´azat, ˇze v´ yˇse zm´ınˇen´ y postup lze obr´atit a ˇze z b´aze u1 , . . . , un , ve kter´e m´a line´arn´ı transformace T racion´aln´ı kanonick´ y tvar C f1 0 . . . . . . 0 0 Cf 0 ... 0 2 .. .. . . .. . . . . 0 ... C fk jsme schopni odvodit rozklad F [x]-modulu V na invariantn´ı faktory. Necht’ l1 je ˇr´ad submatice Cf1 . Pak prvn´ıch l1 vektor˚ u b´aze generuje podprostor V1 prostoru V , kter´ y je invariantn´ı vzhledem k line´arn´ı transformaci T (invariantn´ı podprostor napˇr. [4], kapitola 11). Necht’ f1 (x) = xl1 + al1 −1 xl1 −1 + · · · + a0 . Pak line´arn´ı transformace T se na vektorech b´aze u1 , . . . , ul1 chov´a n´asledovnˇe: u1 7→ u2 .. . ul1 −1 → 7 ul1 ul1 → 7 −a0 u1 − · · · − al1 −1 ul1 . Jenˇze u ´plnˇe stejnˇe by se chovalo n´asoben´ı x na b´azi 1, x¯, x¯2 , . . . , x¯l1 −1 v F [x]/(f1 ). Lze tedy naj´ıt izomorfismus ϕ1 : V1 → F [x]/(f1 ) urˇcen´ y takto: ϕ1 (u1 ) = 1 ϕ1 (u2 ) = x¯ .. . ϕ1 (ul1 ) = x¯l1 −1 . Podobnˇe m˚ uˇzeme pro kaˇzd´ y dalˇs´ı invariantn´ı podprostor Vi naj´ıt izomorfismus modul˚ u ϕi : Vi → F [x]/(fi ). Souˇcet tˇechto izomorfism˚ u ϕ=
n X
ϕi , ϕ : V → F [x]/(f1 ) ⊕ · · · ⊕ F [x]/(fn )
i=1
je tak´e izomorfismem a proto f1 , . . . , fn jsou invariantn´ı faktory modulu V . Ty jsou ale podle v´ ysledk˚ u pˇredchoz´ı kapitoly d´any jednoznaˇcnˇe (aˇz na asociovanost, ale pokud poˇzadujeme normovanost, je urˇcen´ı jednoznaˇcn´e). Jestliˇze m´a jedna line´arn´ı transformace (vzhledem k nˇejak´ ym dvˇema b´az´ım) matice, kter´e jsou obˇe v racion´aln´ım kanonick´em tvaru, jsou tyto matice stejn´e.
30
Je dobr´e si uvˇedomit, ˇze od racion´aln´ıho kanonick´eho tvaru matice M lze pˇrej´ıt k racion´aln´ımu kanonick´emu tvaru line´arn´ı transformace T a zpˇet, protoˇze kdyˇz u line´arn´ı transformace zafixujeme b´azi, m´a v n´ı line´arn´ı transformace matici A a nalezen´ım jej´ıho racion´aln´ıho kanonick´eho tvaru jsme nalezli i racion´aln´ı kanonick´ y tvar line´arn´ı transformace T . Naopak, kdyˇz zvol´ıme nˇejakou b´azi vektorov´eho prostoru V , m˚ uˇzeme matici M uvaˇzovat jako line´arn´ı transformaci, kter´a m´a v t´eto b´azi matici M , a nalezen´ım racion´aln´ıho kanonick´eho tvaru t´eto transformace nalezneme i racion´aln´ı kanonick´ y tvar matice M . Je tedy jasn´e, ˇze z pˇredchoz´ıho tvrzen´ı plyne nejen existence a jednoznaˇcnost racion´aln´ıho kanonick´eho tvaru line´arn´ı transformace, ale i racion´aln´ıho kanonick´eho tvaru matice. Vˇ eta 4.4. N´asleduj´ıc´ı tˇri tvrzen´ı jsou ekvivalentn´ı: 1. S a T jsou podobn´e line´arn´ı transformace, 2. F [x]-moduly V na nichˇz x p˚ usob´ı jako line´arn´ı transormace T , resp. S, jsou izomorfn´ı, 3. S a T maj´ı stejn´y racion´aln´ı kanonick´y tvar. D˚ ukaz. Oznaˇcme VS , VT F [x]-moduly z´ıskan´e z V po ˇradˇe pomoc´ı line´arn´ıch transformac´ı S a T. 1 ⇒ 2 Pˇredpokl´ad´ame, ˇze S a T jsou podobn´e line´arn´ı transformace, takˇze existuje bijektivn´ı line´arn´ı transformace U : V → V tak, ˇze S = U T U −1 . Dok´aˇzeme, ˇze transformace U zad´av´a tak´e homomorfismus z F [x]-modulu VT do VS . Bud’ u, v ∈ VT . Pak plat´ı U (u + v) = U (u) + U (v), jelikoˇz U je line´arn´ı zobrazen´ı. Staˇc´ı tedy dok´azat, ˇze U (xv) = xU (v). Ale U (xv) = U (T v) = U T (v) = SU (v) = xU (v). Protoˇze U je bijekce, jsou F [x]-moduly VT a VS izomorfn´ı. 2 ⇒ 3 Pˇredpokl´ad´ame, ˇze VT je izomorfn´ı VS . To ale znamen´a, ˇze jejich invariantn´ı faktory jsou stejn´e a tedy i jejich racion´aln´ı kanonick´e tvary. 3 ⇒ 1 Transfor-mace S a T maj´ı z pˇredpokladu stejn´ y racion´aln´ı kanonick´ y tvar, takˇze existuj´ı bijektivn´ı line´arn´ı transformace US , UT : V → V tak, ˇze plat´ı S = US KUS−1 , T = UT KUT−1 . Pak ale S = US UT−1 T UT US−1 = (US UT−1 )T (US UT−1 )−1 . Transformace T a S jsou proto podobn´e. Definice 4.5. Bud’ M ˇctvercov´a matice nad tˇelesem F . Charakteristick´ ym polynomem matice M nazveme determinant z matice xE − M , kde E je jednotkov´a matice. Minim´aln´ım polynomem matice M nazveme normovan´ y polynom f (x) ∈ F [x] nejmenˇs´ıho stupnˇe, pro kter´ y plat´ı f (M ) = 0. Minim´aln´ım polynomem line´arn´ı transformace T nazveme normovan´ y polynom f (x) ∈ F [x] nejmenˇs´ıho stupnˇe, pro kter´ y plat´ı f (T ) je nulov´a line´arn´ı transformace. Z pˇredchoz´ı kapitoly v´ıme, ˇze anihil´ator modulu V ∼ = F [x]/(f1 )⊕· · ·⊕F [x]/(fn ) je ide´al generovan´ y nejvˇetˇs´ım z invariantn´ıch faktor˚ u, v naˇsem pˇr´ıpadˇe (fn ). Z toho ale vypl´ yv´a, 31
ˇze fn v = 0 pro vˇsechna v ∈ V . Jenˇze n´asoben´ı prvku v ∈ V polynomem jsme definovali jako obraz tohoto prvku v line´arn´ı transformaci vznikl´e dosazen´ım pevnˇe zvolen´e line´arn´ı transformace T do polynomu fn . Takˇze fn (T )(v) = 0 pro vˇsechna v ∈ V . Pozn´ amka 4.6. Minim´aln´ı polynom line´arn´ı transformace T je normovan´ y polynom asociovan´ y s nejvˇetˇs´ım invariantn´ım faktorem V . Vˇ eta 4.7. Bud’ A a B dvˇe matice nad tˇelesem F a bud’ F podtˇeleso tˇelesa K. Pak plat´ı: 1. racion´aln´ı kanonick´a forma matice A je stejn´a, kdyˇz ji poˇc´ıt´ame nad tˇelesem F i nad tˇelesem K. Minim´aln´ı a charakteristick´e polynomy a invariantn´ı faktory jsou stejn´e, kdyˇz je poˇc´ıt´ame pro matici A nad tˇelesem F i nad tˇelesem K, 2. matice A a B jsou podobn´e nad F pr´avˇe tehdy, kdyˇz jsou podobn´e nad K. D˚ ukaz. 1. Pokud m´a matice racion´aln´ı kanonick´ y tvar nad tˇelesem F , pak tento tvar splˇ nuje definici racion´aln´ıho kanonick´eho tvaru i nad tˇelesem K. Kdyby byl racion´aln´ı kanonick´ y tvar vypoˇcten´ y nad tˇelesem K jin´ y, nastane spor s jednoznaˇcnost´ı, kterou jsme dok´azali v´ yˇse. Racion´aln´ı kanonick´ y tvar mus´ı b´ yt tedy stejn´ y bez ohledu na to, nad kter´ ym tˇelesem je poˇc´ıt´an. Stejn´e tedy mus´ı b´ yt i invariantn´ı faktory, kter´e se od nˇej odv´ıjej´ı. O minim´aln´ım polynomu matice A v´ıme z pozn´amky (4.6), ˇze je roven nejvˇetˇs´ımu invariantn´ımu faktoru, takˇze je t´eˇz stejn´ y. Charakteristick´ y polynom je ’ roven determinantu matice xE − A a ten je tak´e stejn´ y, at ho poˇc´ıt´ame nad tˇelesem F nebo nad tˇelesem K. 2. Pokud jsou matice A, B podobn´e nad tˇelesem F , tak urˇcitˇe budou podobn´e i nad tˇelesem K. Naopak pˇredpokl´adejme, ˇze jsou A, B podobn´e nad tˇelesem K. Z pˇredchoz´ıho tvrzen´ı mus´ı nad t´ımto tˇelesem m´ıt stejn´e racion´aln´ı kanonick´e tvary. V pˇredchoz´ım bodˇe jsme dok´azali, ˇze mus´ı m´ıt stejn´e racion´aln´ı kanonick´e tvary i nad tˇelesem F , takˇze (opˇet podle pˇredchoz´ıho tvrzen´ı) jsou podobn´e i nad F . Vˇ eta 4.8. Bud’ a(x) ∈ F [x] nekonstantn´ı normovan´y polynom, pak charakteristick´y polynom matice pˇridruˇzen´e polynomu a(x) je a(x). D˚ ukaz. Dok´aˇzeme indukc´ı vzhledem ke stupni n polynomu a(x), ˇze plat´ı |xE − Ca(x) | = a(x). Bud’ a(x) stupnˇe 1, a(x) = x + a0 . Pak jeho pˇridruˇzen´a matice je tvaru −a0
.
Charakteristick´ y polynom t´eto matice je determinant z matice x + a0
.
Charakteristick´ y polynom |xE − Ca(x) | = x + a0 = a(x). Tedy pro n = 1 tvrzen´ı plat´ı. 32
Pˇredpokl´adejme nyn´ı, ˇze tvrzen´ı plat´ı pro matice pˇridruˇzen´e polynom˚ um stupnˇe n a menˇs´ıho. Bud’ a(x) stupnˇe n + 1. Pak charakteristick´ y polynom jeho pˇridruˇzen´e matice je determinant z matice x 0 ... ... ... ... a0 −1 x . . . . . . . . . . . . a1 . . 0 −1 . a2 .. .. . . 0 a3 0 . .. .. ... ... .. . . .. .. . . . . . . . . . . . 0 0 . . . . . . . . . −1 x + an Kdyˇz provedeme Laplace˚ uv rozvoj podle prvn´ıho ˇra´dku, dost´av´ame, ˇze |xE − Ca(x) | = x|xE − Ca0 (x) | + (−1)n+2 (a0 )|M |, kde a0 (x) = xn + an xn−1 + · · · + a2 x + a1 a M je matice z´ıskan´a vynech´an´ım prvn´ıho ˇra´dku a posledn´ıho sloupce. Jelikoˇz stupeˇ n polynomu a0 (x) je n, plat´ı pro nˇej indukˇcn´ı pˇredpoklad, 0 |xE − Ca0 (x) | = a (x). Matice M je jistˇe ve troj´ uheln´ıkov´em tvaru a na diagon´ale m´a prvky n −1, takˇze |M | = (−1) . To n´am d´av´a |xE − Ca(x) | = xa0 (x) + (−1)2n+2 a0 = xa0 (x) + a0 = xn+1 + an xn + · · · + a1 x + a0 = a(x), ˇc´ımˇz je d˚ ukaz indukc´ı hotov. Vˇ eta 4.9. Necht’ M je matice typu n × n nad tˇelesem F . Pak: 1. charakteristick´y polynom matice M je souˇcin jej´ıch invariantn´ıch faktor˚ u, 2. minim´aln´ı polynom M je dˇelitelem charakteristick´eho polynomu M , 3. existuje mocnina minim´aln´ıho polynomu M , kter´a je dˇeliteln´a charakteristick´ym polynomem M . Tyto dva polynomy maj´ı nav´ıc stejn´e koˇreny (ale ne jejich n´asobnosti). D˚ ukaz. 1. Bud’ A racion´aln´ı kanonick´ y tvar matice M . Charakteristick´ y polynom blokov´e matice je roven souˇcinu charakteristick´ ych polynom˚ u matic na diagon´ale, coˇz jsou pr´avˇe pˇridruˇzen´e matice invariantn´ıch faktor˚ u matice M f1 , . . . , fn . Tyto jsou ale podle pˇredchoz´ıho tvrzen´ı rovny pr´avˇe invariantn´ um f1 , . . . , fn . ChaQ ım faktor˚ rakteristick´ y polynom matice A je tedy roven ni=1 fi . Tyto poznatky se mohou zd´at ne pˇr´ıliˇs souvisej´ıc´ı, ale pokud dok´aˇzeme, ˇze charakteristick´ y polynom matice M je roven charakteristick´emu polynomu jej´ıho racion´aln´ıho kanonick´eho tvaru, bude d˚ ukaz hotov. V´ıme, ˇze pokud je matice A racion´aln´ı kanonick´ y tvar matice M , existuje −1 regul´arn´ı matice U typu n × n tak, ˇze M = U AU a charakteristick´ y polynom M je roven |xE − M |. Toto n´am d´av´a |xE − M | = |xE − U AU −1 | = |xU U −1 − U AU −1 | = 33
|U (xU −1 − AU −1 )| = |U (xE − A)U −1 | = |U ||xE − A||U −1 |. Determinanty inverzn´ıch matic jsou navz´ajem inverzn´ı prvky z F , takˇze jejich souˇcin je roven jedn´e. Plat´ı tedy, ˇze |xE − M | = |xE − A|. 2. Charakteristick´ y polynom je souˇcinem invariantn´ıch faktor˚ u a minim´aln´ı polynom je nejvˇetˇs´ım z nich, proto ho mus´ı dˇelit. 3. Z pˇredchoz´ı kapitoly v´ıme, ˇze kaˇzd´ y invariantn´ı faktor je dˇelitelem nejvˇetˇs´ıho z nich (kter´ y je minim´aln´ım polynomem), tedy pokud je tˇechto faktor˚ u n, pak jejich souˇcin, kter´ y je roven charakteristick´emu polynomu, dˇel´ı n-tou mocninu minim´aln´ıho polynomu. Vˇ eta 4.10. Necht’ M je n × n matice nad tˇelesem F . Pak lze matici (xE − M ) pˇrev´est pomoc´ı n´asleduj´ıc´ıch element´arn´ıch ˇr´adkov´ych a sloupcov´ych operac´ı: 1. vyn´asoben´ı ˇr´adku (sloupce) nenulov´ym prvkem z F , 2. pˇriˇcten´ı k jin´emu ˇr´adku (sloupci) F [x]-n´asobek jin´eho ˇr´adku (sloupce), 3. v´ymˇena dvou ˇr´adk˚ u (sloupc˚ u), do Smithova norm´aln´ıho tvaru 1 .. . 1 a1 (x) a2 (x) ...
am (x)
tak, ˇze a1 |a2 | . . . |am jsou normovan´e nekonstantn´ı polynomy F [x] a vˇsechny prvky t´eto matice mimo hlavn´ı diagon´aly jsou nulov´e. D˚ ukaz. D˚ ukaz povedeme indukc´ı v˚ uˇci rozmˇer˚ um matice M . Bud’ M matice typu 1 × 1. Pak tvrzen´ı plat´ı. Necht’ tvrzen´ı plat´ı pro libovolnou matici typu (n − 1) × (n − 1). Bud’ M matice typu n × n ve tvaru a11 a12 . . . a1n .. . . a21 . . . .. an1 . . . ann kde aij ∈ F [x]. V´ ymˇenou ˇra´dk˚ u a sloupc˚ u m˚ uˇzeme zajistit, ˇze a11 6= 0 a pro vˇsechna nenulov´a aij , 1 ≤ i, j, ≤ n plat´ı st(a11 ) ≤ st(aij ). 34
Dok´aˇzeme, ˇze jsme schopni pomoc´ı element´arn´ıch ˇr´adkov´ ych a sloupcov´ ych operac´ı doc´ılit toho, aby prvek a11 dˇelil vˇsechny prvky a1j a ai1 . Postup bude n´asleduj´ıc´ı. 1. Zkontrolujeme, jestli a11 tuto vlastnost m´a. Pokud ano, jsme hotovi. Pokud ne, existuje prvek aij v prvn´ım ˇr´adku nebo sloupci, kter´ y nen´ı dˇeliteln´ y a11 . 2. Protoˇze F je tˇeleso, existuj´ı q, r ∈ F [x] tak, ˇze aij = qa11 + r, st(r) < st(a11 ), r 6= 0. Pokud prvek aij leˇz´ı v prvn´ım ˇr´adku, odeˇcteme od j-t´eho sloupce q-n´asobek prvn´ıho sloupce a tyto dva sloupce vymˇen´ıme. Pokud v prvn´ım sloupci, odeˇcteme od i-t´eho ˇra´dku q-n´asobek prvn´ıho ˇr´adku a tyto dva ˇra´dky vymˇen´ıme. Nov´e a11 bude zbytek r z pˇredchoz´ıho dˇelen´ı. 3. Pod´ıv´ame se opˇet, zda a11 dˇel´ı prvek aij . Pokud ano, jdeme na krok (1), pokud ne, zopakujeme krok (2). Je zˇrejm´e, ˇze n´am algoritmus d´av´a matici upravenou jak potˇrebujeme, protoˇze se zastav´ı pouze v pˇr´ıpadˇe, ˇze a11 dˇel´ı vˇsechny prvky v prvn´ım ˇr´adku a sloupci. Zb´ yv´a dok´azat, ˇze tento algoritmus se urˇcitˇe zastav´ı. Ale kaˇzd´e projit´ı bodu (2) n´am sn´ıˇz´ı stupeˇ n a11 alespoˇ n o jedna, tedy, v nejhorˇs´ım pˇr´ıpadˇe, bude po koneˇcn´em poˇctu krok˚ u a11 nenulov´ y konstantn´ı polynom, kter´ y, protoˇze se pohybujeme v okruhu polynom˚ u nad tˇelesem, dˇel´ı libovoln´ y jin´ y polynom, tedy i vˇsechny prvky prvn´ıho ˇra´dku a sloupce. Povˇsimnˇeme si, ˇze proveden´ y postup v bodech (2) a (3) nen´ı nic neˇz Euklid˚ uv algoritmus pro poˇc´ateˇcn´ı prvky a11 a aij a nov´ y prvek a11 , kter´ y je v´ ysledkem tohoto algoritmu, tedy dˇel´ı nejenom prvky a11 a aij , kter´e jsou tam pˇri zastaven´ı algoritmu, ale i ty, kter´e tam byly na zaˇca´tku. Tuto u ´vahu pouˇzijeme jeˇstˇe pozdˇeji v d˚ ukazu. Pˇredpokl´adejme, ˇze tedy a11 m´ame uˇz takov´e, ˇze dˇel´ı vˇsechny prvky v prvn´ım ˇr´adku a sloupci. Pak odeˇcten´ım vhodn´ ych n´asobk˚ u prvn´ıho ˇr´adku (sloupce) m˚ uˇzeme z´ıskat, kromˇe prvku a11 , v prvn´ım sloupci (ˇr´adku) sam´e 0. Matici M lze tedy upravit do tvaru a11 0 . . . 0 0 a22 . . . a2n .. .. .. . . . 0 an2 . . . ann Abychom mohli pouˇz´ıt indukˇcn´ı pˇredpoklad, potˇrebovali bychom dok´azat, ˇze pomoc´ı dalˇs´ıch u ´prav m˚ uˇzeme m´ıt a11 takov´e, ˇze dˇel´ı vˇsechny prvky submatice aij , 2 ≤ i, j ≤ n. Bud’ aij prvek t´eto matice takov´ y, ˇze ho a11 nedˇel´ı. Pak pˇriˇcteme j-t´ y sloupec k prvn´ımu (tento prvek pak bude t´eˇz na pozici a1j ) a v´ yˇse popsan´ ym postupem, v nˇemˇz opˇet vynulujeme prvn´ı sloupec a ˇra´dek, dost´av´ame nov´e a11 , kter´e dˇel´ı aij . Stejnˇe jako pˇri pr˚ uchodu bodu (2) se v´ yˇse uveden´ ym postupem sn´ıˇz´ı stupeˇ n a11 alespoˇ n o jedna, proto mus´ıme v koneˇcn´em poˇctu krok˚ u dostat a11 , kter´e dˇel´ı vˇsechny ostatn´ı prvky matice (protoˇze v nejhorˇs´ım pˇr´ıpadˇe bude a11 po koneˇcn´em poˇctu krok˚ u nenulov´ y konstantn´ı polynom). Nyn´ı uˇz je vˇse pˇripraveno k tomu, abychom mohli pouˇz´ıt indukˇcn´ı pˇredpoklad pro submatici aij , 2 ≤ i, j ≤ n. Jak´ekoli ˇra´dkov´e i sloupcov´e element´arn´ı u ´pravy nijak neovlivn´ı 35
prvn´ı ˇra´dek a sloupec, protoˇze vˇsechny jeho prvky, s vyj´ımkou a11 (kter´ y ovˇsem nem˚ uˇze b´ yt u ´pravami submatice aij , 2 ≤ i, j ≤ n ovlivnˇen), jsou nulov´e. Submatici lze tedy upravit do Smithova norm´aln´ıho tvaru. Jelikoˇz a11 dˇelilo vˇsechny prvky t´eto submatice, dˇel´ı jistˇe i vˇsechny prvky, vznikl´e aplikac´ı element´arn´ıch ˇra´dkov´ ych a sloupcov´ ych operac´ı. Tvrzen´ı je t´ımto dok´az´ano.
Doposud jsme dokazovali existenci tohoto tvaru. Je sice pˇekn´e vˇedˇet, ˇze pro kaˇzdou matici takov´ y tvar existuje, nicm´enˇe mnohem lepˇs´ı by bylo vˇedˇet, jak tento tvar vypad´a. V n´asleduj´ıc´ım textu se proto budeme zab´ yvat pˇrevodem teorie do praxe a postupy, jak tento tvar nal´ezt. Potˇrebovali bychom zjistit, jak vypadaj´ı invariantn´ı faktory rozkladu F [x]/(f1 ) ⊕ · · · ⊕ F [x]/(fn ). Pˇripomeˇ nme si, jak jsme se k invariantn´ım faktor˚ um dostali v d˚ ukazu vˇety o rozkladu na invariatn´ı faktory. Byli jsme schopni je odvodit ze znalosti j´adra surjektivn´ıho homomorfismu z voln´eho modulu Rn do modulu M , kde n je rank modulu M . Zaˇcneme od surjektivn´ıho homomorfismu. Mˇejme vektorov´ y prostor V dimenze n a jeho b´azi u1 , . . . , un , v˚ uˇci kter´e m´a line´arn´ı transformace T matici M = (aij ), 1 ≤ i, j ≤ n a voln´ y F [x]-modul n F [x] a jeho kanonickou b´azi e1 = (1, 0, . . . , 0), . . . , en = (0, . . . , 0, 1). Za surjektivn´ı homomorfismus vezmeme ϕ : F [x]n → V , ϕ(ei ) = ui , pro 1 ≤ i ≤ n. M´ame tedy homomorfismus Pn Je, zˇrejm´e, ˇze do j´adra urˇcitˇe patˇr´ı prvky Pn a zaˇcneme se zaj´ımat o jeho j´adro. fj = − i=1 aij ei + xej , protoˇze ϕ(fj ) = − i=1 aij ui + xuj = −T (uj ) + T (uj ) = 0. Dok´aˇzeme, ˇze j´adro je generov´ano prvky fi , nebo sp´ıˇse, ˇze F [x]n = (F [x]f1 + · · · + F [x]fn ) + (F ei + · · · + F en ), pˇriˇcemˇz libovoln´ y prvek z F [x]f1 + · · · + F [x]fn se zobraz´ı na nulu (coˇz plyne z toho, ˇze gener´atory tohoto modulu leˇz´ı v j´adˇre) a libovoln´ y nenulov´ y prvek z F ei + · · · + F en se na nulu nikdy nezobraz´ı (protoˇze obrazy tˇechto prvk˚ u jsou line´arn´ımi kombinacemi vektor˚ u b´aze, kter´e jsou line´arnˇe nez´avisl´e). Je zˇrejm´e, ˇze F [x]f1 + · · · + F [x]fn ⊆ Ker(ϕ). Budeme se snaˇzit dok´azat opaˇcnou inkluzi. P Kaˇzd´ y prvek F [x]n m˚ uˇzeme vyj´adˇrit jako ni=1 ai (x)ei , coˇz nen´ı nic jin´eho neˇz line´arn´ı kombinace prvk˚ u xm ej pro nˇejak´a m, j. Pokud tedy takto p˚ ujdou rozloˇzit prvky xm ej , p˚ ujde i libovoln´ y prvek z F [x]n . Dokaˇzme tedy, ˇze libovoln´ y prvek xm ej lze takto rozloˇzit a dokaˇzme to indukc´ı v˚ uˇci m. Bud’ m = 1. Pak xej = fj +
n X
aij ei , fj ∈ F [x]f1 + · · · + F [x]fn ,
i=1
n X
aij ei ∈ F ei + · · · + F en .
i=1
Nyn´ı pˇredpokl´adejme, ˇze tvrzen´ı plat´ı pro m ≤ k. Pak xk+1 ej = xxk ej . Podle indukˇcn´ıho
36
pˇredpokladu lze xk ej rozloˇzit na xx
k+1
ej = x(
n X i=1
Pn
bi (x)fi +
i=1 bi (x)fi +
n X
ci e i ) =
i=1
Pn
n X
i=1 ci ei .
Tedy
xbi (x)fi +
i=1
n X
ci (fi +
i=1
n X
ali el ) =
l=1 n X
n n n X X X xbi (x)fi + ci f i ) + ( ci ( =( i=1
i=1
i=1
ali el )).
l=1
Prvn´ı uz´avorkovan´a ˇca´st je z F [x]f1 + · · · + F [x]fn , druh´a z F ei + · · · + F en . Modul F [x]n je tedy souˇctem (F [x]f1 + · · · + F [x]fn ) + (F ei + · · · + F en ), takˇze i kaˇzd´ y prvek ˇ z Ker(ϕ) lze takto rozloˇzit. Clen z F ei + · · · + F en se ale zobraz´ı na nulov´ y prvek pouze pokud je tento ˇclen nulov´ y, takˇze kaˇzd´ y prvek j´adra je z F [x]f1 + · · · + F [x]fn . Tedy Ker(ϕ) = F [x]f1 + · · · + F [x]fn a prvky f1 , . . . , fn jsou jeho gener´atory. Nyn´ı vytvoˇr´ıme matici A, kter´a bude m´ıt v i-t´em ˇra´dku souˇradnice prvk˚ u fi vzhledem k b´azi e1 , . . . , en . Tato matice bude m´ıt tvar −a11 + x −a21 ... .... −an1 −a12 −a22 + x −an2 .. .. .. . . . = xI − M T . .. .. ... . . −a1n ... . . . . . . −ann + x Jak by se projevilo na matici A, kdybychom zmˇenili b´azi e1 , . . . , en ? Pokud vymˇen´ıme dva prvky ei , ej v b´azi F [x]n pak se v matici vymˇen´ı i-t´ y a j-t´ y sloupec. Pokud vyn´asob´ıme prvek b´aze ei prvkem r ∈ F , r 6= 0, i-t´ y sloupec matice A bude vydˇelen prvkem r. Pˇriˇcten´ı rei k ej , kde r ∈ F [x], zase odeˇcte od i-t´eho sloupce r-n´asobek j-t´eho sloupce, protoˇze pro kaˇzd´ y ˇra´dek plat´ı ak1 e1 + · · · + aki ei + · · · + akj ej + · · · + akn en = = ak1 e1 + · · · + aki ei + · · · + akj ej + akj rei − akj rei + · · · + akn en = = ak1 e1 + · · · + (aki − akj r)ei + · · · + akj (ej + rei ) + · · · + akn en . Stejnˇe tak pokud vymˇen´ıme gener´atory fi a fj z Ker(ϕ), vymˇen´ı se pˇrin´aleˇzej´ıc´ı ˇra´dky matice A. Pokud vyn´asob´ıme fi prvkem a ∈ F , a 6= 0, vyn´asob´ıme i-t´ y ˇr´adek matice prvkem a. Pˇriˇcteme-li k fj r-n´asobek fi , r ∈ F [x], pˇriˇcteme k j-t´emu ˇr´adku r-n´asobek i-t´eho. Operacemi s vektory b´aze F [x]n nebo gener´atory Ker(ϕ) jsme tedy schopni prov´est vˇsechny element´arn´ı ˇra´dkov´e a sloupcov´e operace, o kter´ ych byla ˇreˇc v pˇredchoz´ım tvrzen´ı. Takˇze jsme schopni vyrobit prvky e01 , . . . , e0n a nov´e gener´atory j´adra f10 , . . . , fn0 tak, ˇze matice relace bude v Smithovˇe regul´arn´ım tvaru, coˇz znamen´a, ˇze 0 0 f10 = e01 , . . . , fn−m = e0n−m , fn−m+1 = a1 (x)e0n−m+1 , . . . , f 0 (n) = am (x)e0n .
Dost´av´ame, ˇze Ker(ϕ) = F [x]e01 + · · · + F [x]e0n−m + F [x]a1 e0n−m+1 + · · · + F [x]am e0n . Protoˇze F [x]n / Ker(ϕ) ∼ = V , je V ∼ = F [x]/(a1 ) + · · · + F [x]/(am ) (jednotliv´e kroky, proˇc 37
toto plat´ı, jsou uvedeny v d˚ ukazu vˇety o rozkladu na invariantn´ı faktory) a e0n−m+1 , . . . , e0n jsou gener´atory po ˇradˇe cyklick´ ych F [x]-modul˚ u F [x]/(a1 ), . . . , F [x]/(am ). V´ıme, ˇze pak e0n−m+1 , xe0n−m+1 , . . . , xdeg(a1 (x)) e0n−m+1 , . . . , e0n , . . . , xdeg(am (x)) e0n je b´aze pˇr´ım´eho souˇctu vektorov´ ych prostor˚ u F [x]/(a1 ), . . . , F [x]/(am ) nad tˇelesem F . Line´arn´ı transformace m´a tedy na b´azi prostoru V, kter´a tˇemto prvk˚ um odpov´ıd´a, matici v racion´aln´ım kanonick´em tvaru. Jak ale tuto b´azi zjistit, kdyˇz nev´ıme, jak pˇresnˇe izomorfismus vypad´a? Co v´ıme, je, jak prvky e0n−m+1 , . . . , e0n vznikly z prvk˚ u e1 , . . . , en , ˇze ϕ(ei ) = ui , a ˇze u1 , . . . , un je b´aze, kterou m´ame danou a v n´ıˇz m´a line´arn´ı transformace matici M . Kdyˇz pro kaˇzdou operaci, kterou jsme provedli na b´azi e1 , . . . , en kv˚ uli tomu, abychom pˇrevedli matici xI − M T na Smith˚ uv regul´arn´ı tvar, provedeme stejnou operaci na b´azi u1 , . . . , un (nezapomeˇ nme, ˇze n´asoben´ı prvkem f (x) se bude chovat na vektoru u jako line´arn´ı transformace f (T )), dostaneme novou mnoˇzinu gener´ator˚ u v1 , . . . , vn , kter´e odpov´ıdaj´ı prvk˚ um 0 0 e1 , . . . , en . Co m˚ uˇzeme ˇr´ıci okamˇzitˇe, je, ˇze prvn´ıch n−m prvk˚ u bude nulov´ ych, protoˇze e01 , . . . , e0n−m leˇz´ı v j´adˇre homomorfismu ϕ. Obrazem b´aze e0n−m+1 , xe0n−m+1 , . . . , xdeg(a1 (x)) e0n−m+1 , . . . , e0n , . . . , xdeg(am (x)) e0n pak bude b´aze vn−m+1 , T (vn−m+1 ), . . . , T deg(a1 (x)) (vn−m+1 ), . . . , vn , . . . , T deg(am (x)) (vn ) ve kter´e bude m´ıt line´arn´ı transformace Ca1 0 A = .. . 0
racion´aln´ı kanonick´ y tvar: 0 ... ... 0 Ca2 0 . . . 0 .. . . .. . . . ... Cam
Toto n´am d´av´a algoritmus na nalezen´ı racion´aln´ıho kanonick´eho tvaru a b´aze, ve kter´e m´a line´arn´ı transformace racion´aln´ı kanonick´ y tvar. Mˇejme vektorov´ y prostor V , line´arn´ı transformaci T , b´azi u1 , . . . , un a matici M transformace T v t´eto b´azi. 1. Nejdˇr´ıve matici xI −M pˇrevedeme element´arn´ımi ˇra´dkov´ ymi a sloupcov´ ymi u ´pravami na Smith˚ uv regul´arn´ı tvar, pˇriˇcemˇz si budeme pamatovat, jak´e jsme provedli ˇr´adkov´e u ´pravy (protoˇze xI − M je transponovan´a matice xI − M T , u kter´e m´ame sledovat sloupcov´e u ´pravy). Polynomy na diagon´ale a1 (x), . . . , am (x) jsou invariantn´ı faktory. 2. Pro kaˇzdou ˇra´dkovou u ´pravu, kterou jsme provedli, patˇriˇcnˇe uprav´ıme b´azi prostoru V. 38
(a) Pokud vymˇen´ıme i-t´ y a j-t´ y ˇr´adek matice, vymˇen´ıme i-t´ y a j-t´ y gener´ator, (b) pokud i-t´ y ˇr´adek vyn´asob´ıme prvkem r, pak i-t´ y gener´ator vydˇel´ıme prvkem r, (c) pokud pˇriˇcteme k j-t´emu r´adku f (x)-n´asobek i-t´eho ˇra´dku, pak od i-t´eho gener´atoru odeˇcteme f (x) n´asobek j-t´eho gener´atoru. 3. Kdyˇz m´ame matici xI − M pˇrevedenou na Smith˚ uv norm´aln´ı tvar, nov´e gener´atory v1 , . . . , vn jsou nyn´ı F [x]-kombinacemi p˚ uvodn´ıch gener´ator˚ u u1 , . . . , un . Nahrad´ıme P n´asoben´ı prvkem x za line´arn´ı transformaci T , tj. xuj = ni=1 aij ui , aˇz dostaneme vˇsechny nov´e gener´atory v1 , . . . , vn jako line´arn´ı kombinace u1 , . . . , un . Pro prvn´ıch n − m gener´ator˚ u plat´ı, ˇze v1 = 0, . . . , vn−m = 0, zbyl´e jsou nenulov´e, oznaˇcme je f1 , . . . , fm , a jsou gener´atory cyklick´ ych F [x]-modul˚ u, jejichˇz anihil´atory jsou po ˇradˇe ∼ a1 (x), . . . , am (x). Plat´ı, ˇze F [x]fi = F [x]/(ai ) pro i = 1, . . . , m. 4. Vytvoˇr´ıme novou b´azi prostoru V , kter´a bude sest´avat z prvk˚ u f1 , T (f1 ), . . . , T deg(a1 (x))−1 (f1 ), . . . , fm , . . . , T deg(am (x)) fm . V t´eto b´azi bude m´ıt line´arn´ı transformace T matici A=
Ca1 0 . . . . . . 0 0 Ca2 0 . . . 0 .. .. . . .. . . . . 0 ... Cam
5. Vytvoˇr´ıme matici pˇrechodu P tak, ˇze souˇradnice j-t´eho prvku nov´e b´aze vektorov´eho prostoru V z bodu (4) v˚ uˇci star´e nap´ıˇseme do j-t´eho sloupce matice P . Pak plat´ı −1 M = P AP . Pokud bude naˇsim u ´kolem pˇrev´est matici M typu n × n nad tˇelesem F na racion´aln´ı kanonick´ y tvar, jednoduˇse ji budeme uvaˇzovat jako line´arn´ı transformaci T : F n → F n , kter´a m´a v b´azi (e1 , . . . en ) matici M . Pˇ r´ıklad 4.11. Naleznˇete racion´aln´ı kanonick´ y tvar matice 0 −1 −1 0 0 M = 0 −1 0 0 ˇ sen´ı. Bud’ (e1 , e2 , e3 ) b´aze prostoru Q3 a T line´arn´ı transformace, kter´a m´a v b´azi Reˇ (e1 , e2 , e3 ) matici M .
39
1. Nejdˇr´ıve pˇrevedeme matici xE − M pomoc´ı element´arn´ıch ˇra´dkov´ ych a sloupcov´ ych u ´prav na Smith˚ uv regul´arn´ı tvar. x 1 1 xE − M = 0 x 0 1 0 x vymˇen´ıme sloupce (1) a (3)
1 1 x 0 x 0 x 0 1 od sloupce (2) odeˇcteme sloupec (1)
1 0 x 0 x 0 x −x 1
od sloupce (3) odeˇcteme x-kr´at sloupec (1) 1 0 0 0 x 0 2 x −x 1 − x od ˇra´dku (3) odeˇcteme x-kr´at ˇra´dek (1) (ˇr´adkov´a operace ˇc. 1) 1 0 0 0 x 0 2 0 −x 1 − x pˇriˇcteme ˇr´adek (2) k ˇr´adku (3) (ˇra´dkov´a operace ˇc. 2) 1 0 0 0 x 0 2 0 0 1−x vyn´asob´ıme tˇret´ı sloupec prvkem −1 1 0 0 0 x 0 2 0 0 x −1 prvky x a x2 − 1 jsou invariantn´ı faktory tedy 0 0 A= 0 40
a racion´aln´ı kanonick´ y tvar matice M je 0 0 0 1 1 0
2. Nyn´ı uprav´ıme b´azi (e1 , e2 , e3 ) podle ˇr´adkov´ ych u ´prav, kter´e jsme provedli. Odeˇcten´ı x-kr´at ˇra´dku (1) od ˇra´dku (3) n´am zmˇen´ı b´azi na (e1 + xe3 , e2 , e3 ) a pˇriˇcten´ı ˇra´dku (2) k ˇr´adku (3) na (e1 + xe3 , e2 − e3 , e3 ). Nahrad´ıme n´asoben´ı x za zobrazen´ı line´arn´ı transformac´ı T , tedy xe3 = T (e3 ) = −e1 . Nov´e gener´atory jsou tedy (e1 + xe3 , e2 − e3 , e3 ) = (e1 − e1 , e2 − e3 , e3 ) = (0, e2 − e3 , e3 ) = (0, f1 , f2 ). Prvn´ı gener´ator n´am tedy vyˇsel podle oˇcek´av´an´ı nulov´ y. 3. Vytvoˇr´ıme novou b´azi (f1 , f2 , T (f2 )) = (e2 − e3 , e3 , T (e3 )) = (e2 − e3 , e3 , −e1 ). Souˇradnice nov´e b´aze (e2 − e3 , e3 , −e1 ) vzhledem k b´azi (e1 , e2 , e3 ) n´am d´avaj´ı sloupce matice pˇrechodu
0 0 −1 P = 1 0 0 −1 1 0 matice inverzn´ı k t´eto matici je
P −1
0 1 0 = 0 1 1 −1 0 0
Dost´av´ame tedy, ˇze
M = P AP −1
0 0 −1 0 0 0 0 1 0 = 1 0 0 0 0 1 0 1 1 −1 1 0 0 1 0 −1 0 0
41
Literatura [1] Auslander, M., Buchsbaum, D., Groups, rings, modules, 2. vyd´an´ı, Harper & Row, Publishers Inc., New York, 1974. ISBN 0-06-040387-X. [2] Berrick, A. J. - Keating, M. E., An Introduction to Rings and Modules: With K-theory in Wiev, 1.vyd´an´ı, Press Syndicate of the university of Cambridge, Cambridge, 2000. ISBN 0-521-632749. [3] Birkhoff, G., Mac Lane S., Algebra, 4. vyd´an´ı, AMS Chelsea Publishing, Chelsea, 1999. ISBN 0-8218-1646-2. [4] Dummit, David S. - Foote, Richard M., Abstract algebra, 3.vyd´an´ı, John Wiley and Sons, New Jersey, 2004. ISBN 0-471-43334-9. [5] Lomtatidze, L., Plch, R.: S´az´ıme v LATEXu diplomovou pr´aci z matematiky, Masarykova univerzita, 2003. [6] Rosick´ y, Jiˇr´ı, Algebra, 4. vyd´an´ı, Masarykova Univerzita, Brno, 2005. ISBN 80-2102964-1. [7] Rybiˇcka, J.: LATEXpro zaˇc´ateˇcn´ıky, KONVOJ, 2003.
42