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

    

鐃緒申鐃緒申鐃�II 鐃緒申鐃緒申 No.7

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

\fbox{直積と半直積}

鐃緒申鐃� 7.1   鐃緒申 $ G$ 鐃緒申鐃緒申分鐃緒申 $ H$ 鐃緒申 $ K$ 鐃緒申与鐃緒申鐃緒申譴随申箸鐃緒申襦ｏ申鐃緒申里箸鐃� $ G$ 鐃緒申鐃緒申分鐃緒申鐃緒申 $ HK$ 鐃緒申

% latex2html id marker 776 $\displaystyle HK=\{ h k ; h\in H,\quad k\in K\} $

鐃緒申鐃緒申鐃緒申鐃緒申襦�

$ HK$ 鐃熟逸申鐃縮にわ申 $ G$ 鐃緒申鐃緒申分鐃緒申鐃夙は限わ申覆鐃緒申鐃緒申鐃緒申鐃�$ K$ 鐃緒申 鐃瞬よい鐃竣常申鐃祝わ申鐃獣わ申鐃縮でわ申鐃暑。

命鐃緒申 7.1   鐃緒申 $ G$ 鐃緒申鐃緒申分鐃緒申 $ H$,$ K$ 鐃緒申鐃緒申鐃獣て￥申$ K$ 鐃緒申鐃緒申鐃緒申鐃� $ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃淑わ申弌鐃� $ HK$ 鐃緒申 $ G$ 鐃緒申鐃緒申分鐃緒申鐃祝なる。

鐃緒申鐃� 7.2   鐃宿わ申雰鐃� $ G$ 鐃緒申鐃緒申分鐃緒申 $ H$,$ K$ 鐃緒申鐃緒申鐃獣て￥申
  1. $ K$ 鐃緒申鐃緒申鐃緒申鐃� $ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃緒申
  2. $ H\cap K=\{e\}$
  3. $ H K =G$
鐃緒申鐃淑りた鐃縦とわ申鐃緒申 $ G$ 鐃緒申 $ H$ 鐃緒申 $ K$ 鐃緒申半直鐃術でわ申鐃緒申噺討咫鐃� $ G=H \ltimes K$ 鐃夙書かわ申襦�

$ H$ 鐃緒申 $ K$ 鐃緒申両鐃緒申鐃緒申 $ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃塾とわ申鐃熟どわ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申

命鐃緒申 7.2   鐃緒申 $ G$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申 $ H,K$ 鐃緒申 $ H\cap K=\{e\}$ 鐃緒申澆鐃緒申鐃緒申覆鐃出￥申 任鐃春わ申 $ h\in H$ 鐃緒申任鐃春わ申 $ k\in K$ 鐃緒申鐃出わ申鐃銃￥申 $ h k=k h$ 鐃緒申鐃緒申鐃緒申立鐃縦￥申

鐃緒申鐃緒申鐃緒申 [*]鐃祝わ申鐃緒申鐃銃￥申鐃夙わ申鐃緒申 $ H$ 鐃緒申鐃緒申鐃緒申鐃緒申分鐃緒申鐃塾とわ申鐃緒申 $ G$ 鐃緒申 $ H$ 鐃緒申 $ K$ 鐃緒申直鐃術でわ申鐃緒申噺討个鐃暑。

半直鐃術の刻申造鐃緒申鐃緒申鐃重�鐃処く分鐃緒申鐃暑。

鐃緒申鐃緒申 7.3   $ G=H \ltimes K$ 鐃塾とわ申鐃緒申 $ h\in H, k\in K$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $ h k h^{-1} = {}^h k$ 鐃夙わ申鐃緒申鐃夙￥申 $ {}^h k$ 鐃緒申 $ K$ 鐃塾醐申鐃叔わ申鐃所、
  1. % latex2html id marker 860 $ {}^h(k_1 k_2)= {}^h k_1{}^h k_2 \qquad(h \in H, k_1,k_2 \in K)$
  2. % latex2html id marker 862 $ {}^{h_1 h_2}k= {}^{h_1}({}^{h_2} k) \qquad(h_1,h_2 \in H, k \in K)$
鐃緒申澆鐃緒申鐃緒申鐃緒申佞法鐃緒申鐃� $ H$,$ K$ 鐃緒申鐃緒申鐃� 鐃緒申鐃緒申鐃縦の常申鐃緒申鐃緒申鐃緒申鐃緒申鐃出縁申

$\displaystyle \Phi:H\times K \ni (h,k)\to {}^h k \in K $

鐃緒申鐃緒申鐃緒申弌鐃� $ H$,$ K$ 鐃緒申鐃緒申鐃� $ \Phi$ 鐃緒申弔鐃緒申辰鐃� $ G$ 鐃緒申鐃緒申鐃緒申鐃暑こ鐃夙わ申鐃叔わ申鐃暑。

鐃緒申鐃緒申 7.1   鐃緒申 $ G$ 鐃緒申鐃緒申分鐃緒申 $ H,K$ 鐃叔￥申 $ HK$ 鐃緒申 $ G$ 鐃緒申鐃緒申分鐃緒申鐃祝なわ申覆鐃緒申茲�鐃淑わ申里鐃� 鐃緒申鐃緒申諜鵑欧茵�(鐃緒申由鐃緒申劼戮襪鰹申鐃�)鐃緒申


平鐃緒申16年6鐃緒申3鐃緒申