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

    

鐃緒申鐃緒申鐃�II 鐃緒申鐃緒申 No.9

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

\fbox{シローの定理}

鐃緒申鐃縮に￥申有鐃渋件申 $ G$ 鐃緒申鐃緒申分鐃緒申 $ H$ 鐃緒申与鐃緒申鐃緒申譴随申箸鐃緒申鐃�$ H$ 鐃塾位随申鐃緒申 $ G$ 鐃塾位随申鐃緒申鐃緒申鐃緒申任鐃緒申辰鐃緒申鐃�(鐃初グ鐃緒申鵐献鐃緒申鐃緒申鐃緒申)

鐃緒申鐃塾逆わ申鐃緒申鐃緒申鐃緒申鐃淑わ申鐃緒申鐃縦まり、 $ G$ 鐃塾位随申鐃緒申鐃緒申鐃緒申鐃粛随申鐃緒申鐃緒申討癲�$ G$ 鐃緒申鐃緒申分鐃緒申鐃叔￥申鐃緒申鐃順う鐃宿わ申鐃塾位随申鐃緒申 鐃緒申里鐃緒申鐃緒申鐃夙は￥申鐃緒申鐃縮には限わ申覆鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申端鐃淑常申鐃祝限ってわ申 鐃緒申鐃緒申廚覆鐃緒申箸鐃緒申鐃緒申襦�

鐃緒申鐃緒申 9.1   $ p$-鐃緒申 $ P$ 鐃塾位随申 $ p^a$ 鐃緒申任鐃春わ申鐃緒申鐃� $ p^b$ (% latex2html id marker 736 $ b\leq a$) 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $ P$ 鐃緒申鐃緒申分鐃緒申 $ P_1$ 鐃叔￥申鐃縮随申鐃緒申鐃緒申鐃順う鐃緒申 $ p^b$ 鐃叔わ申鐃緒申鐃塾わ申存鐃淳わ申鐃暑。

鐃緒申鐃緒申 9.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$-鐃緒申鐃緒申鐃緒申鐃緒申鐃熟どわ申鐃淳わ申鐃祝駈申鐃緒申任鐃緒申襦�

鐃緒申 9.1   $ G$ 鐃塾位随申鐃緒申 $ p^a m$ ($ p$ 鐃緒申鐃叔随申鐃緒申$ m$ 鐃緒申 $ p$ 鐃夙は互わ申鐃緒申鐃緒申)鐃叔わ申鐃緒申箸鐃緒申鐃� 任鐃春の種申鐃緒申鐃緒申 % latex2html id marker 808 $ b\leq a$ 鐃緒申鐃出わ申鐃銃￥申 鐃縮随申 $ p^b$ 鐃緒申 $ G$ 鐃緒申鐃緒申分鐃緒申鐃緒申存鐃淳わ申鐃暑。

鐃緒申鐃緒申 9.1   $ \mathfrak{S}_5$ 鐃緒申 $ 2$-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ 3$-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鬚修譴常申鐃緒申弔鼎諜鵑欧覆鐃緒申鐃緒申鐃�


平鐃緒申16年6鐃緒申14鐃緒申