Back to the index. Or to the chambers

This article has 27 links. View as Cloud or List.

1	Category
1	Isomorphism
1	Similarity In Geometry
1	Basic Polynomial
1	Algebraic System
1	Arity
1	Property
1	Collection
1	Structures And Satisfaction
1	Surjective
1	Function
1	Injective Function
1	Operator
1	Multivalued Function
1	Bijection
1	Integral Domain
1	Module
1	Identity Element
1	Generating Set Of A Group
1	Group
2	Alexander Grothendiecks Available Seminars And Books
2	Mutual Information
2	Preservation And Reflection
2	Ring Homomorphism
3	Categorical Ontology A Bibliography Of Category Theory
3	Presentationgroup
5	Epi

Loading ...

Planetmath Browser (2008—2009)

BSD licence | A django site

All articles taken from PlanetMath.org snapshot under CC-BY-SA licence.

→ The original article on PlanetMath.org

Other Formats: LaTeX

New! You can click on formulas to copy the LaTeX source to your clipboard. | Math Videos

Types Of Homomorphisms

Often in a family of algebraic structures, those structures are generated by certain elements, and subject to certain relations. One often refers to functions between structures which are said to preserve those relations. These functions are typically called homomorphisms.

This situation is generalized by category theory, where homomorphisms are regarded abstractly, not necessarily being maps between sets. For more information on category theory, please see its entry. In this entry, we only mention category theory in passing and references to category theory safely may be ignored by the reader not familiar with the subject.

An example is the category of groups. Suppose that $f:A \to B$ is a function between two groups. We say that is a group homomorphism if:

(a) the binary operator is preserved: $f(a_1 \cdot a_2) = f(a_1) \cdot f(a_2)$ for all $a_1, a_2 \in A$ ;

(b) the identity element is preserved: ;

One can define similar natural concepts of homomorphisms for other algebraic structures, giving us ring homomorphisms, module homomorphisms, and a host of others.

We give special names to homomorphisms when their functions have interesting properties.

If a homomorphism is an injective function (i.e. one-to-one), then we say that it is a monomorphism. These are typically monic in their category.

If a homomorphism is an surjective function (i.e. onto), then we say that it is an epimorphism. These are typically epic in their category. Sometimes the term "epimorphism" is used as a synonym for "epic" -- in cases such as the term "ring epimorphism", this usage can lead to ambiguity, so one needs to check the author's usage.

If a homomorphism has an inverse, then we say that it is an isomorphism. Often, but not always, this is the same as requiring that the homomorphism be a bijective function (i.e. both one-to-one and onto),

If the domain of a homomorphism is the same as its codomain (e.g. a homomorphism $f:A \to A$ ), then we say that it is an endomorphism. We often denote the collection of endomorphisms on as ${\rm End}(A)$ .

If a homomorphism is both an endomorphism and an isomorphism, then we say that it is an automorphism. We often denote the collection of automorphisms on as ${\rm Aut}(A)$ .