Strongly Clean Matrices over Commutative Rings

Abstract: A commutative ring

R

is projective free provided that every finitely generated

R

-module is free. An element in a ring is strongly clean provided that it is the sum of an idempotent and a unit that commutates. Let

R

be a projective-free ring, and let

h i n R [t]

be a monic polynomial of degree

n

. We prove, in this article, that every

v a r p h i i n M_{n} (R)

with characteristic polynomial

h

is strongly clean, if and only if the companion matrix

C_{h}

of

h

is strongly clean, if and only if there exists a factorization

h = h_{0} h_{1}

such that

h_{0} i n {B b b S}_{0}, h_{1} i n {B b b S}_{1}

and

(h_{0}, h_{1}) = 1

. Matrices over power series over projective rings are also discussed. These extend the known results [1, Theorem 12] and [5, Theorem 25].

This page was built for publication: Strongly Clean Matrices over Commutative Rings