Difference between revisions of "Group homomorphism"

From Citizendium
Jump to: navigation, search
(section heading and bold anchor for redirect)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
 +
{{subpages}}
 
In [[group theory]] a '''group homomorphism''' is a map from one [[group (mathematics)|group]] to another group that preserves the group operations.
 
In [[group theory]] a '''group homomorphism''' is a map from one [[group (mathematics)|group]] to another group that preserves the group operations.
  
Line 14: Line 15:
  
 
==Isomorphism==
 
==Isomorphism==
We say that two groups are ''isomorphic'' if there is a [[bijective mapping|bijective]]) homomorphism of one onto the other : the mapping is called an '''[[group isomorphism|isomorphism]]'''.  Isomorphic groups have identical structure and are often thought of as just being relabelings of one another.
+
We say that two groups are ''isomorphic'' if there is a [[bijective mapping|bijective]] homomorphism of one onto the other : the mapping is called an '''[[group isomorphism|isomorphism]]'''.  Isomorphic groups have identical structure and are often thought of as just being relabelings of one another.
 +
 
 +
==References==
 +
* {{cite book | author=A.G. Howson | title=A handbook of terms used in algebra and analysis | publisher=[[Cambridge University Press]] | year=1972 | isbn=0-521-09695-2 | pages=34-37 }}

Latest revision as of 06:00, 11 February 2009

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In group theory a group homomorphism is a map from one group to another group that preserves the group operations.

Formally, therefore, a map is a homomorphism if

although the first two are in fact consequences of the third.

The kernel of a homomorphism is the set of all elements of the domain that map to the identity element of the codomain. This subset is a normal subgroup, and every normal subgroup is the kernel of some homomorphism.

An embedding or monomorphism is an injective homomorphism (or, equivalently, one whose kernel consists only of the identity element).

Isomorphism

We say that two groups are isomorphic if there is a bijective homomorphism of one onto the other : the mapping is called an isomorphism. Isomorphic groups have identical structure and are often thought of as just being relabelings of one another.

References