Е.Е. Тыртышников - Матричный анализ и линейная алгебра (1113045), страница 57
Текст из файла (страница 57)
. , an−1 âñå ðàçëè÷íûå ýëåìåíòû ãðóïïû H , òî an = a0 (äîêàæèòå!). Ïóñòü b0 , b1 , . . . , bn−1 âñå ðàçëè÷íûå ýëåìåíòû ãðóïïû G. Òîãäà îïðåäåëèìîòîáðàæåíèå f ïðàâèëîì f (ak ) = bk . Îíî ÿâëÿåòñÿ èçîìîðôèçìîì, ïîñêîëüêóf (ak+m ) = bk+m = bk bm = f (ak ) f (am ).Çàäà÷à.Äîêàæèòå, ÷òî ãðóïïà ïîëîæèòåëüíûõ ðàöèîíàëüíûõ ÷èñåë îòíîñèòåëüíî óìíîæåíèÿ íåèçîìîðôíà ãðóïïå âñåõ ðàöèîíàëüíûõ ÷èñåë ñ îïåðàöèåé ñëîæåíèÿ.Çàäà÷à.Íàéäèòå âñå ãðóïïû, èçîìîðôíûå ëþáîé ñâîåé íååäèíè÷íîé ïîäãðóïïå.Å. Å. Òûðòûøíèêîâ42.4275Ãîìîìîðôèçìû ãðóïïÎòîáðàæåíèå f : H → G íàçûâàåòñÿ ãîìîìîðôèçìîì, åñëè âûïîëíÿåòñÿ ñâîéñòâîñîõðàíåíèÿ îïåðàöèé (#) (ïðè ýòîì îáðàòèìîñòü îòîáðàæåíèÿ íå òðåáóåòñÿ).Îáîçíà÷èì ÷åðåç eG åäèíè÷íûé ýëåìåíò ãðóïïû G.
Åãî ïîëíûé ïðîîáðàç K =−1f (eG ) íàçûâàåòñÿ ÿäðîì ãîìîìîðôèçìà f . Ìíîæåñòâî f (H) íàçûâàåòñÿ îáðàçîì ãîìîìîðôèçìà f .Óòâåðæäåíèå. ßäðî ãîìîìîðôèçìà f : H → G ÿâëÿåòñÿ íîðìàëüíîé ïîäãðóïïîéãðóïïû H . Îáðàç ãîìîìîðôèçìà f ÿâëÿåòñÿ ïîäãðóïïîé ãðóïïû G.Äîêàçàòåëüñòâî. Ïóñòü e åäèíèöà ãðóïïû H è K ÿäðî ãîìîìîðôèçìà f . Äëÿëþáîãî a ∈ H íàõîäèì f (ae) = f (a)f (e) = f (a) ⇒ f (e) = eG .
Èòàê, e ∈ K .Äàëåå, åñëè a ∈ H , òî f (e) = f (aa−1 ) = f (a)f (a−1 ) = eG ⇒ f (a−1 ) = (f (a))−1 .−1Ïðåäïîëîæèì, ÷òî a ∈ K . Òîãäà f (a−1 ) = e−1∈ K.G = eG ⇒ aÅñëè f (a) = f (b) = eG , òî f (ab) = eG eG = eG ⇒ ab ∈ K .Íàêîíåö, ïðîâåðèì íîðìàëüíîñòü ïîäãðóïïû K .
Ïóñòü a ∈ H , b ∈ K . Òîãäàf (aba−1 ) = f (b) = eG ⇒ aba−1 ∈ K . 2Òåîðåìà î ãîìîìîðôèçìå. Ïóñòü f : H → G ãîìîìîðôèçì ãðóïïû H â ãðóïïó Gè ïóñòü K åãî ÿäðî. Òîãäà f (H) ' H/K .Äîêàçàòåëüñòâî. Îòîáðàæåíèå Φ : H/K → f (H) îïðåäåëèì ñëåäóþùèì îáðàçîì:Φ(aK) = f (a),a ∈ H.Ïóñòü a1 = ab1 , b1 ∈ K . Òîãäà f (a1 ) = f (a).Îáðàòíî, åñëè f (a1 ) = f (a), òî f (a1 a−1 ) = eG ⇒ a1 a−1 ∈ K .
Òàêèì îáðàçîì,îòîáðàæåíèå îïðåäåëåíî êîððåêòíî (òî åñòü, íå çàâèñèò îò âûáîðà ïðåäñòàâèòåëÿ a âñìåæíîì êëàññå aK ) è ÿâëÿåòñÿ âçàèìíî-îäíîçíà÷íûì. Ëåãêî âèäåòü, ÷òî îíî ñîõðàíÿåòîïåðàöèè:Φ((aK)(bK)) = Φ((ab)K) = f (ab) = f (a)f (b) = Φ(aK)Φ(bK).2Òåîðåìà ïîêàçûâàåò, ÷òî èçó÷àòü îáðàçû ãðóïïû ïðè âñåâîçìîæíûõ ãîìîìîðôèçìàõ ìîæíî èçíóòðè: äëÿ ïîëíîãî îïèñàíèÿ ñîîòâåòñòâóþùèõ ïîäãðóïï ãðóïïû G, âêîòîðîé ðàçìåùàþòñÿ îáðàçû ýëåìåíòîâ, íå òðåáóåòñÿ çíàíèå ñàìîé ãðóïïû G âîïðîññâîäèòñÿ ê èçó÷åíèþ ôàêòîð-ãðóïï ïî íîðìàëüíûì äåëèòåëÿì çàäàííîé ãðóïïû.42.5Èçáûòî÷íîñòü â îïðåäåëåíèè ãðóïïûÏóñòü G íåïóñòîå ìíîæåñòâî ñ àññîöèàòèâíîé àëãåáðàè÷åñêîé îïåðàöèåé.
Ýëåìåíò e ∈ G íàçûâàåòñÿïðàâîé åäèíèöåé, åñëè ae = a äëÿ âñåõ a ∈ G. Ýëåìåíò b ∈ G íàçûâåòñÿ ïðàâûì îáðàòíûì äëÿ a ∈ Gîòíîñèòåëüíî ïðàâîé åäèíèöû e, åñëè ab = e.Òåîðåìà. Ïóñòü G èìååò ïðàâóþ åäèíèöó e, îòíîñèòåëüíî êîòîðîé äëÿ êàæäîãî ýëåìåíòà a ∈ Gñóùåñòâóåò ïðàâûé îáðàòíûé ýëåìåíò. Òîãäà G ÿâëÿåòñÿ ãðóïïîé.Äîêàçàòåëüñòâî.e ÿâëÿåòñÿ åäèíè÷íûì ýëåìåíòîì. Âîçüìåì ïðîèçc = ea. Ñîãëàñíî óñëîâèþ òåîðåìû, ñóùåñòâóþò b, d ∈ G òàêèå, ÷òîab = e è bd = e. Îòñþäà a = ed. Äàëåå, cb = e(ab) = e, îòêóäà c = ed = a.Äîêàæåì òåïåðü, ÷òî b ÿâëÿåòñÿ îáðàòíûì ýëåìåíòîì äëÿ a. Ïóñòü c = ba.
Òîãäà cb = b(ab) = b, èçíà÷èò, c = bd = e. 2âîëüíûé ýëåìåíòaÄîêàæåì, ÷òî ïðàâàÿ åäèíèöàè ïîëîæèì276Ëåêöèÿ 42Äîïîëíåíèå ê ëåêöèè 443.1Çíàêîïåðåìåííàÿ ãðóïïàÍàçâàíèå çíàêîïåðåìåííîé ãðóïïû An (ãðóïïû âñåõ ÷åòíûõ ïîäñòàíîâîê ñòåïåíè n)íàâåÿíî ñëåäóþùèì ïîñòðîåíèåì. Ðàññìîòðèì îòîáðàæåíèå1,σ ÷åòíàÿ ïîäñòàíîâêà,sgn : Sn → K = {1, −1},sgn(σ) =−1,σ íå÷åòíàÿ ïîäñòàíîâêà.Íà ìíîæåñòâå çíàêîâ K ââåäåì îïåðàöèþ óìíîæåíèÿ òàê æå, êàê äëÿ öåëûõ ÷èñåë.Òîãäà K ïðåâðàùàåòñÿ â àáåëåâó ãðóïïó, à îòîáðàæåíèå sgn ñîõðàíÿåò îïåðàöèè:sgn(σ1 σ2 ) = sgn(σ1 )sgn(σ2 )∀ σ1 , σ2 ∈ Sn .Ïîýòîìó sgn ÿâëÿåòñÿ ãîìîìîðôèçìîì ãðóïïû Sn íà ãðóïïó K .Íàïîìíèì, ÷òî ÿäðîì ãîìîìîðôèçìà íàçûâàåòñÿ ìíîæåñòâî âñåõ ýëåìåíòîâ ãðóïïû,êîòîðûå ïåðåâîäÿòñÿ äàííûì ãîìîìîðôèçìîì â åäèíè÷íûé ýëåìåíò (âîîáùå ãîâîðÿ,äðóãîé ãðóïïû ñîäåðæàùåé îáðàçû ýëåìåíòîâ ïðè äàííîì îòîáðàæåíèè).
Òàêèì îáðàçîì, ÿäðîì ãîìîìîðôèçìà sgn ÿâëÿåòñÿ â òî÷íîñòè çíàêîïåðåìåííàÿ ãðóïïà An .Ïîãðóïïà An ÿâëÿåòñÿ â Sn íîðìàëüíûì äåëèòåëåì, ïîñêîëüêó ÿäðî ëþáîãî ãîìîìîðôèçìà ãðóïïû ÿâëÿåòñÿ åå íîðìàëüíûì äåëèòåëåì. Âîò, âïðî÷åì, ïðÿìàÿ ïðîâåðêàòîãî, ÷òî An åñòü íîðìàëüíûé äåëèòåëü ãðóïïû Sn : åñëè σ ∈ Sn è h ∈ An , òî, î÷åâèäíî,σhσ −1 ∈ An ⇒ σAn = An σ (ëåâûå ñìåæíûå êëàññû ñîâïàäàþò ñ ïðàâûìè). äàííîì ñëó÷àå èìååòñÿ âñåãî äâà ðàçëè÷íûõ ñìåæíûõ êëàññà ãðóïïû Sn ïî íîðìàëüíîé ïîäãðóïïå An : eAn = An è τ An , ãäå e òîæäåñòâåííàÿ ïîäñòàíîâêà, à τ ïðîèçâîëüíàÿ íå÷åòíàÿ ïîäñòàíîâêà (íàïðèìåð, òðàíñïîçèöèÿ).  ñàìîì äåëå, åñëè σ1è σ2 îäíîé ÷åòíîñòè, òî h = σ1−1 σ2 ∈ An ⇒ σ1 An = σ2 An .
Òàêèì îáðàçîì, ôàêòîðãðóïïà Sn /An ñîñòîèò èç äâóõ ñìåæíûõ êëàññîâ. Îíà èçîìîðôíà ãðóïïå çíàêîâ K :èçîìîðôèçì îñóùåñòâëÿåòñÿ îòîáðàæåíèåì σAn → sgn(σ) (çäåñü ìû èìååì ÷àñòíûéñëó÷àé áîëåå îáùåé òåîðåìû î ãîìîìîðôèçìå èç Ëåêöèè 2).43.2Ïîäãðóïïû ñèììåòðè÷åñêîé ãðóïïûÒåîðåìà. Ëþáàÿ êîíå÷íàÿ ãðóïïà ïîðÿäêà n èçîìîðôíà íåêîòîðîé ïîäãðóïïå ñèììåòðè÷åñêîé ãðóïïû Sn .Äîêàçàòåëüñòâî. Ïóñòü ãðóïïà G èìååò ýëåìåíòû g1 , . .
. , gn . Òîãäà äëÿ ëþáîãî iýëåìåíòû gi g1 , . . . , gi gn ïðåäñòàâëÿþò ñîáîé ïåðåñòàíîâêó ýëåìåíòîâ g1 , . . . , gn . Îáîçíà÷èì ñîîòâåòñòâóþùóþ ïîäñòàíîâêó ÷åðåç σi è îïðåäåëèì îòîáðàæåíèå Φ : G → Snïðàâèëîì Φ(gi ) = σi . Î÷åâèäíî, Φ(gi gj ) = σi σj . Ïîýòîìó Φ ÿâëÿåòñÿ ãîìîìîðôèçìîì⇒ åãî îáðàç Φ(G) ÿâëÿåòñÿ ïîäãðóïïîé â Sn .Îñòàåòñÿ çàìåòèòü, ÷òî Φ(gi ) = Φ(gj ) ⇔ gi = gj . 227727843.3Ëåêöèÿ 43×åòíîñòü áåç èíâåðñèéÒî, ÷òî ÷åòíîñòü ÷èñëà òðàíñïîçèöèé â ëþáîì ðàçëîæåíèè ïîäñòàíîâêè îäíà è òà æå, ìîæíî äîêàçàòüè áåç ïîäñ÷åòà ÷èñëà èíâåðñèé. Ýòî ñðàçó æå âûòåêàåò èç ñëåäóþùåãî íàáëþäåíèÿ.Óòâåðæäåíèå.  ëþáîì ðàçëîæåíèè òîæäåñòâåííîé ïîäñòàíîâêè â ïðîèçâåäåíèå òðàíñïîçèöèé èõ÷èñëî ÷åòíî.Äîêàçàòåëüñòâî. Ïóñòü òîæäåñòâåííàÿ ïîäñòàíîâêà e ∈ Sn ðàçëîæåíà â ïðîèçâåäåíèå òðàíñïîçèöèée = (ij) .
. . (kl), â êîòîðîì ñðåäè èíäåêñîâ i, j, . . . , k, l èìååòñÿ ðîâíî s ðàçëè÷íûõ. ßñíî, ÷òî 2 ≤ s ≤ nè â ñëó÷àå s = 2 óòâåðæäåíèå î÷åâèäíî. Ïðîâåäåì èíäóêöèþ ïî s. Ïóñòü s ≥ 3. Íå îãðàíè÷èâàÿîáùíîñòè, ìîæíî ñ÷èòàòü, ÷òî èíäåêñû ðàâíû 1, . . . , s. Ëåãêî ïðîâåðèòü, ÷òî (1l)(kl) = (1k)(1l) äëÿëþáûõ k, l 6= 1 è (1l)(ij) = (ij)(1l) ïðè {i, j} 6= {1, l}. Ïîýòîìó ìîæíî ïåðåäâèíóòü âñå òðàíñïîçèöèèâèäà (1l) âïðàâî è ïîëó÷èòü äðóãîå ðàçëîæåíèåe = (i1 j1 ) . . . (ik jk ) (1l1 ) .
. . (1lm )ñ òåì æå ÷èñëîì òðàíñïîçèöèé. Äàëåå, åñëè l1óáðàòü ïàðó òðàíñïîçèöèé(1l1 ), (1l2 ).ìîæíî ïîëó÷èòü ðàçëîæåíèå ñ òåì æåñîäåðæàùèõ èíäåêñ= l2 , òî (1l1 )(1l2 ) = e è â ïîñëåäíåì ðàçëîæåíèè ìîæíî6= l2 , òî, èñïîëüçóÿ ðàâåíñòâî (1l1 )(1l2 ) = (l1 l2 )(1l1 ),÷èñëîì òðàíñïîçèöèé è ìåíüøèì íà 1 ÷èñëîì òðàíñïîçèöèé,Åñëè æå l11:e = (i1 j1 ) . . . (ik jk )(l1 l2 ) (1l1 )(1l3 ) . . . (1lm ).Ïðîäîëæàÿ òàêèì æå îáðàçîì, ïðèäåì ê ðàçëîæåíèþ ñ ÷èñëîì òðàíñïîçèöèé, óìåíüøåííûì íà ÷åòíîå÷èñëî, è, âîçìîæíî, âñåãî ëèøü îäíîé òðàíñïîçèöèåé âèäà(1l):e = (i1 j1 ) .
. . (ip jp ) (1l).Ïîñêîëüêói1 , j1 , . . . , ip , jp 6= 1,ïîäñòàíîâêàeïåðåâîäèòlâ1,÷òî íåâîçìîæíî, òàê êàê îíà ÿâëÿåòñÿòîæäåñòâåííîé. Ïîýòîìóe = (i1 j1 ) . . . (ip jp ),ãäå èíäåêñû÷åòíî.2i1 , j1 , . . . , ip , jpïðèíèìàþò çíà÷åíèÿ îò2äîs.Ïî èíäóêòèâíîìó ïðåäïîëîæåíèþ, ÷èñëîpÄîïîëíåíèå ê ëåêöèè 544.1Ôóíêöèîíàëüíîå äîêàçàòåëüñòâî òåîðåìû ËàïëàñàÐàññìîòðèì âûðàæåíèåf (A) =Xdet A(I, J) det A(I 0 , J 0 ) (−1)ν(I)+ν(J)I∈Nkêàê ôóíêöèþ ñòðîê ìàòðèöû• f (A)Aè äîêàæåì, ÷òî îíà îáëàäàåò òðåìÿ ñâîéñòâàìè:ëèíåéíà ïî êàæäîìó àðãóìåíòó;•åñëè ñòðîêè ìàòðèöû•åñëèAAëèíåéíî çàâèñèìû, òî åäèíè÷íàÿ ìàòðèöà, òîf (A) = 0;f (A) = 1.Ïåðâîå è òðåòüå ñâîéñòâà î÷åâèäíû.
Äëÿ òîãî ÷òîáû äîêàçàòü âòîðîå ñâîéñòâî, äîñòàòî÷íî óñòàíîâèòü, ÷òîf (A)ìåíÿåò çíàê ïðè ïåðåñòàíîâêå äâóõ ñòðîê. Áîëåå òîãî, äîñòàòî÷íî ðàññìîòðåòü ïåðåñòà-íîâêó äâóõ ñîñåäíèõ ñòðîê. Ïóñòü ýòî áóäóò ñòðîêè ñ íîìåðàìèñòðîêàìè îáîçíà÷èìsès + 1.Ìàòðèöó ñ ïåðåñòàâëåííûìèB.b ∈ Nk . Îïðåäåëèì íà Nk âçàèìíî-îäíîçíà÷íîå îòîáðàæåíèå, ïðè êîòîðîì I ïåðåõîäèò âÏóñòü I, IbI , ñëåäóþùèì ïðàâèëîì.
Åñëè s è s + 1 îáà âõîäÿò èëè îáà íå âõîäÿò â ñèñòåìó íîìåðîâ I , òî ïóñòüIb = I . Åñëè s ïðèíàäëåæèò I , à s + 1 íåò, òî ïóñòü Ib ïîëó÷àåòñÿ èç I çàìåíîé íîìåðà s íà s + 1. Åñëès + 1 ïðèíàäëåæèò I , à s íåò, òî ïóñòü Ib ïîëó÷àåòñÿ èç I çàìåíîé íîìåðà s + 1 íà s.
ßñíî, ÷òîXf (B) =det B(I, J) det B(I 0 , J 0 )(−1)ν(I)+ν(J) = Σ1 (B) + Σ2 (B),I∈NkãäåΣ1I = Ib, à Σ2 ÷ëåíû, äëÿ êîòîðûõ I 6= Ib.f (B) = −f (A). Ðàññìîòðèì ÷ëåíû, äëÿ êîòîðûõ I = Ib:ñîäåðæèò ÷ëåíû, äëÿ êîòîðûõÍàì íóæíî äîêàçàòü, ÷òî• s, s + 1 ∈ I⇒ det B(I, J) = − det A(I, J), det B(I 0 , J 0 ) = det A(I 0 , J 0 ).• s, s + 1 ∈/I⇒ det B(I, J) = det A(I, J), det B(I 0 , J 0 ) = − det A(I 0 , J 0 ).Ïðè ýòîìν(I) = ν(Ib )(ïîñêîëüêóI = Ib ).Òåïåðü ðàññìîòðèì ÷ëåíû, äëÿ êîòîðûõâI.Ñëåäîâàòåëüíî, ñóììà òî æå âðåìÿ,Σ2Σ1 (B) = −Σ1 (A).bI 6= I .
Çàìåòèì, ÷òî åñëè IÎòñþäàïåðåõîäèò âðàçáèâàåòñÿ íà ñóììó ïàð ÷ëåíîâ, îòâå÷àþùèõb J),det B(I, J) = det A(I,det B(I 0 , J 0 ) = det A(Ib0 , J 0 ),b J) = det A(I, J),det B(I,det B(Ib0 , J 0 ) = det A(I 0 , J 0 ).ν(Ib ) = ν(I) ± 1.ÏîýòîìóΣ2 (B) = −Σ2 (A).IèIb.Ib,òîIb ïåðåõîäèòÏðè ýòîì íàõîäèìÒàêèì îáðàçîì, ôóíêöèÿf (A)èíäèêàòîðîì ëèíåéíîé çàâèñèìîñòè, à â ñèëó åãî åäèíñòâåííîñòè îïðåäåëèòåëåì ìàòðèöû44.2ÿâëÿåòñÿA. 2Îïðåäåëèòåëè ñ íóëåâûìè ÷ëåíàìèÒåîðåìó Ëàïëàñà óäîáíî ïðèìåíÿòü, êîãäà ñðåäè ìèíîðîâ íà âûáðàííûõ ñòîëáöàõ (èëè ñòðîêàõ) îêàçûâàåòñÿ ìíîãî íóëåâûõ.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
