CLASSIFICATION OF ENDOMORPHISMS
WITH AN ANNIHILATING POLYNOMIAL
ON ARBITRARY VECTOR SPACES

arXiv:1310.7738v1 [math.RA] 29 Oct 2013

FERNANDO PABLOS ROMO

Abstract. The aim of this work is to offer a solution to the problem of the
classification of endomorphisms with an annihilating polynomial on arbitrary
vector spaces. For these endomorphisms we provide a family of invariants
that allows us to classify them when the group of automorphisms acts by
conjugation.

Contents
1. Introduction
2. Preliminaries
3. Classification of endomorphisms with an annihilating polynomial
References

1
2
5
11

1. Introduction
The classification of mathematical objects is a classical problem: try to determine the structure of a quotient set up to some equivalence. The classification of
endomorphisms on finite-dimensional vector spaces, where the group of automorphisms acts by conjugation, is well-known.
In this work we generalize this classification to endomorphisms admitting an
annihilating polynomial on arbitrary vector spaces. This classification also generalizes the solution of the classification problem for finite potent endomorphisms that
has been recently provided by the author in [3]. As far as we know, a solution
of the classification problem for the set of all endomorphisms with an annihilating
polynomial is not stated explicitly in the literature.
The paper is organized as follows. In section 2 we briefly recall the basic definitions of this work: the statement of the classification problem for endomorphisms, and the well-known theory of the classification of endomorphisms on finitedimensional vector spaces, including the description of a method to construct Jordan bases in this case.
Section 3 is devoted to giving the main result of this work. Indeed, we offer
invariants to classify to classify endomorphisms with an annihilating polynomial on
Key words and phrases. Endomorphism, Annihilating Polynomial, Classification Problem.
2010 Mathematics Subject Classification: 15A03, 15A04.
This work is partially supported by the Spanish Government research contract no. MTM201232342.
1

2

FERNANDO PABLOS ROMO

arbitrary vector spaces (Theorem 3.9). As an example we offer the explicit description of the quotient set obtained from the classification of these endomorphisms on
a countable dimensional vector space (Example 1).
2. Preliminaries
2.A. The Classification Problem. Let V be an arbitrary k-vector space, and let
Endk (V ) be the k-vector space of endomorphisms of V .
We have an action of the group of automorphisms of V , Autk (V ), on Endk (V )
by conjugation:
Autk (V ) × Endk (V ) −→ Endk (V )
(τ, f ) 7−→ τ f τ −1 .
Let us consider a subset X ⊂ Endk (V ) that is invariant under the action of
Autk (V ) by conjugation.
The classification problem on X refers to the possible
answer to the question:

which is the characterization of the quotient set X Autk (V )?.
Henceforth, if f ∈ Endk (V ) and H is a k-subspace of V invariant by f , to
simplify we shall again write f : H −→ H and f : V /H −→ V /H to refer to the
induced linear operators.
2.B. Classification of Endomorphisms on Finite-Dimensional Vector Spaces. The solution of the classification problem for endomorphisms on vector spaces
of finite dimension is well-known.
Let E be a finite-dimensional vector space over a field k, and let T ∈ Endk (E)
be an endomorphism of E. We have that T induces a structure of k[x]-module from
the action
k[x] × E −→ E
[p(x), e] 7−→ p(T )e .
We shall write ET to denote the vector space E with this k[x]-module structure.
It is known that two endomorphisms T, Te ∈ Endk (E) are equivalent, i. e. there
exists an automorphism τ ∈ Autk (V ) such that T = τ Teτ −1 , if and only if the
k[x]-modules ET and ETe are isomorphic.
The above action, which determines de k[x]-module structure of E (via T ), is
equivalent to a morphism of rings
φT : k[x] −→ Endk (E)
p(x) 7−→ φT [p(x)] ,
where φT [p(x)](e) = p(T )(e).
Since Ker φT 6= {0}, there exists a unique monic polynomial aT (x) such that
Ker φT = (aT (x)), aT (x) being the annihilator polynomial of T .
Let aT (x) = p1 (x)n1 · · · · · pr (x)nr be the annihilator polynomial of T , where
pi (x) are irreducible polynomials on k[x]. The decomposition of k-vector spaces
E = Ker p1 (T )n1 ⊕ · · · ⊕ Ker pr (T )nr ,
where the subspaces Ker pi (T )ni ⊂ E are invariant by T , is compatible with the
respective k[x]-module structures.
Indeed, the classification of endomorphisms on finite-dimensional vector spaces is
reduced to studying the k[x]-module structure of Ker p(T )n , p(x) being an
irreducible polynomial on k[x]. This structure is determined by a decomposition of
k[x]-modules:
νn (E,p(T ))


