Strongart数学笔记：交换代数授课心得2.pdfVIP

代数理想运算中的反例 准备交换代数的讲座的时候，发现参考书上一般就只有正面理论，反例之类就得靠自己 来补充。三流的老师照本宣科根本不会想到这一点的，二流的老师会从其他地方查一些反例 塞进来，只有像Strongart这样一流的Professor才会自己来构造最自然的反例，因此讲起 课来也算是行云流水了。 记得第一次理想的运算时，总觉得有一种不协调的感觉，特别两个理想的乘法被定义为 积的有限和。为什么不直接定义成积呢？那是因为要保证乘法的结果也是理想。假若I与J 是环R的理想，简单一想：R(IJ) C(RI)J C IJ，难道IJ还不是理想吗？关键在于除了主要 的积条件之外，还有一个和条件需要满足，也就是说必须使得i1j1+i2j2=i3j3，这里i1、i2、 i3∈I,j1、j2、j3∈J. 下面我们开始反例的尝试，为了I与J尽量一般化，取R=k[x,y]为域上的多项式环， I=(x),J=(y)，结果却发现i1j1、i2j2均包含因子xy，的确能表示成i3j3的形式。怎么回事 呢？回头一看，i1、j1、i2、j2涉及四个字母，而R只是一个二元多项式，舞台太小了耍不 开（和本人目前的处境相似啊），那就干脆充分一般化，考虑四元多项式环R=k[x,y,z,w], 令I=(x,y),J=(z,w)，这下xz-yw中每一个都是硬邦邦的未定