ÂÂÅÄÅÍÈÅ Â ÒÅÎÐÈÞ ÃÀËÓÀ Êîíñïåêò ëåêöèé Åðìîëàåâ Þ.Á. 2000-2001ã. Ñîäåðæàíèå: ×àñòü I (I ñåìåñòð) 1. Êîíå÷íûå àëãåáðàè÷åñêèå ðàñøèðåíèÿ. 2. Òåîðåìà Ãàëóà î ñîîòâåòñòâèè. 3. Ãðóïïà Ãàëóà äâó÷ëåííîãî ìíîãî÷ëåíà. 4. Íîðìàëüíûå è êîìïîçèöèîííûå ðÿäû â ãðóïïàõ. 5. Òåîðåìà ðàçðåøèìîñòè. 6. Íåðàçðåøèìîñòü â ðàäèêàëàõ îáùåãî óðàâíåíèÿ ïðè n > 4. 7. Ïðîñòîòà ãðóïïû An (n > 4). 8. Ìíîãî÷ëåíû, èíâàðèàíòíûå îòíîñèòåëüíî ãðóïïû G ⊆ Sn . ×àñòü II (II ñåìåñòð) 8. Ìíîãî÷ëåíû, èíâàðèàíòíûå îòíîñèòåëüíî ãðóïïû G ⊆ Sn . 9. Òðàíçèòèâíûå ãðóïïû. 10. Òðàíçèòèâíûå ïîäãðóïïû â S3 è S4 . 11. Òðàíçèòèâíûå ïîäãðóïïû â S5 . 12. Ïðåîáðàçîâàíèå ×èðíãàóçåíà. Ïðèëîæåíèå. 1 ×àñòü I (I ñåìåñòð) 1. Êîíå÷íûå àëãåáðàè÷åñêèå ðàñøèðåíèÿ Àëãåáðàè÷åñêèé ýëåìåíò íàä ïîëåì. Ýëåìåíò γ íàçûâàåòñÿ àëãåáðàè÷åK , åñëè ñóùåñòâóåò ìíîãî÷ëåí íàä K (ò.å. ñ êîýôôèöèåíòàìè â K ), êîðíåì êîòîðîãî ÿâëÿåòñÿ γ . Ìèíèìàëüíûé ìíîãî÷ëåí àëãåáðàè÷åñêîãî ýëåìåíòà. Ìèíèìàëüíûì ìíîãî÷ëåíîì ýëåìåíòà γ (íàä K ) íàçûâàåòñÿ ìíîãî÷ëåí íàä K ìèíèìàëüíîé ñòåïåíè ñðåäè òåõ, êîðíåì êîòîðûõ ÿâëÿåòñÿ γ . Îáîçíà÷èì ýòîò ìíîãî÷ëåí ÷åðåç fγ (x). Áóäåì ïðåäïîëàãàòü, ÷òî åãî ñòàðøèé êîýôôèöèåíò ðàâåí 1. Ìèíèìàëüíûé ìíîãî÷ëåí ýëåìåíòà îáëàäàåò ñëåäóþùèìè ñâîéñòâàìè: 1) Äåëèìîñòü. Âñÿêèé ìíîãî÷ëåí f (x), êîòîðûé îáðàùàåòñÿ â íóëü ýëåìåíòîì γ (ïðè x = γ ), äåëèòñÿ íà ìèíèìàëüíûé ìíîãî÷ëåí fγ (x). Äåéñòâèòåëüíî, âñåãäà èìååì f (x) = q(x)fγ (x) + r(x), ãäå r(x) ëèáî íóëåâîé ìíîãî÷ëåí, ëèáî èìååò ñòåïåíü ìåíüøå ñòåïåíè äåëèòåëÿ fγ (x). À òàê êàê, êðîìå òîãî, èç ýòîãî ðàâåíñòâà (è ïðåäïîëîæåíèé fγ (γ) = 0 è f (γ) = 0) èìååì r(γ) = 0, òî âòîðàÿ âîçìîæíîñòü èñêëþ÷àåòñÿ. 2) Åäèíñòâåííîñòü. Ìèíèìàëüíûé ìíîãî÷ëåí ýëåìåíòà îïðåäåëÿåòñÿ îäíîçíà÷íî ñ òî÷íîñòüþ äî ìíîæèòåëÿ èç K (è çíà÷èò, åñëè ñòàðøèé êîýôôèöèåíò ðàâåí 1, òî òî÷íî îäíîçíà÷íî). Åñëè ìèíèìàëüíûõ ìíîãî÷ëåíîâ äâà, òî ïî ïåðâîìó ñâîéñòâó îíè äîëæíû äåëèòü äðóã äðóãà, à çíà÷èò îòëè÷àòñÿ òîëüêî ìíîæèòåëåì èç K . 3) Íåïðèâîäèìîñòü. Ìèíèìàëüíûé ìíîãî÷ëåí ýëåìåíòà γ íàä K íåïðèâîäèì íàä K . Åñëè ìèíèìàëüíûé ìíîãî÷ëåí fγ (x) ýëåìåíòà γ ðàçëàãàåòñÿ íà äâà ìíîæèòåëÿ, òî γ äîëæåí áûòü êîðíåì îäíîãî èç íèõ, ñòåïåíü êîòîðîãî ìåíüøå ñòåïåíè fγ (x). Ñîïðÿæåííûå ýëåìåíòû. Äâà ýëåìåíòà íàçûâàþòñÿ ñîïðÿæåííûìè íàä K , åñëè èõ ìèíèìàëüíûå ìíîãî÷ëåíû íàä K ñîâïàäàþò (ò.å. îíè ÿâëÿþòñÿ êîðíÿìè îäíîãî è òîãî æå íåïðèâîäèìîãî íàä K ìíîãî÷ëåíà). Àëãåáðàè÷åñêîå ðàñøèðåíèå. Ïóñòü K ïîäïîëå ïîëÿ F , òîãäà F íàçûâàåòñÿ ðàñøèðåíèåì (èëè íàäïîëåì) ïîëÿ K (F ⊇ K ). Ðàñøèðåíèå F íàçûâàåòñÿ àëãåáðàè÷åñêèì íàä K , åñëè âñå åãî ýëåìåíòû àëãåáðàè÷åñêèå íàä K . Êîíå÷íîå ðàñøèðåíèå è åãî àëãåáðàè÷íîñòü. Ðàñøèðåíèå R ïîëÿ K íàçûâàåòñÿ êîíå÷íûì, åñëè R, êàê ïðîñòðàíñòâî íàä K , êîíå÷íîìåðíî. Ðàçìåðíîñòü R íàä K íàçûâàåòñÿ ñòåïåíüþ ðàñøèðåíèÿ è îáîçíà÷àåòñÿ ÷åðåç (R : K) = dimK R. Òåîðåìà 1. (Î ïðîñòîòå êîíå÷íîãî ðàñøèðåíèÿ.) Âñÿêîå êîíå÷íîå (ñåïàðàáåëüíîå) ðàñøèðåíèå ìîæåò áûòü ïîëó÷åíî ïðèñîåäèíåíèåì îäíîãî (ïðèìèòèâíîãî) ýëåìåíòà. Íîðìàëüíîå ðàñøèðåíèå. Ðàñøèðåíèå íàçûâàåòñÿ íîðìàëüíûì, åñëè âìåñòå ñ êàæäûì ýëåìåíòîì îíî ñîäåðæèò è âñå åãî ñîïðÿæåííûå. Ïåðâûé êðèòåðèé íîðìàëüíîñòè: Ðàñøèðåíèå (êîíå÷íîå) ÿâëÿåòñÿ íîðìàëüíûì òîãäà è òîëüêî òîãäà, êîãäà ïîëó÷åíî ïðèñîåäèíåíèåì âñåõ êîðíåé êàêîãî-ëèáî ìíîãî÷ëåíà. ñêèì íàä ïîëåì 2 Èçîìîðôèçìû è àâòîìîðôèçìû íàä ïîëåì. Ïåðåõîä â ñîïðÿæåííûé ïðè èçîìîðôèçìå. Ïóñòü ϕ : R → Q èçîìîðôèçì ïîëåé è K ïîëå ëåæàùåå â R ∩ Q. ϕ íàçûâàåòñÿ èçîìîðôèçìîì íàä K , åñëè âñå ýëåìåíòû èç K ñòàáèëüíû (îñòàþòñÿ íà ìåñòå) ïîä äåéñòâèåì ϕ. Êàæäûé àëãåáðàè÷åñêèé íàä K ýëåìåíò ïîä äåéñòâèåì èçîìîðôèçìà íàä K ïåðåõîäèò â ñîïðÿæåííûé (ò.ê. îáðàç äîëæåí óäîâëåòâîðÿòü òîìó æå óðàâíåíèþ, ÷òî è ïðîîáðàç). Ïîýòîìó èìååì: Âòîðîé êðèòåðèé íîðìàëüíîñòè: Ðàñøèðåíèå (êîíå÷íîå) ÿâëÿåòñÿ íîðìàëüíûì òîãäà è òîëüêî òîãäà, êîãäà âñÿêèé åãî èçîìîðôèçì íàä K ÿâëÿåòñÿ àâòîìîðôèçìîì (èçîìîðôèçìîì â ñåáÿ). Ïðåäëîæåíèå 1 (Î ïðîäîëæåíèè èçîìîðôèçìîâ). Ïóñòü K ⊂ Q ⊂ R ïîñëåäîâàòåëüíîñòü ðàñøèðåíèé ïîëåé. Åñëè K ⊂ Q0 òîæå ðàñøèðåíèå ïîëÿ K è ñóùåñòâóåò èçîìîðôèçì ϕ : Q → Q0 íàä K , òî ñóùåñòâóåò ðàñøèðåíèå Q0 ⊂ R0 è èçîìîðôèçì ψ : R → R0 , ïðîäîëæàþùèé ϕ (ò.å. ψ = ϕ íà ýëåìåíòàõ èç Q, â ÷àñòíîñòè, ψ èçîìîðôèçì íàä K ). Äîêàçàòåëüñòâî. Äîñòàòî÷íî ðàññìîòðåòü ñëó÷àé, êîãäà Q = K(α) è R = Q(β), ò.å. R = K(α, β).  ýòîì ñëó÷àå Q0 = K(α0 ), ãäå α è α0 ñîïðÿæåííûå íàä K ýëåìåíòû. Ïóñòü b0 xn + b1 xn−1 + · · · + bn−1 x + bn ìèíèìàëüíûé ìíîãî÷ëåí ýëåìåíòà β íàä Q è β 0 ëþáîé êîðåíü ìíîãî÷ëåíà b00 xn +b01 xn−1 + · · · + b0n−1 x + b0n , ãäå b0i = ϕbi îáðàç ýëåìåíòà bi ïðè èçîìîðôèçìå ϕ, è R0 = Q(β 0 ). ëåãêî ïðîâåðèòü, ÷òî èñêîìûé èçîìîðôèçì R = K(α, β) → K(α0 , β 0 ) = R0 îïðåäåëÿåòñÿ ñîîòâåòñòâèåì α 7→ α0 , β 7→ β 0 . 2. Òåîðåìà Ãàëóà î ñîîòâåòñòâèè Îïðåäåëåíèå ãðóïïû Ãàëóà. Ïóñòü K ⊂ R íîðìàëüíîå ðàñøèðåíèå, ò.å. êàæäûé èçîìîðôèçì R íàä K ÿâëÿåòñÿ àâòîìîðôèçìîì. Ìíîæåñòâî âñåõ àâòîìîðôèçìîâ R íàä K , ò.å. òàêèõ êîòîðûå îñòàâëÿþò âñå ýëåìåíòû èç K ñòàáèëüíûìè, ÿâëÿåòñÿ ãðóïïîé, êîòîðàÿ íàçûâàåòñÿ ãðóïïîé Ãàëóà R íàä K è îáîçíà÷àåòñÿ ÷åðåç G(R : K). Ñäåëàåì âàæíîå óòî÷íåíèå: âñå (â ñîâîêóïíîñòè) àâòîìîðôèçìû èç G(R : K) îñòàâëÿþò ñòàáèëüíûìè òîëüêî ýëåìåíòû èç K â ñèëó ñëåäóþùåé ëåììû. Ëåììà 1. Ïóñòü K ⊂ R íîðìàëüíîå ðàñøèðåíèå. Ýëåìåíò γ ∈ R ñòàáèëåí ïîä äåéñòâèåì âñåõ àâòîìîðôèçìîâ ãðóïïû G(R : K) òîãäà è òîëüêî òîãäà, êîãäà γ ∈ K . Äîêàçàòåëüñòâî. Ïóñòü R = K(θ) è γ = c0 + c1 θ + · · · + cm θm . Ïóñòü θ1 , ..., θn âñå ðàçëè÷íûå ñîïðÿæåííûå ýëåìåíòû äëÿ θ. Òîãäà nγ = c0 + c1 s1 + · · · + cm sm , ãäå si i-òàÿ ñòåïåííàÿ ñóììà îò θ1 , ..., θn . Ïî òåîðåìå î ñèììåòðè÷åñêèõ ôóíêöèÿõ âñå si ëåæàò â K , à ñëåäîâàòåëüíî, è nγ ∈ K . Âòîðîå äîêàçàòåëüñòâî îñíîâàíî íà òåîðåìå î ïðîäîëæåíèè èçîìîðôèçìîâ íà ðàñøèðåíèÿ. Ïóñòü fγ (x) = a0 xm + · · · + am ìèíèìàëüíûé ìíîãî÷ëåí ýëìåíòà γ íàä K . Íóæíî ïîêàçàòü, ÷òî m = 1. Åñëè m > 1, òî γ èìååò m ñîïðÿæåííûõ ýëåìåíòîâ γi . È êàæäîå ñîîòâåòñòâèå γ → γi ïðîäîëæàåòñÿ äî èçîìîðôèçìà K(γ) íàä K , à ïîòîì è äî àâòîìîðôèçìà R íàä K , êîòîðûå ïî îïðåäåëåíèþ íå îñòàâëÿþò γ ñòàáèëüíûì. 3 Ïðåäëîæåíèå î ðàâåíñòâå ñòåïåíè ðàñøèðåíèÿ è ïîðÿäêà åãî ãðóïïû Ãàëóà. Ïðîìåæóòî÷íûå ïîëÿ. Òåîðåìà 1 (Î ñîîòâåòñòâèè Ãàëóà). 1) Êàæäîìó ïðîìåæóòî÷íîìó ïîëþ P : K ⊂ P ⊂ R ñîîòâåòñòâóåò ïîäãðóïïà G(R : P ) â G(R : K), à èìåííî, G(R : P ) ìíîæåñòâî òåõ àâòîìîðôèçìîâ â G(R : K), êîòîðûå îñòàâëÿþò âñå ýëåìåíòû èç P ñòàáèëüíûìè. 2) Êàæäîé ïîäãðóïïå H â G(R : K) ñîîòâåòñòâóåò ïðîìåæóòî÷íîå ïîëå Q: K ⊂ Q ⊂ R, äëÿ êîòîðîãî H = G(R : Q), ò.å. Q åñòü ìíîæåñòâî âñåõ òåõ ýëåìåíòîâ èç R, êîòîðûå îñòàþòñÿ ñòàáèëüíûìè ïîä äåéñòâèåì âñåõ àâòîìîðôèçìîâ èç H . Äîêàçàòåëüñòâî. 1) Ýòî óòâåðæäåíèå ñëåäóåò íåïîñðåäñòâåííî èç îïðåäåëåíèÿ ãðóïïû G(R : K) ââèäó óòî÷íåíèÿ, ñäåëàííîãî ïîñëå íåãî. Çäåñü åùå îòìåòèì òîëüêî, ÷òî åñëè R íîðìàëüíî íàä K , òî òåì áîëåå íîðìàëüíî íàä ëþáûì ïðîìåæóòî÷íûì ïîëåì P . 2) Ìíîæåñòâî Q âñåõ ýëåìåíòîâ â P ñòàáèëüíûõ ïîä äåéñòâèåì âñåõ àâòîìîðôèçìîâ èç ïîäãðóïïû H , î÷åâèäíî, ÿâëÿåòñÿ ïîäïîëåì â R, ñîäåðæàùèì K , è î÷åâèäíî òàêæå, ÷òî H ⊆ G(R : Q). Ïóñòü R = P (θ) è H = {h1 , ..., hm }. Ðàññìîòðèì ìíîãî÷ëåí f (x) = (x − θ1 ) · · · (x − θm ), ãäå θi = θhi . Âñå åãî êîýôôèöèåíòû ÿâëÿþòñÿ ñèììåòðè÷åñêèìè ôóíêöèÿìè îò θ1 , ..., θm , à ïîòîìó ñòàáèëüíû ïîä äåéñòâèåì H , è ïî îïðåäåëåíèþ Q ëåæàò â íåì. Î÷åâèäíî, ÷òî Q(θ) = R (ò.ê. K(θ) = R) è θ = θi äëÿ íåêîòîðîãî i. Ïîýòîìó ñòåïåíü ìèíèìàëüíîãî ìíîãî÷ëåíàθ íàä Q ≤ m (ò.ê. îí äîëæåí áûòü äåëèòåëåì f (x)). Ýòî îçíà÷àåò, ÷òî ïîðÿäîê G(R : Q) ðàâíûé ñòåïåíè ðàñøèðåíèÿ (R : Q) ≤ m, ò.å. = m è, ñëåäîâàòåëüíî, H = G(R : Q). Ëåììà 2. Ïóñòü K ⊂ R íîðìàëüíîå ðàñøèðåíèå K , γ ∈ R è Gγ ñòàáèëèçàòîð γ â G(R : K) (ò.å. Gγ = G(K(γ) : K). Èìååò ìåñòî âçàèìíî îäíîçíà÷íîå ñîîòâåòñòâèå ìåæäó ëåâûìè êëàññàìè ñìåæíîñòè Gγ è ñîïðÿæåííûìè ñ γ ýëåìåíòàìè, à èìåííî, β = γh ⇔ h ∈ Gγ g. Äîêàçàòåëüñòâî. Ïóñòü γh = γg, òîãäà γhg−1 = γ , ò.å. hg−1 ∈ Gγ . È îáðàòíî. Ëåììà 3. Ïóñòü K ⊂ Q ⊂ R, ãäå Q ïðîìåæóòî÷íîå ðàñøèðåíèå â íîðìàëüíîì ðàñøèðåíèè R. Åñëè g ∈ G(R : K), òî Qg òîæå ïðîìåæóòî÷íîå ðàñøèðåíèå: K ⊂ Qg ⊂ R, êîòîðîå íàçûâàåòñÿ ñîïðÿæåííûì íàä K , è G(R : Qg) = g −1 G(R : Q)g . Äîêàçàòåëüñòâî. Òî, ÷òî K ⊂ Q ⊂ R ñëåäóåò ñðàçó èç îïðåäåëåíèé, à òî, ÷òî Qg ïîäïîëå ëåãêî ïðîâåðÿåòñÿ. Îñòàåòñÿ ïðîâåðèòü ðàâåíñòâî G(R : Qg) = g −1 G(R : Q)g : Qg(g −1 G(R : Q)g) = Qg è îáðàòíî, ïóñòü äëÿ âñÿêîãî γ ∈ Q èìååì γgh = γg, òîãäà γghg−1 = γ , ò.å. ghg−1 ∈ G(R : Q) è h ∈ g −1 G(R : Q)g . Ñëåäñòâèå 1..  óñëîâèÿõ ëåììû 2 Q íîðìàëüíîå ðàñøèðåíèå K òîãäà è òîëüêî òîãäà, êîãäà G(R : Q) íîðìàëüíàÿ ïîäãðóïïà â G(R : K), è G(Q : K) ∼= G(R : K)/G(R : Q) (ôàêòîð ãðóïïà). Ëåììà 4. Åñëè ïîëå F åñòü íîðìàëüíîå ðàñøèðåíèå ïîëÿ K , òî îíî åñòü íîðìàëüíîå ðàñøèðåíèå è äëÿ ëþáîãî ïðîìåæóòî÷íîãî ïîëÿ P : K ⊂ P ⊂ F . Äîêàçàòåëüñòâî. Âñÿêèé íåïðèâîäèìûé ìíîãî÷ëåí f íàä P (c êîðíÿìè â F ) ÿâëÿåòñÿ ìíîæèòåëåì íåïðèâîäèìîãî ìíîãî÷ëåíà íàä K . 4 3. Ãðóïïà Ãàëóà äâó÷ëåííîãî ìíîãî÷ëåíà Òåîðåìà 2 (Î ðàçðåøèìîñòè óðàâíåíèÿ). Óðàâíåíèå a0 xn + a1 xn−1 + · · · + an−1 x + an = 0 íàä K ðàçðåøèìî â ðàäèêàëàõ òîãäà è òîëüêî òîãäà, êîãäà åãî ãðóïïà Ãàëóà ðàçðåøèìà. Ëåììà 4. Ïóñòü ïîëå K ñîäåðæèò âñå êîðíè n-îé ñòåïåíè èç 1 (è n âçàèìíî ïðîñòî ñ õàðàêòåðèñòèêîé ïîëÿ). Òîãäà ãðóïïà Ãàëóà äâó÷ëåííîãî ìíîãî÷ëåíà f (x) = xn − a (a ∈ K ) öèêëè÷íà. Äîêàçàòåëüñòâî. Ïóñòü θ êîðåíü f (x) è ζ ïåðâîîáðàçíûé êîðåíü nîé ñòåïåíè èç 1 (ζ ∈ K ). Òîãäà ζ i θ, i = 0, ..., n − 1 âñå êîðíè f (x), êîòîðûå ðàçëè÷íû (ò.ê. ζ i θ = ζ j θ ⇒ ζ i = ζ j ). Ïîýòîìó K(θ) ïîëå ðàçëîæåíèÿ f (x) è êàæäûé ýëåìåíò g ãðóïïû Ãàëóà G = G(K(θ) : K) çàäàåòñÿ ñîîòâåòñòâèåì θ → ζ i θ è îïðåäåëÿåò ãîìîìîðôèçì G → Un (G â ãðóïïó êîðíåé n-îé ñòåïåíè èç 1) ñîîòâåòñòâèåì g 7→ ζ i (ïðîâåðèòü). Òàêèì îáðàçîì, G èçîìîðôíà íåêîòîðîé ïîäãðóïïå öèêëè÷åñêîé ãðóïïû Un , à ïîòîìó ñàìà öèêëè÷íà. Ëåììà 5. (Î íåçàâèñèìîñòè àâòîìîðôèçìîâ.) Ïîïàðíî ðàçëè÷íûå (íåíóëåâûå) àâòîìîðôèçìû ïîëÿ R ëèíåéíî íåçàâèñèìû (êàê ôóíêöèè). Äîêàçàòåëüñòâî. Ïóñòü g1 , ..., gm ðàçëè÷íûå íåíóëåâûå àâòîìîðôèçìû ïîëÿ R è ñóùåñòâóþò òàêèå a1 , ..., am ∈ R òàêèå, ÷òî g = a1 g1 + · · · + am gm íóëåâîé àâòîìîðôèçì (ò.å. g(x) = 0 ∀x ∈ R). Íóæíî äîêàçàòü, ÷òî âñå ai = 0. Èíäóêöèÿ ïî m. Ñëó÷àé m = 1 î÷åâèäåí. Ïóñòü a1 g1 (x) + · · · + am gm (x) = 0 (*) äëÿ ëþáîãî x ∈ R, íî òîãäà äëÿ ëþáîãî a ∈ R èìååì òàêæå a1 g1 (ax)+· · ·+am gm (ax) = 0 (**). Óìíîæèì (*) íà gm (a) è âû÷òåì ðåçóëüòàò m−1 èç (**). Ïîëó÷èì (ò.ê. gi àâòîìîðôèçì): P ai (gi (a) − gm (a))gi (x) = 0, i=1 îòêóäà â ñèëó èíäóêöèîííîãî ïðåäïîëîæåíèÿ èìååì ai (gi (a) − gm (a)) = 0, i = 1, ..., m − 1. Òàê êàê âñå gi ðàçëè÷íû è ðàâåíñòâà ýòè èìåþò ìåñòî äëÿ ëþáîãî a ∈ R, òî îòñþäà èìååì ai = 0, i = 1, ..., m − 1, à çíà÷èò è am = 0. Çàìå÷àíèå 1. Îáðàòèì âíèìàíèå, ÷òî âñÿêèé ãîìîìîðôèçì ÿâëÿåòñÿ ôóíêöèåé, íî íå âñÿêàÿ ôóíêöèÿ åñòü ãîìîìîðôèçì.  ÷àñòíîñòè, ëèíåéíàÿ êîìáèíàöèÿ ãîìîìîðôèçìîâ â îáùåì ñëó÷àå íå ÿâëÿåòñÿ ãîìîìîðôèçìîì. Íàïðèìåð, ïóñòü f, g ðàçëè÷íûå íåíóëåâûå ãîìîìîðôèçìû, òîãäà f, g, f + g ïîïàðíî ðàçëè÷íûå íåíóëåâûå (ïðè g 6= −f ), íî ëèíåéíî çàâèñèìû ïî îïðåäåëåíèþ, ò.ê. f + g íå ãîìîìîðôèçì. Òàêèì îáðàçîì, ëåììà 5 ñïðàâåäëèâà òîëüêî äëÿ àâòîìîðôèçìîâ (ãîìîìîðôèçìîâ). Ëåììà 6. Åñëè ïîëå K ñîäåðæèò âñå êîðíè n-é ñòåïåíè èç 1 è R åãî öèêëè÷åñêîå ðàñøèðåíèå ñòåïåíè n, òî R = K(γ), ãäå γ êîðåíü äâó÷ëåííîãî óðàâíåíèÿ xn − c = 0 íàä K . Äîêàçàòåëüñòâî. Ïóñòü K ñîäåðæèò âñå êîðíè n-é ñòåïåíè èç 1 è K ⊂ R öèêëè÷åñêîå ðàñøèðåíèå ñòåïåíè n (ò.å. åãî ãðóïïà Ãàëóà öèêëè÷åñêàÿ 5 ñ îáðàçóþùåé g). Ïóñòü ζ ïðèìèòèâíûé êîðåíü n-é ñòåïåíè èç 1 è α ïðîèçâîëüíûé ýëåìåíò ïîëÿ R. Îïðåäåëèì ðåçîëüâåíòó Ëàãðàíæà, ïîëàãàÿ (ζ, α) = α + ζgα + ζ 2 g 2 α + · · · + ζ n−1 g n−1 α. Èìååì 1) g(ζ, α) = ζ −1 (ζ, α) 2) gk (ζ, α) = ζ −k (ζ, α) Îòñþäà g(ζ, α)n = (ζ, α)n , è ïîòîìó c = (ζ, α)n ëåæèò â K , à òàêæå âñå g k (ζ, α), k = 0, ..., n − 1 ðàçëè÷íû, ò.å. R = K(γ), ãäå γ = (ζ, α). Ïðåäëîæåíèå 2. Åñëè ïîëå K ñîäåðæèò âñå êîðíè n-é ñòåïåíè èç 1, òî R ÿâëÿåòñÿ öèêëè÷åñêèì ðàñøèðåíèåì ñòåïåíè n òîãäà è òîëüêî òîãäà, êîãäà R = K(γ), ãäå γ êîðåíü äâó÷ëåííîãî óðàâíåíèÿ xn − c = 0 íàä K . Äîêàçàòåëüñòâî ñëåäóåò èç ëåìì 4 è 6. Ëåììà 7. Åñëè ïîëå K ñîäåðæèò âñå êîðíè p-é ñòåïåíè èç 1, ãäå p ïðîñòîå ÷èñëî, òî ìíîãî÷ëåí xp − a (a ∈ K ) ëèáî íåïðèâîäèì, ëèáî ðàçëàãàåòñÿ íà ëèíåéíûå ìíîæèòåëè íàä K . Äîêàçàòåëüñòâî. Ïî ïðåäëîæåíèþ 2 ãðóïïà Ãàëóà G ìíîãî÷ëåíà xp − a èçîìîðôíà ïîäãðóïïå Cp (öèêëè÷åñêàÿ ïîðÿäêà p). Òàê êàê p ïðîñòîå, òî G ëèáî åäèíè÷íàÿ è ïîòîìó âñå êîðíè xp − a ëåæàò â K , ëèáî èçîìîðôíà Cp , ò.å. âñå êîðíè ñîïðÿæåíû è ìíîãî÷ëåí xp − a íåïðèâîäèì. Ëåììà 8.  ïðîèçâîëüíîì ïîëå K äëÿ ïðîñòîãî ÷èñëà p ìíîãî÷ëåí xp −a (a ∈ K ) ëèáî íåïðèâîäèì, ëèáî èìååò ëèíåéíûé ìíîæèòåëü, ò.å. xp − a = (x − c)(xp−1 + cxp−2 + · · · + cp−1 ) è a = cp (c ∈ K ). Äîêàçàòåëüñòâî. Ïóñòü f (x) = xp −a = ϕ(x)ψ(x) è θ êîðåíü f (x). Òîãäà Q k ϕ(x) = (x − ζ θ) (ãäå k ïðîáåãàåò íåêîòîðîå ïîäìíîæåñòâî â {0, ..., p − 1}) è åãî ñâîáîäíûé ÷ëåí b = ζ 0 θm . Èìååì bp = θpm = am , 0 < m < p. Ïóñòü um + vp = 1. Òîãäà a = aum avp = bup avp = cp , ãäå c = bu av . 4. Íîðìàëüíûå è êîìïîçèöèîííûå ðÿäû â ãðóïïàõ : 1) G B H, G ⊃ F, G = F H ⇒ G/H ∼= F/(F ∩ H). (T1 î ãîìîìîðôèçìàõ.) 2) A B C ⇒ (A B (∃)B B C ⇔ A/C B B/C). (T2 î ãîìîìîðôèçìàõ.) Íîðìàëüíûé ðÿä ãðóïïû G ïîñëåäîâàòåëüíîñòü ïîäãðóïï G0 = G ⊇ G1 ⊇ · · · ⊇ Gl = 1, â êîòîðîì Gi B Gi+1 (íîðìàëüíàÿ ïîäãðóïïà â Gi , íî íå îáÿçàòåëüíî â G). {Gi /Gi+1 ; i = 0, ..., l − 1} ôàêòîðû ðÿäà, l äëèíà ðÿäà (÷èñëî ôàêòîðîâ). Ïîâòîðåíèÿ (Gi = Gi+1 ) è óïëîòíåíèÿ (Gi ⊇ G0i ⊇ Gi+1 ). Êîìïîçèöèîííûé ðÿä ãðóïïû G íå èìåþùèé ïîâòîðåíèé è íåóïëîòíÿåìûé (áåç ïîâòîðåíèé) íîðìàëüíûé ðÿä. Äâà íîðìàëüíûõ ðÿäà îäèíàêîâîé äëèíû íàçûâàþòñÿ èçîìîðôíûìè, åñëè ñóùåñòâóåò ñîîòâåòñòâèå ìåæäó èõ ôàêòîðàìè, ïðè êîòîðîì ñîîòâåòñòâóþùèå ôàêòîðû èçîìîðôíû. Íàïîìèíàíèå 6 Ëåììà 9. Åñëè äâà ðÿäà èçîìîðôíû, òî âñÿêîå óïëîòíåíèå îäíîãî èìååò èçîìîðôíîå óïëîòíåíèå äðóãîãî. Äîêàçàòåëüñòâî. Ïóñòü Gi ⊇ Gi+1 è G0j ⊇ G0j+1 îòðåçêè íîðìàëüíûõ ðÿäîâ, äëÿ êîòîðûõ Gi /Gi+1 ∼= G0j /G0j+1 . Åñëè Gi ⊇ F1 ⊇ · · · ⊇ Ft ⊇ Gi+i óïëîòíåíèå ïåðâîãî èç íèõ, òî ïî T2 î ãîìîìîðôèçìàõ ïîñëåäîâàòåëüíî íàéäóòñÿ H1 , H2 , ..., Ht òàêèå, ÷òî G0j ⊇ H1 ⊇ · · · ⊇ Ht ⊇ G0j+1 óïëîòíåíèå âòîðîãî, â êîòîðîì Fk /Fk+1 ∼= Hk /Hk+1 , k = 0, ..., t (F0 = Gi , Ft+1 = Gi+1 è H0 = G0j , Ht+1 = G0j+1 ) (Ïðè t = 1 íåïîñðåäñòâåííîå ïðèìåíåíèå T2, çàòåì èíäóêöèÿ ïî t ïðèìåíåííàÿ ê F1 ⊇ Gi+1 è H1 ⊇ G0j+1 .) Ñëåäñòâèå 2. Ïóñòü A ∼ = B èçîìîðôèçì íîðìàëüíûõ ðÿäîâ â ãðóïïå G è B 0 îòðåçîê ðÿäà B , ò.å. B = {C ⊇ B 0 }. Åñëè D íîðìàëüíûé ðÿä èçîìîðôíûé íåêîòîðîìó óïëîòíåíèþ B 0 : D ∼= B̃ 0 , òî ðÿä A èìååò óïëîòíåíèå à èçîìîðôíîå {C ⊇ D}: à ∼ = {C ⊇ D}. Äîêàçàòåëüñòâî. Î÷åâèäíî, ÷òî B̃ = {C ⊇ B̃ 0 } åñòü óïëîòíåíèå B è B̃ ∼ = {C ⊇ D} (*). Ïî ëåììå 9 ñóùåñòâóåò óïëîòíåíèå à ðÿäà A èçîìîðôíîå B̃ : à ∼ = B̃ . Îòñþäà è (*) ïîëó÷àåì à ∼ = {C ⊇ D} Ëåììà 10. Ïóñòü G ⊇ G1 ⊇ 1 è G ⊇ H1 ⊇ 1 íîðìàëüíûå ðÿäû, òî {G ⊇ P ⊇ G1 ⊇ D ⊇ 1} ∼ = {G ⊇ P ⊇ H1 ⊇ D ⊇ 1}, ãäå P = G1 H1 , D = G1 ∩ H1 . Äîêàçàòåëüñòâî. Òàê êàê G1 è H1 íîðìàëüíûå ïîäãðóïïû, òî òàêîâûìè æå ÿâëÿþòñÿ P è D. Ïî îïðåäåëåíèþ P è D èìååì âêëþ÷åíèÿ G ⊇ P ⊇ G1 ⊇ D ⊇ 1 è G ⊇ P ⊇ H1 ⊇ D ⊇ 1. Îñòàåòñÿ îòìåòèòü, ÷òî ïî T1 î ãîìîìîðôèçìàõ P/G1 ∼= H1 /D è G1 /D ∼= P/H1 . (P/G1 = G1 H1 /G1 ∼= H1 /(G1 ∩ H1 ) = H1 /D, àíàëîãè÷íî âòîðîå.) Çàìå÷àíèå 2. Ïóñòü X = {Z ⊇ X 0 } è Y = {Z ⊇ Y 0 } íîðìàëüíûå ðÿäû è X 0 , Y 0 èìåþò èçîìîðôíûå óïëîòíåíèÿ: X̃ 0 ∼= Ỹ 0 , òî èçîìîðôíû òàêæå X̃ = {Z ⊇ X̃ 0 } ∼= {Z ⊇ Ỹ 0 } = Ỹ ). Òåîðåìà 3. (Øðàéåðà) Äâà ïðîèçâîëüíûõ íîðìàëüíûõ ðÿäà ãðóïïû G èìåþò èçîìîðôíûå óïëîòíåíèÿ. Äîêàçàòåëüñòâî. Ïóñòü A = {G ⊇ G1 ⊇ · · · ⊇ Gr = 1}, B = {G ⊇ H1 ⊇ · · · ⊇ Hs = 1} íîðìàëüíûå ðÿäû â ãðóïïå G. Èñïîëüçóåì èíäóêöèþ ïî s (ñ ëþáûì r) è äëÿ êàæäîãî s ïî r ≥ s. Ñëó÷àé s = 1 î÷åâèäåí (ò.ê. âñÿêèé ðÿä åñòü óïëîòíåíèå òðèâèàëüíîãî G ⊇ 1). Ñëó÷àé s = 2. B = {G ⊇ H1 ⊇ 1}. Èíäóêöèÿ ïî r , îñíîâàíèå êîòîðîé äàåò ëåììà 10. Çàòåì äåëàåì èíäóêöèîííîå ïðåäïîëîæåíèå è çàìåòèì, ÷òî åñëè îíî ïðèìåíèìî ê ñîîòâåòñòâóþùèì îòðåçêàì ðÿäîâ, òî îíî ïðèìåíèìî è ê öåëûì ðÿäàì (â ñèëó çàìå÷àíèÿ). Ðàçîáüåì äîêàçàòåëüñòâî íà ñëåäóþùèå øàãè: 1) Ñòðîèì âñïîìîãàòåëüíûå èçèìîðôíûå (ïî ëåììå 10) íîðìàëüíûå ðÿäû: A1 = {G ⊇ P ⊇ G1 ⊇ D ⊇ 1} ∼ = {G ⊇ P ⊇ H1 ⊇ D ⊇ 1} = B1 , ãäå P = G1 H1 , D = G1 ∩ H1 . 7 (a) 2) Ñòðîèì èçèìîðôíûå óïëîòíåíèÿ äëÿ ðÿäîâ A1 è A, (ñòðîãî ãîâîðÿ, âìåñòî A ðàññìàòðèâàåòñÿ åãî óïëîòíåíèå ñ ïîìîùüþ äîáàâëåíèÿ P ; ïî ïðåäïîëîæåíèþ èíäóêöèè è çàìå÷àíèþ): Ã1 = {G ⊇ P ⊇ · · · ⊇ D ⊇ · · · ⊇ 1} ∼ = {G ⊇ P ⊇ · · · ⊇ Gi ⊇ · · · ⊇ Gr = 1} = Ã. (b) B1 Ã1 3)  ñèëó (a) ïî ëåììå 9 èìååò óïëîòíåíèå èçîìîðôíîå : B̃1 = {G ⊇ P ⊇ · · · ⊇ H1 ⊇ · · · ⊇ 1} ∼ = {G ⊇ P ⊇ · · · ⊇ D ⊇ · · · ⊇ 1} = Ã1 . (c) 4) Èç (b) è (c) ïîëó÷àåì èñêîìûå óïëîòíåíèÿ {G ⊇ P ⊇ · · · ⊇ H1 ⊇ D ⊇ · · · ⊇ 1} ∼ = {G ⊇ P ⊇ G1 ⊇ · · · ⊇ G2 ⊇ · · · ⊇ Gr = 1}. 1) Äëÿ A è B1 óïëîòíåíèÿ . Îïÿòü ðàçáèâàåì ðàññóæäåíèÿ íà øàãè: (ñëó÷àé s = 2) èìåþò èçîìîðôíûå s = {G ⊇ H1 ⊇ 1} Ñëó÷àé ïðîèçâîëüíîãî à = {G ⊇ · · · ⊇ Gi ⊇ · · · ⊇ Gr = 1} ∼ = {G ⊇ · · · ⊇ H1 ⊇ · · · ⊇ 1} = B̃1 . (d) 2) Îòðåçîê B2 = {H1 ⊇ · · · ⊇ 1} ðÿäà B̃1 (ñì.(d)) è îòðåçîê B 0 = {H1 ⊇ H2 ⊇ · · · ⊇ Hs = 1} ðÿäà B ïî ïðåäïîëîæåíèþ èíäóêöèè èìåþò èçîìîðôíûå óïëîòíåíèÿ: B̃2 = {H1 ⊇ · · · ⊇ 1} ∼ = {H1 ⊇ · · · ⊇ H2 ⊇ · · · ⊇ 1} = B̃ 0 . (e) 3)  ñèëó ñëåäñòâèÿ 2 èç (d) è (e) èìååì èçîìîðôíûå óïëîòíåíèÿ äëÿ à è B̃ : A = {G ⊇ · · · ⊇ Gi ⊇ · · · ⊇ Gr = 1} ∼ = {G ⊇ · · · ⊇ Hi ⊇ · · · ⊇ 1} = B, ãäå B ïîëó÷åíî çàìåíîé îòðåçêà B2 íà B̃ 0 . Ñëåäñòâèå 3. Âñå êîìïîçèöèîííûå ðÿäû â ãðóïïå G (åñëè îíè ñóùåñòâóþò) èçîìîðôíû. Ñëåäñòâèå 4. Ëþáîé íîðìàëüíûé ðÿä áåç ïîâòîðåíèé â êîíå÷íîé ãðóïïå G ìîæíî óïëîòíèòü äî êîìïîçèöèîííîãî.  ÷àñòíîñòè, ëþáóþ íîðìàëüíóþ ïîäãðóïïó ìîæíî âêëþ÷èòü â íåêîòîðûé êîìïîçèöèîííûé ðÿä. Ïóñòü G ãðóïïà. Ïîäãðóïïà G(1) â G, ïîðîæäåííàÿ âñåìè ýëåìåíòàìè âèäà aba−1 b−1 , a, b ∈ G ÿâëÿåòñÿ íîðìàëüíîé è íàçûâàåòñÿ êîììóòàíòîì ãðóïïû G. Ëåììà 11. Êîììóòàíò G(1) ãðóïïû G ñëåäóþùèìè ñâîéñòâàìè: 1) G(1) íîðìàëüíàÿ ïîäãðóïïà â G. 2) Ãðóïïà G/G(1) àáåëåâà. 3) Åñëè F íîðìàëüíàÿ ïîäãðóïïà â G òàêàÿ, ÷òî G/F àáåëåâà, òî F ⊇ G(1) (ò.å. G(1) ìèíèìàëüíàÿ íîðìàëüíàÿ ïîäãðóïïà ñ òàêèì ñâîéñòâîì). Äîêàçàòåëüñòâî. 1) Íîðìàëüíîñòü. Èìååì xaba−1 b−1 x−1 = (xax−1 )(xbx−1 )(xa−1 x−1 )(xb−1 x−1 x−1 ) = −1 −1 a1 b1 a1 b1 , ãäå a1 = xax−1 , b1 = xbx−1 äëÿ ëþáûõ a, b, x ∈ G, ò.å. ìíîæåñòâî îáðàçóþùèõ ïðè ñîïðÿæåíèè ñîõðàíÿåòñÿ, à çíà÷èò è G(1) . 2) Àáåëåâîñòü. 8 3) Ïóñòü G → G/F åñòåñòâåííûé ãîìîìîðôèçì, ïðè êîòîðîì a 7→ −1 a = aF −1 −1 −1 (ýëåìåíò â ñâîé êëàññ). Åñëè a, b ∈ G è x = aba b , òî x = aba b = 1, ò.ê. G/F àáåëåâà,ò.å. x ∈ F . Ñ äðóãîé ñòîðîíû, x îäèí èç îáðàçóþùèõ ïîäãðóïïû G(1) . Òàêèì îáðàçîì, âñå îáðàçóþùèå G(1) ëåæàò â F , à çíà÷èò è G(1) ⊆ F . Îòñþäà (èëè àíàëîãè÷íî) ñëåäóåò è àáåëåâîñòü. Çàìå÷àíèå 2. Ðÿä êîììóòàíòîâ G = G(0) ⊇ G(1) ⊇ G(2) ⊇ · · · ⊇ G(s) , ãäå G(i+1) êîììóòàíò G(i) , i = 0, ..., s − 1, ìîæåò íà íåêîòîðîì s ñòàáèëèçèðîâàòüñÿ åñëè ãðóïïà êîíå÷íà, òî ýòî ïðîèçîéäåò îáåçàòåëüíî), ò.å. áóäåì èìåòü G(s+1) = G(s) (à çíà÷èò è G(s+i) = G(s) äëÿ ëþáîãî i > 0). Åñëè ïðè ýòîì G(s) = 1, òî ðÿä êîììóòàíòîâ áóäåò íîðìàëüíûì, âñå ôàêòîðû êîòîðîãî àáåëåâû. Åñëè G(s) 6= 1, òî, äîáàâèâ â êîíöå 1 îïÿòü ïîëó÷èì íîðìàëüíûé ðÿä, âñå ôàêòîðû êîòîðîãî, êðîìå ïîñëåäíåãî, òîæå àáåëåâû. Ïðåäëîæåíèå 3. Ïóñòü G ãðóïïà. Ñëåäóþùèå óòâåðæäåíèÿ ðàâíîñèëüíû: (1) âñå ôàêòîðû êîìïîçèöèîííîãî ðÿäà G ïðîñòûå àáåëåâû ãðóïïû, (2) ñóùåñòâóåò  G íîðìàëüíûé ðÿä, âñå ôàêòîðû êîòîðîãî àáåëåâû, (3) ñóùåñòâóåò òàêîå s, ÷òî G(s) = 1. Äîêàçàòåëüñòâî. (2) → (1). Åñëè G/H àáåëåâà ãðóïïà, íî íå ïðîñòàÿ, òî îíà èìååò ñîáñòâåííóþ íîðìàëüíóþ ïîäãðóïïó F/H è G ⊃ F ⊃ H îòðåçîê íîðìàëüíîãî ðÿäà. Ïîýòîìó óïëîòíåíèå ïðîèçâîëüíîãî íîðìàëüíîãî ðÿäà äî êîìïîçèöèîííîãî âñåãäà èìååò âñå ôàêòîðû ïðîñòûå àáåëåâû. (Îáðàòíîå î÷åâèäíî, ò.ê. êîìïîçèöèîííûé ðÿä åñòü ÷àñòíûé ñëó÷àé íîðìàëüíîãî.) (3) → (2) Åñëè G(s) = 1 äëÿ íåêîòîðîãî s, òî ðÿä êîììóòàíòîâ ÿâëÿåòñÿ íîðìàëüíûì. (1) → (3) Ïóñòü ðÿä êîììóòàíòîâ îáðûâàåòñÿ íà G(s) (ò.å. G(s) = G(s+1) ) è G(s) 6= 1. Äîáàâèâ ê íåìó 1, ïîëó÷èì íîðìàëüíûé ðÿä. Óïëîòíèì åãî äî êîìïîçèöèîííîãî. Òîãäà êîíå÷íûé îòðåçîê ïîëó÷åííîãî êîìïîçèöèîííîãî ðÿäà áóäåò èìåòü âèä: G(s) ⊃ H1 ⊃ · · · ⊃ 1, ãäå H1 ñîáñòâåííàÿ íîðìàëüíàÿ ïîäãðóïïà â G(s) òàêàÿ, ÷òî G(s) /H1 àáåëåâà. Ýòî ïðîòèâîðå÷èò ïðåäïîëîæåíèþ G(s) = G(s+1) , ò.ê. ïî ëåììå 11 äîëæíû èìåòü G(s) ⊃ H1 ⊇ G(s+1) . Ãðóïïà íàçûâàåòñÿ ðàçðåøèìîé, åñëè äëÿ íåå âûïîëíåíî îäíî èç óñëîâèé ïðåäëîæåíèÿ 3. 5. Òåîðåìà ðàçðåøèìîñòè Ïóñòü f (x) = a0 xn +a1 xn−1 +· · ·+an−1 x+an íåïðèâîäèìûé íàä ïîëåì K ìíîãî÷ëåí, α1 , ..., αn åãî (ðàçëè÷íûå) êîðíè è F = K(α1 , ..., αn ) åãî (ìèíèìàëüíîå) ïîëå ðàçëîæåíèÿ. Áóäåì ãîâîðèòü, ÷òî óðàâíåíèå f (x) = 0 ðàçðåøèìî â ðàäèêàëàõ íàä K , åñëè ñóùåñòâóåò êîíå÷íàÿ ïîñëåäîâàòåëüíîñòü ïðîñòûõ öèêëè÷åñêèõ ðàñøèðåíèé K = K0 ⊂ K1 ⊂ · · · ⊂ Km = R, (1) òàêàÿ, ÷òî F ⊆ R. Ýòî îçíà÷àåò, ÷òî Ki = Ki−1 (γi ), ãäå γi êîðåíü íåïðèâîäèìîãî íàä Ki−1 ìíîãî÷ëåíà hi (x) = xp − ci , â êîòîðîì ci ∈ Ki−1 è pi i 9 ïðîñòîå ÷èñëî, i = 1, ..., m (K0 = K ), è F = K(α1 , ..., αn ) ⊆ K(γ1 , ..., γm ) = R. Ïîÿñíåíèå: Ðàçðåøèìîñòü óðàâíåíèÿ f (x) = 0 â ðàäèêàëàõ îçíà÷àåò, ÷òî êàæäûé êîðåíü α ýòîãî óðàâíåíèÿ ïðåäñòàâèì â âèäå α = Qm (Qm−1 (...(Q1 (a1 , ..., an )...)), (2) ãäå Qi (u1 , ..., us ) = {v1 , ..., vt } åñòü êîíå÷íîå ìíîæåñòâî âûðàæåíèé vj = vj (u1 , ..., us )√ , ïîëó÷åííûõ ñ ïîìîùüþ ðàöèîíàëüíûõ îïåðàöèé (+, −, ·, :) èç è u1 , ..., us è ci . (Qm ñîäåðæèò îäèí ýëåìåíò). Äåéñòâèòåëüíî, åñëè ýòî òàê êàæäûé ýëåìåíò uj ëåæèò â Ki−1 , òî êàæäûé vk ëåæèò à Ki . Çäåñü√ïîä √ci ïîíèìàåòñÿ îäèí èç êîðíåé óðàâíåíèÿ hi (x) = xp − ci = 0 (ò.å. ci = γi ). Ïðè ýòîì çàìåíà êàêîãî-ëèáî êîðíÿ ìíîãî÷ëåíà hi (x) íà äðóãîé ïðèâîäèò ê çàìåíå α íà äðóãîé êîðåíü f (x). Ýòî îáåñïå÷èâàåòñÿ ïðåäëîæåíèåì î ïðîäîëæåíèè èçîìîðôèçìîâ, ò.ê. pi ïðîñòûå è ïîòîìó ìíîãî÷ëåíû hi íåïðèâîäèìûå íàä Ki−1 (à çíà÷èò èçîìîðôèçìû ÿâëÿþòñÿ àâòîìîðôèçìàìè). Çàìå÷àíèå 3. Åñëè â âûðàæåíèå (2) âõîäÿò ðàäèêàëû, òî â ëþáîì p ñëó÷àå ìîæíî ñ÷èòàòü, ÷òî îíè ïðîñòûå (ïðîñòîé ñòåïåíè), ò.ê. √a = √a. Ëåììà 1. Åñëè q ïðîñòîå ÷èñëî, òî ìíîãî÷ëåí Φq (x) = xq−1 + xq−2 + · · · + x + 1 íåïðèâîäèì íàä Q è åãî ãðóïïà Ãàëóà öèêëè÷åñêàÿ ïîðÿäêà q − 1. Äîêàçàòåëüñòâî. Íåïðèâîäèìîñòü Φq (x) äîêàçûâàåòñÿ ñ ïîìîùüþ êðèòåðèÿ Ýéçíåøòåéíà (ïîñëå çàìåíû x = y − 1). Äëÿ äîêàçàòåëüñòâà âòîðîãî óòâåðæäåíèÿ íàïîìíèì ñëåäóþùåå óòâåðæäåíèå: (*) Åñëè K ïîëå õàðàêòåðèñòèêè p è n íå äëèòñÿ íà p, òî ãðóïïà êîðíåé n-îé ñòåïåíè èç 1 öèêëè÷åñêàÿ ïîðÿäêà n.  ÷àñòíîñòè, ìóëüòèïëèêàòèâíàÿ ãðóïïà âû÷åòîâ ïî ïðîñòîìó ìîäóëþ p öèêëè÷åñêàÿ ïîðÿäêà p − 1 (ò.ê. ïî "ìàëîé òåîðåìå Ôåðìà"äëÿ a 6≡ 0 (mod p) èìååì ap−1 − 1 ≡ 0 (mod p), ò.å. íåíóëåâûå âû÷èòû ÿâëÿþòñÿ êîðíÿìè p − 1-îé ñòåïåíè èç 1 íàä ïðîñòûì ïîëåì Pp õàðàêòåðèñòèêè p, è ò.ê. î÷åâèäíî, ÷òî p è p − 1 âçàèìíî ïðîñòû). Ïóñòü òåïåðü η ïåðâîîáðàçíûé êîðåíü q-îé ñòåïåíè èç 1 (íàä ïîëåì −1 K = Q), à çíà÷èò êîðåíü Φq (x) (ò.ê. Φq (x) = xx−1 ) è a ïåðâîîáðàçíûé êîðåíü (q − 1)-îé ñòåïåíè èç 1 íàä ïîëåì Pq . Òîãäà â ñèëó ñêàçàííîãî {η, η 2 , ..., η q−1 } = {η, η a , η a , ..., η a } ìíîæåñòâî âñåõ êîðíåé ìíîãî÷ëåíà Φq (x). Îïðåäåëèì àâòîìîðôèçì σ ïîëÿ K(η) íàä K (ò.å. ýëåìåíò ãðóïïû Ãàëóà ýòîãî ïîëÿ íàä K ), ïîëàãàÿ σ : η 7→ ηa (ò.å. σ(η) = ηa ). Íåòðóäíî ïðîâåðèòü, ÷òî σk (η) = ηa . Ýòî îçíà÷àåò, ÷òî àâòîìîðôèçìû 1, σ, σ2 , ..., σq−2 ñîñòàâëÿþò âñþ ãðóïïó G(K(η) : K) (K = Q) (σq−1 = 1). Îñòàåòñÿ óáåäèòñÿ, ÷òî âñå îíè ðàçëè÷íû. Äëÿ ýòîãî äîñòàòî÷íî äîêàçàòü, ÷òî ðàçìåðíîñòü K(η) íàä K ðàâíà q − 1, ò.å. ÷òî ýëåìåíòû η, η 2 , ..., η q−1 ëèíåéíî íåçàâèñèìû íàä K . (Íàïîìíèì, ÷òî {η, η2 , ..., ηq−1 } = {η, ηa , ηa , ..., ηa }.) Ýòî ñëåäóåò èç òîãî, ÷òî Φq (x) íåïðèâîäèì, ò.ê. çàâèñèìîñòü c1 η + c2 η 2 + · · · + cq−1 η q−1 = 0 (ci ∈ K) ðàâíîñèëüíà òîìó, ÷òî η åñòü êîðåíü ìíîãî÷ëåíà c1 + c2 x2 + · · · + cq−1 xq−2 ñòåïåíè q − 2. pi pi pi i pq q 2 q−1 k 2 10 q−1 p q Åñëè q ïðîñòîå ÷èñëî, òî óðàâíåíèå xq − 1 = 0 ðàçðåøèìî â íåïðèâîäèìûõ ðàäèêàëàõ (ò.å. êîðíè q-îé ñòåïåíè èç 1 ïðåäñòàâèìû íåïðèâîäèìûìè ðàäèêàëàìè). Äîêàçàòåëüñòâî. Åñëè q = 2, òî óòâåðæäåíèå òðèâèàëüíî. Ïðåäïîëîæèì, ÷òî îíî âåðíî äëÿ âñåõ ïðîñòûõ ÷èñåë ìåíüøå q. Ïî ëåììå 2 ãðóïïà Ãàëóà G ìíîãî÷ëåíà f (x) = xq −1 íàä K öèêëè÷åñêàÿ ïîðÿäêà q −1. Ïóñòü K(η) ïîëå ðàçëîæåíèÿ ýòîãî ìíîãî÷ëåíà, ãäå η åãî ïåðâîîáðàçíûé êîðåíü. Åñëè q − 1 = pk1 pk2 · · · pks , òî ïðèñîåäèíèì ê K êîðíè âñåõ ñòåïåíåé pi , i = 1, ..., s èç 1. Îáîçíà÷èì ïîëó÷åííîå ïîëå ÷åðåç K1 è áóäåì ðàññìàòðèâàòü f (x) íàä K1 . Ãðóïïà Ãàëóà G1 äëÿ f (x) íàä K1 ÿâëÿåòñÿ ïîäãðóïïîé G (ò.ê. àâòîìîðôèçìû K(η), ñòàáèëüíûå íà K1 ñòàáèëüíû íà K ). Ïîýòîìó îíà òîæå öèêëè÷íà è åå ïîðÿäîê åñòü äåëèòåëü q − 1. Ñëåäîâàòåëüíî, îíà èìååò êîìïîçèöèîííûé ðÿä G1 ⊃ G2 ⊃ · · · ⊃ Gt ⊃ 1, âñå ôàêòîðû Gi /Gi+1 êîòîðîãî èìåþò ïîðÿäêè, ëåæàùèå ñðåäè ÷èñåë {p2 , p2 , ..., ps }.  ñîîòâåòñòâóþùåé ïîñëåäîâàòåëüíîñòè ðàñøèðåíèé K1 ⊂ K2 ⊂ · · · ⊂ Kt ⊂ K(η) êàæäûé øàã öèêëè÷åñêèé ïîðÿäêà íåêîòîðîãî pi è ïîòîìó ïîëó÷àåòñÿ (â ñèëó ëåììû 6 3) ïðèñîåäèíåíèåì êîðíÿ íåïðèâîäèìîãî ìíîãî÷ëåíà âèäà xp − ai (íåïðèâîäèìîãî, ò.ê. èíà÷å ñòåïåíü ðàñøèðåíèÿ íå áóäåò ðàâíà pi , ñì. ëåììó 7 3), ò.å. íåïðèâîäèìîãî ðàäèêàëà. Òàê êàê ïî ïðåäïîëîæåíèþ èíäóêöèè âñå ýëåìåíòû K1 âûðàæàþòñÿ ÷åðåç ðàäèêàëû (íàä K ), òî îòñþäà ñëåäóåò, ÷òî è âñå ýëåìåíòû K(η), â ÷àñòíîñòè, êîðíè f (x), âûðàæàþòñÿ ÷åðåç ðàäèêàëû íàä K . Òåîðåìà 4. (Î ðàçðåøèìîñòè â ðàäèêàëàõ.) Äëÿ òîãî ÷òîáû óðàâíåíèå f (x) = 0, ãäå f (x) íåïðèâîäèìûé íàä K ìíîãî÷ëåí, íåîáõîäèìî è äîñòàòî÷íî, ÷òîáû åãî ãðóïïà Ãàëóà áûëà ðàçðåøèìà. (K ÷èñëîâîå ïîëå.) Äîêàçàòåëüñòâî. 1) Íåîáõîäèìîñòü (åñëè õîòÿ áû äëÿ îäíîãî êîðíÿ α ñóùåñòâóåò âûðàæåíèå (2), òî ãðóïïà G(F : K) ðàçðåøèìà). Ïîñëåäîâàòåëüíîñòè ïîëåé (1) ñîîòâåòñòâóåò íîðìàëüíûé ðÿä (ò.ê. âñå ðàñøèðåíèÿ íîðìàëüíû, êàê öèêëè÷åñêèå ïðîñòûå) ïîäãðóïï Ëåììà 2. 1 2 s i G(R : K) = G0 ⊃ G1 ⊃ · · · ⊃ Gm = 1, (3) ôàêòîðû Gi /Gi+1 êîòîðîé ïðîñòûå êîììóòàòèâíûå ãðóïïû, ò.å. (3) ÿâëÿåòñÿ êîìïîçèöèîííûì ðÿäîì è G0 ðàçðåøèìà. (Ñíà÷àëà íóæíî ïðèñîåäèíèòü âñå êîðíè pi -ûõ ñòåïåíåé èç 1). Ãðóïïà G(F : K) ÿâëÿåòñÿ íîðìàëüíîé ïîäãðóïïîé â G(R : K) (ò.ê. F íîðìàëüíîå ðàñøèðåíèå K ). Ïîýòîìó G(F : K) òîæå ðàçðåøèìà. 2) Äîñòàòî÷íîñòü. Ïóñòü G = G(F : K) ðàçðåøèìà, ò.å. èìååò êîìïîçèöèîííûé ðÿä H0 = G ⊃ H1 ⊃ H2 ⊃ · · · ⊃ Ht = 1, âñå ôàêòîðû Hi /Hi+1 êîòîðîãî ïðîñòûå öèêëè÷åñêèå (ïîðÿäêîâ pi ). Ïðèñîåäèíèì ñíà÷àëà ê K âñå êîðíè pi -ûõ ñòåïåíåé èç 1, ãäå pi âñå ïîðÿäêè ôàêòîðîâ (ïðîñòûå ÷èñëà). Ïîëó÷èì ïîëå K0 . Îáîçíà÷èì ÷åðåç K1 ìèíèìàëüíîå ïîëå F0 , ñîäåðæàùåå K0 è F . Ãðóïïà Ãàëóà K0 íàä K ðàçðåøèìà (â ñèëó ëåììû 2 è äîêàçàííîé ÷àñòè òåîðåìû). Ñëåäîâàòåëüíî, ðàçðåøèìà è ãðóïïà Ãàëóà F0 íàä K . 11 6. Íåðàçðåøèìîñòü â ðàäèêàëàõ îáùåãî óðàâíåíèÿ ïðè n > 4 Îáùèì óðàâíåíèåì ñòåïåíè n íàçûâàåòñÿ óðàâíåíèå f (x) = xn − u1 xn−1 + · · · + (−1)n−1 un−1 x + (−1)n un = 0 (1) íàä ïîëåì K(u1 , ..., un ), ãäå u1 , ..., un íåçàâèñèìûå ïåðåìåííûå, ïóñòü åãî êîðíè. ðàññìîòðèì òàêæå óðàâíåíèå v1 , ..., vn g(x) = xn −σ1 xn−1 +· · ·+(−1)n−1 σn−1 x+(−1)n σn = (x−x1 )(x−x2 ) · · · (x−xn ) = 0, (2) x1 , x2 , ..., xn σi = σi (x1 , x2 , ..., xn ) i Ëåììà 1. g(x) K1 = K(x1 , ..., xn ) K0 = K(σ1 , ..., σn ) Sn n K0 K0 ⊂ K1 σi = σi (x1 , ..., xn ) ãäå íåçàâèñèìûå ïåðåìåííûå, à ýëåìåíòàðíûé ñèììåòðè÷åñêèé ìíîãî÷ëåí ñòåïåíè . Ãðóïïà Ãàëóà ìíîãî÷ëåíà (ò.å. ðàñøèðåíèÿ íàä ) åñòü ãðóïïà âñåõ ïîñòàíîâîê ñòåïåíè è ýòîò ìíîãî÷ëåí íåïðèâîäèì íàä . Äîêàçàòåëüñòâî. Ïðåæäå âñåãî çàìåòèì, ÷òî (ò.å. äåéñòâèòåëüíî ÿâëÿåòñÿ ðàñøèðåíèåì) ïî îïðåäåëåíèþ . Ïåðâîå óòâåðæäåíèå ñëåäóåò èç ïåðâîé îñíîâíîé òåîðåìû î ñèììåòðè÷åñêèõ ìíîãî÷ëåíàõ. Âòîðîå ñëåäóåò èç ïåðâîãî. Äåéñòâèòåëüíî, âñå êîðíè ìíîãî÷ëåíà g(x) ðàçëè÷íû ïî îïðåäåëåíèþ è ïîòîìó îí íå ìîæåò áûòü ñòåïåíüþ êàêîãî-òî ìíîãî÷ëåíà. Íî îí íå ìîæåò áûòü è ïðîèçâåäåíèåì íåñêîëüêèõ ðàçëè÷íûõ ìíîãî÷ëåíîâ, ò.ê. âñå åãî êîðíè ñîïðÿæåíû íàä K0 ïî ïåðâîìó óòâåðæäåíèþ. Ëåììà 2. Èìååì èçîìîðôèçì ïîëåé F0 = K(u1 , ..., un ) ∼ = K(σ1 , ..., σn ), (3) êîòîðûé ïðîäîëæàåòñÿ äî èçîìîðôèçìà K(x1 , ..., xn ) ∼ = K(v1 , ..., vn ) = F1 , (4) ïðè ñîîòâåòñòâèè ui 7→ σi ; xi 7→ vi . Äîêàçàòåëüñòâî. Òàê êàê u1 , ..., un íåçàâèñèìûå ïåðåìåííûå, òî ñîîòâåòñòâèÿ ui 7→ σi , i = 1, ..., n îïðåäåëÿþò ãîìîìîðôèçì êîëåö K[u1 , ..., un ] → K[σ1 , ..., σn ], à ò.ê. σi íåçàâèñèìûå ôóíêöèè (ïî âòîðîé îñíîâíîé òåîðåìå î ñèììåòðè÷åñêèõ ìíîãî÷ëåíàõ), òî ýòîò ãîìîìîðôèçì ÿâëÿåòñÿ èçîìîðôèçìîì è ïîòîìó ïðîäîëæàåòñÿ äî èçîìîðôèçìà ïîëåé îòíîøåíèé (3). Ïî ïðåäëîæåíèþ î ïðîäîëæåíèè èçîìîðôèçìîâ ïîëó÷àåì èçîìîðôèçì (4), ò.ê. xi è vi êîðíè ñîîòâåòñòâóþùèõ íåïðèâîäèìûõ ìíîãî÷ëåíîâ. Ñëåäñòâèå 1. Ãðóïïà Ãàëóà îáùåãî óðàâíåíèÿ ñòåïåíè n (íàä F0 ) åñòü Sn ãðóïïà âñåõ ïîñòàíîâîê ñòåïåíè n. 12 7. Ïðîñòîòà ãðóïïû An (n > 4) Òåîðåìà 5. Ãðóïïà An ÷åòíûõ ïîäñòàíîâîê ñòåïåíè n ïðè n ≥ 5 ïðîñòàÿ (íåêîììóòàòèâíàÿ). Ïðåäâàðèòåëüíûå çàìå÷àíèÿ. Ãðóïïà ïîäñòàíîâîê Sn . Âûðàæåíèå ïîäñòàíîâîê íåçàâèñèìûìè öèêëàìè. Ïðåäñòàâëåíèå öèêëà ïðîèçâåäåíèåì òðàíñïîçèöèé: c = (1, 2, ..., k−1, k) = (1, k)(2, k) · · · (k − 1, k) ⇒ ÷åòíîñòü (1, ..., k) ðàâíà (−1)k−1 , ÷åòíîñòü σ = c1 c2 · · · cs ðàâíà (−1)k +···+k −s . Îïðåäåëåíèå An ìíîæåñòâî âñåõ ÷åòíûõ ïîäñòàíîâîê. Ëåììà 1. An ïîðîæäàåòñÿ 3-öèêëàìè: (1, i)(2, j) = (1, 2, j)(1, 2, i); (1, i)(2, i) = (1, 2, i). Ëåììà 2. N C An , (i, j, k) ∈ N ⇒ N = An : (1, 2, 3) ∈ N ⇒ (1, 2)(3, k)(1, 2, 3)(1, 2)(3, k) = (1, 2, k). Ëåììà 3. N CAn , (i, j)(k, l) ∈ N (n > 4) ⇒ N = An : τ = (1, 2)(3, 4), τ1 = (3, 4, 5)τ (3, 5, 4) = (1, 2)(3, 5) ∈ N ; ⇒ τ1 τ −1 = τ1 τ = (3, 5, 4) ∈ N . Ëåììà 4. τ = c1 · · · cs (`(ci ) ≥ `(ci+1 )); τ = c0 τ0 , ãäå c0 = c1 · cq , τ0 = cq+1 · cs . Åñëè τ ∈ N C An , òî äëÿ âñÿêîãî σ íåçàâèñÿùåãî îò τ0 (ò.å. ñòàáèëü−1 íîãî íà ÷èñëàõ èç τ0 : στ0 = τ0 σ) èìååì τ1 = τ −1 (στ σ−1 ) = c−1 ∈ N. 0 σc0 σ Äîêàçàòåëüñòâî òåîðåìû. Ïóñòü N C An è τ = c1 · · · cs ∈ N (`(ci ) ≥ `(ci+1 )). 1o `(c1 ) ≥ 4 ⇒ N = An c0 = c1 = (1, 2, ..., k) −1 a) k > 4. Ëåììà 4 äëÿ σ = (2, 3, 4) äàåò: τ1 = c−1 = (1, k, k − 0 σc0 σ 1, ..., 2)(2, 3, 4) · (1, 2, ..., k)(2, 4, 3) = (2, 4, 5) ∈ N . −1 b) k = 4. τ1 = c−1 = (1, 4, 3, 2)(2, 3, 4)(1, 2, 3, 4)(2, 4, 3) = (1, 2, 4) ∈ 0 σc0 σ N. 2o `(c1 ) = 3 ⇒ N = An −1 a) c0 = c1 c2 = (1, 2, 3)(4, 5, 6), σ = (2, 3, 4). Èìååì τ1 = c−1 = 0 σc0 σ (1, 3, 2)(4, 6, 5) · (2, 3, 4)(1, 2, 3)(4, 5, 6)(2, 4, 3) = (1, 5, 2, 4, 3) ∈ N . Ñâåëè ê ñëó÷àþ 1o . −1 b) c0 = c1 c2 = (1, 2, 3)(4, 5), σ = (2, 3, 4). Èìååì τ1 = c−1 = 0 σc0 σ (1, 3, 2)(4, 5) · (2, 3, 4)(1, 2, 3)(4, 5)(2, 4, 3) = (1, 5, 2, 4, 3) ∈ N . Îïÿòü ñâåëè ê ñëó÷àþ 1o . 3o `(c1 ) = 2 ⇒ N = An a) s > 2. c0 = (1, 2)3, 4), σ = (2, 3, 4); τ1 = (1, 2)(3, 4)(2, 3, 4)(1, 2)(3, 4)(2, 4, 3) = (1, 3)(2, 4) (n > 4, ëåììà 3). b) s = 2. τ = (1, 2)(3, 4) ∈ N . íåïîñðåäñòâåííîå ïðèìåíåíèå ëåììû 3.  ñëó÷àå `(c1 ) = 1 N = 1. 1 s 13 8. Ìíîãî÷ëåíû, èíâàðèàíòíûå îòíîñèòåëüíî ãðóïïû G ⊆ Sn Äåéñòâèå ïîäñòàíîâêè íà ìíîãî÷ëåíå. Ïóñòü f = f (x1 , ..., xn ) ìíîãî÷ëåí îò n ïåðåìåííûõ íàä ïîëåì K è a ïîäñòàíîâêà ñòåïåíè n (a ∈ Sn ). Ïîëîæèì f a = f (x1a , x2a , ..., xna ), ãäå ia ðåçóëüòàò äåéñòâèÿ a íà i (a : i 7→ ia). Ìíîãî÷ëåí f íàçûâàåòñÿ èíâàðèàíòíûì îòíîñèòåëüíî a, åñëè f a = f . Ïóñòü G ïîäãðóïïà â Sn (G ⊆ Sn ). Ãîâîðÿò, ÷òî ìíîãî÷ëåí f èíâàðèa àíòåí îòíîñèòåëüíî G, åñëè f = f äëÿ êàæäîãî a ∈ G (ò.å. èíâàðèàíòåí îòíîñèòåëüíî âñåõ ýëåìåíòîâ èç G). Ìíîãî÷ëåí f íàçûâàåòñÿ îïðåäåëÿþùèì äëÿ G ⊆ Sn , åñëè f a = f ⇔ a ∈ G. Ëåììà 1. Ìíîãî÷ëåí f ÿâëÿåòñÿ îïðåäåëÿþùèì äëÿ G òîãäà è òîëüêî òîãäà, êîãäà îäèíàêîâîå äåéñòâèå äâóõ ðàçíûõ ýëåìåíòîâ a è b èç Sn íà f îçíà÷àåò ïðèíàäëåæíîñòü èõ ê îäíîìó ïðàâîìó êëàññó ñìåæíîñòè ïî G (ò.å. ab−1 ∈ G). Äîêàçàòåëüñòâî. Ïóñòü f îïðåäåëÿþùèé äëÿ G. Èìååì f a = f b ⇒ ab = f ⇒ ab−1 ∈ G, ò.ê. f îïðåäåëÿþùèé äëÿ G. f Îáðàòíî, ïóñòü f a = f b , íî ab−1 ∈/ G. Îäíàêî, î÷åâèäíî, ÷òî f ab = f , ò.å. ýëåìåíò ab−1 , íåëåæàùèé â G, ñîõðàíÿåò f . Ñëåäîâàòåëüíî, f íå îïðåäåëÿþùèé. Äðóãàÿ ðåäàêöèÿ: äâà ðàâåíñòâà f a = f b è f ab = f , î÷åâèäíî, ýêâèâèëåíòíû. Ïîýòîìó, åñëè f îïðåäåëÿþùèé äëÿ G, òî îäèíàêîâîå äåéñòâèå a è b íà G âëå÷åò ab−1 ∈ G. Îáðàòíî, åñëè f a = f b , íî ab−1 ∈ / G, òî f íå ÿâëÿåòñÿ îïðåäåëÿþùèì. Ñëåäñòâèå 1. Åñëè a1 , ..., as ïîëíàÿ ñèñòåìà ïðåäñòàâèòåëåé (ïðàâûõ êëàññîâ ñìåæíîñòè), òî âñå ga ðàçëè÷íû. Ïðåäëîæåíèå 1. (Î ñóùåñòâîâàíèè îïðåäåëÿþùåãî ìíîãî÷ëåíà). Íàä áåñêîíå÷íûì ïîëåì K äëÿ êàæäîé ïîäãðóïïû G â Sn ñóùåñòâóåò îïðåäåëÿþùèé ìíîãî÷ëåí. Äîêàçàòåëüñòâî. Ïóñòü G = {b1 , ..., bm } è h = h(x1 , ..., xn ) = c1 x1 + · · · + cn xn , ãäå ci ∈ K è ci 6= cj ïðè i 6= j (ýòî âîçìîæíî, ò.ê. K áåñêîíå÷íî).  òàêîì ñëó÷àå áóäåì èìåòü: ha = hb ⇔ a = b (a, b ∈ Sn ) (ha = hb ⇒ cia = cib ). Ïîýòîìó, åñëè ïîëîæèòü ϕ(t, x1 , ..., xn ) = (t − hb ) · · · (t − hb ), òî âñå ìíîãî÷ëåíû ϕa (t), i = 1, ..., s, ãäå a1 , ..., as ïîëíàÿ ñèñòåìà ïðåäñòàâèòåëåé, ðàçëè÷íû (ò.ê. èõ êîðíè ha , a ∈ Sn ðàçëè÷íû) è, ñëåäîâàòåëüíî, ìîæíî ïîäîáðàòü t0 ∈ K òàê, ÷òîáû ϕa (t0 ) 6= ϕa (t0 ) äëÿ ëþáûõ i 6= j . Òîãäà ϕ(t0 , x1 , ..., xn ) èñêîìûé ìíîãî÷ëåí. Çàìå÷àíèå 1. Äîêàçàòåëüñòâî ïðåäëîæåíèÿ 1 íå òîëüêî óñòàíàâëèâàåò ñóùåñòâîâàíèå îïðåäåëÿþùåãî ìíîãî÷ëåíà äëÿ G, íî è äàåò íåêîòîðûé ñïîñîá åãî ïîñòðîåíèÿ. Îäíàêî, êàê áóäåò âèäíî â äàëüíåéøåì èç ïðèìåðîâ, ýòîò ñïîñîá äàëåêî íå âñåãäà ïðèâîäèò ê ïðîñòåéøåìó èç îïðåäåëþþùèõ ìíîãî÷ëåíîâ. Ïîëó÷àåìûé ýòèì ñïîñîáîì ìíîãî÷ëåí èìååò ñòåïåíü m (ïîðÿäîê ãðóïïû G), íî ÷àñòî ñóùåñòâóåò îïðåäåëÿþùèé ìíîãî÷ëåí ìåíüøåé ñòåïåíè. Ñîïðÿæåííûå ïîäãðóïïû è êëàññ ñîïðÿæåííîñòè. Íàïîìíèì, ÷òî ïîäñòàíîâêà êîðíåé α1 , ..., αn ìíîãî÷ëåíà f (x) íàä ïîëåì K ÿâëÿåòñÿ ýëåìåíòîì ãðóïïû Ãàëóà ýòîãî ìíîãî÷ëåíà (íàä K ), åñëè îíà −1 −1 −1 i 1 i i j 14 m ïðîäîëæàåòñÿ äî àâòîìîðôèçìà ïîëÿ ðàçëîæåíèÿ K(α1 , ..., αn ) ìíîãî÷ëåíà f (x). Ìíîæåñòâî âñåõ òàêèõ ïîäñòàíîâîê îáðàçóåò ãðóïïó Ãàëóà ýòîãî ìíîãî÷ëåíà (íàä K ). Çàâèñèìîñòü ãðóïïû Ãàëóà îò ïîðÿäêà êîðíåé. Ëåììà 2. Åñëè F èíâàðèàíòåí îòíîñèòåëüíî G, òî F a èíâàðèàíòåí îòíîñèòåëüíî a−1 Ga. Ëåììà 3. Åñëè F îïðåäåëÿþùèé äëÿ G, òî F a îïðåäåëÿþùèé äëÿ a−1 Ga. Îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ [G]. Ïóñòü g îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ G ⊆ Sn è a1 , ..., as ïîëíûé íàáîð ïðåäñòàâèòåëåé äëÿ G, òîãäà ìíîãî÷ëåí G(z) = G(z, x1 , ..., xn ) = (z −ga ) · · · (z −ga ) íàçûâàåòñÿ îïðåäåëÿþùèì ìíîãî÷ëåíîì äëÿ [G]. Ëåììà 4. G(z) = (z − ga ) · · · (z − ga ) íå çàâèñèò îò G ∈ [G], íî çàâèñèò îò g. Ëåììà 5. Êîýôôèöèåíòû G(z) ñèììåòðè÷åñêèå ôóíêöèè îò x1 , ..., xn . Äîêàçàòåëüñòâî. Äîñòàòî÷íî äîêàçàòü, ÷òî G a (z) = G(z) äëÿ ëþáîé ïîäñòàíîâêè a ∈ Sn . Èìååì G a (z) = (z − ga )a · · · (z − ga )a = (z − ga a ) · · · (z − g a a ). Ïîñêîëüêó a1 , ..., as ïîëíûé íàáîð ïðåäñòàâèòåëåé (ïðàâûõ êëàññîâ ñìåæíîñòè ïî G−1), òî è a1 a, ..., as a òîæå ïîëíûé íàáîð ïðåäñòàâèòåëåé (ò.ê. ai a(aj )−1 = ai aj ). Îòñþäà G a (z) = G(z). Âòîðîå äîêàçàòåëüñòâî. Ïî îïðåäåëåíèþ G(z) = zs −σ1 zs−1 +· · ·+(−1)s σs , ãäå σk ýëåìåíòàðíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû îò ga , ..., ga , à ò.ê. ïîä äåéñòâèåì a ∈ Sn ýòè ôóíêöèè ïåðåñòàâëÿþòñÿ, òî σk ñèììåòðè÷åñêèå ìíîãî÷ëåíû è îò x1 , ..., xn . Âû÷èñëåíèå ãðóïïû Ãàëóà ìíîãî÷ëåíà íàä K . Ïóñòü f (x) = a0 xn +a1 xn−1 + · · · + an ìíîãî÷ëåí íàä K áåç êðàòíûõ êîðíåé, α1 , ..., αn åãî êîðíè. G íåêîòîðàÿ ïîäãðóïïà â Sn è G(z) = G(z, x1 , ..., xn ) îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ [G]. Ïîëîæèì G0 (z) = G(z, α1 , ..., αn ).  ñèëó ëåììû 5 G0 (z) ìíîãî÷ëåí íàä K . Ïðåäëîæåíèå 2. G(f ) ⊆ G ⇒ ∃ γ ∈ K : G0 (γ) = 0. (Åñëè ãðóïïà Ãàëóà ìíîãî÷ëåíà f (íàä K ) ñîäåðæèòñÿ â Gi ∈ [G], òî G0 (z) èìååò êîðåíü â K ). Äîêàçàòåëüñòâî. Èìååì G0 (z) = (z − g0a ) · · · (z − g0a ), ãäå ga îïðåäåëÿþùèé äëÿ Gi ∈ [G] = {G1 , ..., Gs }; åñëè G(f ) ⊆ Gi , òî g a a = g a ∀ a ∈ Gi ⇒ a b a g0 = g0 ∀ b ∈ G(f ) ⇒ g0a ∈ K 1 . Ïðåäëîæåíèå 3. Ïóñòü G0 (z) íå èìååò êðàòíûõ êîðíåé è ∃ γ ∈ K : G0 (γ) = 0 ⇒ G(f ) ⊆ Gi ∈ [G]. Äîêàçàòåëüñòâî. Ïóñòü g0a = βi ∈ K . ∀ b ∈ G(fa) : βib =a βi ; g0a b = g0a = βi . Òàê êàê íåò êðàòíûõ êîðíåé, òî ýòî âëå÷åò g0 = g0 ⇒ i = j , ò.å. g0a b = g0a ∀b ∈ G(f ) ⇒ G(f ) ⊆ Gi ∈ [G], ò.ê. g a îïðåäåëÿþùèé äëÿ Gi 1 s 1 s 1 s 1 s 1 1 s s i i i i i i i i j i i i i i Ïîñòðîåíèå G0 (z) áåç êðàòíûõ êîðíåé (äëÿ äàííîãî f)  ñëó÷àå, êîãäà ïîëÿ K áåñêîíå÷íî, äëÿ äàííûõ ìíîãî÷ëåíà f (x) ∈ K[x] è ãðóïïû G ⊂ Sn ñóùåñòâóåò îïðåäåëÿþùèé äëÿ [G] ìíîãî÷ëåí G(z) òàêîé, ÷òî G0 (z) íå èìååò êðàòíûõ êîðíåé. Ïðåäëîæåíèå 4. 1 Çäåñü è íèæå ïîä g0a (a ∈ Sn ) ìû ïîíèìàåì 15 g0a = g a (α1 , ..., αn ) = g(α1a , ..., αna ). Ëåììà 6. Åñëè ïîëå K áåñêîíå÷íî, òî ñóùåñòâóþò c1 , ..., cn ∈ K òàêèå, ÷òî äëÿ êàæäîãî hk = hk (x1 , ..., xk ) = c1 x1 +· · ·+ck xk èìååì (hak )0 = (hbk )0 ⇔ xai = xbi , i = 1, ..., k , ãäå (hk )0 = c1 α1 + · · · + ck αk è a, b ∈ Sn . Äîêàçàòåëüñòâî. Èìååì hk = hk−1 + ck xk (c1 6= 0); ïóñòü hak = hak−1 + ck xi , hbk = hbk−1 + ck xj , i 6= j (ò.å. xak = xi , xbk = xj ). Òîãäà hak − hbk = h −h äëÿ ëþáûõ a, b ∈ Sn . hak−1 − hbk−1 + ck (αi − αj ) 6= 0 ⇔ ck 6= − α −α Çàìå÷àíèå 2. Óñëîâèå: ci 6= cj ïðè i 6= j â îïðåäåëåíèè h íåäîñòàòî÷íî äëÿ òîãî, ÷òîáû ha0 = hb0 ⇔ a = b (a, b ∈ Sn ) (ïî ñðàâíåíèþ ñ äîêàçàòåëüñòâîì ïðåäëîæåíèÿ 1 çäåñü ha0 ýëåìåíòû ïîëÿ K(α1 , ..., αn ), òîãäà êàê òàì ha ìíîãî÷ëåíû). Ïîýòîìó çäåñü äëÿ âûáîðà ci ïðèõîäèòñÿ ïðèìåíÿòü áîëåå òîíêîå ðàññóæäåíèå. Íî ïîñëå òîãî, êàê óäàåòñÿ íàéòè íóæíîå h, äîâîäû äîêàçàòåëüñòâà ïðåäëîæåíèÿ 1 ñîõðàíÿþò ñâîþ ñèëó. Äîêàçàòåëüñòâî ïðåäëîæåíèÿ 4. Ïóñòü G = {b1 , ..., bm }, h = hn (ñì. ëåììó 6) è ϕ(t) = (t − hb ) · · · (t − hb ). Åñëè t0 ∈ K ïîäîáðàíî òàê, ÷òî ga 6= ga ïðè i 6= j , ãäå g = ϕ(t0 ), à a1 , ..., as ïîëíàÿ ñèñòåìà ïðåäñòàâèòåëåé äëÿ G, òî g îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ G, ñîîòâåòñòâóþùèé ìíîãî÷ëåí G(z) = (z − g0a ) · · · (z − g0a ) êîòîðîãî áóäåò èñêîìûì. Äåéñòâèòåëüíî, êîðíÿìè G(z) ÿâëÿþòñÿ ýëåìåíòû g0a , êîòîðûå ïî ïîñòðîåíèþ g âñå ðàçëè÷íû. Ïðèìåðû. Ñëó÷àé n = 3. Ïîäãðóïïû S3 : E = {(1)}, C2 = {(1), (12)}, C20 = {(1), (13)}, C200 = {(1), (23)}, A3 = {(1), (123), (132)}, S3 . Ïðåîáðàçîâàíèå ×èðíãàóçåíà. Ïóñòü çàäàíû ìíîãî÷ëåí f (x) = xn −σ1 xn−1 + · · · + (−1)n−1 σn−1 x + (−1)n σn , σi ∈ K , ñî ñâîèìè êîðíÿìè α1 , α2 , ..., αn è ïðåîáðàçîâàíèå y = a0 + a1 x + · · · + an−1 xn−1 , ai ∈ K . Òðåáóåòñÿ ïîñòðîèòü ìíîãî÷ëåí g(y) = yn − Σ1 yn−1 + · · · + (−1)n Σn , êîðíÿìè êîòîðîãî ÿâëÿþòñÿ βi = y(αi ), i = 1, ..., n. Ïåðåõîä îò ïåðâîãî ìíîãî÷ëåíà f (x) êî âòîðîìó g(y) íàçûâàåòñÿ ïðåîáðàçîâàíèåì ×èðíãàóçåíà (ìíîãî÷ëåíà f (x)). Ðàññìîòðèì äâà ìåòîäà ïîñòðîåíèÿ ìíîãî÷ëåíà g(y) äëÿ äàííîãî f (x) íà êîíêðåòíîì ïðèìåðå. Ïóñòü f (x) = x3 − 2x + 3, y = 1 − x + x2 . 1) Íàéäåì ñòåïåííûå ñóììû äëÿ âåëå÷èí yi . Èìååì y = 1 − x + x2 , y2 = 7 − 9x + 5x2 , y 3 = 49 − 59x + 31x2 (mod f (x)). Ïîýòîìó S1 = β1 + β2 + β3 = 3 − s1 + s2 , S2 = 21 − 9s1 + 5s2 , S3 = 147 − 59s1 + 31s2 ; çàòåì, ò.ê. σ1 = 0, σ2 = −2, σ3 = −3, òî s1 = 0, s2 = 4; îòñþäà S1 = 7, S2 = 41, S3 = 271 ⇒ Σ1 = 7, Σ2 = 4, Σ3 = 4. Ñëåäîâàòåëüíî, g(y) = y 3 − 7y 2 + 4y − 4. Çàìå÷àíèå. Ìîæíî òàêæå (è âîçìîæíî ýòî ïðîùå) íàéòè çàâèñèìîñòü ìåæäó 1, y, y2 , y3 (mod f (x)). 2) Ðàññìîòðèì ñëåäóþùóþ ñèñòåìó ìíîãî÷ëåíîâ: y = 1 − x + x2 , xy = −3 + 3x − x2 , xy 2 = 3 − 5x + 3x2 (mod f (x)). Òàê êàê ýòà ñèñòåìà äîëæíà èìåòü ðåøåíèå îòíîñèòåëüíî (1, x, x2 ), òî äîëæíîèìåòü ìåñòî ðàâåíñòâî a k−1 i 1 1 b k−1 j m i s i 1−y −3 3 −1 3−y −5 1 −1 3−y = 0. Ýòî è åñòü g(y) (ñ òî÷íîñòüþ äî ìíîæèòåëÿ èç K ). 16 j Îáðàòíîå ïðåîáðàçîâíèå ×èðíãàóçåíà. Ïðåîáðàçîâàíèå ×èðíãàóçåíà íàçûâàåòñÿ îáðàòèìûì, åñëè ñóùåñòâóåò ïðåîáðàçîâàíèå x = b0 + b1 y + b2 y2 òàêîå, ÷òî ïåðåâîäèò g(y) îáðàòíî â f (x). Ïóñòü yi = n−1 P ; òîãäà x = aij xj (mod f (x)) j=0 n−1 P i=0 γi y i = n−1 P n−1 P ( γi aij )xj ⇒ j=0 i=0 . Ýòà ñèñòåìà óðàâíåíèé (îòíîñèòåëüíî γi ) äîëæíà èìåòü åäèíñòâåííîå ðåøåíèå, ò.å. det (aij ) 6= 0, ãäå a0j = δ0j . Ïðåäëîæåíèå. Åñëè ïðåîáðàçîâàíèå ×èðíãàóçåíà îáðàòèìî, òî G(f ) = G(g).  ðàññìîòðåííîì ïðèìåðå ïðåîáðàçîâàíèå îáðàòèìî, ò.ê. ïðåîáðàçîâàíèå x = 21 + 54 y − 14 y2 ïåðåâîäèò g(x) â f (x). n−1 P aij γ = δ1j , j = 1, ..., n − 1 i=0 17 ×àñòü II (II ñåìåñòð) 8. Ìíîãî÷ëåíû, èíâàðèàíòíûå îòíîñèòåëüíî ãðóïïû G ⊆ Sn Äåéñòâèå ïîäñòàíîâêè íà ìíîãî÷ëåíå. Ïóñòü f = f (x1 , ..., xn ) ìíîãî÷ëåí îò n ïåðåìåííûõ íàä ïîëåì K è a ïîäñòàíîâêà ñòåïåíè n (a ∈ Sn ). Ïîëîæèì f a = f (x1a , x2a , ..., xna ), ãäå ia ðåçóëüòàò äåéñòâèÿ a íà i (a : i 7→ ia). Ìíîãî÷ëåí f íàçûâàåòñÿ èíâàðèàíòíûì îòíîñèòåëüíî a, åñëè f a = f . Ïóñòü G ïîäãðóïïà â Sn (G ⊆ Sn ). Ãîâîðÿò, ÷òî ìíîãî÷ëåí f èíâàðèa àíòåí îòíîñèòåëüíî G, åñëè f = f äëÿ êàæäîãî a ∈ G (ò.å. èíâàðèàíòåí îòíîñèòåëüíî âñåõ ýëåìåíòîâ èç G). Ìíîãî÷ëåí g (îò n ïåðåìåííûõ) íàçûâàåòñÿ îïðåäåëÿþùèì äëÿ G ⊆ Sn , åñëè ga = g ⇔ a ∈ G. Ëåììà 1. Ìíîãî÷ëåí g ÿâëÿåòñÿ îïðåäåëÿþùèì äëÿ G òîãäà è òîëüêî òîãäà, êîãäà îäèíàêîâîå äåéñòâèå äâóõ ðàçíûõ ýëåìåíòîâ a è b èç Sn íà g îçíà÷àåò ïðèíàäëåæíîñòü èõ ê îäíîìó ïðàâîìó êëàññó ñìåæíîñòè ïî G (ò.å. g a = g b ⇔ ab−1 ∈ G). Äîêàçàòåëüñòâî. Ïóñòü g îïðåäåëÿþùèé äëÿ G. Èìååì ga = gb ⇒ ab = g ⇒ ab−1 ∈ G, ò.ê. g îïðåäåëÿþùèé äëÿ G. g Îáðàòíî, ïóñòü ga = gb , íî ab−1 ∈/ G. Òîãäà gab = g, ò.å. ýëåìåíò ab−1 , íåëåæàùèé â G, ñîõðàíÿåò g, è ñëåäîâàòåëüíî, g íå îïðåäåëÿþùèé. Äðóãàÿ ðåäàêöèÿ: äâà ðàâåíñòâà ga = gb è gab = g, î÷åâèäíî, ýêâèâàëåíòíû. Ïîýòîìó, åñëè g îïðåäåëÿþùèé äëÿ G, òî îäèíàêîâîå äåéñòâèå a è b íà G âëå÷åò ab−1 ∈ G. Îáðàòíî, åñëè g a = g b , íî ab−1 ∈ / G, ò.å. ýëåìåíò ab−1 , íåëåæàùèé â G, ñîõðàíÿåò g, è ñëåäîâàòåëüíî, g íå ÿâëÿåòñÿ îïðåäåëÿþùèì. Ñëåäñòâèå 1. Ïóñòü a1 , ..., as ïîëíàÿ ñèñòåìà ïðåäñòàâèòåëåé ïðàâûõ êëàññîâ ñìåæíîñòè ïîäãóïïû G â Sn (ò.å. ïî îäíîìó ýëåìåíòó èç êàæäîãî êëàññà); ìíîãî÷ëåí g, èíâàðèàíòíûé îòíîñèòåëüíî ãðóïïû G, ÿâëÿåòñÿ îïðåäåëÿþùèì äëÿ íåå òîãäà è òîëüêî òîãäà, êîãäà âñå ìíîãî÷ëåíû g a , i = 1, ..., s ðàçëè÷íû. Äîêàçàòåëüñòâî. Åñëè g îïðåäåëÿþùèé äëÿ G, òî ïî ëåììå 1 äëÿ ëþáûõ ïðåäñòàâèòåëåé ga 6= ga ïðè i 6= j . Îáðàòíîå òîæå ÿñíî, ò.ê. ýòî íåðàâåíñòâî îçíà÷àåò, ÷òî ga = gb âîçìîæíî òîëüêî, êîãäà ab−1 ∈ G (åñëè g èíâàðèàíòíà äëÿ G è ab−1 ∈ G, òî ga = gb â ëþáîì ñëó÷àå).  äàëüíåéøåì, êàê ïðàâèëî, îïðåäåëÿþùèé ìíîãî÷ëåí ãðóïïû G ⊆ Sn áóäåì îáîçíà÷àòü ÷åðåç g, à ïîëíóþ ñèñòåìó ïðåäñòàâèòåëåé ïðàâûõ êëàññîâ ñìåæíîñòè ïî G ÷åðåç a1 , ..., as è íàçûâàòü åå ïðîñòî ñèñòåìîé ïðåäñòàâèòåëåé. Ïðåäëîæåíèå 5. (Î ñóùåñòâîâàíèè îïðåäåëÿþùåãî ìíîãî÷ëåíà). Íàä áåñêîíå÷íûì ïîëåì K äëÿ êàæäîé ïîäãðóïïû G â Sn ñóùåñòâóåò îïðåäåëÿþùèé ìíîãî÷ëåí. Äîêàçàòåëüñòâî. Ïóñòü G = {b1 , ..., bm } è h = h(x1 , ..., xn ) = c1 x1 + · · · + cn xn , ãäå ci ∈ K è ci 6= cj ïðè i 6= j (ýòî âîçìîæíî, ò.ê. K áåñêîíå÷íî).  òàêîì ñëó÷àå áóäåì èìåòü: ha = hb ⇔ a = b (a, b ∈ Sn ) (ha = hb ⇒ cia = cib ). Ïîýòîìó, åñëè ïîëîæèòü ϕ(t, x1 , ..., xn ) = (t − hb ) · · · (t − hb ), òî âñå ìíîãî÷ëåíû ϕa (t), i = 1, ..., s, ãäå a1 , ..., as ïîëíàÿ ñèñòåìà ïðåäñòàâèòåëåé, −1 −1 −1 i i j 1 i 18 m ðàçëè÷íû (ò.ê. èõ êîðíè ha , a ∈ Sn ðàçëè÷íû) è, ñëåäîâàòåëüíî, ìîæíî ïîäîáðàòü t0 ∈ K òàê, ÷òîáû ϕa (t0 ) 6= ϕa (t0 ) äëÿ ëþáûõ i 6= j . Òîãäà ϕ(t0 , x1 , ..., xn ) èñêîìûé ìíîãî÷ëåí. Çàìå÷àíèå 1. Äîêàçàòåëüñòâî ïðåäëîæåíèÿ 1 íå òîëüêî óñòàíàâëèâàåò ñóùåñòâîâàíèå îïðåäåëÿþùåãî ìíîãî÷ëåíà äëÿ G, íî è äàåò íåêîòîðûé ñïîñîá åãî ïîñòðîåíèÿ. Îäíàêî, êàê áóäåò âèäíî â äàëüíåéøåì èç ïðèìåðîâ, ýòîò ñïîñîá äàëåêî íå âñåãäà ïðèâîäèò ê ïðîñòåéøåìó èç îïðåäåëÿþùèõ ìíîãî÷ëåíîâ. Ïîëó÷àåìûé ýòèì ñïîñîáîì ìíîãî÷ëåí èìååò ñòåïåíü m (ïîðÿäîê ãðóïïû G), íî ÷àñòî ñóùåñòâóåò îïðåäåëÿþùèé ìíîãî÷ëåí ìåíüøåé ñòåïåíè. Íèæå áóäåò ðàññìîòðåí åùå îäèí ñïîñîá. Ñîïðÿæåííûå ïîäãðóïïû è êëàññ ñîïðÿæåííîñòè. Íàïîìíèì, ÷òî ïîäñòàíîâêà êîðíåé α1 , ..., αn ìíîãî÷ëåíà f (x) íàä ïîëåì K ÿâëÿåòñÿ ýëåìåíòîì ãðóïïû Ãàëóà ýòîãî ìíîãî÷ëåíà (íàä K ), åñëè îíà ïðîäîëæàåòñÿ äî àâòîìîðôèçìà ïîëÿ ðàçëîæåíèÿ F = K(α1 , ..., αn ) ìíîãî÷ëåíà f (x). Ìíîæåñòâî âñåõ òàêèõ ïîäñòàíîâîê îáðàçóåò ãðóïïó Ãàëóà ýòîãî ìíîãî÷ëåíà (íàä K ). Ýòà ãðóïïà ñîâïàäàåò ñ ãðóïïîé àâòîìîðôèçìîâ ïîëÿ F , ñòàáèëüíûõ íà êàæäîì ýëåìåíòå èç K . (Êàæäûé ýëåìåíò ïîëÿ F ìîæíî ïðåäñòàâèòü â âèäå ðàöèîíàëüíîé ôóíêöèè îò α1 , ..., αn . Âñÿêàÿ ïåðåñòàíîâêà êîðíåé âëå÷åò ïåðåñòàíîâêó ýòèõ ôóíêöèé è òîëüêî ýëåìåíòû ïîëÿ K îñòàþòñÿ íà ìåñòå. Îáðàòíî, âñÿêèé àâòîìîðôèçì ïîëÿ F , ñîõðàíÿþùèé ýëåìåíòû K , ïåðåñòàâëÿåò êîðíè.) Ëåììà 2. Ãðóïïà Ãàëóà ìíîãî÷ëåíà f çàâèñèò îò íóìåðàöèè (ïîðÿäêà) åãî êîðíåé. Åñëè ïðè äàííîì ïîðÿäêå α1 , ..., αn åãî ãðóïïà åñòü G(f ), òî ïðè èçìåíåííîì ïîðÿäêå α1 a, ..., αn a (ñ ïîìîùüþ ïðîèçâîëüíîãî a ∈ Sn ) åãî ãðóïïà áóäåò a−1 G(f )a. Òàêèì îáðàçîì, ãðóïïà Ãàëóà ìíîãî÷ëåíà f (x) îïðåäåëÿåòñÿ ñ òî÷íîñòüþ äî ñîïðÿæåííîñòè. Ëåììà 3. Åñëè F èíâàðèàíòåí îòíîñèòåëüíî G, òî F a èíâàðèàíòåí îòíîñèòåëüíî a−1 Ga, è åñëè F îïðåäåëÿþùèé äëÿ G, òî F a îïðåäåëÿþùèé äëÿ a−1 Ga. Îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ [G]. Ïóñòü g îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ G ⊆ Sn è a1 , ..., as ïîëíûé íàáîð ïðåäñòàâèòåëåé äëÿ G, òîãäà ìíîãî÷ëåí G(z) = G(z, x1 , ..., xn ) = (z −ga ) · · · (z −ga ) íàçûâàåòñÿ îïðåäåëÿþùèì ìíîãî÷ëåíîì äëÿ [G] èëè ðåçîëüâåíòîé [G]. Ëåììà 4. G(z) = (z − g a ) · · · (z − g a ) íå çàâèñèò îò G ∈ [G], íî çàâèñèò îò g. Ëåììà 5. Êîýôôèöèåíòû G(z) ñèììåòðè÷åñêèå ôóíêöèè îò x1 , ..., xn . Äîêàçàòåëüñòâî. Äîñòàòî÷íî äîêàçàòü, ÷òî G a (z) = G(z) äëÿ ëþáîé ïîäñòàíîâêè a ∈ Sn . Èìååì G a (z) = (z − ga )a · · · (z − ga )a = (z − ga a ) · · · (z − g a a ). Ïîñêîëüêó a1 , ..., as ïîëíûé íàáîð ïðåäñòàâèòåëåé (ïðàâûõ êëàññîâ ñìåæíîñòè ïî G−1), òî è a1 a, ..., as a òîæå ïîëíûé íàáîð ïðåäñòàâèòåëåé (ò.ê. ai a(aj )−1 = ai aj ). Îòñþäà G a (z) = G(z). Âòîðîå äîêàçàòåëüñòâî. Ïî îïðåäåëåíèþ G(z) = zs −σ1 zs−1 +· · ·+(−1)s σs , ãäå σk ýëåìåíòàðíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû îò ga , ..., ga , à ò.ê. ïîä äåéñòâèåì a ∈ Sn ýòè ôóíêöèè ïåðåñòàâëÿþòñÿ, òî σk ñèììåòðè÷åñêèå i j s 1 1 s 1 s 1 s 1 19 s ìíîãî÷ëåíû è îò x1 , ..., xn . Âû÷èñëåíèå ãðóïïû Ãàëóà ìíîãî÷ëåíà íàä K . Ïóñòü f (x) = a0 xn +a1 xn−1 + · · · + an ìíîãî÷ëåí íàä K áåç êðàòíûõ êîðíåé, α1 , ..., αn åãî êîðíè. G íåêîòîðàÿ ïîäãðóïïà â Sn è G(z) = G(z, x1 , ..., xn ) îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ [G]. Ïîëîæèì G0 (z) = G(z, α1 , ..., αn ).  ñèëó ëåììû 5 G0 (z) ìíîãî÷ëåí íàä K . Ïðåäëîæåíèå 6. G(f ) ⊆ G ⇒ ∃ γ ∈ K : G0 (γ) = 0. (Åñëè ãðóïïà Ãàëóà ìíîãî÷ëåíà f (íàä K ) ñîäåðæèòñÿ â Gi ∈ [G], òî G0 (z) èìååò êîðåíü â K ). Äîêàçàòåëüñòâî. Èìååì G0 (z) = (z − g0a ) · · · (z − g0a ), ãäå ga îïðåäåëÿþùèé äëÿ Gi ∈ [G] = {G1 , ..., Gs }; åñëè G(f ) ⊆ Gi , òî g a a = g a ∀ a ∈ Gi ⇒ a b a g0 = g0 ∀ b ∈ G(f ) ⇒ g0a ∈ K 1 . Ïðåäëîæåíèå 7. Ïóñòü G0 (z) íå èìååò êðàòíûõ êîðíåé è ∃ γ ∈ K : G0 (γ) = 0 ⇒ G(f ) ⊆ Gi ∈ [G]. Äîêàçàòåëüñòâî. Ïóñòü g0a = βi ∈ K . ∀ b ∈ G(fa) : βib =a βi ; g0a b = g0a = βi . Òàê êàê íåò êðàòíûõ êîðíåé, òî ýòî âëå÷åò g0 = g0 ⇒ i = j , ò.å. g0a b = g0a ∀b ∈ G(f ) ⇒ G(f ) ⊆ Gi ∈ [G], ò.ê. g a îïðåäåëÿþùèé äëÿ Gi 1 s i i i i i i i i j i i i i i Ïîñòðîåíèå G0 (z) áåç êðàòíûõ êîðíåé (äëÿ äàííîãî f)  ñëó÷àå, êîãäà ïîëÿ K áåñêîíå÷íî, äëÿ äàííûõ ìíîãî÷ëåíà f (x) ∈ K[x] è ãðóïïû G ⊂ Sn ñóùåñòâóåò îïðåäåëÿþùèé äëÿ [G] ìíîãî÷ëåí G(z) òàêîé, ÷òî G0 (z) íå èìååò êðàòíûõ êîðíåé. Ëåììà 6. Åñëè ïîëå K áåñêîíå÷íî, òî ñóùåñòâóþò c1 , ..., cn ∈ K òàêèå, ÷òî äëÿ êàæäîãî hk = hk (x1 , ..., xk ) = c1 x1 +· · ·+ck xk èìååì (hak )0 = (hbk )0 ⇔ xai = xbi , i = 1, ..., k , ãäå (hk )0 = c1 α1 + · · · + ck αk è a, b ∈ Sn . Äîêàçàòåëüñòâî. Èìååì hk = hk−1 + ck xk (c1 6= 0); ïóñòü hak = hak−1 + ck xi , hbk = hbk−1 + ck xj , i 6= j (ò.å. xak = xi , xbk = xj ). Òîãäà hak − hbk = h −h äëÿ ëþáûõ a, b ∈ Sn . hak−1 − hbk−1 + ck (αi − αj ) 6= 0 ⇔ ck 6= − α −α Çàìå÷àíèå 2. Óñëîâèå: ci 6= cj ïðè i 6= j â îïðåäåëåíèè h íåäîñòàòî÷íî äëÿ òîãî, ÷òîáû ha0 = hb0 ⇔ a = b (a, b ∈ Sn ) (ïî ñðàâíåíèþ ñ äîêàçàòåëüñòâîì ïðåäëîæåíèÿ 1 çäåñü ha0 ýëåìåíòû ïîëÿ K(α1 , ..., αn ), òîãäà êàê òàì ha ìíîãî÷ëåíû). Ïîýòîìó çäåñü äëÿ âûáîðà ci ïðèõîäèòñÿ ïðèìåíÿòü áîëåå òîíêîå ðàññóæäåíèå. Íî ïîñëå òîãî, êàê óäàåòñÿ íàéòè íóæíîå h, äîâîäû äîêàçàòåëüñòâà ïðåäëîæåíèÿ 1 ñîõðàíÿþò ñâîþ ñèëó. Äîêàçàòåëüñòâî ïðåäëîæåíèÿ 8. Ïóñòü G = {b1 , ..., bm }, h = hn (ñì. ëåììó 6) è ϕ(t) = (t − hb ) · · · (t − hb ). Åñëè t0 ∈ K ïîäîáðàíî òàê, ÷òî ga 6= ga ïðè i 6= j , ãäå g = ϕ(t0 ), à a1 , ..., as ïîëíàÿ ñèñòåìà ïðåäñòàâèòåëåé äëÿ G, òî g îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ G, ñîîòâåòñòâóþùèé ìíîãî÷ëåí G(z) = (z − g0a ) · · · (z − g0a ) êîòîðîãî áóäåò èñêîìûì. Äåéñòâèòåëüíî, êîðíÿìè G(z) ÿâëÿþòñÿ ýëåìåíòû g0a , êîòîðûå ïî ïîñòðîåíèþ g âñå ðàçëè÷íû. Äèñêðèìèíàíò ìíîãî÷ëåíà. Ïóñòü f (x) = a0 xn + a1 xn−1 + · · · + an−1 x + an ïðîèçâîëüíûé ìíîãî÷ëåí íàä ïîëåì K è α1 , ..., αn åãî êîðíè (íå Ïðåäëîæåíèå 8. a k−1 i 1 1 m b k−1 j i s i 1 Çäåñü è íèæå ïîä g0a (a ∈ Sn ) ìû ïîíèìàåì 20 g0a = g a (α1 , ..., αn ) = g(α1a , ..., αna ). j îáÿçàòåëüíî ðàçíûå). Íàïîìíèì, ÷òî ýëåìåíò ïîëÿ K(α1 , ..., αn ) Y D(f ) = a2n−2 0 (αi − αj )2 n≥i>j≥1 íàçûâàåòñÿ äèñêðèìèíàíòîì ìíîãî÷ëåíà f . Èç îïðåäåëåíèÿ äèñêðèìèíàíòà ñëåäóåò 1o D(f ) = 0 ⇔ f (x) èìååò êðàòíûå êîðíè. 2o D(f ) ∈ K (ò.ê. D(f ) ñèììåòðè÷åí îòíîñèòåëüíî êîðíåé f ). Íàïîìíèì òàêæå ñïîñîáû−1 âû÷èñëåíèÿ äèñêðèìèíàíòà: 1) D(f ) = (−1)n(n−1)/2 a0 ∆(f, f 0 ), ãäå f 0 ïðîèçâîäíûé ìíîãî÷ëåí îò f , à ∆(f, f 0 ) äåòåðìèíàíòíàÿ ôîðìà ðåçóëòàíòà ìíîãî÷ëåíîâ f è f 0 , ò.å. a0 0 . 0 ∆(f, f 0 ) = na0 0 . 0 a1 a0 . ... (n − 1)a1 na0 . 0 ... a1 . 0 ... (n − 1)a1 . ... an−1 ... . a0 an−1 ... . 0 an an−1 . a1 0 an−1 . na0 0 an . ... 0 0 . (n − 1)a1 ... ... . an−1 ... ... . ... 0 0 . an 0 0 . an−1 2) Ïóñòü W (x1 , ..., xn ) ìàòðèöà îïðåäåëèòåëÿ Âàíäåðìîíäà, ò.å. W (x1 , ..., xn ) = 1 x1 x21 .. xn−1 1 1 x2 x22 .. xn−1 2 ... ... ... .. ... 1 xn x2n .. xn−1 n . Áóäåì îáîçíà÷àòü îïðåäåëèòåëü Âàíäåðìîíäà ÷åðåç W = det W (x1 , ..., xn ) = Y (αi − αj ). n≥i>j≥1 Èìååì s0 s1 W 2 = det (W (x1 , ..., xn )W (x1 , ..., xn )t ) = s2 . sn−1 s1 s2 s3 . sn s2 s3 s4 . sn+1 ... ... ... . ... sn−1 sn sn+1 . s2n−2 , ãäå s0 = n è sk = xk1 + xk2 + · · · + xkn (k ≥ 1) ñòåïåííûå ñóììû.2n−2 Ïóñòü W0 = det W (α1 , ..., αn ), òîãäà ïî îïðåäåëåíèþ D(f ) èìååì D(f ) = a0 W02 . Çäåñü ñòåïåííûå ñóììû óäîáíî âû÷èñëÿòü ïî ôîðìóëàì Íüþòîíà: sk − sk−1 σ1 + · · · + (−1)k−1 s1 σk−1 + (−1)k kσk = 0 (k < n), sk − sk−1 σ1 + · · · + (−1)n−1 s1 σn−1 + (−1)n sk−n σn = 0 (k < n), 21 (2) . ïîëàãàÿ â íèõ sk = sk (α1 , ..., αn ) è σi = (−1)i ai /a0 .  ÷àñíîñòè, èìååì (ìîæíî âû÷èñëèòü è òåì è äðóãèì ñïîñîáîì) a) D(f ) = b2 − 4ac äëÿ f = ax2 + bx + c. b) D(f ) = −4a3 c + a2 b2 + 18abc − 4b3 − 27 äëÿ f = x3 + ax2 + bx + c. c) D(f ) = −4p3 − 27q2 äëÿ f = x3 + px + q. Îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ An Q Ëåììà 7. Ìíîãî÷ëåí W = (xi − xj ) ÿâëÿåòñÿ îïðåäåëÿþùèì n≥i>j≥1 äëÿ ãðóïïû An . Äîêàçàòåëüñòâî. Äëÿ âñÿêîé òðàíñïîçèöèè (i, j) èìååì W (i,j) = −W .  ñàìîì äåëå, W = det W (x1 , ..., xn ) è ïåðåñòàíîâêà äâóõ ïåðåìåííûõ â ýòîì îïðåäåëèòåëå ðàâíîñèëüíà ïåðåñòàíîâêå ñîîòâåòñòâóþùèõ ñòîëáöîâ, ÷òî ìåíÿåò åãî çíàê. Ïîýòîìó âñÿêàÿ ÷åòíàÿ ïîäñòàíîâêà (êàê ïðîèçâåäåíèå ÷åòíîãî ÷èñëà òðàíñïîçèöèé) ñîõðàíÿåò W , à âñÿêàÿ íå÷åòíàÿ ìåíÿåò çíàê, ò.å. W ñòàáèëåí òîëüêî ïðè äåéñòâèè ýëåìåíòîâ èç An . Ïðåäëîæåíèå 9. G(f ) ⊆ An ⇔ D(f ) ïîëíûé êâàäðàò â K . Äîêàçàòåëüñòâî. Âû÷èñëèì îïðåäåëÿþùèé ìíîãî÷ëåí G(z) äëÿ [An ]. Òàê êàê ïîäãðóïïà An èìååò èíäåêñ 2, òî ïîëíàÿ ñèñòåìà ïðåäñòàâèòåëåé äëÿ íåå ñîäåðæèò äâà ýëåìåíòà, íàïðèìåð, 1 è (1, 2). Ïîýòîìó G(z) = (z − W 1 )(z − W (1,2) ) = z 2 − W 2 (ñì. äîêàçàòåëüñòâî ëåììû 7) è G0 (z) = z 2 − W02 (ïðè ýòîì G0 (z) íå èìååò êðàòíûõ êîðíåé, åñëè èõ íå èìååò f ). Ñëåäîâàòåëüíî, ïî ïðåäëîæåíèþ 3 G(f ) ⊆ An òîëüêî òîãäà, êîãäà p W0 ∈ K . Ïîñêîëüêó D(f ) = a2n−2 W02 , ïîñëåäíåå ðàâíîñèëüíî óñëîâèþ D(f ) ∈ K . 0 9. Òðàíçèòèâíûå ãðóïïû Ãðóïïà G ⊆ Sn íàçûâàåòñÿ òðàíçè, åñëè äëÿ ëþáûõ i, j ∈ {1, ..., n} íàéäåòñÿ ïîäñòàíîâêà a ∈ G òàêàÿ, ÷òî ia = j . Èíà÷å ãîâîðÿ, ìíîæåñòâî N = {1, ..., n} íå èìååò ñîáñòâåííûõ îðáèò îòíîñèòåëüíî G.  ïðîòèâíîì ñëó÷àå ãðóïïà íàçûâàåòñÿ èíòðàíçèòèâíîé. Íàïîìèíàíèå. Ïðÿìîå ïðîèçâåäåíèå ãðóïï (âíóòðåííåå). Âíóòðåííåå ïðÿìîå ïðîèçâåäåíèå (ïîäãðóïï G) H1 è H2 : îïðåäåëÿåòñÿ ñâîéñòâàìè 1) íîðìàëüíîñòü Hi , 2) H1 H2 = G, 3) H1 ∩ H2 = {e}, èç êîòîðûõ ñëåäóþò: 4) åäèíñòâåííîñòü ïðåäñòàâëåíèÿ (h = h1 · h2 , h ∈ G, hi ∈ H1 ), 5) êîììóòàòèâíîñòü (h1 h2 = h2 h1 ), 6) Ñâîéñòâà 2, 4 è 5 ìîãóò áûòü âçÿòû çà îïðåäåëåíèå âíóòðåííåãî ïðÿìîãî ïðîèçâåäåíèÿ.  ñëó÷àå s ìíîæèòåëåé (ñâîéñòâî 3 ïðèíèìàåò âèä Hi ∩ H1 · · · Hi−1 Hi+1 · · · Hs = {e}). Ïðåäëîæåíèå 10. Åñëè ãðóïïà G ⊆ Sn èíòðàíçèòèâíà, òî îíà ÿâëÿåòñÿ ïðÿìûì ïðîèçâåäåíèåì ñâîèõ ïîäãðóïï. Äîêàçàòåëüñòâî. Ïóñòü S = {i1 , ..., is } è T = {j1 , ..., jt } äâà èíâàðèàíòíûõ ïîä äåéñòâèåì ãðóïïû G ïîäìíîæåñòâà â N òàêèå, ÷òî S ∪ T = N = {1, ..., n}. Ïóñòü F (ñîîòâ., H ) ìíîæåñòâî òåõ ýëåìåíòîâ èç G, êîòîðûå îñòàâëÿþò íà ìåñòå âñå èíäåêñû èç T (ñîîòâ., èç S ). Î÷åâèäíî, ÷òî F è H ïîäãðóïïû, êîòîðûå óäîâëåòâîðÿþò óñëîâèÿì 1) è 3) îïðåäåëåíèÿ ïðÿìîãî ïðîèçâåäåíèÿ ïîäãðóïï. Îñòàåòñÿ ïðîâåðèòü 2). Ïóñòü g ïðîèçâîëüíûé ýëåìåíò ãðóïïû G è f ïðîåêöèÿ g íà S , ò.å. òàêàÿ ïîäñòàíîâêà, ÷òî if = ig Òðàíçèòèâíîñòü è èíòðàíçèòèâíîñòü. òèâíîé 22 äëÿ âñÿêîãî i ∈ S è jf = j äëÿ âñÿêîãî j ∈ T , à h ïðîåêöèÿ g íà T . Î÷åâèäíî, ÷òî g = f h. Ïóñòü F 0 ïðîåêöèÿ G íà S , H 0 ïðîåêöèÿ G íà T . Òîãäà G ∼= F 0 · H 0 . Òåîðåìà 7. Ìíîãî÷ëåí f (x) íåïðèâîäèì íàä ïîëåì K òîãäà è òîëüêî òîãäà, êîãäà åãî ãðóïïà Ãàëóà íàä K òðàíçèòèâíà (ò.å. âñå åãî êîðíè ñîïðÿæåíû). Äîêàçàòåëüñòâî. Åñëè f (x) íåïðèâîäèìûé ìíîãî÷ëåí ñòåïåíè n íàä K , òî âñå åãî êîðíè ñîïðÿæåíû.  ñàìîì äåëå, ïóñòü α1 êîðåíü f è α1 , ..., αm (m ≤ n) âñå ñîïðÿæåííûå ñ íèì ýëåìåíòû. Òîãäà g(x) = (x − α1 ) · · · (x − αm ) ÿâëÿåòñÿ ìíîãî÷ëåíîì íàä K , ò.ê. åãî êîýôôèöèåíòû, ÿâëÿÿñü ñèììåòðè÷åñêèìè ôóíêöèÿìè îò êîðíåé, îñòàþòñÿ ñòàáèëüíûìè ïîä äåéñòâèåì ýëåìåíòîâ èç G(f ) (ñì. ëåììó 1 2). Åñëè f íå ñîâïàäàåò ñ g (ñ òî÷íîñòüþ äî ìíîæèòåëÿ èç K ), ò.å. m < n, òî ïîëó÷àåì ïðîòèâîðå÷èå ñ íåïðèâîäèìîñòüþ f (íàïîìíèì, ÷òî åñëè ýëåìåíò ÿâëÿåòñÿ êîðíåì ìíîãî÷ëåíà, òî ëþáîé ñîïðÿæåííûé ñ íèì ýëåìåíò, òîæå ÿâëÿåòñÿ êîðíåì ýòîãî ìíîãî÷ëåíà è ïîýòîìó g äîëæåí äåëèòü f ). Îáðàòíî, åñëè f = g · h, òî íèêàêîé ýëåìåíò a ∈ G(f ) íå ïåðåâîäèò êîðíè îäíîãî ìíîæèòåëÿ â êîðíè äðóãîãî, ò.å. G(f ) èíòðàíçèòèâíà. Ñëåäñòâèå. Ãðóïïà Ãàëóà ïðîèçâåäåíèÿ äâóõ âçàèìíî ïðîñòûõ ìíîãî÷ëåíîâ áåç êðàòíûõ ìíîæèòåëåé åñòü ïðÿìîå ïðîèçâåäåíèå ãðóïï Ãàëóà ìíîæèòåëåé (G(g · h) = G(g) · G(h), åñëè (g, h) = 1). Ïðåäëîæåíèå 11. Ïîðÿäîê òðàíçèòèâíîé ãðóïïû G ⊆ Sn äåëèòñÿ íà n. Äîêàçàòåëüñòâî. Ïóñòü Gi = {a ∈ G | 1 a = i}. Åñëè G òðàíçèòèâíà, òî Gi 6= ∅ äëÿ âñåõ i = 1, ..., n. Èìååì a, b ∈ Gi ⇔ ab−1 ∈ G1 (ïîäãðóïïà ñòàáèëèçàòîð 1). Îòñþäà ñëåäóåò, ÷òî Gi ïðàâûé êëàññ ñìåæíîñòè G ïî G1 è ïîòîìó âñå ýòè ìíîæåñòâà ñîäåðæàò ïî îäèíàêîâîìó ÷èñëó ýëåìåíòîâ. Ïóñòü c = (i1 , ..., is ) öèêë è q = ïîäñòàíîâêà −1 èç ãðóïïû Sn ; òîãäà b = q aq = (j1 , ..., js ). Äîêàçàòåëüñòâî. Öèêë ìîæåò áûòü íà÷àò ñ ëþáîãî ìåñòà, ïîýòîìó äîñòàòî÷íî óáåäèòñÿ, ÷òî j1 b = j2 . Ñìîòðè ñõåìó: Ëåììà 1. i1 , ..., is j1 , ..., js a - d i1 d i2 q −1 6 q ? dj2 j1 d Ñëåäñòâèå 1. Ïóñòü a = c1 c2 · · · ck ðàçëîæåíèå ïîäñòàíîâêè ñòåïåíè íà íåçàâèñèìûå öèêëû ci , q ïðîèçâîëüíàÿ ïîäñòàíîâêà èç Sn . Òîãäà ïîäñòàíîâêà b = q−1 aq èìååò òàêîå æå öèêëè÷åñêîå ñòðîåíèå, ÷òî è a, ò.å. b = c01 c02 · · · c0k . Ïðè ýòîì, åñëè cs = (is1 , ..., ist ), òî c0s = (js1 , ..., jst ), ãäå jsr = isr q, s = 1, ..., k . n 23 Äîêàçàòåëüñòâî. Ïóñòü îãðàíè÷åíèå íà ìíîæåñòâî ÷èñåë , âõîäÿùèõ â öèêë . Òîãäà èìååì , ãäå ÿâëÿåòñÿ öèêëîì òîé æå äëèíû, ÷òî è â ñèëó ëåììû 1. Äâå ïîäñòàíîâêè â ñîïðÿæåíû òîãäà è òîëüêî òîãäà, êîãäà îíè èìåþò îäèíàêîâîå öèêëè÷åñêîå ñòðîåíèå. Äîêàçàòåëüñòâî. Óòâåðæäåíèå ⇐ äîêàçàíî â ñëåäñòâèè 1. Äîêàæåì ⇒. Ïóñòü a = c1 c2 · · · ck è b = c01 c02 · · · c0k , ãäå cs = (is1 , ..., ist ) è c0s = (js1 , ..., jst ), äâå ïîäñòàíîâêè ñòåïåíè n ñ îäèíàêîâûì öèêëè÷åñêèì ñòðîåíèåì. Îïðåäåëèì ïîäñòàíîâêó q ðàâåíñòâàìè isr q = jsr äëÿ âñåõ s = 1, ..., k è r = 1, ..., ts . Ïîñêîëüêó a è b ðàçëîæåíû íà íåçàâèñèìûå öèêëû, òî q äåéñòâèòåëüíî ïîäñòàíîâêà, è b = q−1 aq â ñèëó ëåììû. ×èñëî âñåõ öèêëîâ äëèíû n ðàâíî (n − 1)! (íà ïåðâîì ìåñòå â öèêëå ïîñòàâèì 1, îñòàëüíûå èíäåêñû ìîæíî ðàñïîëîæèòü ïðîèçâîëüíî). ×èñëî âñåõ öèêëè÷åñêèõ ïîäãðóïï â Sn ïîðÿäêà n ðàâíî (n−1)! ϕ(n) , ãäå ϕ(n) ôóíêöèÿ Ýéëåðà. (Ïóñòü ÷èñëî âñåõ öèêëè÷åñêèõ ïîäãðóïï ïîðÿäêà n â Sn ðàâíî xn . ×èñëî öèêëîâ äëèíû n â êàæäîé èç íèõ ðàâíî ϕ(n). Ïîýòîìó xn ϕ = (n − 1)! ÷èñëó âñåõ òàêèõ öèêëîâ). Âñÿêàÿ ãðóïïà â Sn , ñîäåðæàùàÿ òðàíçèòèâíóþ ïîäãðóïïó, òðàíçèòèâíà.  ÷àñòíîñòè, ãðóïïà, ñîäåðæàùàÿ öèêë äëèíû n, òðàíçèòèâíà. (Ò.ê. âñÿêèé öèêë äëèíû n ïîðîæäàåò öèêëè÷åñêóþ ïîäãðóïïó, êîòîðàÿ òðàíçèòèâíà: åñëè c = (i1 , i2 , ..., in ), òî ck−1 ïåðåâîäèò i1 â ik , k = 1, ..., n.) Ëåììà 2. Ïóñòü öèêë a = (i1 , ..., ip ) ∈ Sp (p ïðîñòîå). Åñëè q −1 aq = a, òî q = ak . ip Äîêàçàòåëüñòâî. Ïóñòü q = ji11 ,, ..., ; òîãäà ïî ëåììå 1 b = q−1 aq = ..., jp (j1 , ..., jp ). Åñëè b = a è j1 = ik+1 , òî js = is , ãäå s0 ≡ s + k (mod p). Òàê êàê ýòî ÿâëÿåòñÿ õàðàêòåðèçóþùèì óñëîâèåì äëÿ ïîäñòàíîâêè ak (is q = is+k = is ak ). Ïðåäëîæåíèå 13. Ïóñòü C ìíîæåñòâî âñåõ p-öèêëîâ â Sp (p ïðîñòîå, |C| = (p − 1)!). Åñëè ïîðÿäîê |G| ãðóïïû G ⊆ Sp äåëèòñÿ íà p, òî G ∩ C 6= ∅. Äîêàçàòåëüñòâî. Ïóñòü G ⊆ Sp è Ca = {c ∈ C | c = u−1 au, u ∈ G} äëÿ a ∈ C. a) Ca ∩ Cb 6= ∅ ⇒ Ca = Cb . Äåéñòâèòåëüíî, x ∈ Ca ∩ Cb ⇒ x = ⇒ Ca ⊆ Cb è u−1 au = v −1 bv ⇒ a ∈ Cb è b ∈ Ca , ò.å. a = u−1 1 bu1 b = v1−1 av1 ⇒ Cb ⊆ Ca . Òàêèì îáðàçîì, Ca = Cb . Çäåñü u, v, u1 , v1 ∈ G. b) Åñëè a ∈/ G, òî |Ca | = |G|. Îïðåäåëèì îòîáðàæåíèå ϕ : G → Ca , ïîëàãàÿ ϕ(u) = u−1 au (a ôèêñèðîâàííûé ýëåìåíò èç Ca , u ∈ G). Ïóñòü u−1 au = a, òîãäà ïî ëåììå u = ak ; åñëè k ≥ 1, à çíà÷èò (p, k) = 1, ò.ê. 1 ≤ k < p, òî ñóùåñòâóþò s, t ∈ Z òàêèå, ÷òî sk + tp = 1, è a = ask+tp = aks = us ∈ G ïðîòèâîðå÷èå. Ñëåäîâàòåëüíî, u−1 au = v −1 av ⇒ u = v , ò.å. ϕ âçàèìíî-îäíîçíà÷íîå îòîáðàæåíèå è |Ca | = |G|. c) b) ⇒ C ∩G = ∅ ⇒ |C| äåëèòñÿ íà |G|, à çíà÷èò è íà p, ÷òî íåâîçìîæíî, ò.ê. |C| = (p − 1)!. Ïîýòîìó C ∩ G 6= ∅. qs q Is = {is1 , ..., ist } cs b = q −1 aq = (q −1 c1 q)(q −1 c2 q) · · · (q −1 ck q) = (q1−1 c1 q1 ) · (q2−1 c2 q2 ) · · · (qk−1 ck qk ) = c01 c02 · · · c0k c0s = qs−1 cs qs cs Ïðåäëîæåíèå 12. Sn 0 24 Ñëåäñòâèå 2. Âñÿêàÿ òðàíçèòèâíàÿ ãðóïïà ïîäñòàíîâîê ïðîñòîé ñòåïåíè ñîäåðæèò p-öèêë. Ñëåäñòâèå 3. ×èñëî p-öèêëîâ, íå ëåæàùèõ â G äåëèòñÿ íà p. 10. Òðàíçèòèâíûå ïîäãðóïïû â S3 è S4 Ñëó÷àé . Ïîðÿäîê S3 ðàâåí 6 è îíà ñîñòîèò èç ïîäñòàíîâîê: n=3 S3 = {(1), (12), (13), (23), (123), (132)}. Åå ïîäãðóïïû: E = {(1)}, C2 = {(1), (12)}, C20 = {(1), (13)}, C200 = {(1), (23)}, C3 = {(1), (123), (132)}, S3 . Êëàññû ñîïðÿæåííûõ ïîäãðóïï: [E], [C2 ], [A3 ], [S3 ]. Ïðåäëîæåíèå 14.  S3 òîëüêî äâå òðàíçèòèâíûå ïîäãðóïïû A3 è S3 . Ïîýòîìó p 1) Åñëè ìíîãî÷ëåí f ñòåïåíè 3 íåïðèâîäèì è pD(f ) ∈ K , òî G(f ) ∼= A3 . 2) Åñëè ìíîãî÷ëåí f ñòåïåíè 3 íåïðèâîäèì è D(f ) ∈/ K , òî G(f ) ∼= S3 . Çàìå÷àíèå. Äëÿ âñÿêîãî íåïðèâîäèìîãî ìíîãî÷ëåíà f ñòåïåíè 2 èìååì G(f ) ∼ = S2 , à äëÿ ïðèâîäèìîãî G(f ) ∼ = 1. Ñëó÷àé n = 4. Ïîðÿäîê S4 ðàâåí 6 è îíà ñîñòîèò èç ýëåìåíòîâ: 1. (1); 6. (12),(13),(14),(23),(24),(34); 3. (12)(34),(13)(24),(14)(23); 8. (123),(132),(124),(142),(134),(143),(234),(243); 6. (1234),(1243),(1324),(1342),(1423),(1432). Âîçìîæíûå ïîðÿäêè òðàíçèòèâíûõ ïîäãðóïï: 4, 8, 12, 24 (ñì. ïðåäëîæåíèå 11). Ëåììà 1. A4 åäèíñòâåííàÿ ïîäãðóïïà ïîðÿäêà 12 â S4 . Äîêàçàòåëüñòâî. Òàê êàê ïîäãðóïïà èíäåêñà 2 íîðìàëüíà, òî îíà äîëæíà ñîäåðæàòü êàæäûé êëàññ ñîïðÿæåííîñòè òîëüêî öåëèêîì. Åäèíñòâåííàÿ âîçìîæíîñòü ðàçëîæåíèÿ ÷èñëà 12 â ñóììó ïîðÿäêîâ êëàññîâ åñòü 12=1+3+8 (ïðè ýòîì 1 âõîäèò îáÿçàòåëüíî). Ëåììà 2.  S4 ñóùåñòâóåò åäèíñòâåííûé êëàññ ñîïðÿæåííûõ ïîäãðóïï ïîðÿäêà 8. Äîêàçàòåëüñòâî. Ïîäãðóïïû ïîðÿäêà 8 â S4 ÿâëÿþòñÿ ñèëîâñêèìè 2ïîäãðóïïàìè, êîòîðûå âñåãäà ñîïðÿæåíû. Ëåììà 3. Ëþáàÿ ãðóïïà ïîðÿäêà 4 èçîìîðôíà ëèáî C4 , ëèáî C2 × C2 è, ñëåäîâàòåëüíî, àáåëåâà. Äîêàçàòåëüñòâî. Ïóñòü |G| = 4. Åñëè â G ñóùåñòâóåò ýëåìåíò c ïîðÿäêà 4, òî G ∼= C4 . Åñëè íåò, òî âñå ýëåìåíòû îòëè÷íûå îò åäèíèöû e ãðóïïû èìåþò ïîðÿäîê 2 (ïî òåîðåìå Ëàãðàíæà ïîðÿäîê ýëåìåíòà åñòü äåëèòåëü ïîðÿäêà ãðóïïû). Ïîýòîìó ãðóïïà G àáåëåâà ((xy)(xy) = xyxy = e ⇔ yx = xy ). Ñëåäîâàòåëüíî, âñå ïîäãðóïïà â G íîðìàëüíû. Äëÿ äâóõ ðàçëè÷íûõ ýëåìåíòîâ a, b ∈ G ïîðÿäêà 2 èìååì äâå ïîäãðóïïû C2 = {e, a} è C20 = {e, b}, ïðîèçâåäåíèå C2 · C20 êîòîðûõ ïðÿìîå è ñîâïàäàåò ñ G (ò.ê. ïðîèçâåäåíèå èõ ïîðÿäêîâ 2 · 2 = 4), ò.å. G ∼= C2 × C2 . 25 Ñëåäñòâèå 1. S4 èìååò äâà êëàññà ñîïðÿæåííûõ òðàíçèòèâíûõ ïîäãðóïï, à èìåííî [C4 ] è [B4 ], è îäèí êëàññ [C22 ] íåòðàíçèòèâíûõ ïîäãðóïï ïîðÿäêà 4. Çäåñü C4 = {(1), (1234), (13)(24), (1432)}, B4 = {(1), (12)(34), (13)(24), (14)(23)}, C22 = {(1), (12)} × {(1), (34)} = {(1), (12), (13), (12)(34)}. Äîêàçàòåëüñòâî. Âñÿêèé öèêë äëèíû 4 ïîðîæäàåò öèêëè÷åñêóþ ïîäãðóïïó ïîðÿäêà 4.  ñèëó ïðåäëîæåíèÿ 13 âñå òàêèå ïîäãðóïïû ñîïðÿæåíû è ñîñòàâëÿþò êëàññ [C4 ]. Íàéäåì ïîäãðóïïû â S4 èçîìîðôíûå C2 × C2 .  òàêîé ïîäãðóïïå G âñå ýëåìåíòû îòëè÷íûå îò åäèíèöû èìåþò ïîðÿäîê 2, ò.å. ñîïðÿæåíû ëèáî ñ (12), ëèáî ñ (12)(34). Åñëè G ñîäåðæèò ïîäñòàíîâêó (12), òî îíà ìîæåò ñîäåðæàòü åùå òîëüêî (34) è (12)(34), ò.ê. âñå îñòàëüíûå ïîäñòàíîâêè ïîðÿäêà 2 ñ (12) íå ïåðåñòàíîâî÷íû. Íî ýòè ïîäñòàíîâêè êàê ðàç è îáðàçóþò ãðóïïó C22 .  ñèëó ïðåäëîæåíèÿ 13 ëþáàÿ ïîäãðóïïà, ñîäåðæàùàÿ 2-öèêë ñîïðÿæåíà ñ C22 , ò.å. èìååì êëàññ [C22 ]. Åñëè G íå ñîäåðæèò 2-öèêëîâ, òî îíà äîëæíà ñîäåðæàòü âñå ïîäñòàíîâêè òðåòåé ñòðîêè èç òàáëèöû ýëåìåíòîâ S4 . Âìåñòå ñ åäèíèöåé îíè ñîñòàâëÿþò B4 , êîòîðàÿ íîðìàëüíà è ïîòîìó åå êëàññ [B4 ] ñîñòîèò èç îäíîé ãðóïïû. Ëåììà 4. Ïîäìíîæåñòâî B40 = B4 ∪ {(12), (34), (1423), (1324)} = B4 · C2 ÿâëÿåòñÿ ïîäãðóïïîé ïîðÿäêà 8. Ïî ëåììà 2 [B40 ] åäèíñòâåííûé êëàññ ñîïðÿæåííûõ ïîäãðóïï ïîðÿäêà 8. Äîêàçàòåëüñòâî. Åñëè B íîðìàëüíàÿ, à C ïðîèçâîëüíàÿ ïîäãðóïïû, òî ìíîæåñòâî B ·C = {bc | b ∈ B, c ∈ C} ÿâëÿåòñÿ ïîäãðóïïîé è, åñëè B ∩C = {e}, òî |B · C| = |B| · |C|. Ïîäãðóïïû B4 è C2 óäîâëåòâîðÿþò ýòèì óñëîâèÿì. Òàêèì îáðàçîì, èìååì ïÿòü êëàññîâ òðàíçèòèâíûõ ïîäãðóïï â S4 : [C4 ], [B4 ], [B40 ], [A4 ] è [S4 ]. Îäèí ñïîñîá ïîñòðîåíèÿ îïðåäåëÿþùåãî ìíîãî÷ëåíà äëÿ G ⊆ Sn : âûáèðàåòñÿPïðîèçâîëüíûé ìîíîì F0 = xk1 · · · xkn è ðàññìàòðèâàåòñÿ ìíîãî÷ëåí F = F0a . Î÷åâèäíî, ÷òî F a = F äëÿ âñÿêîãî a ∈ G. Ïðîâåðÿåòñÿ, áóäåò a∈G ëè F îïðåäåëÿþùèì äëÿ G. Åñëè íåò, òî âûáèðàåòñÿ íîâûé ìîíîì è ò.ä. Ïîñòðîèì òàêèì ñïîñîáîì îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ C4 . Ìîíîìû x1 è x1 x2 íå äàþò òðåáóåìîãî. Òîãäà êàê F0 = x21 x2 äàåò g = x21 x2 + x22 x3 + x23 x4 + x1 x24 , êîòîðûé ÿâëÿåòñÿ äëÿ C4 îïðåäåëÿþùèì. Òî, ÷òî g ÿâëÿåòñÿ èíâàðèàíòíûì äëÿ C4 ïðîâåðÿåòñÿ íåïîñðåäñòâåííî. Óáåäèìñÿ â åãî íåèíâàðèàíòíîñòè äëÿ ïîäñòàíîâîê íå ëåæàùèõ â C4 . Ïîëíûé íàáîð ïðåäñòàâèòåëåé äëÿ C4 : (1), (12), (13), (14), (23), (34). Èìååì 1 g (1) = x21 x2 + x22 x3 + x23 x4 + x1 x24 , g (12) = x22 x1 + x21 x3 + x23 x4 + x2 x24 , g (13) = x23 x2 + x22 x1 + x21 x4 + x3 x24 , n g (14) = x24 x2 + x22 x3 + x23 x1 + x4 x21 , g (23) = x21 x3 + x23 x2 + x22 x4 + x1 x24 , g (34) = x21 x2 + x22 x4 + x24 x3 + x1 x23 . g Òàê êàê âñå ýòè ìíîãî÷ëåíû ðàçëè÷íû, òî îïðåäåëÿþùèé ìíîãî÷ëåí 26 äëÿ C4 . Ïîñìîòðèì, ÷òî èç ñåáÿ ïðåäñòàâëÿåò îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ [C4 ]. Ïî îïðåäåëåíèþ îí äîëæåí èìåòü âèä: G(z) = z 6 − A1 z 5 + A2 z 4 − A3 z 3 + A4 z 2 − A5 z + A6 , ãäå Ak = σk (g(1) , g(12) , g(13) , g(14) , g(23) , g(34) ), k = 1, ..., 6 ýëåìåíòàðíûå ñèììåòðè÷åñêèå ôóíêöèè îò ga , a = (1), (12), ....  ÷àñòíîñòè, A1 = g (1) + g (12) + · · · + g (34) = 2(σ1 σ2 − 3σ3 ) (çäåñü ïðàâîé ÷àñòè σi ýëåìåíòàðíûå ñèììåòðè÷åñêèå îò x1 , ...x4 ). Îñòàëüíûå êîýôôèöèåíòû Ak èìåþò áîëåå ñëîæíûé âèä. Îïðåäåëÿþùèé ìíîãî÷ëåí ãðóïïû B40 . B40 = {(1), (12)(34), (13)(24), (14)(23), (12), (34), (1324), (1423)}. Òàê êàê (13)(14) = (134) ∈/ B40 , òî (1),(13),(14) ñîñòàâëÿþò ïîëíûé íàáîð ïðåäñòàâèòåëåé äëÿ B40 . Âîçüìåì ìîíîì F0 = x1 x2 , òîãäà F = 4(x1 x2 + x3 x4 ). Ïîýòîìó ψ = x1 x2 + x3 x4 èíâàðèàíòíûé ìíîãî÷ëåí äëÿ B40 . Ïðîâåðèì èíâàðèàíòíîñòü äëÿ ïðåäñòàâèòåëåé. Èìååì ψ(13) = x3 x2 + x1 x4 , ψ(14) = x4 x2 + x3 x1 . Òàêèì îáðàçîì, ψ îïðåäåëÿþùèé äëÿ B40 . Ïîñòðîèì îïðåäåëÿþùèé äëÿ [B40 ]: R(z) = (z − x1 x2 − x3 x4 )(z − x1 x3 − x2 x4 )(z − x1 x4 − x2 x3 ) = z 3 − σ2 z 2 + (σ1 σ3 − 4σ4 )z − (σ12 σ4 + σ32 − 4σ2 σ4 ). Ïîëó÷åííûé òàêèì îáðàçîì ìíîãî÷ëåí äëÿ f (x) = x4 + a1 x3 + a2 x2 + ïðèíèìàåò âèä (ò.ê. a1 = −σ1 , a2 = σ2 , a3 = −σ3 , a4 = σ4 îò êîðíåé ) a3 x + a4 f (x) R(z) = z 3 − a2 z 2 + (a1 a3 − 4a4 )z − (a21 a4 + a23 − 4a2 a4 ) è íàçûâàåòñÿ êóáè÷åñêîé ðåçîëüâåíòîé f (x) (îòíîñèòåëüíî x1 x2 + x3 x4 ). Óáåäèìñÿ, ÷òî ìíîãî÷ëåí ϕ = (x1 + x2 )(x3 + x4 ) òîæå ÿâëÿåòñÿ îïðåäåëÿþùèì äëÿ B40 . Ðàññìîòðèì ìîíîì F0 = x1 x3 . Îí èíâàðèàíòåí F0(1) = (13)(24) (12)(34) (14)(23) (12) (1324) F0 = F0 , F0 = F0 = x2 x4 , F0 = F0 = x2 x3 è (34) (1423) F0 = F0 = x1 x4 . Ïîýòîìó â ýòîì ñëó÷àå F = 2(x1 x3 + x2 x4 + x2 x3 + x1 x4 ) = 2(x1 + x2 )(x3 + x4 ). Îòñþäà ϕ èíâàðèàíòíûé, à ò.ê. ϕ(13) = (x1 + x4 )(x2 + x3 ), ϕ(14) = (x1 + x3 )(x2 + x4 ), òî è îïðåäåëÿþùèé äëÿ B40 . Ñîîòâåòñòâóþùèé îïðåäåëÿþùèé ìíîãî÷ëåí äëÿ [B40 ]: R1 (z) = z 3 − 2σ2 z 2 + (σ22 + σ1 σ3 − 4σ4 )z − (σ1 σ2 σ3 − σ12 σ4 + σ32 ). Äëÿ ìíîãî÷ëåíà f (x) = x4 + a1 x3 + a2 x2 + a3 x + a4 (ò.ê. a1 = −σ1 , a2 = σ2 , a3 = −σ3 , a4 = σ4 îò êîðíåé f (x)) èìååì R1 (z) = z 3 − 2a2 z 2 + (a22 + a1 a3 − 4a4 )z − (a1 a2 a3 − a21 a4 + a23 ) 27 âòîðóþ êóáè÷åñêóþ ðåçîëüâåíòó f (x) (îòíîñèòåëüíî (x1 + x2 )(x3 + x4 )). Îáû÷íî âìåñòî ìíîãî÷ëåíà f (x) ðàññìàòðèâàåòñÿ åãî ïðèâåäåííàÿ ôîðìà f (y) = y4 + py2 + qy + r, êîòîðàÿ ïîëó÷àåòñÿ çàìåíîé ïåðåìåííîãî y = x − 41 a1 . Äëÿ òàêîãî ìíîãî÷ëåíà ðåçîëüâåíòû ïðèíèìàþò âèä (a1 = 0, a2 = p, a3 = q, a4 = r) R(z) = z 3 − pz 2 − 4rz − (q 2 − 4pr), R1 (z) = z 3 − 2pz 2 + (p2 − 4r)z + q 2 . Ïðèâåäåííûé ìíîãî÷ëåí, â ÷àñòíîñòè, óäîáåí òåì, ÷òî äèñêðèìèíàíò äëÿ íåãî âûðàæàåòñÿ çíà÷èòåëüíî ïðîùå: D(f (y)) = 16p4 r − 4p3 q 2 − 128p2 r2 + 144pq 2 r − 27q 4 + 256r3 . Òåïåðü ìîæíî ñôîðìóëèðîâàòü ñëåäóþùåå Ïðåäëîæåíèå 15. Ïóñòü f (x) íåïðèâîäèìûé íàä ïîëåì K ìíîãî÷ëåí ñòåïåíè√ 4. Òîãäà 1) √D ∈/ K, Rf (z) íå èìååò êîðíåé â K ⇒ G(f ) ∼= S4 èëè C4 . 2) √D ∈ K, Rf (z) íå èìååò êîðíåé â K ⇒ G(f ) ∼= A4 . 3) √D ∈ K, Rf (z) èìååò êîðåíü â K ⇒ G(f ) ∼= B4 . 4) D ∈/ K, Rf (z) èìååò êîðåíü â K ⇒ G(f ) ∼= B40 . 11. Òðàíçèòèâíûå ïîäãðóïïû â S5 Åñëè x ÷èñëî öèêëè÷åñêèõ ïîäãðóïï ïîðÿäêà p â ãðóïïå ( ïðîñòîå ÷èñëî), òî (p − 2)! − x = pz. Äîêàçàòåëüñòâî. Êàæäàÿ p-öèêëè÷åñêàÿ ïîäãðóïïà â Sp ñîäåðæèò p−1 pöèêë (åñëè c p-öèêë, òî c2 , cp−1 òîæå p-öèêëû). ×èñëî âñåõ p-öèêëîâ â Sp ðàâíî (p−1)!. Ïîýòîìó (p−1)!−(p−1)x åñòü ÷èñëî âñåõ p-öèêëîâ, íå ëåæàùèõ â G. Ïî ñëåäñòâèþ 3 ïðåäëîæåíèÿ 14 ýòî ÷èñëî äåëèòñÿ íà p è ïîòîìó èìååì (p − 1)! − (p − 1)x = py, ãäå y íåêîòîðîå öåëîå íåîòðèöàòåëüíîå ÷èñëî. Îòñþäà óòâåðæäåíèå ëåììû (ò.ê. ëåâàÿ ÷àñòü äåëèòñÿ íà p − 1, à p íå äåëèòñÿ, òî íà p − 1 äîëæíî äåëèòñÿ y (p > 2)). Ñëåäñòâèå 1. Êàæäàÿ òðàíçèòèâíàÿ ïîäãðóïïà â S5 ñîäåðæèò ëèáî òîëüêî îäíó öèêëè÷åñêóþ ïîäãðóïïó ïîðÿäîê 5, ëèáî âñå (ò.å. 6 ÷èñëî öèêëè÷åñêèõ 5-ïîäãðóïï â S5 ). Äîêàçàòåëüñòâî. Ïî ñëåäñòâèþ 2 ïðåäëîæåíèÿ 14 âñÿêàÿ òðàíçèòèâíàÿ ãðóïïà â S5 ñîäåðæèò öèêëè÷åñêóþ ïîäãðóïïó è ïî ëåììå ÷èñëî x òàêèõ ïîäãðóïï äîëæíî óäîâëåòâîðÿòü ðàâåíñòâó x+5z = 6, ãäå z öåëîå íåîòðèöàòåëüíîå ÷èñëî. Ýòî ðàâåíñòâî òîëüêî èìååò òîëüêî äâà ðåøåíèÿ (äëÿ öåëûõ íåîòðèöàòåëüíûõ x è z): x = 1, z = 1 è x = 6, z = 0. Ëåììà 2. Åñëè H ïîäãðóïïà â S5 , ïîðîæäåííàÿ âñåìè 5-öèêëàìè, òî H = A5 . Äîêàçàòåëüñòâî. Èìååì (ij)(kl) = (ikjml)(ikjlm) è (ij)(ik) = (ijk) = (ikmlj)(ikjlm), ò.å. ïðîèçâåäåíèå ëþáûõ äâóõ òðàíñïîçèöèé ëåæèò â H , à çíà÷èò è A5 ⊆ H , ò.ê. A5 ñîñòîèò èç ïîäñòàíîâîê ïðåäñòàâèìûõ â âèäå ïðîèçâåäåíèÿ ÷åòíîãî Ëåììà 1. G ⊆ Sp p 28 ÷èñëà òðàíñïîçèöèé. Îáðàòíîå âêëþ÷åíèå H ⊆ A5 î÷åâèäíî, ò.ê. âñÿêèé 5-öèêë ïîäñòàíîâêà ÷åòíàÿ. Ñëåäñòâèå 2. Åñëè G ⊆ S5 ñîäåðæèò âñå öèêëè÷åñêèå 5-ãðóïïû, òî ëèáî G = A5 , ëèáî G = S5 . Äîêàçàòåëüñòâî. Åñëè G ñîäåðæèò âñå öèêëè÷åñêèå 5-ãðóïïû, òî îíà ñîäåðæèò è âñå 5-öèêëû, à ïîòîìó è ïîäàëãåáðó A5 . Òàê êàê èíäåêñ A5 ðàâåí 2, òî íå ñóùåñòâóåò â S5 ïîäãðóïïû, ñîäåðæàùåé A5 è íå ñîâïàäàþùåé ëèáî ñ A5 , ëèáî ñ S5 . Ëåììà 3. Åñëè C5 åäèíñòâåííàÿ öèêëè÷åñêàÿ ïîðÿäêà 5 ïîäãðóïïà â G ⊂ S5 , òî îíà íîðìàëüíà â G. Äîêàçàòåëüñòâî. Ïóñòü C5 ïîðîæäåíà 5-öèêëîì c. Òîãäà äëÿ ëþáîãî a ∈ G ýëåìåíò c0 = a−1 ca òîæå 5-öèêë è ïîòîìó c0 ∈ C5 (â ñèëó åäèíñòâåííîñòè C5 ), ò.å. c0 = a−1 ca = ck äëÿ íåêîòîðîãî k ∈ {1, ...p − 1}. Îòñþäà a−1 C5 a = C5 . Íèæå ìû áóäåì ïðåäïîëàãàòü, ÷òî C5 = hci (ïîðîæäåíà c), ãäå c=(12345). Òàê êàê âñå öèêëè÷åñêèå 5-ãðóïïû ñîïðÿæåíû â S5 , òî âñå ðåçóëüòàòû, ïîëó÷åííûå äëÿ ýòîé êîíêðåòíîé ãðóïïû, ïåðåíîñÿòñÿ íà ïðîèçâîëüíóþ öèêëè÷åñêóþ ãðóïïó ïîðÿäêà 5. Ëåììà 4. Åñëè G \ C5 6= ∅, òî ñóùåñòâóåò a ∈ (G \ C5 ) òàêîé, ÷òî 1a = 1. Äîêàçàòåëüñòâî. Åñëè a0 ∈ (G \ C5 ) è 1a0 = k, òî a = a0 c−k+1 íóæíûé ýëåìåíò (a ∈/ C5 , ò.ê. èíà÷å è a ëåæàë áû â C5 ). Ëåììà 5. Ïóñòü C5 åäèíñòâåííàÿ öèêëè÷åñêàÿ 5-ïîäãðóïïà â G è a ∈ G \ C5 6= ∅, òî B = C5 · C 0 = {ci aj | i = 0, ..., p − 1; j = 0, ..., m − 1} ïîäãðóïïà â G, ãäå C 0 = {e, a, a2 , ..., am−1 } öèêëè÷åñêàÿ ïîäãðóïïà, ïîðîæäåííàÿ a (m ïîðÿäîê a). Åñëè C5 6⊆ C 0 , òî ïîðÿäîê ãðóïïû B ðàâåí 5m. Äîêàçàòåëüñòâî. Òàê êàê C5 íîðìàëüíàÿ ïîäãðóïïà â G, à C 0 ïîäãðóïïà, òî èõ ïðîèçâåäåíèå ÿâëÿåòñÿ ïîäãðóïïîé. Ïðè ýòîì, åñëè C5 6⊆ C 0 , òî C5 ∩ C 0 = (1), ïîýòîìó ïîðÿäîê B ðàâåí ïðîèçâåäåíèþ ïîðÿäêîâ ìíîæèòåëåé, ò.å. 5m. Ëåììà 6. Óðàâíåíèå (îòíîñèòåëüíî x ∈ S5 ) cx = xck äëÿ êàæäîãî k = 1, 2, 3, 4, ãäå c = (12345) è 1x = 1 èìååò ñëåäóþùèå ðåøåíèÿ: 1) Åñëè k = 1, òî x = (1). (ëþáîé ýëåìåíò èç C5 ). 2) Åñëè k = 2, òî x = s = (2354). 3) Åñëè k = 3, òî x = s3 = (2453). 4) Åñëè k = 4, òî x = t = s2 = (25)(34). Äîêàçàòåëüñòâî. Îáîçíà÷èì ÷åðåç j íàèìåíüøèé ïîëîæèòåëüíûé âû÷èò ÷èñëà j ïî ìîäóëþ 5 (ò.å. â íàøåì ñëó÷àå j = j , åñëè 1 ≤ j ≤ 5, è j = j − 5, åñëè 6 ≤ j ≤ 9). Ïóñòü x= 1 2 1 i2 3 i3 29 4 i4 5 i5 . Òàê êàê ck = 1 1+k 2 2+k 3 3+k 4 4+k 5 5+k , òî íàì íóæíî ïîäîáðàòü im , m = 2, 3, 4, 5 òàê, ÷òîáû âûïîëíÿëîñü ðàâåíñòâî ò.å. 1 i2 1 2 1 i2 2 i3 3 i3 3 i4 1 2 2 3 4 i4 4 i5 5 1 3 4 4 5 5 i5 5 1 = 1 2 1 i2 1 1+k 2 2+k 1 1+k 2 i2 + k 3 i3 4 i4 3 3+k 3 i3 + k 5 i5 = 4 4+k 5 5+k 4 i4 + k 5 i5 + k , äëÿ êàæäîãî k = 1, 2, 3, 4. Îòñþäà èìååì i2 = 1 + k, i3 = i2 + k, i4 = i3 + k, i5 = i4 + k, 1 = i5 + k. Òàêèì îáðàçîì, ïðè k = 1 èìååì i2 = 2, i3 = 3, i4 = 4, i5 = 5, i1 = 1, ò.å. x = (1); ïðè k = 2 èìååì i2 = 3, i3 = 5, i4 = 2, i5 = 4, i1 = 1, ò.å. x = (2354); ïðè k = 3 èìååì i2 = 4, i3 = 2, i4 = 5, i5 = 3, i1 = 1, ò.å. x = (2453); ïðè k = 4 èìååì i2 = 5, i3 = 4, i4 = 3, i5 = 2, i1 = 1, ò.å. x = (25)(34). Ñëåäñòâèå 3. Âñÿêàÿ òðàíçèòèâíàÿ ïîäãðóïïà G â S5 , ñîäåðæàùàÿ òîëüêî îäíó öèêëè÷åñêóþ ïîäãðóïïó ïðÿäêà 5, ñîïðÿæåíà ñ îäíîé èç ñëåäóþùèõ òðåõ ïîäãðóïï: C5 = {ci | i = 0, ..., 4} öèêëè÷åñêàÿ ïîðÿäêà 5, B5 = {ci tj | i = 0, ..., 4, j = 0, 1} ïîëóìåòàöèêëè÷åñêàÿ ïîðÿäêà 10, B50 = {ci sj | i = 0, ..., 4, j = 0, ..., 3} ìåòàöèêëè÷åñêàÿ ïîðÿäêà 20, ãäå c = (12345), s = (2354), t = s2 = (25)(34). (Ãðóïïà G íàçûâàåòñÿ ìåòàöèêëè÷åñêîé, åñëè åå êîììóòàíò G0 è ôàêòîð ãðóïïà G/G0 ãðóïïû öèêëè÷åñêèå. Êîììóòàíò ïîäãðóïïà, ïîðîæäåííàÿ âñåìè êîììóòàòîðàìè [a, b] = aba−1 b−1 , a, b ∈ G.) Äîêàçàòåëüñòâî. Ïóñòü G òðàíçèòèâíàÿ ãðóïïà â S5 è C5 åå åäèíñòâåííàÿ öèêëè÷åñêàÿ 5-ïîäãðóïïà. Åñëè C5 íå ñîâïàäàåò ñ G, òî ïî ëåììå 4 ñóùåñòâóåò ýëåìåíò a ∈ (G \ C5 ), êîòîðûé ïåðåâîäèò 1 â ñåáÿ, è, ñëåäîâàòåëüíî, ñîâïàäàþùèé ñ s, s3 èëè c t = s2 . Åñëè a = t, òî ïî ëåììå 5 B5 = {ci tj | i = 0, ..., 4, j = 0, 1} ïîäãðóïïà ïîðÿäêà 10 (ò.ê. C5 ∩ hti = (1)) ëåæèò â G. Åñëè B5 íå ñîâïàäàåò ñ G, òî îïÿòü ïî ëåììå 4 äîëæåí ñóùåñòâîâàòü ýëåìåíò a îòëè÷íûé îò t è óäîâëåòâîðÿþùèé òåì æå óñëîâèÿì, ò.å. ëèáî s, ëèáî s3 . Îäíàêî, åñëè s3 ëåæèò â G, òî è s (= (s3 )3 ) ëåæèò â G. Ïîýòîìó B50 ⊆ G. Ïðè ýòîì äðóãèõ ýëåìåíòîâ â G, íå ëåæàùèõ â B50 íåò (ò.ê. åñëè áû òàêèå ýëåìåíòû áûëè, òî ñðåäè íèõ áûë áû è ïî êðàéíåé ìåðå îäèí èç sk , à îíè âñå ëåæàò â B50 ), ò.å. â ýòîì ñëó÷àå G = B50 . Ïîðÿäîê ýòîé ãðóïïû ðàâåí 20, ò.ê. C5 ∩ hsi = (1). 30 Ïðåäëîæåíèå 16.  S5 èìååòñÿ 5 êëàññîâ ñîïðÿæåííîñòè òðàíçèòèâíûõ ïîäãðóïï, à èìåííî, [C5 ], [B5 ], [B50 ], [A5 ], [S5 ], èç êîòîðûõ ïåðâûå òðè ñîäåðæàò ðàçðåøèìûå ãðóïïû. Äîêàçàòåëüñòâî. Ïåðâîå óòâåðæäåíèå ñëåäóåò èç ñëåäñòâèé 1, 2 è 3. Äëÿ ïðîâåðêè âòîðîãî îòìåòèì, ÷òî C5 C B5 C B50 êîìïîçèöèîííûé ðÿä, âñå ôàêòîðû êîòîðîãî èìåþò ïîðÿäîê 2 è ïîòîìó àáåëåâû. Íîðìàëüíîñòü B5 C B50 ñëåäóåò èç òîãî, ÷òî s−1 ci tj s = s−1 ci stj ∈ B5 , ò.ê. s è t ïåðåñòàíîâî÷íû è s−1 ci s ∈ C5 . Ñëåäñòâèå 4. Íåïðèâîäèìîå óðàâíåíèå f (x) = x5 + a1 x4 + · · · a5 = 0 ðàçðåøèìî â ðàäèêàëàõ òîãäà è òîëüêî òîãäà, êîãäà åãî ãðóïïà Ãàëóà G(f ) ñîïðÿæåíà ñ ïîäãðóïïîé â B50 . Îïðåäåëÿþùèå ìíîãî÷ëåíû äëÿ ðàçðåøèìûõ ãðóïï: C5 : (x1 + εx2 + ε2 x3 + ε3 x4 + ε4 x5 )5 , ε5 = 1, ε 6= 1. B5 : u = x1 x2 + x2 x3 + x3 x4 + x4 x5 + x5 x1 èëè v = x1 x3 + x3 x5 + x5 x2 + x2 x4 + x4 x1 . B50 : (u − v)2 . Ïîäñòàíîâêè a1 = (1), a2 = (123), a3 = (234), a4 = (345), a5 = (145), a6 = (125) îáðàçóþò ïîëíóþ ñèñòåìó ïðåäñòàâèòåëåé ïðàâûõ êëàññîâ ñìåæíîñòè S5 ïî B50 . Îïðåäåëÿþùåå óðàâíåíèå êëàññà [B50 ]. Îïðåäåëÿþùèé ìíîãî÷ëåí ãðóïïû 0 B5 çàïèøåì â âèäå g = g(x1 , ..., x5 ) = h2 , ãäå h = u − v 6 Q (t − ha ). Ëåììà 1. G(t2 ) = H(t)H(−t), ãäå H(t) = i i=1 Äîêàçàòåëüñòâî. Èìååì G(t2 ) = Q (t2 − (ha )2 ) Q (t − ha ) Q (t + ha ) = i=1 i=1 i=1 H(t)H(−t). Ëåììà 2. Ìíîãî÷ëåí h ÿâëÿåòñÿ îïðåäåëÿþùèì äëÿ B5 . Äîêàçàòåëüñòâî. Ïóñòü a ∈/ B5 è ha = h, òîãäà ha = ua − va . Òàê êàê è σ2a = ua + va (σ2 ñèììåòðè÷åñêèé ìíîãî÷ëåí è ïîòîìó èíâàðèàíòåí äëÿ ëþáîãî a ∈ S5 ), òî 2ua = ha + σ2a = h + σ2 = 2u. Ïîñêîëüêó u îïðåäåëÿþùèé äëÿ B5 , òî ýòî îçíà÷àåò, ÷òî a ∈ B5 ïðîòèâîðå÷èå. Ëåììà 3. Åñëè a ∈ B50 \ B5 , òî ha = −h. Äîêàçàòåëüñòâî. Èìååì (h2 )a − h2 = (ha )2 − h2 = (ha − h)(ha + h) = 0 äëÿ âñÿêîãî a ∈ B50 . Òàê êàê ïî ëåììå 2 ïåðâûé ìíîæèòåëü ha − h = 0 òîëüêî äëÿ a ∈ B5 , òî äëÿ êàæäîãî a ∈ B50 \ B5 äîëæåí ðàâíÿòüñÿ íóëþ âòîðîé ìíîæèòåëü. Ëåììà 4. Äëÿ âñÿêîãî a ∈ A5 èìååì ha = ha , à äëÿ âñÿêîãî b ∈ S5 \ A5 èìååì hb = −ha ñ íåêîòîðûì i = 1, ..., 6. Äîêàçàòåëüñòâî. Äîñòàòî÷íî ïðîâåðèòü óòâåðæäåíèå äëÿ a = (12) (òîãäà îíî áóäåò ñïðàâåäëèâî è äëÿ ëþáîãî a = (ij), i 6= j , è ïðèìåíèòü ñîîáðàæåíèå ñèììåòðèè. Äðóãîå äîêàçàòåëüñòâî: B50 = B5 ∪ B 5 . Âñå ýëåìåíòû B5 ÷åòíû (B5 ⊂ A5 ), à âñå ýëåìåíòû B 5 íå÷åòíû (B 5 ⊂ A5 ). Ýòî âëå÷åò (ò.ê. 6 6 S S a S5 = (A5 ∪ A5 )a = (Aa5 ∪ A5 ), ãäå ai ÷åòíî), ÷òî äëÿ âñÿêîãî c ∈ A5 i=1 i=1 èìååì c = aai , ãäå a ∈ B5 , à äëÿ âñÿêîãî c ∈ A5 èìååì c = bai , ãäå b ∈ B 5 . 6 6 i i i i i i 31 6 i i Îòñþäà hc = ha , åñëè c ∈ A5 , è hc = −ha , åñëè c ∈ A5 â ñèëó ëåììû 3. Ñëåäñòâèå 5. Ïóñòü H(t) = t6 + b1 t5 + · · · + b5 t + b6 ; òîãäà b2 , b4 , b6 ñèììåòðè÷åñêèå (ba2i = b2i ∀a ∈ S5 ), à b1 , b3 , b5 êîñîñèììåòðè÷åñêèå ìíîãî÷ëåíû (ò.å. ba2i+1 = b2i+1 ∀a ∈ A5 è bc2i+1 = −b2i+1 ∀c ∈ A5 ). Äîêàçàòåëüñòâî. Ýòî íåïîñðåäñòâåííî âûòåêàåò èç ëåììû 4, ò.ê. ïî îïðåäåëåíèþ H ìíîãî÷ëåíû ha ÿâëÿþòñÿ åãî êîðíÿìè è ïî ôîðìóëàì Âüåòà êàæäûé êîýôôèöèåíò bk åñòü ñèììåòðè÷åñêèé ìíîãî÷ëåí îò ha , i = 1, ..., 6, ñòåïåíè k. Ëåììà 5. Âñÿêèé êîñîñèììåòðè÷åñêèé ìíîãî÷ëåí F = F (x1 , ..., xn ) åñòü ïðîèçâåäåíèå F = W S , ãäå W = Q (xi − xj ) îïðåäåëèòåëü Âàíäåðn≥i>j≥1 ìîíäà, à S = S(x1 , ..., xn ) ñèììåòðè÷åñêèé ìíîãî÷ëåí. Äîêàçàòåëüñòâî. Åñëè ìíîãî÷ëåí îò äâóõ ïåðåìåííûõ ϕ(x, y) ∈ K[x, y] ìåíÿåò çíàê ïðè òðàíñïîçèöèè ïåðåìåííûõ (ϕ(x, y) = −ϕ(y, x)), òî ϕ(x, x) = 0, è ñëåäîâàòåëüíî, ϕ(x, y) äåëèòñÿ íà ëèíåéíûé äâó÷ëåí x−y : ϕ(x, y) = (x− y)ψ(x, y) ãäå ψ ∈ K[x, y]. Äåéñòâèòåëüíî, åñëè ϕ(x, x) = A, òî èç ðàâåíñòâà ϕ(x, y) = −ϕ(y, x) èìååì A = −A, ò.å. A = 0. Çàïèøåì ϕ(x, y) â âèäå ϕ(x, y) = A0 (x)ym +A1 (x)ym−1 +· · ·+Am−1 (x)y + Am (x), ãäå Ak (x) ∈ K[x]. Ðàâåíñòâî ϕ(x, x) = 0 îçíà÷àåò, ÷òî x êîðåíü ýòîãî ìíîãî÷ëåíà (îòíîñèòåëüíî y), à ïîòîìó îí äåëèòñÿ íà y − x. Òàê êàê ìíîãî÷ëåí F ìåíÿåò çíàê ïðè òðàíñïîçèöèè ëþáûõ äâóõ ïåðåìåííûõ xi è xj (i 6= j ), òî îí äîëæåí äåëèòüñÿ íà êàæäûé äâó÷ëåí xi − xj , à ñëåäîâàòåëüíî, íà W : F = W S . Îáà ìíîãî÷ëåíà F è W êîñîñèììåòðè÷íû, ò.å. îäíîâðåìåííî ìåíÿþò çíàê èëè íåò (ïîä äåéñòâèåì a ∈ Sn , òî S = F/W ìíîãî÷ëåí ñèììåòðè÷åñêèé. Ñëåäñòâèå 6. H(t) = t6 +b2 t4 +b4 t2 +cW t+b6 , ãäå c ∈ K , à b2i îäíîðîäíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû ñòåïåíè 2i (ïî ñîâîêóïíîñòè ïåðåìåííûõ x1 , ..., x5 ). Äîêàçàòåëüñòâî.  ñèëó ñëåäñòâèÿ 5 ëåììû 5 èìååì b2i+1 = W c2i+1 äëÿ i = 0, 1, 2. Òàê êàê deg h = 2, òî deg bk = 2k , â ÷àñòíîñòè, deg b1 = 2, deg b3 = 6, deg b5 = 10. Ïîñêîëüêó deg W = 10, òî ýòî âîçìîæíî, òîëüêî ïðè c1 = c3 = 0 è deg c5 = 0 (ò.å. c5 = c ∈ K ). Èç ëåììû 1 è ñëåäñòâèÿ 6 íåïîñðåäñòâåííî ïîëó÷àåì Ïðåäëîæåíèå 17. Îïðåäåëÿþùèé ìíîãî÷ëåí êëàññà ñîïðÿæåííîñòè [B50 ] èìååò âèä 3 2 2 2 i i i i G(z) = (z + b2 z + b4 z + b6 ) − Dc z, ãäå D = W äèñêðèìèíàíò ìíîãî÷ëåíà f (x), b2 , b4 , b6 îäíîðîäíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû îò êîðíåé x1 , ..., x5 ìíîãî÷ëåíà f (x) ñòåïåíåé 4, 8, 12 ñîîòâåòñòâåííî (ïî ñîâîêóïíîñòè ïåðåìåííûõ) è c ∈ K . Ñëó÷àé íîðìàëüíîãî ìíîãî÷ëåíà ñòåïåíè 5. Ïîä íîðìàëüíûì ìíîãî÷ëåíîì (íîðìàëüíîãî âèäà) ïîíèìàåòñÿ f (x) = x5 + px + q. Ïðåäëîæåíèå 18. Îïðåäåëÿþùèé ìíîãî÷ëåí êëàññà ñîïðÿæåííîñòè [B50 ] è äèñêðèìèíàíò â ñëó÷àå íîðìàëüíîãî ìíîãî÷ëåíà èìåþò âèä 2 G(z) = (z 3 − 20pz 2 + 240p2 z + 320p3 )2 − 1024Dz, 32 D = 44 p5 + 55 q 4 . (3) Åñëè f (x) íîðìàëüíûé ìíîãî÷ëåí ñòåïåíè 5, òî èìååì b2i = , ãäå c2i ∈ K, i = 1, 2, 3. Äîêàçàòåëüñòâî. Êàê ìíîãî÷ëåíû îò êîðíåé p è q èìåþò deg p = 4 è deg q = 5, à deg b2i = 4i (Ïîäñ÷èòàòü!). Êàæäîå óðàâíåíèå 4x + 5y = 4i äëÿ i = 1, 2, 3 ìîæåò èìåòü öåëî÷èñëåííîå ðåøåíèå òîëüêî ïðè y = 4y1 . Ïðè ýòîì y ≤ i − 1 (åñëè y = i, òî x = 0 è i = 5 ýòî íåâîçìîæíî). Ïîýòîìó y = 0. Ëåììà 7. Äëÿ f (x) = x5 + px + q èìååì D(f ) = 44 p5 + 55 q 4 . Äîêàçàòåëüñòâî. Äîëæíû èìåòü D = P dkl pk ql , ãäå 4k + 5l = 20. Îòñþäà D = d1 p5 + d2 q 4 . Òàê êàê ïðè p = 0, q = −1 èìååì D = −256, òî d1 = 256 = 44 . Çàòåì âû÷èñëèì D äëÿ p = 0, q = 1, ïîëó÷èì D = 55 , îòêóäà d2 = 55 . 5 Ëåììà 8. Äëÿ √ f1 (x) = x − x (êîðíè: x1 = 0, x2 = i, x3 = −1, x4 = −i, x5 = 1 (i = −1) ⇒ D(f1 ) = −256) èìååì Ëåììà 6. c2i pi G0 (z) = z 6 + 40z 5 + 880z 4 + 8960z 3 + 44800z 2 + 10854z + 102400. (4) 5 Äîêàçàòåëüñòâî. Êîðíÿìè √ f1 (x) = x − x ÿâëÿþòñÿ x1 = 0, x2 = i, xa 3 = −1, x4 = −i, x5 = 1 (i = −1). Îòñþäà èìååì h(x1 , ..., x5 ) = −2i è h = ha = ha = −2i, ha = 2 + 4i, ha = −4 + 2i. Ýòî âëå÷åò (4). Ïðåäëîæåíèå 19. Íîðìàëüíîå óðàâíåíèå f (x) = x5 + px + q = 0 ðàçðåøèìî â ðàäèêàëàõ òîãäà è òîëüêî òîãäà, êîãäà ìíîãî÷ëåí 2 4 5 3 6 R(y) = (y 3 − 5py 2 + 15p2 y + 5p3 )2 − Dy èìååò êîðåíü â K . Äîêàçàòåëüñòâî. R(y) ïîëó÷àåòñÿ èç G(z) çàìåíîé y = 41 z. Ïîýòîìó, åñëè R(y) íå èìååò êðàòíûõ êîðíåé, òî óòâåðæäåíèå ñëåäóåò èç ïðåäûäóùåãî, åñëè æå èìååò, òî pq = 0. 12. Ïðåîáðàçîâàíèå ×èðíãàóçåíà Ïóñòü çàäàíû ìíîãî÷ëåí , ñ êîðíÿìè è ðàöèîíàëüíàÿ ôóíêöèÿ , îïðåäåëåííàÿ ïðè êàæäîì çíà÷åíèè (èíà÷å ãîâîðÿ, ñî çíàìåíàòåëåì , íå èìåþùèì îáùèõ êîðíåé ñ , ò.å. ñ ). Òðåáóåòñÿ ïîñòðîèòü ìíîãî÷ëåí , êîðíÿìè êîòîðîãî ÿâëÿþòñÿ . Ïåðåõîä îò ïåðâîãî ìíîãî÷ëåíà êî âòîðîìó íàçûâàåòñÿ (ìíîãî÷ëåíà ). Ïðåæäå âñåãî, îòìåòèì ñëåäóþùóþ ëåììó: s(x) Ëåììà 1. Äëÿ âñÿêîé ðàöèîíàëüíîé ôóíêöèè y(x) = t(x) ñ (f (x), t(x)) = 1 ñóùåñòâóåò ìíîãî÷ëåí z(x) ñòåïåíè ≤ n − 1 (n = deg f (x)) òàêîé, ÷òî z(αi ) = y(αi ) äëÿ âñåõ êîðíåé αi ìíîãî÷ëåíà f (x). Äîêàçàòåëüñòâî. Òàê êàê (f (x), t(x)) = 1, òî ñóùåñòâóþò ìíîãî÷ëåíû u(x), v(x), äëÿ êîòîðûõ èìååò ìåñòî u(x)f (x) + v(x)t(x) = 1. Èç ýòîãî ðàâåí) ñòâà èìååì v(αi ) = 1/t(αi ) (ò.ê. f (αi ) = 0, à t(αi ) 6= 0). Ñëåäîâàòåëüíî, s(α t(α ) = Îïðåäåëåíèå ïðåîáðàçîâàíèÿ ×èðíãàóçåíà. f (x) = xn + a1 xn−1 + · · · + an−1 x + an , ai ∈ K α1 , α2 , ..., αn q(x) y(x) = r(x) x = αi r(x) f (x) (f (x), r(x)) = 1 g(y) = y n +b1 y n−1 +· · ·+bn βi = y(αi ), i = 1, ..., n f (x) g(y) ïðåîáðàçîâàíèåì ×èðíãàóçåíà f (x) i i 33 s(αi )v(αi ). Îäíàêî, ìíîãî÷ëåí w(x) = s(x)v(x) ìîæåò îêàçàòüñÿ áîëüøåé ñòåïåíè ÷åì n − 1.  ýòîì ñëó÷àå ïîäåëèì åãî íà f (x) : w(x) = q(x)f (x) + r(x). Òàê êàê w(αi ) = r(αi ), òî r(x) èñêîìûé ìíîãî÷ëåí. Ýòî ïîçâîëÿåò îãðàíè÷èòñÿ ðàññìîòðåíèåì ïðåîáðàçîâàíèé ×èðíãàóçåíà, îñóùåñòâëÿåìûõ òîëüêî ñ ïîìîùüþ ìíîãî÷ëåíîâ ñòåïåíè < n = deg f (x). Íèæå f = f (x) èñõîäíûé ìíîãî÷ëåí ñòåïåíè n, y = y(x) = c0 + c1 x + · · · + cn−1 xn−1 öåëàÿ ðàöèîíàëüíàÿ ôóíêöèÿ è g = g(x) ìíîãî÷ëåí, ïîëó÷åííûé èç f (x) ïðåîáðàçîâàíèåì ×èðíãàóçåíà ñ ïîìîùüþ y(x), K ïîëå êîýôôèöèåíòîâ ìíîãî÷ëåíîâ f è y. Ïîñòðîåíèå g(x). Ïóñòü h = h(x) ïðîèçâîëüíûé ìíîãî÷ëåí íàä K . Áóäåì îáîçíà÷àòü ÷åðåç h îñòàòîê îò äåëåíèÿ h íà f : h(x) = q(x)f (x) + h(x). Îòìåòèì, ÷òî åñëè deg h < n, òî h = h, è ÷òî â ëþáîì ñëó÷àå h(αi ) = h(αi ) äëÿ êàæäîãî êîðíÿ αi ìíîãî÷ëåíà f . Ðàññìîòðèì äâà ìåòîäà ïîñòðîåíèÿ ìíîãî÷ëåíà g(y) äëÿ äàííîãî f (x). 1) Íàéäåì ñòåïåíè ìíîãî÷ëåíà y ïî ìîäóëþ f (x): y, y2 , ..., yn (ò.å. ìíîãî÷ëåí yk−1 óìíîæàåì íà y = y, ðåçóëüòàò äåëèì íà f (x) è â êà÷åñòâå yk áåðåì îñòàòîê îò ýòîãî äåëåíèÿ). Ëåãêî ïðîâåðèòü, ÷òî yk (αi ) = yk (αi ) = βik , i = 1, ..., n). Ýòî ïîçâîëÿåò íàéòè ñòåïåííûå ñóììû sk (βi ) = β1k + · · · + βnk , k = 1, ..., n. Çàòåì ñ ïîìîùüþ ôîðìóë Íüþòîíà íàõîäèì ýëåìåíòàðíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû σk (βi ).  ñèëó ôîðìóë Âüåòà áóäåì èìåòü bk = (−1)k σk (βi ), k = 1, ..., n. Çàìå÷àíèå. Òî, ÷òî ïîëó÷åííûé ìíîãî÷ëåí g(y) = y n + b1 y n−1 + · · · + bn n ÿâëÿåòñÿ èñêîìûì g(y) = P (y − βi ) ÿñíî èç ïîñòðîåíèÿ, êîòîðîå â ÷àñòíîi=1 ñòè ïîêàçûâàåò, ÷òî âñå bk ∈ K . 2) Ðàññìîòðèì ñëåäóþùóþ ñèñòåìó ìíîãî÷ëåíîâ: y = y = c00 + c01 x + · · · + c0,n−1 xn−1 y = yx = c + c x + · · · + c n−1 1 10 11 1,n−1 x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . n−1 yn−1 = yx = cn−1,0 + cn−1,1 x + · · · + cn−1,n−1 xn−1 (5) è îáîçíà÷èì ÷åðåç C = (cij ), i, j = 0, ..., n − 1 ìàòðèöó êîýôôèöèåíòîâ ýòîé ñèñòåìû. Òîãäà õàðàêòåðèñòè÷åñêèé ìíîãî÷ëåí ìàòðèöû C ÿâëÿåòñÿ èñêîìûì ìíîãî÷ëåíîì: g(y) = det (C − yE) (E åäèíè÷íàÿ ìàòðèöà). (6) Äîêàçàòåëüñòâî. Ëåãêî âèäåòü, ÷òî yk (αi ) = βi αik äëÿ ëþáûõ k = 0, ..., n− 1 è i = 1, ..., n. Äåéñòâèòåëüíî, ïðè k = 0 ýòî ðàâåíñòâî âåðíî ïî îïðåäåëåíèþ βi . À ïî îïðåäåëåíèþ yk èìååì yk = yk−1 x, k = 1, ..., n − 1 è çíà÷èò yk (αi ) = yk−1 (αi )αi , ò.å. íàøå óòâåðæäåíèå ïîëó÷àåòñÿ èíäóêöèåé ïî k . Ïîýòîìó ñèñòåìà ëèíåéíûõ îäíîðîäíûõ óðàâíåíèé (c00 − y)z0 + c01 z1 + · · · + c0,n−1 zn−1 = 0 c10 z0 + (c11 − y)z1 + · · · + c1,n−1 zn−1 = 0 .............................. cn−1,0 z0 + cn−1,1 z1 + · · · + (cn−1,n−1 − y)zn−1 = 0 34 (7) îòíîñèòåëüíî íåèçâåñòíûõ z0 , z1 , ..., zn−1 ïðè y = βi èìååò íåíóëåâîå ðåøåíèå n−1 2 (z0 , z1 , ..., zn−1 ) = (1, αi , αi , ..., αi ). Ñëåäîâàòåëüíî, îïðåäåëèòåëü ýòîé ñèñòåìû, êîòîðûé ñîâïàäàåò ñ õàðàêòåðèñòè÷åñêèì ìíîãî÷ëåíîì ìàòðèöû C , ïðè y = βi ðàâåí 0, ò.å. êàæäîå y = βi ÿâëÿåòñÿ õàðàêòåðèñòè÷åñêèì êîðíåì ìàòðèöû C (ò.å. êîðíåì ìíîãî÷ëåíà (6)). Ïðèìåð. Ïóñòü f (x) = x3 − 2x + 3, y = 1 − x + x2 . 1) Îáîçíà÷èì ÷åðåç Sk , Σk ñòåïåííûå è ýëåìåíòàðíûå ñèììåòðè÷åñêèå ìíîãî÷ëåíû îò βi , à ÷åðåç sk , σk ñîîòâåòñòâóþùèå ìíîãî÷ëåíû îò αi . Íàéäåì ñíà÷àëà ñòåïåííûå ñóììû äëÿ âåëè÷èí βi . Èìååì y = y = 1 − x + x2 , y2 = 7 − 9x + 5x2 , y 3 = 49 − 59x + 31x2 . Ïîýòîìó S1 = 3 − s1 + s2 , S2 = 21 − 9s1 + 5s2 , S3 = 147 − 59s1 + 31s2 ; çàòåì, ò.ê. σ1 = 0, σ2 = −2, σ3 = −3, òî (ïî ôîðìóëàì Íüþòîíà) s1 = 0, s2 = 4; îòñþäà S1 = 7, S2 = 41, S3 = 271 ⇒ Σ1 = 7, Σ2 = 4, Σ3 = 4. Ñëåäîâàòåëüíî, g(y) = y 3 − 7y 2 + 4y − 4. 2) Èìååì y = 1 − x + x2 , xy = −3 + 3x − x2 , xy2 = 3 − 5x + 3x2 . Òàê êàê ýòà ñèñòåìà äîëæíà èìåòü ðåøåíèå îòíîñèòåëüíî (1, x, x2 ), òî äîëæíî èìåòü ìåñòî ðàâåíñòâî 1−y −3 3 −1 3−y −5 1 −1 3−y = −y 3 + 7y 2 − 4y + 4 = 0 äëÿ y = βi . Ïîëó÷åííûé ìíîãî÷ëåí ñîâïàäàåò ñ g(y) (ñ òî÷íîñòüþ äî ìíîæèòåëÿ èç K ). Îáðàòíîå ïðåîáðàçîâàíèå ×èðíãàóçåíà. Ïðåîáðàçîâàíèå ×èðíãàóçåíà íàçûâàåòñÿ îáðàòèìûì, åñëè ñóùåñòâóåò ïðåîáðàçîâàíèå x = b0 + b1 y + b2 y2 òàêîå, ÷òî ïåðåâîäèò g(y) îáðàòíî â f (x).  ðàññìîòðåííîì ïðèìåðå ïðåîáðàçîâàíèå îáðàòèìî, ò.ê. ïðåîáðàçîâàíèå x = 21 + 54 y − 14 y2 ïåðåâîäèò g(x) â f (x). Ïðåäëîæåíèå 20. Åñëè ïðåîáðàçîâàíèå ×èðíãàóçåíà îáðàòèìî, òî ãðóïïû Ãàëóà ìíîãî÷ëåíîâ f è g èçîìîðôíû (G(f ) ∼= G(g)). Äîêàçàòåëüñòâî. Ïóñòü F = K(α1 , ..., αn ) ïîëå ðàçëîæåíèÿ ìíîãî÷ëåíà f (x). Äëÿ ëþáîé ðàöèîíàëüíîé íàä K ôóíêöèè y = ϕ(x), îïðåäåëåííîé íà âñåõ êîðíÿõ αi ìíîãî÷ëåíà f (x), ýëåìåíòû βi = ϕ(αi ) ëåæàò â F . Òî åñòü ïîëå ðàçëîæåíèÿ F 0 ìíîãî÷ëåíà g(y) ëåæèò â F . Âñÿêîå ïðåîáðàçîâàíèå ×èðíãàóçåíà g(y) â ñâîþ î÷åðåäü äàñò ìíîãî÷ëåí h(x), ïîëå ðàçëîæåíèÿ F 00 êîòîðîãî ëåæèò â F 0 , ò.å. èìååì F 00 ⊆ F 0 ⊆ F . Îòñþäà ÿñíî, ÷òî äëÿ òîãî ÷òîáû ïðåîáðàçîâàíèå ×èðíãàóçåíà áûëî îáðàòèìî íåîáõîäèìî è äîñòàòî÷íî, ÷òîáû èìåëî ìåñòî ðàâåíñòâî: F 0 = F . À òàê êàê ãðóïïà Ãàëóà ìíîãî÷ëåíà ñîâïàäàåò ñ ãðóïïîé Ãàëóà åãî ïîëÿ ðàçëîæåíèÿ, òî îòñþäà íåïîñðåäñòâåííî ñëåäóåò óòâåðæäåíèå ïðåäëîæåíèÿ. Îòìåòèì îäèí êðèòåðèé îáðàòèìîñòè ïðåîáðàçîâàíèÿ ×èðíãàóçåíà n−1 P aij xj ; òîãäà ïðåîáðàçîâàíèå ×èðíãàóçåíà Ëåììà 2. Ïóñòü y i = j=0 ìíîãî÷ëåíà f (x) ñ ïîìîùüþ y(x) îáðàòèìî òîãäà è òîëüêî òîãäà, êîãäà 35 , ãäå a0j = δ0j . n−1 n−1 n−1 n−1 Äîêàçàòåëüñòâî. Èìååì x = P γi yi = P ( P γi aij )xj ⇒ P aij γ = j=0 i=0 i=0 i=0 δ1j , j = 1, ..., n − 1. Ýòà ñèñòåìà óðàâíåíèé (îòíîñèòåëüíî γi ) èìååò åäèíñòâåííîå ðåøåíèå òîãäà è òîëüêî òîãäà, êîãäà det (aij ) 6= 0. Ïðåäëîæåíèå 21. Âñÿêèé ìíîãî÷ëåí f (x) ñòåïåíè 5 îáðàòèìûì ïðåîáðàçîâàíèåì ×èðíãàóçåíà ìîæåò áûòü ïðèâåäåíî ê íîðìàëüíîìó âèäó. Äîêàçàòåëüñòâî îñíîâàíî íà íåïîñðåäñòâåííîì äîñòàòî÷íî ãðîìîçäêîì âû÷èñëåíèè. Ïðèëîæåíèå. 1) Ê âû÷èñëåíèþ êóáè÷åñêèõ ðåçîëüâåíò (â S4 ) det (aij ) 6= 0 A2 = (x1 x2 + x3 x4 )(x1 x3 + x2 x4 ) + (x1 x2 + x3 x4 )(x1 x4 + x2 x3 ) + (x1 x3 + x2 x4 )(x1 x4 + x2 x3 ) = x21 x2 x3 + ... = σ1 σ3 − 4σ4 A3 = (x1 x2 + x3 x4 )(x1 x3 + x2 x4 )(x1 x4 + x2 x3 ) = x31 x2 x3 x4 + ... = σ12 σ4 + 2 σ3 − 4σ2 σ4 S4 B1 = (x1 + x2 )(x3 + x4 ) + (x1 + x3 )(x2 + x4 ) + (x1 + x4 )(x2 + x3 ) = 2σ2 B2 = (x1 + x2 )(x3 + x4 )(x1 + x3 )(x2 + x4 ) + (x1 + x2 )(x3 + x4 )(x1 + x4 )(x2 + x3 ) + (x1 + x3 )(x2 + x4 )(x1 + x4 )(x2 + x3 ) = x21 x22 + ... = σ22 + σ1 σ3 − 4σ4 . 2) Ê âû÷èñëåíèþ âòîðîé êóáè÷åñêîé ðåçîëüâåíòû (â ) , , B3 = (x1 + x2 )(x1 + x3 )(x1 + x4 )(x2 + x3 )(x2 + x4 )(x3 + x4 ) = x31 x32 + ... = σ1 σ2 σ3 − σ12 σ4 + σ32 3210 σ1 σ2 σ3 3111 σ12 σ4 2220 σ32 2211 σ2 σ4 x1 = x2 = x3 = 1, x4 = 0. σ1 = 3, σ2 = 3, σ3 = 1, σ4 = 0 8 = 9 + B B = −1 x1 = x2 = x3 = x4 = 1. σ1 = 4, σ2 = 6, σ3 = 4, σ4 = 1 64 = 96 + 16A + 16B + 6C 32 = 48 + 8A + 8B + 3C − 16 = 8A + 8B + 3C x1 = x2 = 1, x3 = x4 = −1. σ1 = 0, σ2 = −2, σ3 = 0, σ4 = 1 0 = −2C C = 0 x1 = x2 = x3 = 1, x4 = −1. σ1 = 2, σ2 = 0, σ3 = −2, σ4 = −1 0 = −4B + 4C B = C 0 = −4A + 4B A = B = −1 . ( ) ( ( ) ) 36