只要旦为交换群.pdfVIP

第二章 四元数矩阵代数的有关结果 、丫n。一一__、，11二。，__、。___，_ rI_0l 址明:仔仕F,Q刀非句并t!`1兀数矩}T-便得YXQ引万_Iyank冈， LUuJ 另一方面，rank(rp,X,Q)一4rank(Uo 第二节 四元数自共rg矩阵的行列式、特征根及特征根向量 (1)四元数的行列式的定义1: 由于四元数乘法的不可交换性，四元数矩 阵的行列式的定义不能象在实数、复数矩阵的行列式那样定义。目前关于四元数行 列式的定义有多种，以下介绍几种常见的定义。 谢邦杰在文[39」中主要是介绍J.Dieudonne在体上建立的所谓非交换行列式的 理论. 设C为四元数Q的乘法群勺的换位子群(在任意群G中，乘积aba-lb-1叫做G 的换位子，G的所有换位子的一切有限乘积作成G的一个正规子群c，叫做G的换 、~* *、G 、，、，一幼、 一 。_。_二_.。~~ 二、、， 只要旦为交换群就 仪丁拼 .同拼 万 必刀父佚拼 ，四归必习btJ止观丁拼 N术玩, C 必有C二N。)，于是商群勺/C为交换群，其元素可记为阎，目〔，…，其中a, b,…表Q中非0元素.再引进一个新元素[0]并定义它与任何a【]之积为[0]，即 [0]仁司=仁司[0]=[0] 于是勺/c添进[[0」后就构成一个交换的、有单位元素 I的乘法半群，记为 ce].这样一来，Q(作为乘法半群来看)到Q〔〕上就有一个同态映射a-[a];且有 [ab]=[a][b]=[b][a]=[ba]. 四元数的行列式的定义1:如果对四元数Q上每个n阶矩阵A恒有[[Q]中的一个 唯一确定的元a〔]与之相应;记为[a]=detA，且使得二 1.当用k去左乘A的某一行而得到B时，就4;detB= 划〔detA 2.当把A的某行加于另一行而得B时，就有detA=detB 3.det1=[11 中山人学博士论文:四元数正态分布的统计分析理论 则称dotA为A的行列式. 按上述定义，四元数方阵A可由行的初等变换 (只须行的消法变换)化为 Z 、 ， r . 且 、 胜 l e s . l . l l e s e s l e s l l e s e s l ‘ 一 e s e e a k 尹 则:detA=[a,I...fak1 评论:四元数方阵的行列式通过用四元数矩阵的初等变换化为对角矩阵后来定义， 显得自然且计算具有可操作性。 (2)四元数 (可中心化)矩阵的行列式的定义2: 设四元数Q上n阶矩阵A的特征矩阵k1一A可由初等变换(唯一心化为: 、 ‘