Group homomorphism

From Citizendium, the Citizens' Compendium

(Redirected from Group isomorphism)
Jump to: navigation, search


This article is developing and not approved.
Main Article
Talk
Related Articles  [?]
Bibliography  [?]
External Links  [?]
 
http://en.citizendium.org/wiki?title=Group_homomorphism&printable=yes
This is a draft article, under development and not meant to be cited but you can help to improve it. These unapproved articles are 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 f:G \rarr H is a homomorphism if

f : 1_G \mapsto 1_H ; \,
f : x^{-1} \mapsto f(x)^{-1} ; \,
f : xy \mapsto f(x) f(y) . \,

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

Retrieved from "http://en.citizendium.org/wiki/Group_homomorphism#Isomorphism"
Views
Personal tools