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

    

鐃緒申鐃緒申鐃� I No.2鐃緒申鐃緒申

鐃緒申鐃� 2.1 (鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑�鐃縦￥申)   $ R$ 鐃緒申単鐃縮醐申鐃緒申鐃緒申調弔箸鐃緒申鐃�$ T$ 鐃薯そわ申鐃緒申分鐃緒申鐃緒申箸鐃緒申襦� $ R$ 鐃緒申鐃緒申分鐃緒申 $ S$ 鐃緒申 $ T$ 鐃叔環とわ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃夙は￥申 鐃緒申鐃塾誌申鐃縦の常申錣�鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃祝わ申鐃緒申鐃緒申
  1. $ S$ 鐃緒申 $ T$ 鐃緒申鐃緒申分鐃緒申鐃緒申箸鐃緒申憧泙燹�
  2. $ S$ 鐃緒申 $ R$ 鐃緒申鐃緒申分鐃縦でわ申鐃暑。
  3. $ S$ 鐃緒申 1.,2.鐃緒申鐃緒申鐃緒申鐃緒申鐃叔常申鐃塾わ申里任鐃緒申襦�

鐃緒申鐃緒申 2.1   単鐃縮醐申鐃緒申鐃緒申調鐃� $ R$ 鐃夙￥申鐃緒申鐃緒申鐃緒申分鐃緒申鐃緒申 $ T$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申鐃夙わ申鐃暑。鐃緒申鐃塾とわ申鐃緒申 $ R$ 鐃緒申鐃緒申分鐃緒申 $ S$ 鐃叔￥申$ T$ 鐃叔環とわ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申里鐃緒申鐃緒申鐃緒申鐃緒申存鐃淳わ申鐃暑。 ($ S$ 鐃塾わ申鐃夙わ申 $ T$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃� $ R$ 鐃緒申鐃緒申分鐃縦とわ申鐃緒申鐃緒申 $ \langle T \rangle_{\text{ring}}$ 鐃夙書く￥申

鐃緒申鐃緒申

鐃緒申鐃緒申分鐃縦」わ申鐃緒申鐃緒申砲鐃所、 $ \langle T \rangle_{\text{ring}}$ 鐃緒申($ T$ 鐃緒申鐃緒申鐃叔わ申鐃獣てわ申) 鐃緒申鐃� $ R$ 鐃緒申単鐃縮醐申 $ 1_R$ 鐃薯元とわ申鐃銃わ申帖鐃� 鐃緒申鐃緒申鐃緒申鐃緒申単鐃縮醐申鐃緒申存鐃淳わ申媼鐃緒申鐃緒申討鐃緒申鐃緒申鐃緒申鐃祝￥申鐃淑駕申鐃叔わ申 鐃熟めか鐃緒申 $ T$ 鐃祝わ申 $ R$ 鐃緒申単鐃縮醐申 $ 1_R$ 鐃緒申鐃緒申鐃獣わ申鐃緒申里鐃緒申鐃緒申鐃粛わ申鐃暑こ鐃夙にわ申鐃暑。

鐃緒申 2.1   $ {\mathbb{C}}$ 鐃緒申鐃緒申分鐃緒申鐃緒申 $ T$ 鐃夙￥申鐃緒申鐃緒申砲鐃獣わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃� $ {\mathbb{C}}$ 鐃緒申鐃緒申分鐃緒申 $ \langle T \rangle_{\text{ring}}$ 鐃緒申鐃純。
  1. % latex2html id marker 1161 $ T=\{1\} \quad \implies \quad\langle T \rangle_{\text{ring}}={\mbox{${\mathbb{Z}}$}}$.
  2. % latex2html id marker 1163 $ T=\{1,\sqrt{-1}\}\quad \implies \quad \langle T \rangle_{\text{ring}}={\mbox{${\mathbb{Z}}$}}+{\mbox{${\mathbb{Z}}$}}\sqrt{-1}$
  3. % latex2html id marker 1165 $ T=\{1,\sqrt{2}\}\quad \implies \quad \langle T \rangle_{\text{ring}}={\mbox{${\mathbb{Z}}$}}+{\mbox{${\mathbb{Z}}$}}\sqrt{2}$
  4. $ T=$$ \mbox{${\mathbb{Q}}$}$% latex2html id marker 1169 $ \cup \{\sqrt{2}\} \quad \implies \quad \langle T \rangle_{\text{ring}} =\mbox{${\mathbb{Q}}$}+\mbox{${\mathbb{Q}}$}\sqrt{2}$
  5. $ T=$$ \mbox{${\mathbb{Q}}$}$% latex2html id marker 1173 $ \cup \{\sqrt[3]{2}\} \quad \implies \quad \langle... ...\mathbb{Q}}$}+\mbox{${\mathbb{Q}}$}\sqrt[3]{2}+\mbox{${\mathbb{Q}}$}\sqrt[3]{4}$

