Endomorphisms of finetely generated projective modules over a commutative ring
Endomorphisms of finetely generated projective modules over a commutative ring
复制标题
交换环上精细生成的射影模的自同态
DOI:
--
复制
发表时间:
1973
期刊:
影响因子:
--
通讯作者:
G. Almkvist
中科院分区:
文献类型:
--
作者:
G. Almkvist
The origin of this paper is a mispr int (?) in Bourbak i ([4], p. 156, Exerc ise 13 d). There it is s t a ted t ha t i f f is a 2 • 2-matr ix wi th entries in a c o m m u t a t i v e ring and f 2 = 0 t hen (Tr f )4 = 0 and 4 is the smallest integer wi th this p roper ty . Using the Cay ley -Hami l ton theorem we get f2 _ af ~b l = 0 where a = T r f and b = d e t f . Not ing t h a t f 2 = 0 and taking t races we g e t a T r f = a 2 = 2b. Mult iplying the f irs t equa t ion by f gives bf = 0 which implies b 9 Tr f = ba = O. Hence a a = 2ab = 0 so 3 and not 4 is the smallest integer above. Expe r imen t ing wi th small m and n one soon makes the conjecture: I f f is an n • wi th f~+i = 0 t hen ( T r f ) m"+l = 0. This is p roved in a somewhat more general set t ing in 1.7 using ex te r ior algebra. I n Sect ion 1 the character is t ic polynomia l 2t(f) is def ined for an endomorph ism f : P ~ P where P is a f in i te ly genera ted projec t ive A-module (A is a commu ta t i ve ring wi th 1). I f P is free then 2t(f) = det (1 ~tf). The exponent ia l t race formula (in case A contains Q)