ν1 (E,p(T ))


⊕ · · · ⊕ k[x] p(x)
,
Ker p(T )n ≃ k[x] p(x)n

CLASSIFICATION OF ENDOMORPHISMS WITH ANNIHILATOR

3

where νn (E, p(T )) 6= 0 and


νi (E, p(T )) = dimK Ker p(T )i [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] ,

with K = k[x] p(x).
Again writing the annihilator polynomial of T as aT (x) = p1 (x)n1 · · · · · pr (x)nr ,
the invariant factors {νi (E, pj (T ))}1≤j≤r ; 1≤i≤nj determine the k[x]-module structure of ET and, therefore, they classify the endomorphism T .
Furthermore, if Kj = k[x] pj (x), then pj (x) is a polynomial of degree dj =
dimk Kj .
We shall now describe a method for constructing Jordan bases of E for T .
Let us first assume that aT (x) = p(x)n , with p(x) an irreducible polynomial on
k[x], and let again K = k[x]/p(x), with d = dimk K = grp(x).
For each 1 ≤ i ≤ n, let {ēih }1≤h≤νi (E,p(T )) be a basis of

Ker p(T )i [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ]
as a K-vector space.
If we write


πi : Ker p(T )i −→ Ker p(T )i [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ]

to denote the natural projection, let {eih }1≤h≤νi (E,p(T )) be a family of vectors of
Ker p(T )i such that πi (eih ) = ēih for all 1 ≤ h ≤ νi (E, p(T )).
Remark 2.1. Since both Ker p(T )i and Ker p(T )i−1 + p(T ) Ker p(T )i+1 are k-vector
subspaces of E invariant by T , then Ker p(T )i−1 + p(T ) Ker p(T )i+1 is also a k[x]submodule of(Ker p(T )i )T . We should emphasize that the definition of the quotient
set Ker p(T )i [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] is independent of its structure as a
k-vector space, K-vector space or k[x]-module (via T ).
S
Lemma 2.2. If dimk K = d, then 1≤h≤νi (E,p(T )) {eih , T (eih ), T 2 (eih ), . . . , T d−1 (eih )}
is a linearly independent family of vectors of the k-vector space Ker p(T )i .
Proof. Let us consider a linear combination
X
λml T m (eil ) = 0 ,
0 ≤m ≤ d − 1
1 ≤l ≤ νi (E, p(T ))
with λhl ∈ k.
Hence, since

X

λml xm eil = 0

0 ≤m ≤ d − 1
1 ≤l ≤ νi (E, p(T ))
i
as a k[x]-module, if λml 6= 0 in some case then
will be a family
i (E,p(T ))
 {ēh }1≤h≤ν
i
of linearly dependent vectors of Ker p(T ) [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] as a
K-vector space, which is impossible. Therefore, the statement is deduced.


Proposition 2.3. One has that
M
p(T )
=
Hi

< eih , T (eih ), T 2 (eih ), . . . , T d−1(eih ) >

1≤h≤νi (E,p(T ))

is a supplementary subspace of Ker p(T )i−1 +p(T ) Ker p(T )i+1 on the k-vector space
Ker p(T )i .

4

FERNANDO PABLOS ROMO
p(T )

as a k-vector space
Proof. It follows from Lemma 2.2 that the dimension of Hi
is d · νi (E, p(T )), which coincides with


dimk Ker p(T )i [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] =
dimk [Ker p(T )i ] − dimk [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] .

Thus, to prove the claim it is sufficient to check that
p(T )

[Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] ∩ Hi

= {0} .
p(T )

Let us now consider e ∈ [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] ∩ Hi . One has that
X
e=
γml T m (eil ) ∈ [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] ,
0 ≤m ≤ d − 1
1 ≤l ≤ νi (E, p(T ))
and, bearing in mind that πi (e) = 0, we conclude that γml = 0 (for all l, m)
i
and, thereby, e = 0 because, otherwise,
will be a family of
i (E,p(T ))
 {ēh }1≤h≤ν