鐃緒申鐃緒申鐃緒申鐃塾常申鐃緒申鐃緒申鐃緒申鐃緒申如鐃緒申鐃緒申鐃緒申鐃緒申蠅�必鐃竣になわ申里如鐃緒申鐃緒申鐃緒申坊任鐃緒申討鐃緒申鐃緒申鐃�

鐃緒申鐃緒申 2.2 (鐃緒申任鐃春個随申鐃緒申鐃緒申分鐃縦の駈申鐃緒申鐃緒申分鐃熟まわ申鐃緒申分鐃縦でわ申鐃暑。鐃緒申)   $ R$ 鐃熟環でわ申鐃緒申箸鐃緒申鐃� $ \{S_\lambda\}_{\lambda\in \Lambda}$ 鐃緒申 $ R$ 鐃緒申鐃緒申分鐃縦わ申族鐃叔わ申鐃獣わ申鐃夙わ申鐃暑。鐃緒申鐃塾とわ申鐃緒申

$\displaystyle S=\cap_\lambda S_\lambda $

鐃緒申泙鐃� $ R$ 鐃緒申鐃緒申分鐃縦になる。

鐃渋際には￥申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑�鐃縦には種申鐃塾パワ申鐃緒申鐃緒申里鐃塾わ申鐃処く鐃夙わ申鐃暑。

鐃緒申鐃� 2.2   $ R$ 鐃緒申帖鐃�$ S$ 鐃薯そわ申鐃緒申分鐃縦とわ申鐃暑。$ R$ 鐃塾醐申 $ r_1,\dots,r_n$ 鐃緒申与鐃緒申鐃緒申譴随申箸鐃緒申鐃� $ R$ 鐃緒申鐃緒申分鐃緒申鐃緒申 $ S\cup \{r_1,\dots,r_n\}$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑�鐃縦わ申 $ S[r_1,\dots,r_n]$ 鐃夙書き￥申$ S$ 鐃緒申 $ \{r_1,\dots,r_n\}$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃曙た鐃縦とわ申屐鐃�

鐃緒申鐃塾居申法鐃祝わ申鐃出￥申鐃緒申鐃緒申鐃緒申4.,5. 鐃熟わ申鐃曙ぞ鐃曙次鐃塾よう鐃祝書ける。

   $\displaystyle \mbox{${\mathbb{Q}}$}$% latex2html id marker 1206 $\displaystyle [\sqrt{2}]=$$\displaystyle \mbox{${\mathbb{Q}}$}$$\displaystyle +$$\displaystyle \mbox{${\mathbb{Q}}$}$% latex2html id marker 1210 $\displaystyle \sqrt{2} ,$   $\displaystyle \mbox{${\mathbb{Q}}$}$% latex2html id marker 1212 $\displaystyle [\sqrt[3]{2}] =$$\displaystyle \mbox{${\mathbb{Q}}$}$$\displaystyle +$$\displaystyle \mbox{${\mathbb{Q}}$}$% latex2html id marker 1216 $\displaystyle \sqrt[3]{2}+$$\displaystyle \mbox{${\mathbb{Q}}$}$% latex2html id marker 1218 $\displaystyle \sqrt[3]{4} $

鐃緒申鐃塾よう鐃祝￥申 $ S[r_1,\dots,r_n]$ 鐃緒申鐃渋際にはどのよう鐃淑醐申鐃緒申 鐃緒申弔里鐃緒申鐃緒申蠅刻申襪鰹申箸鐃緒申鐃緒申的鐃叔￥申鐃緒申鐃竣でわ申鐃暑。鐃緒申鐃緒申鐃緒申名鐃� 鐃緒申鐃塾種申鐃叔行わ申鐃緒申

  1. $ S[r_1,\dots,r_n]$ 鐃塾醐申鐃緒申 $ T$ 鐃緒申探鐃緒申鐃緒申
  2. $ T$ 鐃緒申 $ S[r_1,\dots,r_n]$ 鐃緒申鐃緒申分鐃緒申鐃緒申箸鐃緒申憧泙爐鰹申箸鐃緒申鐃緒申鐃緒申鐃暑。
  3. $ T$ 鐃緒申 $ R$ 鐃緒申鐃緒申分鐃緒申鐃緒申任鐃緒申襪鰹申箸鐃緒申鐃緒申鐃緒申鐃暑。
  4. $ T$ 鐃塾醐申鐃緒申 $ S$ 鐃夙￥申 $ r_1,\dots,r_n$ 鐃緒申鐃初構鐃緒申鐃緒申鐃緒申鐃暑こ鐃夙わ申 鐃緒申鐃緒申鐃緒申鐃暑。鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申函鐃� $ S\cup \{r_1,\dots,r_n\}$ 鐃緒申鐃緒申分鐃緒申鐃緒申箸鐃緒申憧泙鐃� $ R$ 鐃緒申鐃緒申分鐃縦は￥申必鐃緒申 $ T$ 鐃緒申泙爐鰹申箸鐃緒申鐃緒申鐃緒申鐃暑。

