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

    

鐃緒申鐃緒申鐃�II 鐃緒申鐃緒申 No.13

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

\fbox{補遺}

鐃旬講居申鐃叔は随申鐃緒申襪鰹申箸鐃緒申任鐃緒申覆鐃緒申辰鐃緒申鐃緒申鐃粛�鐃渋ワ申鐃緒申鐃駿ル群(=有鐃渋可器申鐃緒申)鐃祝つわ申鐃銃は￥申 鐃緒申鐃塾わ申鐃夙わ申鐃塾わ申鐃銃わ申鐃暑。

鐃緒申鐃緒申 13.1   有鐃渋ワ申鐃緒申鐃駿ル群 $ A$ 鐃熟わ申鐃淑らず有鐃渋個の緒申鷏欧鐃縦常申僂鐃銃縁申鐃緒申任鐃緒申襦�

鐃緒申鐃緒申鐃緒申鐃緒申鐃塾常申鐃緒申鐃熟わ申鐃淑わ申鐃緒申鐃緒申$ A$ 鐃塾各ワ申鐃緒申鐃緒申鐃緒申鐃緒申必鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃叔わ申鐃暑か鐃初、 $ A$ 鐃緒申必鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申直鐃術わ申分鐃薯する。鐃緒申鐃淑わ申鐃緒申鐃�

$\displaystyle A \cong P_1 \times P_2\times P_3 \times \dots\times P_n $

鐃叔￥申鐃緒申 $ P_i$ 鐃緒申鐃叔随申 $ p_i$ 鐃塾駈申 $ p_i^{e_i}$ 鐃緒申命鐃緒申忙鐃緒申弔茲�鐃淑ワ申鐃緒申鐃駿ル群鐃叔わ申鐃暑。 $ P_i$ 鐃緒申

$\displaystyle C_{{p_i}^{t_1}}\times C_{{p_i}^{t_2}}\times C_{{p_i}^{t_3}}\times \dots \times C_{{p_i}^{t_n}} $

鐃夙わ申鐃緒申鐃緒申鐃祝書ける、鐃夙わ申鐃緒申鐃夙わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾種申張鐃叔わ申鐃暑。

鐃緒申 13.1   鐃叔随申 $ p$ 鐃緒申鐃出わ申鐃銃位随申 $ p^2$ 鐃塾件申鐃緒申必鐃緒申鐃緒申鐃緒申鐃駿ル群鐃叔わ申鐃暑。 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申蕁�鐃緒申鐃緒申鐃� $ C_{p^2}$ 鐃緒申鐃緒申鐃殉わ申鐃緒申 $ C_{p}\times C_{p}$ 鐃緒申 鐃宿わ申鐃初か鐃緒申同鐃緒申鐃叔わ申鐃暑こ鐃夙わ申分鐃緒申鐃暑。

鐃緒申鐃殉でに講居申鐃叔出てわ申鐃緒申鐃緒申鐃夙わ申鐃緒申鬚Δ泙鐃緒申僂鐃緒申鐃夙￥申100鐃淑駕申鐃緒申鐃駿の随申 $ n$ 鐃緒申 与鐃緒申鐃緒申譴随申箸鐃緒申法鐃緒申命鐃� $ n$ 鐃塾件申鐃緒申鐃緒申襪鰹申箸鐃緒申鐃緒申覆鐃緒申動廚砲覆襦�

鐃淑駕申鐃緒申鐃緒申鐃塾わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申弔鐃緒申鵑欧茲�鐃緒申

命鐃緒申 13.2   鐃緒申 $ G$ 鐃塾位随申鐃緒申 % latex2html id marker 855 $ p^2 q$ (% latex2html id marker 857 $ p,q$ 鐃緒申鐃緒申曚覆鐃緒申膿鐃�) 鐃塾件申鐃緒申鐃緒申鐃緒申箸鐃緒申襦ｏ申鐃緒申里箸鐃緒申鐃�
  1. % latex2html id marker 859 $ p>q$ 鐃淑わ申弌鐃�$ G$ 鐃緒申 $ p$-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃叔わ申鐃暑。
  2. % latex2html id marker 867 $ p<q$ 鐃淑わ申弌鐃�% latex2html id marker 869 $ p^2q=12$ 鐃塾とわ申鐃緒申鐃緒申鐃緒申鐃� $ G$ 鐃緒申 % latex2html id marker 873 $ q$-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃叔わ申鐃暑。
鐃醇え鐃祝わ申鐃緒申鐃緒申両鐃緒申鐃� $ G$ 鐃緒申鐃緒申弔離鐃緒申鐃緒申戰觀駕申鐃夙渉常申僂鐃� 鐃書けるこ鐃夙わ申分鐃緒申鐃暑。

