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

鐃緒申鐃緒申鐃緒申鐃緒申鐃�II 鐃緒申鐃緒申 No.12

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

\fbox{生成元と関係式}

鐃緒申 $ R$ 鐃緒申硫歎鐃� $ M$ 鐃緒申鐃緒申 $ x_1,x_2,\dots,x_n$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申討鐃緒申鐃� (鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申函鐃� $ x_1,x_2,\dots,x_n$ 鐃緒申 $ M$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃叔わ申鐃緒申)鐃夙は￥申 $ x_1,\dots,x_n$ 鐃緒申泙鐃処う鐃緒申 $ M$ 鐃緒申鐃緒申分 $ R$-鐃獣件申鐃緒申 $ M$ 鐃緒申鐃夙でわ申鐃緒申箸鐃緒申鐃� 鐃緒申鐃緒申鐃緒申 鐃緒申鐃緒申鐃緒申

鐃緒申鐃緒申 12.1   鐃緒申 $ R$ 鐃緒申硫歎鐃� $ M$ 鐃緒申鐃緒申鐃獣て￥申 $ x_1,x_2,\dots,x_n \in M$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申鐃�
  1. $ R^n$ 鐃緒申鐃緒申 $ M$ 鐃舜わ申 $ R$-鐃緒申同鐃緒申鐃緒申鐃緒申 $ \phi$ 鐃緒申

    $\displaystyle \phi(r_1,r_2,\dots,r_n)= r_1.x_1+r_2.x_2+\dots+r_n.x_n $

    鐃祝わ申辰鐃緒申鐃殉る。
  2. $ M$ 鐃緒申 $ x_1,x_2,\dots,x_n$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申襪随申鐃緒申必鐃竣緒申分鐃緒申鐃熟￥申 鐃緒申鐃� $ \phi$ 鐃緒申鐃緒申鐃粛でわ申鐃暑こ鐃夙でわ申鐃暑。

鐃緒申 12.1   $ {\mathbb{C}}^n$ 鐃緒申 $ {\mathbb{C}}$-鐃獣件申鐃叔わ申鐃獣て￥申鐃緒申鐃旬ベワ申鐃夙ワ申 $ e_1,e_2,\dots,e_n$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申討鐃緒申襦� 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申亮鐃緒申鐃緒申鐃緒申他鐃祝もい鐃緒申鐃緒申鐃緒申鐃緒申鐃暑。

鐃緒申 12.2   $ n\times n$ 鐃緒申鐃緒申 $ A$ 鐃緒申与鐃緒申鐃緒申譴随申箸鐃緒申鐃� $ V={\mathbb{C}}^n$ 鐃祝わ申 $ {\mathbb{C}}[X]$-鐃獣件申鐃塾刻申造鐃緒申

% latex2html id marker 894 $\displaystyle X.v=A v \qquad (v\in V) $

鐃緒申鐃緒申鐃緒申泙辰鐃緒申里任鐃緒申辰鐃緒申鐃�$ V$ 鐃緒申 $ {\mathbb{C}}[X]$ 鐃緒申任鐃緒申鐃緒申鐃緒申鐃� $ e_1,e_2,\dots,e_n$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申討鐃緒申襪�鐃緒申鐃緒申辰箸茲わ申鐃緒申鐃緒申鐃緒申鐃獣居申鐃緒申鐃緒申箸鐃� $ A$ 鐃塾￥申標鐃準型鐃竣わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃叔わ申鐃獣わ申鐃緒申

鐃緒申鐃� 12.1   鐃緒申鐃緒申鐃緒申鐃塾常申鐃緒申鐃叔￥申 $ N=\operatorname{Ker}(\phi)$ 鐃緒申 $ R^n$ 鐃緒申 $ R$-鐃緒申分鐃獣件申鐃叔わ申鐃暑。 鐃緒申鐃緒申 $ N$ 鐃塾わ申鐃夙わ申 $ x_1,x_2,\dots,x_n$ 鐃緒申 鐃舜件申鐃緒申鐃塾なわ申鐃獣件申鐃夙呼ぶ￥申

