Given a square matrix A, an A-invariant subspace is called hyperinvariant (respectively, characteristic) if and only if it is also invariant for all matrices T (respectively, nonsingular matrices T) that commute with A. Shodaʼs Theorem gives a necessary and sufficient condition for the existence of characteristic non-hyperinvariant subspaces for a nilpotent matrix in GF(2). Here we present an explicit construction for all subspaces of this type.Peer ReviewedPostprint (published version

Let F be an arbitrary field, Mn(F) the set of all matrices n×n over F and J∈Mn(F) a Jordan matrix. In this paper, we obtain an explicit formula for the determinant of any matrix that commutes with J, i.e., the determinant of any element T∈Z(J), the centralizer of J. Our result can also be extended to any T′∈Z(A), where A∈Mn(F), can be reduced to J=S−1AS. This is because T=S−1T′S∈Z(J), and clearly View the MathML source. If F is algebraically closed, any matrix A can be reduced in this way to a suitable J.\ud \ud In order to achieve our main result, we use an alternative canonical form W∈Mn(F) called the Weyr canonical form. This canonical form has the advantage that all matrices K∈Z(W) are upper block triangular. The permutation similarity of T∈Z(J) and K∈Z(W) is exploited to obtain a formula for the determinant of T.\ud \ud The paper is organized as follows: Section 2 contains some definitions and notations that will be used through all the paper. In Section 3, matrices T∈Z(J) are described and the determinant of T is computed in a particular case. In Section 4, we recall the Weyr canonical form W of a matrix and the corresponding centralizer Z(W). A formula to compute the determinant of any K∈Z(W) is rewritten. Finally, in Section 5 an explicit formula for the determinant of any T∈Z(J) is obtained.Peer ReviewedPostprint (published version

Given an endomorphism A over a finite dimensional vector space having Jordan-Chevalley decomposition, the lattices of invariant and hyperinvariant subspaces of A can be obtained from the nilpotent part of this decomposition. We extend this result for lattices of characteristic subspaces. We also obtain a generalization of Shoda's Theorem about the characterization of the existence of characteristic non hyperinvariant subspaces.

Given a square matrix A ∈ M n (F), the lattices of the hyperinvariant (Hinv(A)) and characteristic (Chinv(A)) subspaces coincide whenever F = GF (2). If the characteristic polynomial of A splits over F, A can be considered nilpotent. In this paper we investigate the properties of the lattice Chinv(J) when F = GF (2) for a nilpotent matrix J. In particular, we prove it to be self-dual.

No abstract