next up previous
: 鐃緒申鐃緒申文鐃緒申砲弔鐃緒申鐃�...

    

鐃緒申鐃緒申鐃�II 鐃緒申鐃緒申 No.10

鐃緒申鐃緒申鐃塾テ￥申鐃緒申

\fbox{シローの定理(2)}

鐃緒申鐃緒申 10.1 (鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 )   $ G$ 鐃塾位随申鐃緒申 $ p^a m$ ($ p$ 鐃緒申鐃叔随申鐃緒申$ m$ 鐃緒申 $ p$ 鐃夙は互わ申鐃緒申鐃緒申)鐃叔わ申鐃緒申箸鐃緒申鐃�
  1. 鐃縮随申 $ p^a$ 鐃緒申 $ G$ 鐃緒申鐃緒申分鐃緒申鐃緒申存鐃淳わ申鐃暑。 (鐃緒申鐃緒申鐃� $ G$ 鐃緒申 $ p$-鐃緒申鐃緒申鐃緒申鐃緒申鐃夙呼わ申)
  2. $ G$ 鐃緒申 $ p$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃塾個随申鐃緒申 $ n$ 鐃夙わ申鐃緒申函鐃�$ n-1$ 鐃緒申 $ p$ 鐃叔鰹申鐃緒申擇鐃暑。
  3. $ G$ 鐃緒申 $ p$-鐃緒申鐃緒申鐃緒申鐃緒申鐃塾逸申弔鐃� $ P$ 鐃夙わ申鐃暑。 $ G$ 鐃緒申鐃緒申分鐃緒申 $ P_1$ 鐃緒申 鐃縮随申鐃緒申鐃緒申 $ p^a$ 鐃緒申鐃緒申鐃緒申任鐃緒申鐃�(鐃緒申鐃淑わ申鐃緒申鐃�$ P_1$ 鐃熟わ申鐃曙自鐃緒申 $ p$-鐃緒申鐃叔わ申鐃緒申 鐃夙わ申鐃緒申函鐃�

    $\displaystyle x P_1 x^{-1} \subset P $

    鐃淑わ申 $ x\in G$ 鐃緒申存鐃淳わ申鐃暑。
  4. $ G$ 鐃緒申 $ p$-鐃緒申鐃緒申鐃緒申鐃緒申鐃熟どわ申鐃淳わ申鐃祝駈申鐃緒申任鐃緒申襦�

鐃緒申鐃緒申蓮鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃�(1)鐃緒申鐃緒申分鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑�鐃緒申鐃緒申砲鐃緒申鐃緒申辰鐃緒申鐃緒申鐃緒申里鐃縮￥申

鐃殉わ申鐃緒申鐃緒申鐃緒申鐃塾種申張鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃銃わ申鐃緒申鐃緒申鐃緒申 $ G$ 鐃塾位随申 $ n$ 鐃緒申 $ p$ 鐃叔鰹申鐃緒申鐃緒申鐃緒申鐃獣て￥申$ a$ 鐃緒申燃鐃緒申覆鐃緒申覆辰鐃緒申箸鐃緒申襦� 鐃純え鐃出￥申 $ n=12$ 鐃緒申 $ p=2$ 鐃淑ら、$ n$ 鐃緒申 $ p$ 鐃緒申 $ 2$ 鐃緒申鐃緒申董鐃�$ p^a=4$ 鐃夙わ申鐃緒申鐃緒申鐃叔わ申鐃暑。鐃緒申鐃塾とわ申鐃緒申$ G$ 鐃緒申鐃緒申分鐃緒申鐃叔￥申 鐃縮随申 $ p^a$ 鐃塾わ申里鐃渋醐申澆鐃緒申鐃夙わ申鐃緒申鐃緒申鐃夙でわ申鐃暑。

鐃緒申 10.1  

鐃緒申鐃塾よう鐃淑ワ申鐃緒申鐃緒申鐃緒申鐃熟￥申鐃宿のよう鐃祝醐申鐃縦わ申鐃緒申个茲わ申里鐃緒申鐃緒申鐃緒申譴�鐃緒申鐃緒申両鐃緒申鐃緒申任鐃緒申辰董鐃�

  1. 鐃盾し $ G$ 鐃緒申鐃緒申分鐃緒申 $ G'$ 鐃叔￥申$ G$ 鐃緒申蠖随申望鐃緒申鐃緒申鐃緒申鐃緒申覆鐃緒申鐃緒申鐃� $ \vert G'\vert$ 鐃緒申 $ p^a$ 鐃緒申鐃旬随申鐃叔わ申鐃緒申茲�鐃淑わ申里鮓�つわ申鐃暑こ鐃夙わ申鐃叔わ申鐃緒申弌鐃緒申辰鐃緒申仂櫃鐃� $ G$ 鐃緒申鐃緒申 $ G'$ 鐃緒申 鐃旬わ申鐃緒申鐃夙わ申鐃叔わ申鐃暑。($ G'$ 鐃緒申鐃緒申分鐃緒申鐃緒申 $ G$ 鐃緒申鐃緒申分鐃緒申鐃叔もあ鐃暑か鐃緒申任鐃緒申襦�)
  2. $ G$ 鐃緒申鐃緒申分鐃緒申 $ G'$ 鐃緒申鐃緒申箸鐃緒申討蓮鐃�$ G$ 鐃塾わ申鐃緒申鐃緒申鐃緒申鐃淑醐申 $ g$ 鐃緒申鐃出わ申鐃緒申 鐃醇心鐃緒申鐃緒申 $ H_g$ 鐃緒申 鐃粛わ申鐃暑こ鐃夙わ申鐃叔わ申鐃暑。$ g$ 鐃薯いわ申鐃緒申鐃緒申鐃夙るこ鐃夙で￥申 鐃緒申鐃淑わ申粒鐃塾�鐃叔わ申鐃塾よう鐃緒申 $ G'$ 鐃薯見つわ申鐃暑こ鐃夙わ申鐃叔わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃�
  3. 鐃盾し鐃峻刻申鐃祝もそ鐃塾よう鐃淑わ申里鐃緒申鐃縦わ申覆鐃緒申辰鐃緒申箸鐃緒申襪件申茲�鐃緒申鐃緒申鐃塾とわ申鐃緒申 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃術わ申鐃銃￥申$ G$ 鐃緒申鐃醇心 $ Z(G)$ 鐃緒申 $ p$ 鐃緒申鐃旬随申鐃緒申 鐃淑わ申鐃緒申个覆鐃淑わ申鐃緒申鐃夙わ申分鐃緒申鐃暑。鐃夙わ申鐃緒申鐃緒申 $ G$ 鐃緒申鐃醇心鐃緒申鐃順き鐃緒申鐃緒申弌鐃� $ Z(G)$ 鐃緒申鐃緒申分鐃緒申 $ Z$ 鐃緒申適鐃緒申鐃祝とっわ申 鐃緒申鐃緒申脳鐃粛常申鐃緒申鐃緒申襪鰹申箸砲鐃緒申 $ G/Z$ 鐃緒申 $ Z$ 鐃緒申鐃緒申弔鐃緒申辰鐃淑�鐃緒申鐃緒申 鐃緒申呂鐃緒申辰鐃縮随申鐃緒申 $ \vert G\vert$ 鐃緒申蠑�鐃緒申鐃淑件申鐃祝居申鐃遵さ鐃緒申鐃暑こ鐃夙わ申鐃叔わ申鐃緒申里任鐃緒申襦�

