•®§¤÷« 6. …«¥¬¥-⨠⥮à÷ù £àã¯
®áª÷«ìª¨ ¡ã¤ì-直© x 2 G ¬®¦- §®¡à §¨â¨ ïª ¥«¥¬¥-â áã¬÷¦-®£® ª« áã
(ïª ¯à ¢®£®, â ª ÷ «÷¢®£®): |
¡x ¤ a¡1¢ ¤ a 2 G ¤ a: |
x = a ¤ ¡a¡1 ¤ x¢ 2 a ¤ G; x = |
Žâ¦¥, ÷á-ãõ «¨è¥ ®¤¨- ¯à ¢¨© (¢÷- ¦¥ «÷¢¨©) áã¬÷¦-¨© ª« á ¢÷¤-®á-® ¯®¢-®ù ¯÷¤£à㯨 H = G { æ¥ á ¬ £à㯠G.
‡ 㢠¦¥--ï 6.17. •÷¢-÷áâì a ¤ G = G ¤ a = G ®¤à §ã ¢¨¯«¨¢ õ â ª®¦ ÷ § - áâã¯-®ù ⥮६¨ 6.12.
“ ª®¬гв в¨¢-¨е £аг¯ е, ®з¥¢¨¤-®, ¯а ¢¨© ч «ч¢¨© бг¬ч¦-ч ª« б¨ §¡ч- £ овмбп: a¤H = H ¤a ¤«ï ¢á÷å a 2 G. “ -¥ª®¬ãâ ⨢-¨å £àã¯ å ¬®¦«¨¢®
a ¤ H =6 H ¤ a (¤¨¢. ¯à¨ª«. 6.38).
’¥®à¥¬ 6.12. ‹÷¢÷ áã¬÷¦-÷ ª« ᨠ£à㯨 hG; ¤i ¢÷¤-®á-® ¯÷¤£à㯨 H
¡® -¥ ¯¥а¥ач§ овмбп, |
¡® §¡ч£ овмбп. •а ¢ч бг¬ч¦-ч ª« б¨ £аг¯¨ hG; ¤i |
¢÷¤-®á-® ¯÷¤£à㯨 H |
¡® -¥ ¯¥а¥ач§ овмбп, ¡® §¡ч£ овмбп. |
„®¢¥¤¥--ï. ’¢¥à¤¦¥--ï ⥮६¨ ¡ã¤¥¬® ¤®¢®¤¨â¨ ¤«ï «÷¢¨å áã¬÷¦- -¨å ª« á÷¢ (¢¨¯ ¤®ª ¯à ¢¨å áã¬÷¦-¨å ª« á÷¢ õ ᨬ¥âà¨ç-¨¬). ” ªâ¨ç-® - ¬ ¤®áâ â-ì® ¤«ï a; b 2 G ¤®¢¥á⨠⠪¥ ⢥द¥--ï:
((a ¤ H) \ (b ¤ H) =6 ?) ) ((a ¤ H) = (b ¤ H)) :
Žâ¦¥, -¥å © a; b 2 G â (a ¤ H) \ (b ¤ H) =6 ?, ⮡⮠¯¥à¥â¨- (a ¤ H) \ (b ¤ H) ¬÷áâ¨âì ¯à¨- ©¬-÷ ®¤¨- ¥«¥¬¥-â c 2 (a ¤ H) \ (b ¤ H). ’®¤÷ ®âਬãõ¬® §¢'燐ª ¬÷¦ ¥«¥¬¥-â ¬¨ a â b:
(c 2 a ¤ H) , (c = a ¤ h1 ¤«ï ¤¥ïª®£® h1 2 H); (c 2 b ¤ H) , (c = b ¤ h2 ¤«ï ¤¥ïª®£® h2 2 H);
a = c ¤ h¡1 1 = b ¤ h2 ¤ h¡1 1 = b ¤ h; ¤¥ h = h2 ¤ h¡1 1 2 H:
• à¥èâ÷, ¤«ï ¤®¢÷«ì-®£® x 2 G ®âਬãõ¬®
(x 2 a ¤ H) ) (x = a ¤ ha ¤«ï ¤¥ïª®£® ha 2 H) )
) (x = b ¤ (h ¤ ha)) ) (x 2 b ¤ H):
Žâ¦¥, a¤H ½ b¤H. ‚ª« ¤¥--ï b¤H ½ a¤H ¬®¦- ¤®¢¥á⨠- «®£÷ç-®:
(x 2 b ¤ H) ) (x = b ¤ hb ¤«ï ¤¥ïª®£® hb 2 H) )
) (x = a ¤ (h¡1 ¤ hb)) ) (x 2 a ¤ H):
’ ª¨¬ ç¨-®¬, a ¤ H = b ¤ H, é® ¤®¢®¤¨âì ⢥द¥--ï ⥮६¨.