可除代数与中心单代数


对可除代数与中心单代数的考察给出了“局部-整体”原理的一个重要范例。这植根于可除代数与类域论的联系中。此外,非交换代数理论有其本身的兴趣。在Noether学派取得的经典结果外,我们还想提到2个与K理论有关的近代进展。

以下讨论的所有代数都是有限维的。

非交换代数的一个中心问题是给定域K,描述K上所有可除代数。这相当于域扩张理论的非交换版本。历史上对这一问题的兴趣是被复数\mathbb{C},四元数\mathbb{H},八元数\mathbb{O}等一系列“超代数”的发现所激起的。最重要的经典定理是

(Frobenius) \mathbb{R}上的可除代数仅有\mathbb{R}\mathbb{C}\mathbb{H}

\mathbb{C}上不存在非平凡的可除代数。这一结论对任意代数闭域成立。

AK上的可除代数,则其中心Z(A)K的有限扩张。于是可以把问题分为两部分:研究域的有限扩张,这属于Galois理论的范畴;研究Z(A)=K的可除代数A,我们称这样的A为中心可除代数。

中心可除代数必为中心单代数。Wedderburn定理指出K上的中心单代数同构于某个方阵代数M_{n}(A)AK上的中心可除代数。特别地,代数闭域上的中心单代数同构于M_{n}(K)。通过对基域取代数闭包,不难证明任何中心单代数的维数均为平方数。

我们考察几个具体的例子。

(Hasse)\mathbb{Q}_p上有\phi(n)n^2维中心可除代数。

(Wedderburn) 有限域\mathbb{F}_q上不存在非平凡的中心可除代数(因而有限体必是域)。

(曾炯之) 若K是代数闭域,CK上不可约代数曲线,则代数函数域K(C)上不存在非平凡的中心可除代数。

后2个否定性结果可以统一处理。代数闭域K上齐次多项式F(x_1,x_2,\dots,x_n)=0deg F \leq n恒有非平凡的零点。如果对deg F <nK能保证这一点,则称K为拟代数闭的。拟代数闭域上不存在非平凡的中心可除代数,而有限域和代数函数域又都是拟代数闭域(前者是Chevalley的一条定理,参见Serre, A course in arithmetic)。

\mathbb{R}上仅有2个非平凡的中心单代数:中心可除代数\mathbb{H}和方阵代数M_2(\mathbb{R})。类比从\mathbb{R}\mathbb{H}的过程,可以在任意特征不等于2的域K上构造4维中心单代数如下:取a,b \in K^{*}A是由1,i,j,k张成的K线性空间,i^2=aj^2=bij=-ji=k

可以证明,若ax^2+by^2=1K^2中有解,则A同构于M_{2}(K),否则A为中心可除代数。在K=\mathbb{Q}的情形,上述结论等价于说A是否为可除代数由\mathbb{Q}_v上的Hilbert符号所确定。这一事实的高维推广是“局部-整体”原理的范例:

(Bauer-Hasse-Noether)整体域K上的中心单代数A同构于M_{n}(K),当且仅当对每个位vA \otimes_{K} K_{v}同构于M_{n}(K_v)

中心可除代数与代数数论的联系体现在Brauer群这一对象上。具体地说,K上的中心单代数对张量积封闭。Wedderburn定理给出等式A_1 \otimes A_2=M_n(A_3),这在中心可除代数上定义了一个Abel群Br(K),称为K的Brauer群。

以上Frobenius和Wedderburn的结果可改写为Br(\mathbb{R})=\mathbb{Z}/2\mathbb{Z}Br(\mathbb{F}_q)=0

Brauer群在经典类域论中有重要地位。例如,以下结果推广了二次互反律:

对整体域K0 \to Br(K) \to \oplus_{v}Br(K_v) \to \mathbb{Q}/\mathbb{Z} \to 0

限于篇幅,这里不再深入。

我们还想提到2个与K理论有关的近代进展。

用拓扑K理论可以证明Frobenius定理的如下推广(去掉了经典Hurwitz定理中的赋范条件):

(Bott-Milnor) \mathbb{R}上的非结合可除代数仅有\mathbb{R}\mathbb{C}\mathbb{H}\mathbb{O}

代数K理论方面,Merkur’ev和Suslin发现利用K_2(K)可以完整地描述Br(K)

主要参考文献: Shafarevich, Basic notions of algebra

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s