Decompositions of Matrices into Potent and Square-Zero Matrices

Let A be an invertible matrix in \mathbb{M}_n(R) and consider the set of matrices \{A^0,A^1,\dots, A^n,\dots\}. Since this set is finite, there exists k<l such that A^k=A^l, and since A is invertible \operatorname{Id}=A^{l-k}. The claim now follows by taking m-1=l-k.

Let us consider the primary rational canonical form of the matrix A. Also, let us split our argument between elementary divisors q_i(x) of A with q_i(0)\ne 0 and those with q_i(0)=0:

• (i) Any elementary divisor q_i(x) with q_i(0)\ne 0 gives rise to an invertible companion matrix C_i. By Lemma 2.1 there exists k_i\in \mathbb{N} such that C_i^{k_i}=C_i and C_i^{k_i-1}=\operatorname{Id}. Let us denote P_i:=C_i and define N_i as the zero matrix.

• (ii) Let us suppose that q_i(x) is an elementary divisor (power of an irreducible polynomial in \mathbb{F}[x]) such that q_i(0)=0. This implies that q_i(x)=x^{i_s} for certain i_s\in \mathbb{N} and its associated companion matrix is of the form

  C_i=\left( \begin{array}{cccc} 0 & 0 & \dots & 0 \\ 1 & 0 & & \vdots\\ & \ddots & \ddots & \\ 0 & & 1 & 0\\ \end{array} \right)\in M_{i_s}(\mathbb{F}),

  i.e., it is a nilpotent Jordan block.

  • (ii.1) If i_s\ge 2, write

    P_i=\left( \begin{array}{cccc} 0 & 0 & \dots & 1 \\ 1 & 0 & & \vdots\\ & \ddots & \ddots & \\ 0 & & 1 & 0\\ \end{array} \right) \quad \text{and}\quad N_i:=\left( \begin{array}{cccc} 0 & 0 & \dots & -1 \\ 0 & 0 & & \vdots\\ & \ddots & \ddots & \\ 0 & & 0 & 0\\ \end{array} \right)

    Notice that P_i is an invertible matrix and by 2.1 there exists k_i\in \mathbb{N} such that P_i^{k_i}=P_i and P_i^{k-1}=\operatorname{Id} with C_i=P_i+N_i.

  • (ii.2) If i_s=1, then

    C_i=\left( \begin{array}{c} 0 \\ \end{array} \right).

Let Q be the invertible matrix in \mathbb{M}_n(\mathbb{F}) such that Q^{-1}AQ is decomposed into its primary rational canonical form (suppose without loss of generality that the blocks corresponding to (ii.2) are written together as the last zero block):

Since each P_i satisfies P_i^{k_i-1}=\operatorname{Id}, we have that (P')^k=P' for k=1+\prod_{i=1}^{r}(k_i-1) and therefore E':=P'^{k-1} is an idempotent of \mathbb{M}_n(\mathbb{F}) (E'^2=(P'^{k-1})^2=P'^kP'^{k-2}=P'^{k-1}=E'). By construction, N'^2=0 and, since P_i^k=\operatorname{Id}, in each block it must be that E'N'=N'E'=N'.

Finally, for P:=QP'Q^{-1}, N:=QN'Q^{-1} and E:=QE'Q^{-1} we have that E is an idempotent of M_n(\mathbb{F}) satisfying the properties E=P^{k-1}, A=P+N, P^k=P, N^2=0, E N=N E=N and E P=P E=P. In particular, P=EPE is invertible in the subring E \mathbb{M}_n(\mathbb{F})E (note that E \mathbb{M}_n(\mathbb{F})E is a unital ring with unit E). This, in turn, implies that P is strongly regular, as required.

Since \overline a is a von Neumann regular element of zero square, there exists \overline b\in R/I such that \bar a \bar b\bar a=\bar a, \bar b\bar a\bar b=\bar b and \bar b^2=0 (see [GLAS, Lemma 2.4]). Let us consider the idempotent \bar e=\bar a\bar b\in R/I. Notice that \bar e\bar a (1-\bar e)=\bar a, because \bar a\bar e=\bar 0. By consulting with [AF, 27.1], the element \bar e lifts to an idempotent e\in R. If now we take any representant a of \bar a in R, we will have that ea(1-e)\in R has zero-square and \overline{ea(1-e)}=\bar e\bar a (1-\bar e)=\bar a, as claimed.

Since \overline P^{k-1}=\overline E, there exists U\in rad(S)=\mathbb{M}_n(M) such that E=P^{k-1}+U. Multiplying on the left and on the right by E, we can suppose that U=EUE. We know that R/M is a finite field of certain prime characteristic p. Thus p\cdot 1\in M, so we have that pM\subset M^2=0. We, consequently, calculate that

as expected.

