Editing Group homomorphism

{{Short description|Mathematical function between groups that preserves multiplication structure}}
[[Image:Group homomorphism ver.2.svg|right|thumb|250px|Depiction of a group homomorphism (''h'') from ''G'' (left) to ''H'' (right). The oval inside ''H'' is the [[Image_(mathematics)|image]] of ''h''. ''N'' is the [[Kernel_(algebra)#Group_homomorphisms|kernel]] of ''h'' and ''aN'' is a [[coset]] of ''N''.]]
{{Group theory sidebar |Basics}}

In [[mathematics]], given two [[group (mathematics)|groups]], (''G'',∗) and (''H'', ·), a '''group homomorphism''' from (''G'',∗) to (''H'', ·) is a [[function (mathematics)|function]] ''h'' : ''G'' → ''H'' such that for all ''u'' and ''v'' in ''G'' it holds that
:<math> h(u*v) = h(u) \cdot h(v) </math>

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

From this property, one can deduce that ''h'' maps the [[identity element]] ''e<sub>G</sub>'' of ''G'' to the identity element ''e<sub>H</sub>'' of ''H'',
:<math> h(e_G) = e_H</math>

and it also maps inverses to inverses in the sense that 
:<math> h\left(u^{-1}\right) = h(u)^{-1}. \,</math>

Hence one can say that ''h'' "is compatible with the group structure".

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 group]]s is often required to be continuous.

== Properties ==

Let <math>e_{H}</math> be the identity element of the (''H'', ·) group and <math>u \in G</math>, then 

:<math>h(u) \cdot e_{H} = h(u) = h(u*e_{G}) = h(u) \cdot h(e_{G})</math>

Now by multiplying for the inverse of <math>h(u)</math> (or applying the cancellation rule) we obtain 
:<math>e_{H} = h(e_{G})</math>

Similarly,

:<math> e_H = h(e_G) = h(u*u^{-1}) = h(u)\cdot h(u^{-1})</math>

Therefore for the uniqueness of the inverse: <math>h(u^{-1}) =  h(u)^{-1}</math>.

== Types ==
;[[Monomorphism]]{{anchor|monomorphism}}: A group homomorphism that is [[injective function|injective]] (or, one-to-one); i.e., preserves distinctness.
;[[Epimorphism]]: A group homomorphism that is [[surjective function|surjective]] (or, onto); i.e., reaches every point in the codomain.
;[[group isomorphism|Isomorphism]]: A group homomorphism that is [[bijection|bijective]]; i.e., injective and surjective. Its inverse is also a group homomorphism. In this case, the groups ''G'' and ''H'' are called ''isomorphic''; they differ only in the notation of their elements (except of identity element) and are identical for all practical purposes. I.e. we re-label all elements except identity.
;[[Endomorphism]]: A group homomorphism, ''h'': ''G'' → ''G''; the domain and codomain are the same. Also called an endomorphism of ''G''.
;[[Automorphism]]: A group endomorphism that is bijective, and hence an isomorphism. The set of all [[automorphism]]s of a group ''G'', with [[functional composition]] as operation, itself forms 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'''/2'''Z''', +).

== Image and kernel ==
{{main article|Image (mathematics)|kernel (algebra)}}
We define the ''[[kernel (algebra)|kernel]] of h'' to be the set of elements in ''G'' which are mapped to the identity in ''H''
: <math> \operatorname{ker}(h) := \left\{u \in G\colon h(u) = e_{H}\right\}.</math>

and the ''[[Image (mathematics)|image]]  of h'' to be
: <math> \operatorname{im}(h) := h(G) \equiv \left\{h(u)\colon u \in G\right\}.</math>

The kernel and image of a homomorphism can be interpreted as measuring how close it is to being an isomorphism. The [[isomorphism theorem|first isomorphism theorem]] states that the image of a group homomorphism, ''h''(''G'') is isomorphic to the quotient group ''G''/ker ''h''.

The kernel of h is a [[normal subgroup]] of ''G''. Assume <math>u \in \operatorname{ker}(h)</math> and show <math>g^{-1} \circ u \circ g \in \operatorname{ker}(h)</math> for arbitrary <math>u, g</math>:
: <math>\begin{align}
  h\left(g^{-1} \circ u \circ g\right) &= h(g)^{-1} \cdot h(u) \cdot h(g) \\
                                       &= h(g)^{-1} \cdot e_H  \cdot h(g) \\
                                       &= h(g)^{-1} \cdot h(g) = e_H,
\end{align}</math>
The image of h is a [[subgroup]] of ''H''.

The homomorphism, ''h'', is a [[#monomorphism|''group monomorphism'']]; i.e., ''h'' is injective (one-to-one) if and only if {{nowrap|ker(''h'') {{=}} {''e''<sub>''G''</sub>}}}. Injection directly gives that there is a unique element in the kernel, and, conversely, a unique element in the kernel gives injection:
:<math>\begin{align}
                  &&                           h(g_1) &= h(g_2) \\
  \Leftrightarrow &&         h(g_1) \cdot h(g_2)^{-1} &= e_H \\
  \Leftrightarrow && h\left(g_1 \circ g_2^{-1}\right) &= e_H,\  \operatorname{ker}(h) = \{e_G\} \\
  \Rightarrow     &&               g_1 \circ g_2^{-1} &= e_G \\
  \Leftrightarrow &&                              g_1 &= g_2 
\end{align}</math>

== Examples ==
* Consider the [[cyclic group]] Z{{sub|3}} = ('''Z'''/3'''Z''', +) = ({0, 1, 2}, +) and the group of integers ('''Z''', +). The map ''h'' : '''Z''' → '''Z'''/3'''Z''' with ''h''(''u'') = ''u'' [[modular arithmetic|mod]] 3 is a group homomorphism. It is [[surjective]] and its kernel consists of all integers which are divisible by 3.
{{bulleted list|
The set
:<math>G \equiv \left\{\begin{pmatrix}
    a & b \\
    0 & 1
  \end{pmatrix} \bigg| a > 0, b \in \mathbf{R}\right\}
</math>
forms a group under matrix multiplication. For any complex number ''u'' the function ''f<sub>u</sub>'' : ''G'' → '''C<sup>*</sup>''' defined by
:<math>\begin{pmatrix}
    a & b \\
    0 & 1
  \end{pmatrix} \mapsto a^u
</math>
is a group homomorphism.
|
Consider a multiplicative group of [[positive real numbers]] ('''R'''<sup>+</sup>, ⋅) for any complex number ''u''. Then the function ''f<sub>u</sub>'' : '''R'''<sup>+</sup> → '''C''' defined by
:<math>f_u(a) = a^u</math>
is a group homomorphism.
}}
* The [[exponential function|exponential map]] yields a group homomorphism from the group of [[real number]]s '''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 number]]s '''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'' ∈ '''Z'''}, as can be seen from [[Euler's formula]].  Fields like '''R''' and '''C''' that have homomorphisms from their additive group to their multiplicative group are thus called [[exponential field]]s.
* The function <math>\Phi: (\mathbb{Z}, +) \rightarrow (\mathbb{R}, +)</math>, defined by <math>\Phi(x) = \sqrt[]{2}x</math> is a homomorphism.
* Consider the two groups <math>(\mathbb{R}^+, *)</math> and <math>(\mathbb{R}, +)</math>, represented respectively by <math>G</math> and <math>H</math>, where <math>\mathbb{R}^+</math> is the positive real numbers. Then, the function <math>f: G \rightarrow H </math> defined by the [[Logarithm|logarithm function]] is a homomorphism.

== Category of groups ==
If {{nowrap|''h'' : ''G'' → ''H''}} and {{nowrap|''k'' : ''H'' → ''K''}} are group homomorphisms, then so is {{nowrap|''k'' ∘ ''h'' : ''G'' → ''K''}}. This shows that the class of all groups, together with group homomorphisms as morphisms, forms a [[category theory|category]] (specifically the [[category of groups]]).

== Homomorphisms of abelian groups ==
If ''G'' and ''H'' are [[abelian group|abelian]] (i.e., commutative) groups, then the set {{nowrap|Hom(''G'', ''H'')}} of all group homomorphisms from ''G'' to ''H'' is itself an abelian group: the sum {{nowrap|''h'' + ''k''}} of two homomorphisms is defined by
:(''h'' + ''k'')(''u'') = ''h''(''u'') + ''k''(''u'')&nbsp;&nbsp;&nbsp; for all ''u'' in ''G''.
The commutativity of ''H'' is needed to prove that {{nowrap|''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 {{nowrap|Hom(''K'', ''G'')}}, ''h'', ''k'' are elements of {{nowrap|Hom(''G'', ''H'')}}, and ''g'' is in {{nowrap|Hom(''H'', ''L'')}}, then 
:{{nowrap|1=(''h'' + ''k'') ∘ ''f''  =  (''h'' ∘ ''f'') + (''k'' ∘ ''f'')}} &nbsp;&nbsp; and &nbsp;&nbsp; {{nowrap|1=''g'' ∘ (''h'' + ''k'')  = (''g'' ∘ ''h'') + (''g'' ∘ ''k'')}}.
Since the composition is [[associative]], this shows that the set End(''G'') of all endomorphisms of an abelian group forms a [[ring (algebra)|ring]], the ''[[endomorphism ring]]'' of ''G''. For example, the endomorphism ring of the abelian group consisting of the [[Direct sum of groups|direct sum]] of ''m'' copies of '''Z'''/''n'''''Z''' is isomorphic to the ring of ''m''-by-''m'' [[matrix (mathematics)|matrices]] with entries in '''Z'''/''n'''''Z'''. 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]].

==See also==
*[[Homomorphism]]
*[[Fundamental theorem on homomorphisms]]
*[[Quasimorphism]]
*[[Ring homomorphism]]

==References==
*{{cite book
| last1 = Dummit
| first1 = D. S.
| last2 = Foote
| first2 = R.
| title = Abstract Algebra
| publisher = Wiley
| pages = 71–72
| year = 2004
| edition = 3rd
| isbn = 978-0-471-43334-7
}}
* {{Lang Algebra|edition=3r}}

==External links==
*{{MathWorld|title=Group Homomorphism|urlname=GroupHomomorphism|author=Rowland, Todd|author2=Weisstein, Eric W.|name-list-style=amp}}

[[Category:Group theory]]
[[Category:Morphisms]]