Osnovy teorii Galua.

~ 2. H~o~opynnbz 27
Ho 3TO paBeH-CTBO HeI3O3MO)KHO, TaK mait( ero neIBag qaCTb nepeBAoXT
13 1, B TO B1)em4 Ka31< ero inpaBasi 'ICTb riepeuo~im 3 B 2.
T eop e ma 13. lOp51AOK TpaH3HTHBHO01 a6e~neBofl rpyriabi WlriR
CTaHOBOK paaeH ee UeriefHI, T.* e. qwC.Tiy nepemeumae~bIX eio iUMffp.,J1 0K a 3aT e JIb CTBO0. 143 Treopembi 11 ciiea~yeT, qITo rlopuJoK rpyrnnu(~
pra~eH ee CTeiieHii n, yMHO)Ke-iHHOA Ha nopsulToK ee HaR16OIAbHen no~rpyrniri,
VOCTamm~ome1C1 Oal1y 113 uuliqp Ha mlecTe. HO Taic MaK1 (W$- AeneBa rEpynria,
TO B CHJIY 'feOpeMbl 12 IIOJCTaHOBK14 rpylInbi %)J~IKlh C3 TbBe
I4HdppiL1 Ha meCTe, T. e %5-) COCTOHT TOI~b1O 143 Mou~eCTBeHoft HOJICTaHOBI(H,
iH ee nopu1Lo1< paB,-EH eniHHH[e. Orcioaia C~leJyeT, 'ITO nO0P1LOK rpyrlflbi (S paBeB Hf, 4q.HT. LI.
Y n p a nc Bi e Hi H e 1W. HYCTb 65 a6eiieBa r'pyrma 11Oj~CTaHoBo1{, H ee C14CTe~bl HH1 -TpaH311TfIMHOCTH COCT0SIT 113 Mfl, 1112, Mk, in,, tp (ttnl +~ mp2 +. ~ Oin, a=). AioKa3aTb, 410 lIOP5IJOK rUyrI1Hbl ( eCib JIJHITeJ1b 4Hcjia nzX72... M*'
14. HMHpHMH4THBbime rpyrifbi. Fpyrnra IIOJICTaHOBO1( Ha3b1BaeTCR1 H Mnl p 14 M 14 T H B H o0 ~, eCJI1 Bce riepemeiiaembie eio UL11)pfl MO>KHO pa36HTIh Ha
TaK14e CliCTeMb1 (Ia3blmiembie CH4CTemaMH HlmnpH~mHTTBH0CTH), qT0
gawaaff3 HOACTHOBKa I'pyHlbl HepeBORTHT wi143b1 Ka}Kjofl CHiCTembl B UH4ipbI
KaKoWlHH6y~ib onpeJ~aereHHO1 CHCTembi..dpyrHMmH cJIoBami,, ecatm JLe UHc)pIll
nIpifHlaUae3aT OaHH0I H TOtI we CH4CTeme, TO K3YKJi3 HOLaCTaHOBKa rpynn~bl
[1epCBOJLT IIX B 11H4)bl, npH4Ha)ae>Kaniie ToweK aHO 01011H TO wKe CHCTeme.
Ha npaKTH1<e ytlo6Ho HPOBep1Tb H4M11p1MHTliBHOCTb TaK: 6y11em o6owluaqlam 13ce 4-mpbl O1IHOA (Ka~waioft) CHCTembi l4MHHM14MTHfBHOCTH OaLHIHM H Tem
)Ke 3HaK0M. ECiiH noiiyqaembie TaKHM o6pa3oM fIOLLCTaHOBKH He C011p)KaT npO.
Th4BopeLIHA1, TO o6o3Hatiaembie (1111MM 3HaKom 1H4)Jpbj JeleCTBHiTeJIbHO cocraBJISII0T CH4CTeMy HMHplHMHiTHBH0CTH4 rpynnlbg B nIpOTHBHOM cjiyqae-He COCTaBJWLOT.
llHp1m e p. f'pynna 8-ro nop51A~a [cm. (27)1.
1, (1 2) (3 4), (1 3) (2 4), (I 4) (2 3), (1 2), (3 4), (1 3 2 4), (1 4 2 3)
HMmeT C1ICTeMb1 1, 2 H 3, 4 B Ka jeCTBe C4CTeM HmripllHTI4TBH0CTH. HlTO6b y6eqHrbC%
B 3T0M, o6o3HaqHM Uti4)pbi 1, 2 3HIIKOM 1, a IItlf)pb 3, 4 - 3113Kom IL. Tor~ia no0Jy'IHm
CJICJapotuLeHC roCTaHoBKcH:
Bce 9TH HO11CTa3HOBKH CBO11fITCq K J1IBYM c-ne11yioH4im: 1,( H1) np 10TH1B0pqH5
HHrF(-e HeT.
".CHCTeMbl we 1, 3 i1 2, 4 He moryT CJ1YWKHTb CHCTCmaMH HlMIlPHMHTI4BHOCTH4 rp~yHnI.
AH'CTBHTe.~bHo, o6o3Haqaq 1, 3 tiepe3 a, a 2, 4 'qepe3i b, Mbi HOjqyqH1M TaiKHe ROACTaHOBKH:
1, (ab) (ab), (aa) (bb), (ab) (ba), (ab) (a) (b), (a) (b) (ab), (aabb), (abba).
Hlepimie IeTblpe 113 3THx nOAICTaIHOBOK K HPOTHBopeC4Hio He IUpHBOARfT, a I1OTOMY
MM~l5 o6pa3yemoll 1MMi rpynurbi CHCTCMbl 1, 3 11 (2, 4) IIBJI5IOTCH CHCTemRMH HMIHPHMPBTHB11OCT14. fHocae=He we iemhipe 113 3THX HOqCTaHOBOK cojepwan npoTHlBope'IHsl. HanpHiMep nOJICTaHoBKy (a a b b) mo)1<1o nepnHHCaTb TaR: (a a b ). C OZHOR CTOPObl~b,
a neCpexOJHT B a, C 11pyroft - a nepexoaflT B b.
15. T eop e Ma 14. BCqK3q -TpaH3,HTHlBHasi rpyiina, COuIpwamasI3$
TpaHCH03H14H1o, HfBJsiHTC14 1111 cHmmeTpH4ecCKofl, 1411 HM11l1H N1HTHBHfi4
rpynrioft.
0 Ka 3 33 T, e ji b C T B 0. HlyCTb rpynrina COILCP)KHT TpaHCn1O3HIUH1O (1 2).
ECAHn 0113 COaeLp)KHT BCe TpaHCHO3Hg4HH, nepeBoMuitiue 1 i Ka)4aIyio ms nepe