廖小莲，伍征斌，陈国华

(湖南人文科技学院数学与应用数学系，湖南娄底417001)

矩阵论是代数学的一个重要组成部分，而幂零矩阵作为一类特殊矩阵，具有很多良好的性质，它不仅在代数学本身中(如文献［1］)，而且在一些交叉学科如密码学(如文献［2－3］)中，都具有广泛的应用。目前，对以幂零矩阵为元素的全矩阵代数的子代数的研究成为代数学研究的中心课题之一。国内许多学者对幂零矩阵的性质已有较深入的研究，文献［4－8］分别对幂零矩阵的一些性质进行了探讨。本文在他们研究的基础上，进一步探讨幂零矩阵的性质，得到了k－幂零矩阵的一条新性质—n阶k－幂零矩阵的秩的取值范围。为了表述的方便，下面先引入几个定义和符号说明。

定义 1［4］394设 A ∈ Pn×n，若存在正整数 k ，使得 Ak－1≠0，Ak=0，则称A是幂零指数为k的幂零矩阵，简记为k－幂零矩阵。记表示一切 Pn×n中的 k － 幂零矩阵

集合。

定义2的矩阵称为若当块，其中λ∈P，由若干个块组成的准对角矩阵称为若当形矩阵。记为满足下列条件的若当形矩阵J的集合:

定义3［4］395整数分拆n=n1+n2+… +nm，其中n，ni∈ Z+，1≤ i≤ m，n≥ n1≥n2≥ … ≥ nm≥1，则 n1+n2+…+nm称为n的以首项为n1的有序分拆，或称其为n的一个首n1－有序分拆.(这里Z+表示所有的正整数集)。

1 预备知识

引理1 (若当定理)设A∈Pn×n，则必存在可逆阵T∈ Pn×n，使得:

T－1AT=J=diag(J(λ1，n1)，…，J(λn，nm)) ，

λ1，…，λn为 A∈ Pn×n的特征值(可能有相同)，称这样的J为A的Jordan规范型。

引理 2［4］395设 J(0，m) =Jm(0，m)=0且 Ji(0，m)≠0，(1≤ i＜ m)。

引理3 数域P上的k－幂零矩阵A的Jordan规范型具有形式 diag(J1，…，Jm) ，其中 Jj=J(0，nj) ，1≤j≤m，

2 主要结果

令 Jm={J ∈|J含有m块 J(0，k)} ，则 m 的取值范围为:，记

Jm中一个秩最大的若当形矩阵为Mm，则Mm确定n的一个首k－有序分。拆:

其中m为J(0，k)的个数，m'为 J(0，k－1)的个数(以下相同情况不再说明)，且 r'满足 (n－mk)≡r'(mod(k－1))。……