n元数与实数域上的可除代数.pdfVIP

第16卷第4期 高等数学研究 V01．16，No．4 2013年7月 STUDIESINCOLLEGE MATHEMATICS Jul．，2013 咒元数与实数域上的可除代数 高煦，顾沛，周迈 (南开大学数学科学学院，天津南开300071) 摘 要 利用线性代数知识研究实数域上结合的可除代数，并给出相应分类定理(即Hurwitz定理)的一个初 等证明． 关键词 数系；行元数；可除代数 中图分类号 0151．2 文献标识码 A 文章编号 1008—1399(2013)04—0019—03 在有了实数、复数、四元数之后，一个很自然的 线性无关，故必存在不可分解的实系数二次多项式 想法就是在尽可能少牺牲代数性质的前提下进行类 x2+O．X+b使得 似的数系扩张，从而引出这样的数系有多少的问 歹i+巧t+bl=0． 题[1]．在一开始，人们最不愿放弃的就是可除性，也 由于X2+∞+b不可分解，故n2—460．令 即对代数中任何元素口和b，若ab一0，则口一0或者 ． 2JI+口1 b一0，因为零因子的出现会对因式分解造成很大困 “一石4b云虿’~／ 一口2 扰．这方面的结论早已由Hurwitz给出[2]，一般的方即得ii=一1．而且有 法是用Cayley—Dickson构造[3]．本文考虑结合代数 的情形，主要用线性代数的知识给出Hurwitz定理 Jt=√6一等以一号1． 的一个证明． 对所有歹^找到相应的i。，若1，i，，i。，…，i，r。线性相 定义1 如果以1，i。，i：，…，i，r。为基的实数域关，则存在线性组合 上的线性空间 ，rl a01+∑口。i。=0， A一{口01+：口^i^：no，口1，…，口扩1∈R) 而n。，a1’．“，口，。不全为零．但由 ^一1 带有一个乘法运算，且满足 (1)A关于加法和乘法构成除环，1为其幺元． 。一讲+静1^= ^一 √4D一口一 t～。H》1揣2 (2)对于任意的z，Y∈A和任意实数k，有 k(xy)一(kx)y—z(ky)． ‰+苫菘与H+善菇等歹t 则称A为雅元数系(简称为行元数)． 及1，J，，jz，…，歹，r。线性无关，可得口o，口。，…，口，r，全 以下以0代表A的零元． 为零，矛盾．故1，i。，i。，…，i，。为A的一组满足要求 命题1挖元数系A必有一组基i，i。，i：，…，i，广，的基． 满足i2一一1(是一1，2，…，咒一1)． 命题2设1，i，，i。，…，i，，是A的一组基，且满 证明 设A的一组基为1，J-，Jz，…，J，广。．对每 一个J。，考虑1，J。，J：，…，由于A为实数域上的n维实数倍(惫，1=1，2，…，72—1)． 线性空间，故存在一个至多，z阶的实系数多项式 证明 若k—l，结论显然．若k≠f，则对于 P(z)，使得P(j。)一0．由于实数域上的多项式必含i。+i，和i。一i，，仿上一结论证明可知，存在实数 一次或二次因式，以及A的可除性，并考虑到1与歹。 口，b，f，d使得 f(以+