Endomorphism ring

From Wikipedia, the free encyclopedia

In abstract algebra, one associates to certain objects a ring, the object's endomorphism ring, which encodes several internal properties of the object.

We will start with the example of abelian groups. Suppose A is an abelian group. As the name suggests, the elements of the endomorphism ring of A are the endomorphisms of A, i.e. the group homomorphisms from A to A. Any two such endomorphisms f and g can be added (using the formula (f+g)(x) = f(x) + g(x)), and the result f+g is again an endomorphism of A. Furthermore, f and g can also be composed to yield the endomorphism f o g. Then the set of all endomorphisms of A, together with this addition and multiplication, satisfies all the axioms of a ring. This is the endomorphism ring of A. Its multiplicative identity is the identity map on A. Endomorphism rings are typically non-commutative.

(The above construction does not work for groups that are not abelian: the sum of two homomorphisms need not be a homomorphism in that case.)[1]

We can define the endomorphism ring of any module in exactly the same way, using module homomorphisms instead of group homomorphisms.

If K is a field and we consider the K-vector space Kn, then its endomorphism ring (which consists of all K-linear maps from Kn to Kn) is naturally identified with the ring of n-by-n matrices with entries in K. [2]

In general, endomorphism rings can be defined for the objects of any preadditive category.

One can often translate properties of an object into properties of its endomorphism ring. For instance:

[edit] References

  1. ^ David Dummitt and Richard Foote, Algebra. Page 347.
  2. ^ Yu. A. Drozd and V.V. Kirichenko, Finite Dimensional Algebras, Springer-Verlag, Berlin, 1994. pp. 23-24
  3. ^ Yu. A. Drozd and V.V. Kirichenko, Finite Dimensional Algebras, Springer-Verlag, Berlin, 1994. Page 31.
  4. ^ Yu. A. Drozd and V.V. Kirichenko, Finite Dimensional Algebras, Springer-Verlag, Berlin, 1994. Page 25.