i
linearly dependent vectors of Ker p(T ) [Ker p(T )i−1 + p(T ) Ker p(T )i+1 ] as a Kvector space, which is impossible.

Accordingly, bearing in mind that
p(T )

Ker T i−1 ⊕ p(T )n−i Hnp(T ) ⊕ · · · ⊕ p(T )Hi+1 = Ker p(T )i−1 + p(T ) Ker p(T )i+1
for all 1 ≤ i ≤ n, we have constructed a family of k subspaces of E = Ker p(T )n ,
p(T )
{Hi }1≤i≤n , such that
E = Ker p(T )n−1 ⊕ Hnp(T )
p(T )

Ker p(T )n−1 = Ker p(T )n−2 ⊕ p(T )Hnp(T ) ⊕ Hn−1
..
.
(2.1)

p(T )

p(T )

Ker p(T )i = Ker p(T )i−1 ⊕ p(T )n−i Hnp(T ) ⊕ · · · ⊕ p(T )Hi+1 ⊕ Hi
..
.
p(T )

Ker p(T )2 = Ker p(T ) ⊕ p(T )n−2 Hnp(T ) ⊕ · · · ⊕ p(T )H3
p(T )

p(T )

⊕ H2
p(T )

Ker p(T ) = p(T )n−1 Hnp(T ) ⊕ p(T )n−2 Hn−1 ⊕ · · · ⊕ p(T )H2

Thus, if we now write
M
< eih >T =
< p(T )s [eih ], p(T )s [T (eih )], . . . , p(T )s [T d−1 (eih )] > ,
0≤s≤i−1

then
E=

M

< eih >T .

1≤i≤n
1 ≤ h ≤ νi (E, p(T ))
In general, if T ∈ Endk (E) with annihilator polynomial
aT (x) = p1 (x)n1 · · · · · pr (x)nr ,
we have shown that there exist families of vectors {eij
h }1≤h≤νi (E,pj (T )) with
i
eij
h ∈ Ker pj (T )

eij
/ Ker pj (T )i−1 + pj (T ) Ker pj (T )i+1 ,
h ∈

p(T )

⊕ H1

.

CLASSIFICATION OF ENDOMORPHISMS WITH ANNIHILATOR

5

