http://path2math.scinese.com Fri, 28 Sep 2007 02:17:12 +0000 http://backend.userland.com/rss092 en 我们说 s 是既约元，如果不存在 s 的真的约数。即，如果 s = ab，则 a、b 中肯定有一个是可逆元。 我们说 p 是素元，如果对于任意的 a、b， p 整除 ab ⇒ p 整除 a 或 b。这等价于说 ( p ) 是素理想。 素元一定是既约元，因为如果素元 p = ab， p 当然整除 ab，于是 p 整除 a 或 b，不妨设 p 整除 a。另一方面 a 也整除 p，所以 a 不是 p 的真的约数，b 是可逆元。 反之，既约元却不一定是素元。比如[tex]\mathbb{Z}[\sqrt{-5}][/tex]中[tex]1-\sqrt{-5}[/tex]整除 6 = ... http://path2math.scinese.com/2007/08/04/pid/ 理想几乎可以说是可换环论中最重要的概念。传统的可换环论就是理想论。这发端是Dedekind为了把整数可以唯一分解为素数的乘积这一性质推广到更一般的整数环（即 ℤ 的扩张环）上，而发现了现在被称为Dedekind环上的素理想分解的性质。比如说，[tex]\mathbb{Z}[\sqrt{-5}][/tex]中 6 可以分解为 2 ∙ 3 或者 [tex](1-\sqrt{-5})\cdot (1+\sqrt{-5})[/tex]，这分解就不是唯一的；但是 6 生成的理想 ( 6 ) 分解为四个素理想 [tex](3,1-\sqrt{-5})[/tex], [tex](3,1+\sqrt{-5})[/tex], [tex](2,1-\sqrt{-5})[/tex], [tex](2,1+\sqrt{-5})[/tex] 的积。而且我们有 [tex](3,1-\sqrt{-5})\cdot(3,1+\sqrt{-5})=(3)[/tex], [tex](2,1-\sqrt{-5})\cdot(2,1+\sqrt{-5})=(2)[/tex] 和 [tex](3,1-\sqrt{-5})\cdot(2,1-\sqrt{-5})=(1-\sqrt{-5})[/tex], [tex](3,1+\sqrt{-5})\cdot(2,1+\sqrt{-5})=(1+\sqrt{-5})[/tex] 分别对应于 6 的两种分解。也就是说， 2、 3、 [tex]1-\sqrt{-5}[/tex]、 [tex]1+\sqrt{-5}[/tex] 做为元来说虽然不能继续分解了，但它们各自所生成的理想是可以继续分解的。并且这素理想的分解是唯一的。这美好的性质让Dedekind把像 [tex](2,1-\sqrt{-5})[/tex] 这样的东西称为“理想数”，这也就是“理想”这个名词的由来。把注意力从环中的各个元转移到环中的各个理想让我们对环的理解有了质的飞跃。当然现在我们对于可换环论有从同调代数和代数几何等方向切入的多种视角，在数论中也有类体论，环中的理想论则变成了基础中的基础。 理想有时候用大写字母 I, J 来表示，但更多时候（为了强调我们把注意力从元转移到了理想）用小写的花体字母（其实应该是德语字母，但是我找不到那样的字体，只好凑和了）a, b, c, ... 来表示。由元 a, b, ..., c 所生成的理想（即把环本身看成是那个环上的加群而由 a, ... http://path2math.scinese.com/2007/07/29/prime/ 从现在起，提到环都认为是可换环，体都认为是可换体。 环的扩张 设 B 是环， A 是 B 的子环。设 a, b, c, ... 是 B 的一些元，则 A [ a, b, c, ... ] 理解为 B 中那些可以表成以 A 中元为系数的 a, b, c, ... 的多项式的元的集。这是 B 中包含 A 和 a, b, c, ... 的最小的环。这被称为把 a, b, c, ... 添加于 A 中而生成的环，a, b, c, ... ... http://path2math.scinese.com/2007/07/28/construct/ OS换成了Fedora Core 5，然后打开这里一看简直惨不忍睹。为了让这东西在Linux下看来也还能忍受，花了不少力气来改写以前的文章。改写之后的效果，我的感觉是Mac的Safari最好，Windows的IE次之，Fedora Core 的Mozilla Firefox最差。真奇怪，我以前一直用Windows，写这东西的时候根本没有考虑Mac，CSS里也没有专门为Mac设定字体，但即使如此用Safari打开来一看就是漂亮。苹果到底不简单。 http://path2math.scinese.com/2007/07/26/talk1/ 环是一个集，在上面定义了加法和乘法两种运算，环的元关于加法做成可换群，关于乘法做成幺半群，加法和乘法之间由分配律联系起来。具体写出来就是下面的公理： 加法交换律。 a + b = b + a 加法结合律。 ( a + b ) + c = a + ( b + c ) 存在 0，对于任意 a 都有 0 + a = a 对于任意 a，都存在 a 的相反数 -a，满足 a + ( -a ) = 0 乘法结合律。 ( ab ) c = a ( bc ... http://path2math.scinese.com/2007/07/16/ringdef/