鐃緒申 12.3   $ V={\mathbb{C}}^n$ 鐃緒申 $ {\mathbb{C}}$-鐃獣件申鐃夙みよう鐃緒申$ V$ 鐃塾醐申鐃薯いわ申鐃縦わ申鐃夙っわ申 $ v_1,v_2,\dots,v_m$ 鐃夙わ申鐃緒申函鐃緒申鐃緒申鐃緒申楼鐃緒申未砲鐃緒申鐃緒申鐃緒申鐃塾�鐃夙わ申 鐃渋わ申覆鐃緒申鐃�

$\displaystyle c_1 v_1+c_2 v_2 +\dots +c_m v_m =0 $

鐃淑わ申 $ (c_1,c_2,\dots,c_m)$ 鐃薯集めた鐃緒申鐃順が鐃緒申鐃塾常申鐃塾「関件申鐃緒申鐃塾なわ申鐃獣件申鐃竣でわ申鐃暑。

鐃緒申 12.4   鐃緒申 12.2鐃塾よう鐃祝￥申 $ n$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ A$ 鐃緒申鐃緒申蠅件申鐃� $ V={\mathbb{C}}^n$ 鐃緒申 $ {\mathbb{C}}[X]$-鐃獣件申鐃夙みよう鐃緒申 $ e_1,e_2,\dots e_n$ 鐃塾間にわ申 $ {\mathbb{C}}[X]$ 鐃遵自鐃緒申鐃叔なわ申鐃舜件申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃藷ある。 鐃緒申鐃緒申鐃緒申尊鐃縦器申戞鐃緒申鐃緒申潺鐃緒申鐃宿醐申犒随申鐃緒申由鐃緒申鐃緒申 $ A$ 鐃塾ワ申鐃緒申鐃緒申鐃緒申鐃宿醐申犒随申鐃� 鐃緒申鐃暑こ鐃夙わ申鐃叔わ申鐃緒申里任鐃緒申辰鐃緒申鐃�

$ \mathcal D$-鐃獣件申鐃塾常申鐃祝は￥申鐃舜件申鐃緒申鐃緒申鐃緒申鐃緒申蓮鐃緒申鐃� $ f_1,f_2,\dots,f_n$ 鐃緒申 鐃宿のよう鐃緒申鐃緒申分鐃緒申鐃緒申鐃緒申(鐃緒申)鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃竣とわ申鐃緒申鐃緒申鐃緒申箸澆襪鰹申箸鐃緒申任鐃緒申襦� 鐃緒申檗鐃緒申鐃緒申鐃緒申鐃薯参照のわ申鐃夙￥申

鐃緒申鐃� 12.2   鐃緒申鐃緒申鐃� $ R$ 鐃緒申硫歎鐃� $ M_1,M_2,M_3$ 鐃緒申鐃緒申啣歎鐃緒申僚鐃銃縁申鐃� $ \psi_1: M_1\to M_2$ $ \psi_2: M_2\to M_3$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申鐃�

$\displaystyle M_1\overset{\psi_1}{\to} M_2 \overset{\psi_2}{\to} M_3 $

鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申(exact sequence)鐃叔わ申鐃緒申箸蓮鐃� $ \operatorname{Image}\psi_1=\operatorname{Ker}\psi_2$ 鐃緒申鐃緒申鐃緒申立鐃縦とわ申鐃祝わ申鐃緒申鐃緒申

鐃緒申鐃緒申 12.1   $ \sin(x), \cos(x)\in {\mathbb{C}}[[x]]$ (鐃緒申鐃緒申鐃叔のテワ申鐃初ー展鐃緒申鐃緒申佑鐃緒申鐃�)鐃緒申 $ \mathcal D$- 鐃獣件申鐃夙わ申鐃銃の関件申鐃緒申鐃塾加件申鐃緒申鐃緒申茵�


平鐃緒申16年1鐃緒申22鐃緒申