for all 1 ≤ j ≤ r and 1 ≤ i ≤ nj , such that if we set
M
ij
s
s
dj −1 ij
< eij
< pj (T )s [eij
(eh )] > ,
h >T =
h ], pj (T ) [T (eh )], . . . , pj (T ) [T
0≤s≤i−1

then
E=

M

< eij
h >T .

1≤j≤r
1 ≤ i ≤ nj
1 ≤ h ≤ νi (E, pj (T ))
Indeed, each family of vectors
[
{eij
(2.2)
h }1≤h≤νi (E,pj (T ))
1≤j≤r
1 ≤ i ≤ nj
generates a Jordan basis of E for T .
3. Classification of endomorphisms with an annihilating polynomial
Let V again be an arbitrary vector space over a ground field k, and let B =
{vi }i∈I be a basis of V . It is known that dim(V ) = #B is independent of the basis
chosen, #B being the cardinal of the set B.
Let XVanh be the subset of Endk (E) consisting of all endomorphisms of V with
an annihilating polynomial, that is:
XVanh = {f ∈ Endk (V ) such that p(f ) = 0 for a certain p(x) ∈ k[x] } .
We should note that XVanh is not a vector subspace of Endk (E) (in general the
sum of two endomorphisms with an annihilating polynomial does not admit an
annihilating polynomial).
It is clear that the group of automorphisms of V , Autk (V ), acts on XVanh by
conjugation, because if p(f ) = 0, then p(τ f τ −1 ) = 0 for all τ ∈ Autk (V ).
Let φϕ : k[x] −→ Endk (V ) be the morphism of rings that induces the k[x]-module
structure in V . If ϕ admits an annihilating polynomial, then Ker φϕ 6= {0} and
there exists a unique monic polynomial aϕ (x) such that Ker φϕ = (aϕ (x)). The
polynomial aϕ (x) is the annihilator of ϕ.
The aim of this section is to offer the main
 result of this work: i.e. to provide
the characterization of the quotient set XVanh Autk (V ).

Remark 3.1. An endomorphism ϕ ∈ Endk (V ) is “finite potent” if ϕn V is finite
dimensional for some n. It is clear that a finite potent endomorphism admits
an annihilating polynomial, and if XVf p is the set consisting of all finite potent
endomorphisms of V , then XVf p is a subset of XVanh that is invariant under the
action of Autk (V ) by conjugation. We should note that the classification problem
for finite potent endomorphisms has recently been solved by the author in [3].
To start, we shall construct a Jordan Basis of V for an endomorphism with an
annihilating polynomial by generalizing the method described in Subsection 2.B.
Let us consider f ∈ XVanh , and we first assume that af (x) = p(x)n , p(x) being
an irreducible polynomial on k[x].
As in Subsection 2.B, we consider


νi (V, p(f )) = dimK Ker p(f )i [Ker p(f )i−1 + p(f ) Ker p(f )i+1 ] ,

with K = k[x] p(x).

6

FERNANDO PABLOS ROMO

Henceforth, for indexing bases Sνi (V,p(f )) will be a set such that #Sνi (V,p(f )) =
νi (V, f ), with Sνi (V,p(f )) ∩ Sνj (V,p(f )) = ∅ for i 6= j. In particular, if νi (V, p(f )) is a
natural number N , then Sνi (V,p(f )) = {i1 , i2 , . . . , iN }.
Similar to above, for each 1 ≤ i ≤ n, let {v̄hi }h∈Sνi (V,p(f )) be a basis of

Ker p(f )i [Ker p(f )i−1 + p(f ) Ker p(f )i+1 ]

as a K-vector space.
If we again write


πi : Ker p(f )i −→ Ker p(f )i [Ker p(f )i−1 + p(f ) Ker p(f )i+1 ]

to denote the natural projection, let {vhi }h∈Sνi (V,p(f )) be a family of vectors of
Ker p(f )i such that πi (vhi ) = v̄hi for all h ∈ Sνi (V,p(f )) .
S
Lemma 3.2. If dimk K = d, then h∈Sν (V,p(f )) {vhi , f (vhi ), f 2 (vhi ), . . . , f d−1 (vhi )} is
i

a linearly independent family of vectors of the k-vector space Ker p(f )i .

Proof. With the same arguments as in Lemma 2.2, if L ⊆ Sνi (V,p(f )) , let us consider
a linear combination
X X

λml f m (vli ) = 0 ,
with λhl ∈ k,

P

0≤m≤d−1

l∈L

being a well-defined expression in Ker p(f )i .

l∈L

Hence, since

X
l∈L

X

0≤m≤d−1


λml xm vli = 0

as a k[x]-module, if λml 6= 0 in some case, then {v̄hi }h∈Sνi (V,p(f )) will be a family

of linearly dependent vectors of Ker p(f )i [Ker p(f )i−1 + p(f ) Ker p(f )i+1 ] as a Kvector space, which is impossible. Therefore, the statement is deduced.

p(f )

Proposition 3.3. If Hi
of vectors
[

is the k-subspace of Ker p(f )i generated by the family
{vhi , f (vhi ), f 2 (vhi ), . . . , f d−1 (vhi )} ,

h∈Sνi (V,p(f ))

p(f )
Hi

is a supplementary subspace of Ker p(f )i−1 + p(f ) Ker p(f )i+1 on the
then
k-vector space Ker p(f )i .
Proof. Given a vector v ∈ Ker p(f )i , considering the structure of

Ker p(f )i [Ker p(f )i−1 + p(f ) Ker p(f )i+1 ]

as a K-vector space, one has that

πi (v) =

X

µl ql (x)v̄li ,

l∈L

al0

+ al1 x + · · · + ald−1 xd−1

∈ k[x]/p(x) = K, L ⊆ Sνi (V,p(f )) ,

P

being
l∈L

a well-defined expression in Ker p(f )i [Ker p(f )i−1 + p(f ) Ker p(f )i+1 ].
P
is
Since from the definition of the sum on the quotient set we deduce that

with ql (x) =

l∈L

also a well-defined expression in Ker p(f )i , bearing in mind that
X X

πi v −
µl alm f m (vli ) = 0 ,
l∈L

0≤m≤d−1

p(f )

it clear that Ker p(f )i = [Ker p(f )i−1 + p(f ) Ker p(f )i+1 ] + Hi

.

CLASSIFICATION OF ENDOMORPHISMS WITH ANNIHILATOR

7

Moreover, analogously to Proposition 2.3, it is easy to check that
p(f )

[Ker p(f )i−1 + p(f ) Ker p(f )i+1 ] ∩ Hi

= {0} ,

and the claim is proved.



Thus, recurrently, as in expressions (2.1), we can consider k-vector subspaces of
p(f )
V , {Hr }1≤r≤n , such that:
p(f )

p(f )

Ker f i = Ker f i−1 ⊕ p(f )n−i Hnp(f ) ⊕ · · · ⊕ p(f )Hi+1 ⊕ Hi

(3.1)

,

for every 1 ≤ i < n.
Remark 3.4. Recall from [3] that there is no relationship of order between the
invariants {νi (V, p(f ))}.
For example, if V is a k-vector space of countable dimension with a basis
{e1 , e2 , . . . , en , . . . }, and we consider f, g ∈∈ XVanh defined by:

e3 if i = 1, 2
f (ei ) =
,
0 if i ≥ 3
g(ej ) =







0 if j = 1, 2
ej+1 if j ≥ 3 odd

,

0 if j ≥ 4 even

then af (x) = ag (x) = x2 , and one has that:
•
•
•
•

H2f =< e1 >, f (H2f ) =< e3 >, and H1f =< e1 − e2 , e4 , e5 , ... >;
ν1 (V, f )) = ℵ0 , and ν2 (V, f )) = 1;
H2g =< e2j+1 >j≥1 , g(H2g ) =< e2j >j≥2 , and H1g =< e1 , e2 >;
ν1 (V, 2)) = 2, and ν2 (V, f )) = ℵ0 ;

