Group homomorphism

Group homomorphism

In mathematics, given two groups ("G", *) and ("H", ·), a group homomorphism from ("G", *) to ("H", ·) is a function "h" : "G" → "H" such that for all "u" and "v" in "G" it holds that: h(u*v) = h(u) - h(v)

where the group operation on the left hand side of the equation is that of "G" and on the right hand side that of "H".

From this property, one can deduce that "h" maps the identity element "eG" of "G" to the identity element "eH" of "H", and it also maps inverses to inverses in the sense that : h(u^{-1}) = h(u)^{-1} Hence one can say that "h" "is compatible with the group structure".

Older notations for the homomorphism "h"("x") may be "x""h", though this may be confused as an index or a general subscript.A more recent trend is to write group homomorphisms on the right of theirarguments, omitting brackets, so that "h"("x") becomes simply "x h".This approach is especially prevalent in areas of group theory where automata play a role, since it accords better with the convention that automata read words from left to right.

In areas of mathematics where one considers groups endowed with additional structure, a "homomorphism" sometimes means a map which respects not only the group structure (as above) but also the extra structure. For example, a homomorphism of topological groups is often required to be continuous.

Image and kernel

We define the "kernel of h" to be the set of elements in "G" which are mapped to the identity in "H":ker("h") = { "u" in "G" : "h"("u") = "eH" } and the "image of h" to be:im("h") = { "h"("u") : "u" in "G" }.The kernel is a normal subgroup of "G" (in fact, "h"("g"-1 "u" "g") = "h"("g")-1 "h"("u") "h"("g") = "h"("g")-1 "eH" "h"("g") = "h"("g")-1 "h"("g") = "eH") and the image is a subgroup of "H".The homomorphism "h" is injective (and called a "group monomorphism") if and only if ker("h") = {"e""G"}.

The kernel and image nowrap begin"a"("G") = {"a"("g"), "g" ∈ "G"}nowrap end of a homomorphism can be interpreted as measuring how close it is to being an isomorphism. The First Isomorphism Theorem states that the image of a group homomorphism, "a"("G") is isomorphic to the quotient group "G"/ker "a".


* Consider the cyclic group Z/3Z = {0, 1, 2} and the group of integers Z with addition. The map "h" : ZZ/3Z with "h"("u") = "u" mod 3 is a group homomorphism. It is surjective and its kernel consists of all integers which are divisible by 3.

* The exponential map yields a group homomorphism from the group of real numbers R with addition to the group of non-zero real numbers R* with multiplication. The kernel is {0} and the image consists of the positive real numbers.

* The exponential map also yields a group homomorphism from the group of complex numbers C with addition to the group of non-zero complex numbers C* with multiplication. This map is surjective and has the kernel { 2π"ki" : "k" in Z }, as can be seen from Euler's formula.

* Given any two groups "G" and "H", the map "h" : "G" → "H" which sends every element of "G" to the identity element of "H" is a homomorphism; its kernel is all of "G".

* Given any group "G", the identity map id : "G" → "G" with id("u") = "u" for all "u" in "G" is a group homomorphism.

The category of groups

If "h" : "G" → "H" and "k" : "H" → "K" are group homomorphisms, then so is "k" o "h" : "G" → "K". This shows that the class of all groups, together with group homomorphisms as morphisms, forms a category.

Types of homomorphic maps

If the homomorphism "h" is a bijection, then one can show that its inverse is also a group homomorphism, and "h" is called a "group isomorphism"; in this case, the groups "G" and "H" are called "isomorphic": they differ only in the notation of their elements and are identical for all practical purposes.

If "h": "G" → "G" is a group homomorphism, we call it an "endomorphism" of "G". If furthermore it is bijective and hence an isomorphism, it is called an "automorphism". The set of all automorphisms of a group "G", with functional composition as operation, forms itself a group, the "automorphism group" of "G". It is denoted by Aut("G"). As an example, the automorphism group of (Z, +) contains only two elements, the identity transformation and multiplication with -1; it is isomorphic to Z/2Z.

An epimorphism is a surjective homomorphism, that is, a homomorphism which is "onto" as a function. A monomorphism is an injective homomorphism, that is, a homomorphism which is "one-to-one" as a function.

Homomorphisms of abelian groups

If "G" and "H" are abelian (i.e. commutative) groups, then the set Hom("G", "H") of all group homomorphisms from "G" to "H" is itself an abelian group: the sum "h" + "k" of two homomorphisms is defined by:("h" + "k")("u") = "h"("u") + "k"("u") for all "u" in "G".The commutativity of "H" is needed to prove that "h" + "k" is again a group homomorphism. The addition of homomorphisms is compatible with the composition of homomorphisms in the following sense: if "f" is in Hom("K", "G"), "h", "k" are elements of Hom("G", "H"), and "g" is in Hom("H","L"), then :("h" + "k") o "f" = ("h" o "f") + ("k" o "f") and "g" o ("h" + "k") = ("g" o "h") + ("g" o "k").This shows that the set End("G") of all endomorphisms of an abelian group forms a ring, the "endomorphism ring" of "G". For example, the endomorphism ring of the abelian group consisting of the direct sum of "m" copies of Z/nZ is isomorphic to the ring of m-by-m matrices with entries in Z/nZ. The above compatibility also shows that the category of all abelian groups with group homomorphisms forms a preadditive category; the existence of direct sums and well-behaved kernels makes this category the prototypical example of an abelian category.

ee also

*Fundamental theorem on homomorphisms



External links

*planetmath reference|id=719|title=Group Homomorphism

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… …   Wikipedia

  • Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

  • Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… …   Wikipedia

  • Group representation — In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group… …   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

  • Homomorphism — In abstract algebra, a homomorphism is a structure preserving map between two algebraic structures (such as groups, rings, or vector spaces). The word homomorphism comes from the Greek language: ὁμός (homos) meaning same and μορφή (morphe)… …   Wikipedia

  • Group object — In category theory, a branch of mathematics, group objects are certain generalizations of groups which are built on more complicated structures than sets. A typical example of a group object is a topological group, a group whose underlying set is …   Wikipedia

  • Group extension — In mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group. If Q and N are two groups, then G is an extension of Q by N if there is a short exact sequence:1 ightarrow N… …   Wikipedia

  • Group isomorphism — In abstract algebra, a group isomorphism is a function between two groups that sets up a one to one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two… …   Wikipedia

  • Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …   Wikipedia