代数题
令 $n, m\in \mathbb{N}$证明:
$\newcommand{\Z}{\mathbb{Z}}$
$\newcommand{\tensor}{\otimes}$
\[\Z/n\Z \tensor \Z/m\Z \simeq \Z/\mathrm{gcd}(m, n)\Z\] 推广: 令 $R$ 为一个有单位的交换环,$I, J$是其理想, 则
\[R/I \otimes_R R/J \simeq R/(I + J)\] [b]回复 [url=http://kuing.orzweb.net/redirect.php?goto=findpost&pid=38198&ptid=7641]2#[/url] [i]Darth_Maboroshi[/i] [/b]
发网友的证明,完全看不懂啊。{:sweat:}
前面网友还说了“需要定义I+J并明确单位的意义,这里我就当单位是指幺元1”
[attach]9396[/attach] 这个其实就是中国剩余定理
页:
[1]