Levels in algebra and topology
Levels in algebra and topology
复制标题
代数和拓扑水平
DOI:
10.1007/bf02566358
复制
发表时间:
1980
影响因子:
0.9
通讯作者:
Tsit Yuen Lam
中科院分区:
文献类型:
--
作者:
Z. D. Dai;Z. D. Dai;Tsit Yuen Lam;Tsit Yuen Lam
By definition, the level s (A) of a commutative ring A is the smallest integer n such that-1 is the sum of n squares in A.(If-1 is not a sum of squares in A, we define s (A) to be~.) By a well-known theorem of A. Pfister, if A is a field and if s (A)<~, then s (A) must be a power of 2 (and any power of 2 is possible). This result, however, does not extend to rings: in [DLP], it was shown that there exist commutative N-algebras of any prescribed level, or, equivalently, for any integer n, the" generic" algebra An= N [Xl..... x,]/(1+ Xl z+. 9 9+ x 2) has level exactly equal to n.The proof that s (A,)= n in [DLP] was based on a topological fact: the Borsuk-Ulam Theorem. The idea of this proof suggested that there is a natural and interesting relationship between the topology of spheres and the arithmetic of sums of squares in rings. To study this relationship more formally, we defined in