悠闲数学娱乐论坛(第2版)'s Archiver

Darth_Maboroshi 发表于 2021-2-7 12:36

代数题

令 $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\]

Darth_Maboroshi 发表于 2021-2-7 13:05

推广: 令 $R$ 为一个有单位的交换环,$I, J$是其理想, 则
\[R/I \otimes_R R/J \simeq R/(I + J)\]

abababa 发表于 2021-2-8 19:23

[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]

lalala 发表于 2021-3-19 12:54

这个其实就是中国剩余定理

页: [1]

Powered by Discuz! Archiver 7.2  © 2001-2009 Comsenz Inc.