- 最后登录
- 2008-4-12
- 在线时间
- 0 小时
- 寄托币
- 59
- 声望
- 0
- 注册时间
- 2008-4-10
- 阅读权限
- 10
- 帖子
- 0
- 精华
- 0
- 积分
- 12
- UID
- 2481585

- 声望
- 0
- 寄托币
- 59
- 注册时间
- 2008-4-10
- 精华
- 0
- 帖子
- 0
|
一吐为快吧
不过不希望太轻逛,如果用字不当,情见谅
自己比较喜欢ALGEBRA
所以一直有很这方面的书
大二时买了本A Course in Homological Algebra (Second Edition) by P. J. Hilton
看不懂,知道要点Modules Theory的基础,可是当时又没上什么ABSTRACT ALGEBRA的课,所以自己就看了Rothman的代数书,然后是Artin M. 的Algebra看了部分
最后看了差不多一半的Rings and Categories of Modules by Anderson
但是时间等原因,我那个A Course in Homological Algebra只能看到前面一点
当时STATEMENT里就写了一下这些读书情况
同时为了说明不是白吹的,就说了一下看一些algebraic geometry的书时自己想的有关
Buchberger’s Algorithm和decomposition of variety Var(I) for an ideal I
的过程(当然,不一定对,但我想分析的还是有理,部分如下)
① Buchberger’s Algorithm and two algorithms given in Exercise 6.53 and 6.55 in the book A First Course in Abstract Algebra (Second Edition) [3] by Mr. Joseph J. Rotman guarantee that every ideal (f1, f2,…, fs) in k[x1, x2,…, xn] can be expressed by a unique reduced Gröbner basis(3); and a Gröbner basis G of an ideal J=(g1, g2,…,gt) guarantees that a Division Algorithm(3)[4] works well because for every polynomial f in k[x1, x2,…, xn] the remainder(3) of f mod G(3) is unique and this remainder can be used to determine whether f is in J or not.
② Var(I) is irreducible if and only if Id(Var(I))= Rad(I) (Rad(I) is the radical(3) of l) is a prime ideal. Every ideal in k[x1, x2,…, xn] is finitely generated since k[x1, x2,…, xn] is noetherian; This condition makes sure an ideal can be identified by finite elements.
③ If there is an algorithm, named A1, which computes Rad(I) for I and, another algorithm, named A2, which decomposes Rad(I) into intersection of prime ideals, then the problem is settled. In fact, ① will increase the likelihood of the existence of A1 since we have a method, Division Algorithm, to determine which polynomial belongs to a given ideal. But a technique is required to deal with the situation that Rad(I) is infinite. For A2, first, there is theorem which guarantees that intersection’s existence, second, an impractical idea is to treat those ideals as modules with the hope to examine their relation.
④ The output of A2 corresponds to the irreducible components of Var(I) since there is a bijection between radical ideals(3) and their varieties.
[1] It is some sort of teaching notes, no ISBN or Press can be referred to.
[2] Some terminologies are marked for avoiding different definitions from different materials; and (i) means I follow those definitions in the textbook indicated in .
[3] Joseph J. Rotman, A First Course in Abstract Algebra, Second Edition, China Machine Press, Beijing, 2004
[4] In k[x1, x2,…, xn] the degree of a polynomial has been redefined, and so has Division Algorithm.
我不想说明什么,只是想自己不是NIU人,但也好像是点料子
大家有时间的话看看就好啦,我之前也是个看了不怎么回的人,所以大家可以回我也是很高兴的
THX!!!!
[ 本帖最后由 devils 于 2008-4-11 23:06 编辑 ] |
|