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

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

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

\fbox{ $G$-準同型、 シューアの補題 } 鐃緒申鐃曙か鐃緒申蓮鐃緒申辰鐃緒申任鐃淑わ申鐃渋わ申蓮峽鐃� $ G$ 鐃緒申表鐃緒申鐃竣とわ申鐃緒申鐃緒申 複鐃叔随申鐃緒申 $ {\mathbb{C}}$ 鐃緒申里鐃塾わ申佑鐃緒申襪鰹申箸砲鐃緒申襦�

No.6 鐃叔も少鐃緒申鐃述べわ申鐃処う鐃祝￥申$ G$-鐃獣件申鐃塾間わ申 $ G$-鐃緒申同鐃緒申鐃熟種申鐃塾よう鐃緒申鐃緒申鐃緒申鐃緒申鐃暑。

鐃緒申鐃� 7.1   $ G$-鐃獣件申 $ V_1,V_2$ 鐃塾間わ申鐃緒申鐃緒申鐃緒申鐃緒申 $ \phi:V_1\to V_2$ 鐃緒申 $ G$-鐃緒申同鐃緒申鐃叔わ申鐃緒申箸蓮鐃�$ \phi$ 鐃緒申 $ G$ 鐃塾削申鐃術わ申鐃楯つ￥申鐃緒申鐃淑わ申鐃� 任鐃春わ申 $ g\in G$ 鐃緒申任鐃春わ申 $ v \in V_1$ 鐃夙わ申鐃出わ申鐃銃￥申

$\displaystyle \phi(g.v)=g.\phi(v) $

鐃緒申鐃緒申鐃緒申立鐃縦とわ申鐃祝醐申鐃緒申鐃緒申 $ V_1$ 鐃緒申鐃緒申 $ V_2$ 鐃舜わ申 $ G$-鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾はわ申鐃曙自鐃緒申鐃緒申鐃緒申鐃緒申鐃瞬になる。 鐃緒申鐃緒申鐃� $ \operatorname{Hom}_G(V_1,V_2)$ 鐃夙わ申鐃緒申鐃緒申

鐃緒申鐃縮に￥申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾￥申平鐃術」わ申箸襪鰹申箸砲鐃獣わ申 $ G$-鐃緒申同鐃緒申鐃緒申 鐃緒申鐃暑こ鐃夙わ申鐃叔わ申鐃緒申錣縁申鐃緒申鐃緒申鐃緒申鐃緒申發緒申鐃� $ G$-鐃緒申同鐃緒申鐃緒申鐃塾わ申 鐃緒申鐃緒申覆鐃渋随申鐃緒申呂覆鐃緒申鐃�

鐃緒申鐃� 7.2   $ G$-鐃獣件申 $ V$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ G$-鐃緒申分鐃獣件申(0,$ V$ 鐃淑鰹申鐃緒申 $ G$-鐃緒申分鐃獣件申)鐃緒申發随申覆鐃� 鐃夙わ申鐃緒申$ V$ 鐃熟器申鐃緒申鐃� $ G$-鐃獣件申鐃叔わ申鐃緒申箸鐃出わ申襦�

鐃殉ワ申鐃遵ケ鐃緒申鐃緒申鐃緒申鐃緒申鐃術わ申鐃緒申函鐃緒申鐃緒申里鐃緒申箸鐃淑�鐃緒申鐃暑。

鐃緒申鐃緒申 7.1 (鐃殉ワ申鐃遵ケ鐃緒申鐃緒申鐃緒申鐃塾件申)   有鐃渋件申 $ G$ 鐃緒申(複鐃叔随申鐃緒申 $ {\mathbb{C}}$ 鐃緒申鐃粛�鐃渋種申鐃緒申)表鐃緒申 $ V$ 鐃熟￥申 必鐃緒申鐃緒申鐃緒申鐃� $ G$-鐃獣件申鐃緒申直鐃渋わ申分鐃薯する。

鐃緒申鐃緒申 7.1 (鐃緒申鐃遵ー鐃緒申鐃緒申鐃緒申鐃緒申)   鐃緒申鐃緒申鐃� $ G$-鐃獣件申 $ V$, $ W$ 鐃緒申鐃出わ申鐃銃￥申
  1. % latex2html id marker 797 $ \operatorname{Hom}_G(V,W)\neq 0$ $ {\Leftrightarrow}$ $ V$ 鐃緒申 $ W$ 鐃夙わ申 $ G$-鐃獣件申鐃夙わ申鐃緒申同鐃緒申
  2. $ \operatorname{Hom}_G(V,V)$ 鐃緒申鐃塾わ申覆鐃緒申鐃�

鐃緒申鐃緒申 7.1   $ G$-鐃獣件申 $ V,W$ 鐃夙わ申鐃塾間わ申 $ G$-鐃緒申同鐃緒申 $ \phi:V\to W$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申襦� 鐃縦わ申鐃緒申鐃緒申弔里鐃緒申箸鐃緒申鐃緒申(鐃緒申鐃遵ー鐃緒申鐃緒申鐃緒申鐃緒申両鐃緒申鐃緒申里箸鐃緒申鐃殉わ申鐃�)鐃緒申鐃緒申的鐃叔わ申鐃暑。
  1. $ \operatorname{Ker}(\phi)$ 鐃緒申 $ V$ 鐃緒申 $ G$-鐃緒申分鐃獣件申鐃祝なる。
  2. $ \operatorname{Image}(\phi)$ 鐃緒申 $ W$ 鐃緒申 $ G$-鐃緒申分鐃獣件申鐃祝なる。
鐃緒申鐃緒申鐃緒申鐃縦の誌申鐃渋わ申鐃緒申鐃緒申鐃緒申茵�


2003/6/8