Structure-preserving map between two algebraic structures of the same type
Not to be confused with holomorphism or homeomorphism.
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός (homos) meaning "same" and μορφή (morphe) meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same".[1] The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).[2]
Homomorphisms of vector spaces are also called linear maps, and their study is the subject of linear algebra.
The concept of homomorphism has been generalized, under the name of morphism, to many other structures that either do not have an underlying set, or are not algebraic. This generalization is the starting point of category theory.
A homomorphism may also be an isomorphism, an endomorphism, an automorphism, etc. (see below). Each of those can be defined in a way that may be generalized to any class of morphisms.
^Fricke, Robert (1897–1912). Vorlesungen über die Theorie der automorphen Functionen. B.G. Teubner. OCLC 29857037.
^See:
Ritter, Ernst (1892). "Die eindeutigen automorphen Formen vom Geschlecht Null, eine Revision und Erweiterung der Poincaré'schen Sätze" [The unique automorphic forms of genus zero, a revision and extension of Poincaré's theorem]. Mathematische Annalen (in German). 41: 1–82. doi:10.1007/BF01443449. S2CID 121524108. From footnote on p. 22: "Ich will nach einem Vorschlage von Hrn. Prof. Klein statt der umständlichen und nicht immer ausreichenden Bezeichnungen: "holoedrisch, bezw. hemiedrisch u.s.w. isomorph" die Benennung "isomorph" auf den Fall des holoedrischen Isomorphismus zweier Gruppen einschränken, sonst aber von "Homomorphismus" sprechen, … " (Following a suggestion of Prof. Klein, instead of the cumbersome and not always satisfactory designations "holohedric, or hemihedric, etc. isomorphic", I will limit the denomination "isomorphic" to the case of a holohedric isomorphism of two groups; otherwise, however, [I will] speak of a "homomorphism", … )
Fricke, Robert (1892). "Ueber den arithmetischen Charakter der zu den Verzweigungen (2,3,7) und (2,4,7) gehörenden Dreiecksfunctionen" [On the arithmetic character of the triangle functions belonging to the branch points (2,3,7) and (2,4,7)]. Mathematische Annalen (in German). 41 (3): 443–468. doi:10.1007/BF01443421. S2CID 120022176. From p. 466: "Hierdurch ist, wie man sofort überblickt, eine homomorphe*) Beziehung der Gruppe Γ(63) auf die Gruppe der mod. n incongruenten Substitutionen mit rationalen ganzen Coefficienten der Determinante 1 begründet." (Thus, as one immediately sees, a homomorphic relation of the group Γ(63) is based on the group of modulo n incongruent substitutions with rational whole coefficients of the determinant 1.) From footnote on p. 466: "*) Im Anschluss an einen von Hrn. Klein bei seinen neueren Vorlesungen eingeführten Brauch schreibe ich an Stelle der bisherigen Bezeichnung "meroedrischer Isomorphismus" die sinngemässere "Homomorphismus"." (Following a usage that has been introduced by Mr. Klein during his more recent lectures, I write in place of the earlier designation "merohedral isomorphism" the more logical "homomorphism".)
of this element. Thus a semigroup homomorphism between groups is necessarily a group homomorphism. A ring homomorphism is a map between rings that preserves...
homomorphism sometimes means a map which respects not only the group structure (as above) but also the extra structure. For example, a homomorphism of...
mathematics, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if R and S are rings, then a ring homomorphism is a function...
Then, for a homomorphism f : G → H, (f(u),f(v)) is an arc (directed edge) of H whenever (u,v) is an arc of G. There is an injective homomorphism from G to...
of two objects between which a homomorphism is given, and of the kernel and image of the homomorphism. The homomorphism theorem is used to prove the isomorphism...
composition of module homomorphisms is again a module homomorphism, and the identity map on a module is a module homomorphism. Thus, all the (say left)...
This article contains special characters. Without proper rendering support, you may see question marks, boxes, or other symbols. 0 (zero) is a number representing...
are unital, then a homomorphism satisfying f(1A) = 1B is said to be a unital homomorphism. The space of all K-algebra homomorphisms between A and B is...
the (usual) Gysin homomorphism induced by the zero-section embedding X ′ ↪ N {\displaystyle X'\hookrightarrow N} . The homomorphism i! encodes intersection...
Monoid homomorphisms are sometimes simply called monoid morphisms. Not every semigroup homomorphism between monoids is a monoid homomorphism, since it...
exists a group homomorphism h ∗ : π n ( X ) → H n ( X ) , {\displaystyle h_{*}\colon \pi _{n}(X)\to H_{n}(X),} called the Hurewicz homomorphism, from the n-th...
antihomomorphism is the same thing as a homomorphism. The composition of two antihomomorphisms is always a homomorphism, since reversing the order twice preserves...
f. A semigroup homomorphism between monoids preserves identity if it is a monoid homomorphism. But there are semigroup homomorphisms that are not monoid...
homological algebra, the Bockstein homomorphism, introduced by Meyer Bockstein (1942, 1943, 1958), is a connecting homomorphism associated with a short exact...
continuous homomorphism between real Lie groups turns out to be (real) analytic. The composition of two Lie homomorphisms is again a homomorphism, and the...
λ(v). If f: R → S is a homomorphism between commutative rings, then S can be viewed as an algebra over R. The ring homomorphism f is then called the structure...
In mathematics, especially in algebraic topology, an induced homomorphism is a homomorphism derived in a canonical way from another map. For example, a...
{Gray}\longrightarrow }~\operatorname {coker} c} where d is a homomorphism, known as the connecting homomorphism. Furthermore, if the morphism f is a monomorphism...
covering map p : G → H is a continuous group homomorphism. The map p is called the covering homomorphism. A frequently occurring case is a double covering...
for any group homomorphism f : G → H {\displaystyle f:G\to H} . Note that f op {\displaystyle f^{\text{op}}} is indeed a group homomorphism from G op {\displaystyle...
{\displaystyle G} chosen uniformly at random is a graph homomorphism. There is a connection between homomorphism densities and subgraph densities, which is elaborated...
∪ { ‹U› } ∪ { } = { ‹STRASSE›, ‹U› }. A string homomorphism (often referred to simply as a homomorphism in formal language theory) is a string substitution...
characterization of a faithfully flat homomorphism for a not-necessarily-flat homomorphism. Given an injective local homomorphism ( R , m ) ↪ ( S , n ) {\displaystyle...
group homomorphisms between free groups. Free constructions exist for many categories based on structured sets. See free object. Homomorphism groups...
functional analysis, a topological homomorphism or simply homomorphism (if no confusion will arise) is the analog of homomorphisms for the category of topological...
ideals as the main references. The three isomorphism theorems, called homomorphism theorem, and two laws of isomorphism when applied to groups, appear explicitly...