In universal algebra , an endomorphism (from the Greek ἔνδον éndon 'inside' and μορφή morphē 'shape', 'form') is a homomorphism of a mathematical structure in itself. If it is also an isomorphism , it is also called automorphism .
In category theory , any morphism whose source and destination coincide is called an endomorphism of the object in question.
The totality of the endomorphisms of an object is denoted by and always forms a monoid (the endomorphism monoid or the endomorphism half-group ), in additive categories even a (unitary) ring .
Let be an algebraic structure , i.e. a non-empty set together with a finite number of links with corresponding arithmetic . Such an algebraic structure could for example be a vector space , a group or a ring . Then, in algebra, an endomorphism is understood to be a mapping of the set onto itself, which is a homomorphism , that is, it applies
for everyone and everyone .
Be an object of a category . A morphism that operates on an object is called an endomorphism.
For categories of homomorphisms between algebraic structures, the definition is equivalent to that in the previous section.
In linear algebra , an endomorphism of a - vector space is a - linear mapping . Here -linear (or simply linear, if it is clear which body is meant) means that the mapping
fulfilled for all and all . Together with the addition of the images and the composition as a multiplication, the set of all endomorphisms forms a ring, which is called the endomorphism ring. If the linear mappings are described by matrices, then with the matrix addition and the matrix multiplication the matrix ring is obtained, which is isomorphic to the endomorphism ring.
If the underlying vector space is a topological vector space and one considers the vector space of the continuous endomorphisms, which in the case of infinite-dimensional vector spaces is generally a real subspace of the endomorphism space, then one can induce a topology on this vector space of all continuous endomorphisms so that the addition and the multiplication of the ring are continuous . Thus the endomorphism ring is a topological ring .
The derivation is an endomorphism on the vector space of the polynomials of a maximum of third degree with real coefficients. As a basis for choosing the monomial basis . This can be mapped isomorphically to the canonical base of . The 1 is in the i-th position of the 4- tuple . So each polynomial can be represented as a 4-tuple, for example . Now you can concatenate with and get a matrix notation for the differential:
If you apply this matrix to the above example , you get what corresponds to the polynomial ; this could have been obtained by applying the derivative directly.
An endomorphism on a group is a group homomorphism from to , that is, for applies to all .