命鐃緒申 13.3   鐃緒申 $ G$ 鐃塾位随申鐃緒申 $ 24$ 鐃淑ら、$ 2$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃塾随申鐃緒申 $ 1$ or $ 3$ 鐃縦￥申
  1. 鐃盾し $ 1$ 鐃縦なら、$ 2$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃叔わ申鐃暑。
  2. 鐃盾し $ 3$ 鐃縦なわ申弌鐃�$ G$ 鐃塾￥申 $ 2$-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾への削申鐃術わ申 鐃粛わ申鐃緒申弌鐃�$ G$ 鐃緒申鐃緒申 $ \mathfrak{S}_3$ 鐃舜の件申鐃緒申同鐃緒申 $ \phi$ 鐃緒申存鐃淳わ申鐃暑こ鐃夙わ申鐃緒か鐃暑。 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃塾常申鐃緒申鐃緒申鐃初、$ \phi$ 鐃緒申鐃緒申鐃粛でわ申鐃暑こ鐃夙わ申鐃緒か鐃暑。 鐃緒申鐃塾とわ申 $ \phi$ 鐃塾核の位随申鐃緒申 $ 4$ 鐃叔わ申鐃暑か鐃初、 $ G$ 鐃祝は位随申 $ 4$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃緒申存鐃淳わ申鐃暑。

$ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申 $ N$ 鐃緒申存鐃淳わ申鐃暑こ鐃夙わ申鐃緒か鐃緒申函鐃�$ G$ 鐃緒申調鐃駿わ申砲鐃� $ N, G/N$ 鐃淑わ申鐃緒申弔侶鐃緒申鐃緒申茲債器申戮董鐃緒申弔鐃緒申砲鐃緒申鐃初か鐃緒申 $ G$ 鐃緒申 鐃宿のわ申鐃初い鐃緒申鐃緒申鐃暑か鐃緒申鐃夙わ申鐃緒申2鐃緒申鐃銃ップわ申分鐃緒申鐃緒申鐃緒申里如鐃� 鐃獣わ申鐃緒申鐃緒申鐃瞬わ申笋居申鐃緒申鐃緒申覆襦ｏ申鐃緒申鐃緒申鐃出わ申鐃銃￥申

鐃緒申鐃� 13.1   鐃緒申 $ G$ 鐃緒申 $ \{e\}$ 鐃緒申 $ G$ 鐃淑鰹申鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃緒申鐃淑わ申鐃夙わ申鐃緒申$ G$ 鐃緒申 単鐃純群鐃夙呼ばわ申襦�

鐃緒申 13.2   単鐃純群鐃緒申鐃緒申
  1. 鐃叔随申 $ p$ 鐃緒申命鐃緒申忙鐃緒申捗鐃藷群わ申単鐃純群鐃叔わ申鐃暑。(鐃緒申鐃緒申鐃緒申祿暗�鐃祝器申単鐃緒申単鐃純群鐃叔わ申鐃暑。)
  2. 鐃緒申鐃縮に￥申 % latex2html id marker 940 $ n\geq 5$ 鐃塾とわ申鐃緒申 $ \mathfrak{A}_n$ 鐃緒申単鐃純群鐃叔わ申鐃暑こ鐃夙わ申鐃塾わ申鐃銃わ申鐃暑。
  3. (鐃緒申鐃緒申法鐃粛�鐃緒申単鐃純群鐃熟器申鐃緒申鐃緒申分鐃準さ鐃緒申董鐃緒申匹鐃緒申鐃緒申鐃緒申鐃暑か鐃塾わ申鐃銃わ申鐃暑。)

鐃渋は￥申鐃縮随申 100 鐃殉でわ申鐃熟囲では￥申鐃叔随申鐃縮随申鐃塾緒申鷏欧任呂覆鐃獣縁申齋駕申鐃� $ \mathfrak{A}_5$ 鐃緒申鐃緒申鐃叔わ申鐃暑。 鐃緒申鐃緒申鐃緒申鐃緒申蓮鐃� 鐃縮随申 $ 60$ 鐃緒申単鐃純群鐃緒申 $ \mathfrak{A}_5$ 鐃叔わ申鐃暑こ鐃夙わ申鐃緒申鐃緒申鐃緒申襪随申鐃塾ヒワ申箸任鐃緒申襦�

鐃緒申鐃緒申 13.1   鐃縮随申 $ 60$ 鐃塾件申 $ G$ 鐃緒申単鐃純群鐃叔わ申鐃緒申伐鐃緒申蠅刻申鐃夙わ申鐃緒申 $ G$ 鐃緒申 $ 5$-鐃緒申鐃緒申鐃緒申鐃緒申鐃塾随申 $ k$ 鐃緒申鐃緒申茵ｏ申泙鐃緒申鐃緒申鐃緒申鐃祝わ申鐃� $ G$ 鐃緒申 $ \mathfrak{S}_k$ 鐃舜の件申鐃緒申同鐃緒申 $ \phi$ 鐃緒申鐃緒申鐃緒申鐃暑が鐃緒申鐃緒申鐃緒申 $ \phi$ 鐃緒申単鐃粛わ申鐃緒申鐃緒申鐃緒申鐃緒申 鐃緒申由鐃緒申劼戮鐃緒申鐃緒申鐃緒申覆鐃緒申鐃緒申鐃�

鐃緒申鐃緒申 13.2   鐃縮随申 % latex2html id marker 970 $ p q r$ (% latex2html id marker 972 $ p,q,r$ 鐃緒申鐃叔随申鐃緒申 % latex2html id marker 974 $ p<q<r$) 鐃塾件申 $ G$ 鐃祝わ申鐃緒申鐃緒申鐃緒申分鐃緒申鐃叔わ申鐃緒申茲�鐃緒申 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑わ申鐃夙わ申鐃緒申存鐃淳わ申鐃暑こ鐃夙を示わ申鐃淑わ申鐃緒申鐃緒申


平鐃緒申16年7鐃緒申12鐃緒申