Endomorphism ring

Endomorphism ring

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.) [ David Dummitt and Richard Foote, Algebra. Page 347. ]

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 "K""n", then the endomorphism ring of "K""n" (which consists of all "K"-linear maps from "K""n" to "K""n") is naturally identified with the ring of "n"-by-"n" matrices with entries in "K". [ Yu. A. Drozd and V.V. Kirichenko, Finite Dimensional Algebras, Springer-Verlag, Berlin, 1994. pp. 23-24 ]

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:
* If a module is simple, then its endomorphism ring is a division ring (this is sometimes called Schur's lemma). [Yu. A. Drozd and V.V. Kirichenko, Finite Dimensional Algebras, Springer-Verlag, Berlin, 1994. Page 31.]
* A module is indecomposable if and only if its endomorphism ring does not contain any non-trivial idempotents. [Yu. A. Drozd and V.V. Kirichenko, Finite Dimensional Algebras, Springer-Verlag, Berlin, 1994. Page 25. ]

References


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Endomorphism — In mathematics, an endomorphism is a morphism (or homomorphism) from a mathematical object to itself. For example, an endomorphism of a vector space V is a linear map ƒ: V → V and an endomorphism of a group G is a group homomorphism ƒ: G → G ,… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Ring homomorphism — In ring theory or abstract algebra, a ring homomorphism is a function between two rings which respects the operations of addition and multiplication. More precisely, if R and S are rings, then a ring homomorphism is a function f : R → S such that …   Wikipedia

  • Glossary of ring theory — Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject. Contents 1 Definition of a ring 2 Types of… …   Wikipedia

  • Local ring — In abstract algebra, more particularly in ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called local behaviour , in the sense of functions defined on varieties or manifolds, or of… …   Wikipedia

  • Polynomial ring — In mathematics, especially in the field of abstract algebra, a polynomial ring is a ring formed from the set of polynomials in one or more variables with coefficients in another ring. Polynomial rings have influenced much of mathematics, from the …   Wikipedia

  • Group ring — This page discusses the algebraic group ring of a discrete group; for the case of a topological group see group algebra, and for a general group see Group Hopf algebra. In algebra, a group ring is a free module and at the same time a ring,… …   Wikipedia

  • Primitive ring — In mathematics, especially in the area of abstract algebra known as ring theory, the concept of left primitive ring generalizes that of matrix algebra. Every matrix ring is the endomorphism ring of a finite dimensional vector space, but a… …   Wikipedia

  • Matrix ring — In abstract algebra, a matrix ring is any collection of matrices forming a ring under matrix addition and matrix multiplication. The set of n×n matrices with entries from another ring is a matrix ring, as well as some subsets of infinite matrices …   Wikipedia

  • Algebra (ring theory) — In mathematics, specifically in ring theory, an algebra over a commutative ring is a generalization of the concept of an algebra over a field, where the base field K is replaced by a commutative ring R .Any ring can be thought of as an algebra… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”