鐃叔醐申鐃緒申鐃淑�鐃熟￥申鐃緒申鐃緒申的鐃祝は種申鐃塾よう鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申个茲わ申鐃�

鐃緒申鐃緒申 10.1  
  1. 鐃縦器申鐃緒申 $ Z$ 鐃塾位随申鐃緒申鐃叔随申 $ p$ 鐃叔鰹申鐃緒申覆鐃出￥申 $ Z$ 鐃塾醐申 $ z$ 鐃叔￥申 鐃縮随申鐃緒申鐃緒申鐃順う鐃緒申 $ p$ 鐃塾わ申里鐃渋醐申澆鐃緒申襦�
  2. 鐃緒申 $ G$ 鐃緒申鐃醇心 $ Z(G)$ 鐃緒申鐃緒申分鐃緒申 $ A$鐃熟￥申必鐃緒申 $ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃叔わ申鐃暑。

鐃緒申鐃緒申 10.1   $ \mathfrak{S}_4$ 鐃緒申 2-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 3-鐃緒申鐃緒申鐃緒申鐃緒申鐃塾個随申鐃熟わ申鐃曙ぞ鐃曙い鐃緒申鐃初か鐃緒申

鐃緒申鐃緒申 10.2   $ \mathfrak{S}_5$ 鐃緒申 2-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 3-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申5-鐃緒申鐃緒申鐃緒申鐃緒申鐃塾個随申鐃熟わ申鐃曙ぞ鐃曙い鐃緒申鐃初か鐃緒申


平鐃緒申16年6鐃緒申21鐃緒申