鐃緒申鐃� 2.3   $ R$ 鐃熟環でわ申鐃緒申箸鐃緒申襦ｏ申鐃緒申里箸鐃緒申鐃�$ X$ 鐃緒申鐃術随申鐃夙わ申鐃緒申 $ R$ 鐃緒申鐃緒申鐃塾逸申鐃術随申多鐃準式鐃緒申鐃緒申鐃緒申

% latex2html id marker 1253 $\displaystyle \{\sum_{i=0}^n a_iX^i ;\quad n\in \mathbb{N}, a_i \in R\} $

鐃熟環わ申覆鐃緒申鐃�(足鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃縮常申里鐃塾わ申佑鐃緒申襦�) 鐃緒申鐃塾環わ申 $ X$ 鐃緒申鐃術随申鐃夙わ申鐃緒申 $ R$ 鐃緒申琉鐃緒申竸鐃渋随申犲逸申弔箸鐃緒申鐃緒申鐃�

鐃緒申鐃緒申 2.1   $ X$ 鐃緒申鐃術随申鐃夙わ申鐃緒申 $ R$ 鐃緒申琉鐃緒申竸鐃渋随申犲逸申弔蓮鐃�$ R$ 鐃夙￥申$ X$ 鐃夙わ申鐃緒申鐃緒申鐃緒申鐃緒申襦�

% latex2html id marker 1268 $\displaystyle \{\sum_{i=0}^n a_iX^i ;\quad n\in \mathbb{N}, a_i \in R\} =\langle R\cup \{X\} \rangle_{\text{ring}}=R[X] $

(鐃緒申鐃緒申鐃緒申鐃獣て￥申鐃緒申鐃曙か鐃緒申鐃� $ R$ 鐃緒申琉鐃緒申竸鐃渋随申犲逸申弔里鐃緒申箸鐃� $ R[X]$ 鐃夙書く￥申)

鐃緒申鐃緒申

鐃緒申鐃�I 鐃緒申鐃熟囲でわ申他鐃緒申 $ {\mathbb{C}}[X],$$ \mbox{${\mathbb{Q}}$}$$ [X]$ 鐃緒申鐃緒申鐃緒申鐃竣になる。 ( $ \mbox{${\mathbb{R}}$}$, $ {\mathbb{C}}$, $ \mbox{${\mathbb{Q}}$}$ 鐃緒申鐃緒申鐃緒申鐃塾でわ申鐃緒申鐃緒申鐃緒申鐃淑わ申鐃緒申僂浪調鐃緒申任鐃緒申蝓� 0 鐃淑鰹申鐃塾各醐申鐃熟逆醐申鐃緒申鐃緒申帖鐃�)

鐃緒申鐃緒申檗鐃緒申鐃緒申鐃緒申鐃�

鐃縦わ申鐃塾わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鬚靴堂鬚�なわ申鐃緒申鐃緒申 (鐃緒申鐃渋￥申鐃緒申鐃塾講居申鐃塾緒申了鐃緒申鐃殉で￥申)

(I).
$ {\mathbb{C}}$ 鐃緒申鐃緒申分鐃緒申 $ S$ 鐃緒申鐃緒申 % latex2html id marker 1289 $ 1,\sqrt{2}+\sqrt{5}$ 鐃薯元とわ申鐃銃誌申鐃獣てわ申鐃緒申箸鐃緒申襦� 鐃緒申鐃塾誌申鐃緒申 % latex2html id marker 1291 $ 2\sqrt{10},6\sqrt{2},6\sqrt{5}$ 鐃緒申 $ S$ 鐃塾醐申鐃叔わ申鐃暑こ鐃夙を示わ申鐃淑わ申鐃緒申鐃緒申
(II).
$ {\mathbb{C}}$ 鐃塾￥申 % latex2html id marker 1297 $ \{1,\sqrt{2},\sqrt{5}\}$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑�鐃縦は￥申

% latex2html id marker 1299 $\displaystyle {\mbox{${\mathbb{Z}}$}}+{\mbox{${\mat... ...}}$}}\sqrt{2}+{\mbox{${\mathbb{Z}}$}}\sqrt{5}+{\mbox{${\mathbb{Z}}$}}\sqrt{10} $

鐃叔わ申鐃暑こ鐃夙を示わ申鐃淑わ申鐃緒申鐃緒申
(III).
$ M_2($$ \mbox{${\mathbb{R}}$}$$ )$ 鐃塾￥申$ \{E,A\}$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑�鐃縦わ申鐃緒申覆鐃緒申鐃緒申鐃� 鐃緒申鐃緒申鐃緒申鐃緒申$ E$ 鐃緒申単鐃縮刻申鐃緒申$ A$ 鐃熟種申鐃塾よう鐃緒申鐃藷次刻申鐃緒申箸鐃緒申泙鐃緒申鐃�

$\displaystyle A= \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}$

next up previous
: 鐃緒申鐃緒申文鐃緒申砲弔鐃緒申鐃�...
平鐃緒申17年10鐃緒申17鐃緒申