We know with the aid of the comments alluded to above that R is a direct sum R=\bigoplus R_i, where each R_i is a local ring. Then one finds that the decomposition \mathbb{M}_n(R)=\bigoplus_i \mathbb{M}_n(R_i) holds, so that we can express A as a direct sum of matrices over local rings.

Suppose without loss of generality that R is a local ring. Let us denote S:=\mathbb{M}_n(R) and let us decompose A\in \mathbb{M}_n(R) into a potent and a zero-square matrix. Let I be the unique maximal ideal of R. By hypothesis, one calculates that I^2=0 because I coincides with the Jacobson radical rad(R) of R. Clearly, J:=rad(\mathbb{M}_n(R))=\mathbb{M}_n(rad(R))=\mathbb{M}_n(I) and hence J^2=0.

Let us consider the residue class of A modulo J: In fact, \bar A\in S/J\cong \mathbb{M}_n(R/I). Since R/I is a finite field, by virtue of Proposition 2.2 there exists k\in \mathbb{N} such that \bar A=\hat P+\hat N with \hat P^{k}=\hat P, \hat N^2=0, and \hat E:=\hat P^{k-1} is an idempotent with \hat E\ \hat N=\hat N\ \hat E=\hat N and \hat E\ \hat P=\hat P\ \hat E=\hat P.

Now, with Lemma 2.3 at hand, there exists an idempotent E of S such that \overline E=\hat E. Let us consider P\in S such that \overline P=\hat P. Since \hat E\Hat P=\hat P\hat E=\hat P, we have that \overline{EP}=\overline{PE}=\overline P and we can suppose (by replacing P by EPE) that EP=PE=P. Applying Lemma 2.4 there exists N\in S such that N^2=0 with \overline N=\hat N and we can suppose, again replacing N by ENE, that N=EN=NE. Furthermore, employing Lemma 2.5, there exists a prime p>1 such that P^{(k-1)p}=E.

Let us take V\in J such that A=P+N+V, and write

(1) Let us show that P+EVE+(1-E)VE+EV(1-E) is a potent element of S: In fact, notice that for any n\in \mathbb{N}

because EVE, (1-E)VE, EV(1-E) and (1-E)V(1-E) belong to an ideal of zero-square. Moreover, since P is invertible in ESE, the matrix P+EVE is invertible and, therefore, it is k-potent. Furthermore, P+EVE satisfies the conditions of Lemma 2.5, so we detect that ((P+EVE)^{(k-1)p})=E and (P+EVE)^{(k-1)p+1}=P+EVE. Then

(2) Let us show that N+(1-E)V(1-E) has zero-square: Indeed, since EN=NE=N, one has that N(1-E)V(1-E)=0=(1-E)V(1-E)N, and since (1-E)V(1-E) belongs to an ideal of zero-square, one has that

Therefore, equality (*) provides the desired decomposition of A into a potent matrix and a zero-square matrix, as wanted.

Suppose that \overline A^t=\overline A\in R/I. Then A^t-A\in I and, therefore,

Let T:=\sum_{k=1}^n (-1)^{2n-k+1}\binom{n}{k}A^{(k-1)(t-1)}. Therefore, A^n=A^{n+(t-1)}T. Define E:=A^{n(t-1)}T^n. Notice that EA=AE. Let us show that E is an idempotent of R. In fact, one sees that

From the above calculations, we may write that

and so we get that EA is an invertible element in ERE (note that ERE is a unital ring with identity element E). Decompose A=EA+(1-E)A. Since EA^n=A^n, it must be that ((1-E)A)^n=0. On the other hand, if we choose k such that t^k\ge n and taking into account that \bar A is t-potent, it follows that

so \bar A=\overline{EA}+\overline{(1-E)A}\in \overline {ER} implies \bar A=\overline{EA}.

To conclude that EA is potent, it suffices to consider the finite set

to get that (EA)^l=(EA)^m for some l<m\in \mathbb{N}, and from the invertibility of EA we get that (EA)^{m-l}=E, so (EA)^{m-l+1}=EA, as asserted.

Let R=\mathbb{M}_n(\mathbb{Z}_{p^r}) and let us consider the nilpotent ideal I of R generated by p^2\operatorname{Id}, i.e., I=\mathbb{M}_n(p^2\mathbb{Z}_{p^r}). Then R/I\cong \mathbb{M}_n(\mathbb{Z}_{p^2}) and thus it satisfies the hypothesis of Theorem 2.6. Consequently, there exists \overline P, \overline N\in R/I such that \bar A=\bar P+\bar N, where \overline P is potent and \overline N^2=\overline 0. By making use of Proposition 2.10, we can lift \bar P to a potent matrix P of R. Take any matrix N\in R such that N modulo I coincides with \bar N (in particular we have that N^2\in I). Finally, there exists V\in I such that A=P+N+V, where

• P is potent

• (N+V)^2=N^2+NV+VN+V^2\in I=\mathbb{M}_n(p^2\mathbb{Z}_{p^r}).