Namespaces
Variants
Actions

Endomorphism

From Encyclopedia of Mathematics
Revision as of 17:21, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

of an algebraic system

A mapping of an algebraic system into itself that is compatible with its structure. Namely, if is an algebraic system with a signature consisting of a set of operation symbols and a set of predicate symbols, then an endomorphism must satisfy the following conditions:

1) for any -ary operation and any sequence of elements of ;

2) for any -place predicate and any sequence of elements of .

The concept of an endomorphism is a special case of that of a homomorphism of two algebraic systems. The endomorphisms of any algebraic system form a monoid under the operation of composition of mappings, whose unit element is the identity mapping of the underlying set of the system (cf. Endomorphism semi-group).

An endomorphism having an inverse is called an automorphism of the algebraic system.


Comments

Thus, by way of one of the simplest examples, an endomorphism of an Abelian group is a mapping such that , for all elements and in and for all . For an endomorphism of a ring with a unit 1, the requirements are that be an endomorphism of the underlying commutative group and that, moreover, and for all .

References

[a1] P.M. Cohn, "Universal algebra" , Reidel (1981)
How to Cite This Entry:
Endomorphism. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Endomorphism&oldid=17409
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article