2009/10/13 by Drensky, Vesselin, Szigeti, Jeno, van Wyk, Leon
#15A27 #15A30 #16D60 #16R10 #16S50 #16U70 #FOS: Mathematics #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.0910.2357
We prove that the centralizer Cen(f) in HomR(M,M) of a nilpotent endomorphism f of a finitely generated semisimple left R-module M (over an arbitrary ring R) is the homomorphic image of the opposite of a certain Z(R)-subalgebra of the full m x m matrix algebra Mm(R[z]), where m is the dimension (composition length) of ker(f). If R is a local ring, then we provide an explicit description of the above Cen(f). If in addition Z(R) is a field and R/J(R) is finite dimensional over Z(R), then we give a formula for the Z(R)-dimension of Cen(f). If R is a local ring, f is as above and g is an arbitrary element of HomR(M,M), then we give a complete description of the containment Cen(f) in Cen(g) in terms of an appropriate R-generating set of M. Using our results about nilpotent endomorphisms, for an arbitrary (not necessarily nilpotent) linear map f in HomK(V,V) of a finite dimensional vector space V over a field K we determine the PI-degree of Cen(f) and give other information about the polynomial identities of Cen(f).