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

鐃緒申鐃緒申鐃緒申鐃緒申鐃�II 鐃緒申鐃緒申 No.11

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

\fbox{環と加群の復習・加群の準同型}

鐃緒申鐃緒申鐃� II 鐃叔￥申鐃緒申鐃塾よう鐃淑居申鐃緒申鐃緒申展鐃緒申鐃緒申鐃緒申鐃緒申

(鐃緒申) 複鐃叔随申鐃緒申鐃緒申分鐃祝わ申弔茲�鐃緒申 $ n\times n$-鐃緒申鐃緒申 $ A$ 鐃緒申与鐃緒申鐃緒申譴随申箸鐃緒申鐃� $ V={\mathbb{C}}^n$ 鐃舜わ申鐃緒申鐃所元 $ X$ 鐃塾削申鐃術わ申

$\displaystyle X.v=A v $

鐃緒申鐃緒申鐃暑こ鐃夙わ申鐃叔わ申鐃暑。

他鐃緒申鐃緒申鐃緒申分鐃緒申鐃緒申鐃緒申鐃薯扱わ申鐃夙わ申鐃祝は種申鐃塾よう鐃緒申鐃獣わ申鐃出てわ申鐃暑。

(鐃緒申) $ \mathcal F= C^{\infty}($$ \mbox{${\mathbb{R}}$}$$ )$ 鐃淑わ申鐃緒申 $ {\mathbb{C}}[[x]]$ 鐃緒申法鐃� $ m_x ,\partial_x$ 鐃塾削申鐃術わ申鐃緒申鐃暑こ鐃夙わ申鐃叔わ申鐃暑。

(鐃緒申)鐃緒申鐃獣でわ申 $ X$ 鐃塾削申鐃術のみならず鐃緒申 $ X^2,X^3,\dots$ 鐃緒申鐃緒申咾鐃緒申鐃緒申鐃�(複鐃叔件申鐃緒申鐃緒申 鐃緒申鐃緒申鐃緒申鐃�)鐃緒申鐃緒申鐃淑わ申鐃� $ X$ 鐃緒申多鐃準式鐃塾削申鐃術わ申佑鐃緒申鐃塾わ申鐃処い鐃塾でわ申鐃獣わ申鐃緒申 多鐃準式鐃緒申聴鐃縦わ申鐃緒申鐃緒申任鐃緒申襪縁申鐃宿も、鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃縦らず鐃殉とわ申鐃� 箱鐃緒申鐃緒申鐃曙た鐃緒申鐃�(鐃緒申鐃緒申)鐃緒申佑鐃緒申鐃塾わ申鐃緒申鐃緒申有鐃緒申鐃叔わ申鐃暑。 鐃緒申鐃曙が多鐃準式鐃緒申 $ {\mathbb{C}}[X]$ 鐃叔￥申 鐃緒申鐃緒申楼鐃緒申痢鐃銃誌申鐃夙�鐃竣わ申佑鐃緒申討鐃緒申鐃処う鐃淑わ申里任鐃緒申襦�

同鐃粛にわ申鐃銃￥申 $ m_x ,\partial_x$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ \mathcal D$ 鐃緒申鐃緒申鐃緒申鐃緒申討鐃緒申鐃緒申董鐃� $ C^\infty($$ \mbox{${\mathbb{R}}$}$$ )$ 鐃淑わ申鐃緒申 $ {\mathbb{C}}[[X]]$ 鐃緒申 $ \mathcal D$-鐃獣件申鐃夙みなわ申鐃緒申鐃緒申鐃緒申砲鐃緒申(鐃緒申鐃緒申)鐃緒申分鐃緒申鐃緒申鐃緒申鐃緒申 鐃縦加件申鐃緒申鐃緒申鐃夙で考わ申鐃暑こ鐃夙わ申鐃叔わ申鐃緒申茲�鐃祝なる。

鐃緒申鐃� 11.1 (鐃緒申鐃緒申)   $ R$ (鐃緒申鐃塾には￥申 $ (R,+,\times)$ )鐃緒申鐃緒申(単鐃縮醐申鐃緒申鐃縦件申鐃緒申)鐃叔わ申鐃緒申箸蓮鐃� 鐃緒申鐃塾よう鐃淑常申錣�鐃緒申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃祝醐申鐃緒申鐃緒申
  1. $ R$ 鐃熟加醐申鐃処算鐃祝つわ申鐃緒申鐃縦わ申鐃銃わ申鐃暑。
  2. $ (R,+)$ 鐃熟駕申法鐃緒申鐃叔わ申鐃暑。
  3. 鐃緒申法鐃熟件申鐃塾э申鐃淳わ申鐃緒申鐃緒申鐃緒申鐃緒申単鐃縮醐申 $ 1$ 鐃緒申鐃縦￥申
  4. 鐃緒申法鐃夙常申法鐃塾間わ申分鐃緒申律鐃緒申鐃緒申鐃緒申立鐃縦￥申

鐃緒申鐃� 11.2 (鐃緒申鐃緒申)   $ R$ 鐃熟環でわ申鐃緒申箸鐃緒申襦�$ M$ 鐃緒申 $ R$-鐃獣件申鐃叔わ申鐃緒申箸蓮鐃� 鐃縦わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃祝醐申鐃緒申鐃緒申
  1. $ R$ 鐃塾各醐申 $ r$ 鐃夙￥申$ M$ 鐃塾各醐申 $ m$ 鐃夙にわ申鐃緒申鐃緒申鐃銃￥申 $ r$ 鐃緒申 $ m$ 鐃塾削申鐃緒申 $ r.m \in M$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃銃わ申鐃暑。
  2. $ (M,+)$ 鐃熟駕申法鐃緒申鐃叔わ申鐃暑。
  3. $ (r_1 r_2). m =r_1. (r_2. m)$ , $ 1.m=m$          ( % latex2html id marker 953 $ r_1,r_2\in R, \quad m\in M$)
  4. $ (r_1+r_2).m=r_1.m+r_2.m$, $ r.(m_1+m_2)=r.m_1 +r.m_2$ ( % latex2html id marker 959 $ r_1,r_2\in R, \quad m, m_1,m_2\in M$)