ℵ0 being the cardinal of the set of all natural numbers.
If we now write
< vhi >f =

[

{p(f )s [vhi ], p(f )s [f (vhi )], . . . , p(f )s [f d−1 (vhi )]} ,

0≤s≤i−1

then

[

< vhi >f

1≤i≤n
h ∈ Sνi (V,p(f ))
is a Jordan basis of V for f .
In general, if f ∈ XVanh with annihilator polynomial
af (x) = p1 (x)n1 · · · · · pr (x)nr ,
we have shown that there exist families of vectors {vhij }h∈Sνi(V,pj (f )) with
vhij ∈ Ker pj (f )i
vhij ∈
/ Ker pj (f )i−1 + pj (f ) Ker pj (f )i+1 ,
for all 1 ≤ j ≤ r and 1 ≤ i ≤ nj , such that if we set
[
< vhij >f =
{pj (f )s [vhij ], pj (f )s [f (vhij )], . . . , pj (f )s [f dj −1 (vhij )]} ,
0≤s≤i−1

8

FERNANDO PABLOS ROMO

then

[

< vhij >f

1≤j≤r
1 ≤ i ≤ nj
h ∈ Sνi (V,pj (f ))
is a Jordan basis of V for f .
Indeed, each family of vectors
[
{vhij }h∈Sνi (V,pj (f ))
(3.2)
1≤j≤r
1 ≤ i ≤ nj
generates a Jordan basis of V for f .
Note that
[


(Sνi (V,pj (f )) ⊔ . .[d−1]i)
. . . . . . . ⊔ Sνi (V,pj (f )) ) = dim(V ) .
#
1≤j≤r
1 ≤ i ≤ nj

Remark 3.5. Recall from [2] that for every φ ∈ Endk (V ) possessing an annihilating
polynomial of an arbitrary infinite-dimensional vector space V there exists a Jordan
basis of V associated with φ. We should note that the above construction of Jordan
bases for endomorphisms with an annihilating polynomial is compatible with the
results of [2]. However, from the proof of the existence of Jordan bases given in
[2] a Classification Theorem for these endomorphisms can not be obtained, because
from the statements of this paper it is not possible to deduce that the dimensions of
the vector subspaces that determine a Jordan basis are independent of the choices
made.
We shall now use the existence of Jordan bases for endomorphisms
with an

annihilating polynomial to characterize the quotient set XVanh Autk (V ).
Let τ be an automorphism of V .
Lemma 3.6. If v ∈ V , then
p(f )s (v) = 0 ⇐⇒ p(f¯)s (τ (v)) = 0
with f¯ = τ f τ −1 .
Proof. One has that:
p(f¯)s (τ (v)) ⇐⇒ τ [p(f )s (v)] = 0 ⇐⇒ p(f )s (v) = 0 .

Corollary 3.7. If f¯ = τ f τ −1 , then
• τ [Ker p(f )r ] = Ker p(f¯)r for all r ≥ 1 and p(x) ∈ k[x].
• τ [Ker p(f )i−1 + p(f ) Ker p(f )i+1 ] = Ker p(f¯)i−1 + p(f¯) Ker p(f¯)i+1 for all
i ≥ 1 and p(x) ∈ k[x].
Proposition 3.8. Let f ∈ XVanh with af (x) = p1 (x)n1 · · · · · pr (x)nr , pi (x) being a
irreducible polynomial in k[x]. If f¯ = τ f τ −1 . Then:
• af¯(x) = af (x).
• νi (V, pj (f )) = νi (V, pj (f¯)) for all 1 ≤ j ≤ r and 1 ≤ i ≤ nj .

CLASSIFICATION OF ENDOMORPHISMS WITH ANNIHILATOR

9

Proof. Given q(x) ∈ k[x], it is clear that
q(f¯) = 0 ⇐⇒ q(f ) = 0 ,
and hence af¯(x) = af (x). In particular, f¯ ∈ XVanh .
On the other hand, for all 1 ≤ j ≤ r and 1 ≤ i ≤ nj , bearing in mind Corollary
3.7, one has that
/ Ker pj (f )i
/ Ker pj (f )i−1 + pj (f )(Ker pj (f )i+1 )
0
∼ τ

τ ∼



/ Ker pj (f¯)i−1 + pj (f¯)(Ker pj (f¯)i+1 )
/ Ker pj (f¯)i
0
and hence τ induces an isomorphism of k-vector spaces
(3.3)


Ker pj (f )i [Ker pj (f )i−1 + pj (f ) Ker pj (f )i+1 ]
τ ∼



Ker pj (f¯)i [Ker pj (f¯)i−1 + pj (f¯)(Ker pj (f¯)i+1 )] .

Furthermore, for each family of vectors {ws }s∈I ⊂ Ker pj (f )i , it is clear that
X
X
τ[
f rs (ws )] =
f¯rs (τ [ws ]) .
rs ∈N;s∈I

rs ∈N;s∈I

Thus, if we consider the structures of k[x]-module induced in Ker pj (f )i by f
and in Ker pj (f¯)i by f¯ respectively, we have that
X
X
τ[
xrs (ws )] =
xrs (τ [ws ]) ,
rs ∈N;s∈I

rs ∈N;s∈I

and, therefore, expression (3.3) is an isomorphism of K-vector spaces, from which
the statement can be deduced.

Theorem 3.9 (Classification Theorem). Let f, g ∈ XVanh be two endomorphisms
with an annihilating polynomial. Thus, f ∼ g (mod. Autk (V )) if and only if:
• ag (x) = af (x) = p1 (x)n1 · · · · · pr (x)nr , pi (x) being a irreducible polynomial
in k[x].
• νi (V, pj (f )) = νi (V, pj (g)) for all 1 ≤ j ≤ r and 1 ≤ i ≤ nj .

Proof. =⇒) If [f ] = [g] ∈ XVanh Autk (V ), there exists τ ∈ Autk (V ) such that
g = τ f τ −1 , and it follows from Proposition 3.8 that:
• ag (x) = af (x) = p1 (x)n1 · · · · · pr (x)nr , pi (x) being a irreducible polynomial
in k[x].
• νi (V, pj (f )) = νi (V, pj (g)) for all 1 ≤ j ≤ r and 1 ≤ i ≤ nj .
⇐=) If ag (x) = af (x) = p1 (x)n1 · · · · · pr (x)nr and νi (V, pj (f )) = νi (V, pj (g)) for
all 1 ≤ j ≤ r and 1 ≤ i ≤ nj , let us consider two families of vectors
[
[
{whij }h∈Sνi (V,pj (g))
{vhij }h∈Sνi(V,pj (f )) and
1≤j≤r
1≤j≤r
1 ≤ i ≤ nj

1 ≤ i ≤ nj

determining Jordan bases of V for f and g respectively.
Let τ ∈ Autk (V ) be the automorphism defined by
τ [pj (f )m (f a (vhij ))] = pj (g)m (g a (whij )) ,
for all 1 ≤ j ≤ r, 1 ≤ i ≤ nj , h ∈ Sνi (V,pj (g)) , 0 ≤ a ≤ dj − 1, and 0 ≤ m < i.

10

FERNANDO PABLOS ROMO

An easy computation shows that
τ [pj (f )m (f b (vhij ))] = pj (g)m (g b (whij )) ,
for all b ≥ 0.
By construction, one has that
(τ f τ −1 )[pj (g)m (g a (whij ))] = (τ f )[pj (f )m (f a (vhij ))] = τ [pj (f )m (f a+1 (vhij ))] =
= pj (g)m (g a+1 (vhij )) = g[pj (g)m (g a (vhij ))] ,
for all 1 ≤ j ≤ r, 1 ≤ i ≤ nj , h ∈ Sνi (V,pj (g)) , 0 ≤ a ≤ dj − 1, and 0 ≤ m < i.

Accordingly, τ f τ −1 = g and [f ] = [g] ∈ XVanh Autk (V ).



Example 1. Let V be a countable dimensional k-vector space. Let
Y = {0} ∪ N ∪ {ℵ0 } ,

ℵ0 being the cardinal of the set of all natural numbers, and let H be the set
consisting of all monic irreducible polynomials p(x) ∈ k[x].
If Hr ⊂ H × . . .r). . . × H is the set such that
(p1 (x), . . . , pr (x)) ∈ Hr ⇐⇒ pj (x) 6= ph (x) for all j 6= h ,
and
YN = {(n, ν1 , . . . , νn ) with n ∈ N and νi ∈ Y } ,
it follows from Theorem 3.9 that
[
Y′ 

XVanh Autk (V ) =
Xr × [
YN ] ,
r∈N

where

Y′
r

YN =

(

r

)
(n1 , ν11 , . . . , ν1n1 , . . . , ni , νi1 , . . . , νini , . . . , nr , νr1 , . . . , νrnr )
with νji ∈ Y , νini 6= 0 , and νji = ℵ0 for at least one νji

.

Remark 3.10. Recently, in [1], D. Hernández Serrano and the author have offered
an algebraic definition of infinite determinants detkV (1 + ϕ) on an arbitrary k-vector
space V , ϕ being a finite potent endomorphism. It is known that ϕ is finite potent
if and only if aϕ (x) = xm · p(x), with (x, p(x)) = 1 and dimk Ker p(ϕ) < ∞.
Accordingly, a1+ϕ (x) = (x − 1)m p(x − 1), and since
1 + ϕ is invertible ⇐⇒ detkV (1 + ϕ) 6= 0 ,
it follows from the above classification and the statements of [1] that for each finite
potent endomorphism ϕ 1 + ϕ is invertible if and only if νi (V, 1 + ϕ) = 0 for all
i > 0.
Remark 3.11 (Final Consideration). If E is a finite-dimensional k vector space,
and f ∈ Endk (E) with af (x) = p1 (x)n1 · · · · · pr (x)nr , pi (x) being a irreducible
polynomial in k[x], and invariants {νi (V, pj (f ))}1≤j≤r;1≤i≤nr , we should note that
the structure of E as a k[x]-module induced by f is:
M
νi (V,pj (f ))
.
k[x]/pj (x)i
Ef ≃
1≤j≤r
1 ≤ i ≤ nj
Thus, Theorem 3.9 offers a classification of endomorphisms with an annihilator
polynomial on arbitrary vector spaces that generalizes the well-known classification
of endomorphisms on finite-dimensional vector spaces.

CLASSIFICATION OF ENDOMORPHISMS WITH ANNIHILATOR

11

References
[1] Hernández Serrano, D.; Pablos Romo, F. Determinants of finite potent endomorphisms,
symbols and reciprocity laws, Linear Algebra and Its Applications 469, (2013) 239-261.
[2] López-Pellicer, M.; Bru, R., Jordan Basis for an Infinite-Dimensional Space, Portugaliae
Math. 43(1), (1985/86) 153-156.
[3] Pablos Romo, F. Classification of Finite Potent Endomorphisms, to appear in Linear Algebra and its Applications, arXiv:1307.7857.
Departamento de Matemáticas and Instituto Universitario de Fı́sica Fundamental
y Matemáticas, Universidad de Salamanca, Plaza de la Merced 1-4, 37008 Salamanca,
España
E-mail address: fpablos@usal.es

