| Group Homomorphism |
Article Index for Group |
Website Links For Group |
Information AboutGroup Homomorphism |
| CATEGORIES ABOUT GROUP HOMOMORPHISM | |
| group theory | |
where the left hand side of the equation is in G and the right hand side in 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 their arguments, 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 :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''}. EXAMPLES
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 . ISOMORPHISMS, ENDOMORPHISMS AND AUTOMORPHISMS 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 and multiplication with -1; it is isomorphic to Z/2Z. 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 two copies of Z/2Z (the Klein Four-group ) is isomorphic to the ring of 2-by-2 Matrices with entries in Z/2Z. 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 . |
|
|