鐃緒申鐃� 11.3   $ R$-鐃獣件申 $ M,N$ 鐃緒申鐃緒申鐃獣わ申鐃夙わ申鐃暑。$ M$ 鐃緒申鐃緒申 $ N$ 鐃舜の種申鐃緒申 $ \varphi$ 鐃緒申 $ R$-鐃緒申同鐃緒申鐃叔わ申鐃緒申箸蓮鐃�$ \varphi$ 鐃緒申鐃緒申鐃塾常申鐃緒申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃祝醐申鐃緒申鐃緒申
  1. $ \varphi$ 鐃熟駕申法鐃緒申鐃楯つ￥申鐃緒申鐃淑わ申鐃緒申鐃� $ \varphi(m_1+m_2)=\varphi(m_1)+\varphi(m_2)$ 鐃緒申鐃緒申鐃銃わ申 $ m_1,m_2\in M$ 鐃緒申 鐃出わ申鐃緒申鐃緒申鐃緒申立鐃縦￥申
  2. $ \varphi$ 鐃緒申 $ R$ 鐃塾削申鐃術わ申鐃楯つ￥申鐃緒申鐃淑わ申鐃緒申鐃� $ \varphi(r. m)=r.\varphi(m)$ 鐃緒申鐃緒申鐃駿てわ申 $ r\in R , m \in M$ 鐃緒申鐃出わ申鐃緒申 鐃緒申鐃緒申立鐃縦￥申

$ R$-鐃緒申同鐃緒申鐃緒申鐃緒申鐃緒申蓮鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃夙縁申鐃緒申弔任鐃緒申襪鰹申箸鐃緒申鐃緒申佞鐃緒申茲�鐃緒申 鐃渋際￥申$ R$ 鐃緒申鐃縦器申鐃塾でわ申鐃緒申箸鐃緒申砲蓮鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 鐃緒申鐃塾わ申里任鐃緒申襦� 鐃緒申鐃緒申鐃緒申鐃緒申鐃塾常申鐃緒申同鐃粛に￥申鐃緒申鐃塾核わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申襪鰹申箸鐃緒申任鐃緒申襦� 鐃緒申鐃緒申鐃緒申鐃緒申$ R$ 鐃緒申鐃塾でなわ申鐃緒申隋�鐃獣わ申鐃緒申調鐃緒申弔両鐃緒申砲蓮鐃�$ R$-鐃緒申同鐃緒申鐃緒申 鐃緒申鐃緒申鐃緒申鐃緒申鐃夙はわ申鐃淑りお鐃緒申爐�鐃緒申鐃循なる。鐃緒申鬚い鐃緒申弔鐃緒申鵑欧茲�鐃緒申

鐃緒申 11.1   $ \varphi:\mathcal D \to {\mathbb{C}}[[x]]$ 鐃緒申 $ \varphi(P)=P.1$ 鐃緒申鐃緒申鐃緒申函鐃�$ \varphi$ 鐃緒申 $ \mathcal D$-鐃緒申同鐃緒申鐃叔わ申鐃暑。 $ \varphi$ 鐃塾鰹申 鐃緒申 $ \mathcal D \partial$ 鐃叔わ申鐃所、 鐃緒申鐃緒申 $ {\mathbb{C}}[x]$ 鐃叔わ申鐃暑。

鐃緒申 11.2   $ \varphi:\mathcal D \to {\mathbb{C}}[[x]]$ 鐃緒申 $ \varphi(P)=P.x$ 鐃緒申鐃緒申鐃緒申函鐃�$ \varphi$ 鐃緒申 $ \mathcal D$-鐃緒申同鐃緒申鐃叔わ申鐃暑。 $ \varphi$ 鐃塾鰹申 鐃緒申 $ \mathcal D \partial^2+\mathcal D (x\partial -1)$ 鐃緒申 鐃緒申鐃所、 鐃緒申鐃緒申 $ {\mathbb{C}}[x]$ 鐃叔わ申鐃暑。

鐃緒申 11.3   $ \varphi:\mathcal D \to {\mathbb{C}}[[x]]$ 鐃緒申 $ \varphi(P)=P.\exp(x)$ 鐃緒申鐃緒申鐃緒申函鐃�$ \varphi$ 鐃緒申 $ \mathcal D$-鐃緒申同鐃緒申鐃叔わ申鐃暑。 $ \varphi$ 鐃塾鰹申 鐃緒申 $ \mathcal D (\partial -1)$ 鐃緒申 鐃緒申鐃所、 鐃緒申鐃緒申 $ {\mathbb{C}}[x]\exp(x)$ 鐃叔わ申鐃暑。

鐃緒申鐃緒申 11.1   $ \varphi:\mathcal D \to {\mathbb{C}}[[x]]$ 鐃緒申 $ \varphi(P)=P.\sin(x)$ 鐃緒申鐃緒申鐃緒申箸鐃緒申鐃�$ \varphi$ 鐃塾核わ申鐃緒申鐃緒申鐃緒申茵�


平鐃緒申15年12鐃緒申16鐃緒申