矩阵关于乘法成群的充要条件.pdfVIP

第27卷第4期 淮 北 煤 炭 师 范 学 院 学 报 Vo1．27 No．4 2006年 12月 JournalofHuaibeiCoalIndustryTeachersCollege Dec．2006 矩阵关于乘法成群的充要条件 李莲洁 (淮北煤炭师范学院教务处．安徽 淮北 235000) 摘 要：文章主要讨论了矩阵成群的必要条件及几个充要条件，并简单举例说明主要结果的若干应用 关键词：矩阵；群；充要条件 中图分类号：0152 文献标识：A 文章编号：1672—7177(2006)04—0004—04 1 前言 有限群是代数学中一个占老的分支，它有着十分悠久的历史．有限群的理论非常深刻，应用也非常广 泛，不论从理论方面还是应用方面去叙述其内容都很丰富，但是就其某一分支的具体应用虽然在一些教材 和教学参考资料中都给出了部分结果，但并不完全．本文就以矩阵关于乘法成群的充要条件作一尝试． 定义 非空集合 G对于给定的乘法运算，若满足： 1)对于乘法是封闭的 2)结合律成立，即 (bc)=(ab)c，其中n，b，C是 G的任意元 ． 3)G里至少存在一个左单位元 e，能让 en=n，对于 G的任意元 n都成立 ． 4)对于 G的每一个元 n，在 G里至少存在一个左逆元 6,／～，使得 n n=e． 则称 G按此运算作成一个群，简称为群 G． 易证：左逆元一定也是右逆元 ． 左单位元一定也是右单位元 ． 由上述定义可得，非空集合 G关于给定乘法运算成群的充要条件 ． 命题 集合 G对给定乘法运算成群的充要条件为 1) 对于乘法是封闭的． 2) 结合律成立，即 6,／(bc)=(ab)c，6,／，b，C是 G的任意元 。 3) 对于 G的任意两个元 “，b来说，方程 鲫=b和 ya=b，都在 G里有解 ． 2 矩阵成群条件 矩阵集合关于乘法成群，必满足关于乘法封闭，由此可知矩阵集合中的元索都是同阶方阵．以下所讨 论的矩阵集合都默认为矩阵元素为同阶方阵． 定理 1 矩阵乘法成群的必要条件是集合中所有矩阵令为满秩或全为降秩 ． 证明 设矩阵集合 G关r乘法成群 ． 若 G中有一个满秩矩阵A，即detA50．由命题成群的条f--t3)iT知『，对于每一个矩阵X∈G，必有相应 的矩阵 Y∈G，使得 A=XY，敝有 detA detX ·detY≠0．因 det ≠0，这就说明 G中每个矩阵均为满 秩的． 若 中有 …个降秩矩阵B，}jIJcletB=0。由命题成群条件3Jrl』 ，埘每 一个矩阵X∈G，必宵丰j【幢的矩 鞠』：Z∈ ，使得 =BZ，敝l_IeIX=detB ·detz=0，由此说叫 f {，所订的矩阵都是降秩的． 毕． 卜fnI从降秩、满私矩阵集介芍 矩 成群的充要条件 ． 收稿 日期 ：201)6一()4一 作者简介： 攫．fjifl973 )．奠 fll1≯几． JlJl】 第4期 李莲洁：矩阵关于乘法成群的充要条件 5 定理2 满秩矩阵集合 G成群的充要条件是 (1)矩阵集合关于乘法封闭； (2)矩阵集合有单位矩阵； (3)矩阵集合中每 一个矩阵的逆矩阵均在集合中． 证明 充分性 ．由矩阵乘法的性质，矩阵乘法满足结合律，即满足群定义条件2)；矩阵集合中的单位矩 阵E，则E为该集合的单位元，因为对集合中任意矩阵 ，均满足E ·X：XE=X，则该矩阵集合满足成群 定义条件3)，矩阵集合中每一个矩阵的逆矩阵均在集合中，即VX∈G，存在 X ∈G，使 XX l=X ·X= E，则该矩阵集合满足成群定义条件4)，又根据条件 (1)，则该矩阵集合满足成群定义的四个条件，故该矩阵 构成群 ． 必要性 ．条件 1)显然成立 ． 由于矩阵 G成群，则必有单位元 ，∈G，且满足 ，=，，而又由 G中矩阵全为满秩，则存在 ， ，使得 ， ·，=， ·，，故有 ，=E(单位矩阵)．由此可知，集合必有单位矩阵，即(2)必要性得证