Author Archive
星期六, 八月 4th, 2007
UFD和PID
我们说 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 是可逆元。
反之，既约元却不一定是素元。比如中整除 6 = 2 × 3，但既不整除 2 也不整除 […]
No Comments » - Posted in 2.一点可换环论, a.准备 by path2math
星期天, 七月 29th, 2007
素理想
理想几乎可以说是可换环论中最重要的概念。传统的可换环论就是理想论。这发端是Dedekind为了把整数可以唯一分解为素数的乘积这一性质推广到更一般的整数环（即 ℤ 的扩张环）上，而发现了现在被称为Dedekind环上的素理想分解的性质。比如说，中 6 可以分解为 2 ∙ 3 或者 ，这分解就不是唯一的；但是 6 生成的理想 ( 6 ) 分解为四个素理想 , , , 的积。而且我们有 , 和 , 分别对应于 6 的两种分解。也就是说， 2、 3、 、 做为元来说虽然不能继续分解了，但它们各自所生成的理想是可以继续分解的。并且这素理想的分解是唯一的。这美好的性质让Dedekind把像 这样的东西称为“理想数”，这也就是“理想”这个名词的由来。把注意力从环中的各个元转移到环中的各个理想让我们对环的理解有了质的飞跃。当然现在我们对于可换环论有从同调代数和代数几何等方向切入的多种视角，在数论中也有类体论，环中的理想论则变成了基础中的基础。
理想有时候用大写字母 I, J 来表示，但更多时候（为了强调我们把注意力从元转移到了理想）用小写的花体字母（其实应该是德语字母，但是我找不到那样的字体，只好凑和了）a, b, c, … 来表示。由元 a, b, …, c 所生成的理想（即把环本身看成是那个环上的加群而由 a, b, …, c 所生成的子群）通常写为 ( a, […]
No Comments » - Posted in 2.一点可换环论, a.准备 by path2math
星期六, 七月 28th, 2007
可换环的构造方法
从现在起，提到环都认为是可换环，体都认为是可换体。
环的扩张
设 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, … 称为其（在 A 上的）生成系。当生成系是有限的时候，就称之为 A 上的有限生成代数。注意一个 […]
1 Comment » - Posted in 2.一点可换环论, a.准备 by path2math
星期四, 七月 26th, 2007
题外话
OS换成了Fedora Core 5，然后打开这里一看简直惨不忍睹。为了让这东西在Linux下看来也还能忍受，花了不少力气来改写以前的文章。改写之后的效果，我的感觉是Mac的Safari最好，Windows的IE次之，Fedora Core 的Mozilla Firefox最差。真奇怪，我以前一直用Windows，写这东西的时候根本没有考虑Mac，CSS里也没有专门为Mac设定字体，但即使如此用Safari打开来一看就是漂亮。苹果到底不简单。
4 Comments » - Posted in 题外话 by path2math
星期一, 七月 16th, 2007
一堆定义
环是一个集，在上面定义了加法和乘法两种运算，环的元关于加法做成可换群，关于乘法做成幺半群，加法和乘法之间由分配律联系起来。具体写出来就是下面的公理：
加法交换律。 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 )
存在 1，对于任意 a 都有 1a […]