Homomorphism

From Maths
Revision as of 22:04, 19 October 2016 by Alec (Talk | contribs) (Fixed disambiguation listing (for now))

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Grade: B
This page is currently being refactored (along with many others)
Please note that this does not mean the content is unreliable. It just means the page doesn't conform to the style of the site (usually due to age) or a better way of presenting the information has been discovered.

Disambiguation

This page lists articles associated with the same title.

If an internal link led you here, you may wish to change the link to point directly to the intended article.


Homomorphism may refer to:

For types of morphism (eg "epimorphism", "automorphism" and so forth, see:

OLD STUFF


Stub grade: B
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Flesh out, modules, algebras, measurable spaces!




OLD PAGE

A Homomorphism (not to be confused with homeomorphism) is a structure preserving map.

For example, given vector spaces [ilmath]V\text{ and }W[/ilmath] then [math]\text{Hom}(V,W)[/math] is the vector space of all linear maps of the form [math]f:V\rightarrow W[/math], as linear maps will preserve the vector space structure.

Definition

Given two groups [ilmath](A,\times_A)[/ilmath] and [ilmath](B,\times_B)[/ilmath] a map [ilmath]f:A\rightarrow B[/ilmath] is a homomorphism if:

  • [math]\forall a,b\in A[f(a\times_Ab)=f(a)\times_Bf(b)][/math] - note the [ilmath]\times_A[/ilmath] and [ilmath]\times_B[/ilmath] operations


Note about topological homomorphisms:

Isn't a thing! I've seen 1 book ever (and nothing online) call a continuous map a homomorphism, Homeomorphism is a big thing in topology though. If something in topology (eg [math]f_*:\pi_1(X)\rightarrow\pi_2(X)[/math]) it's not talking topologically (as in this case) it's a group (in this case the Fundamental group and just happens to be under the umbrella of Topology

Types of homomorphism

Type Meaning Example Note Specific
example
Endomorphism[1] A homomorphism from a group into itself [ilmath]f:G\rightarrow G[/ilmath] into doesn't mean injection (obviously)
Isomorphism A bijective homomorphism [ilmath]f:G\rightarrow H[/ilmath] ([ilmath]f[/ilmath] is a bijective)
Monomorphism (Embedding[1]) An injective homomorphism [ilmath]f:G\rightarrow H[/ilmath] ([ilmath]f[/ilmath] is injective) Same as saying [ilmath]f:G\rightarrow Im_f(G)[/ilmath] is an Isomorphism.
Automorphism[1] A homomorphism from a group to itself [ilmath]f:G\rightarrow G[/ilmath] A surjective endomorphism, an isomorphism from [ilmath]G[/ilmath] to [ilmath]G[/ilmath] Conjugation

Other uses for homomorphism

The use of the word "homomorphism" pops up a lot. It is not unique to groups. Just frequently associated with. For example:

References

  1. 1.0 1.1 1.2 Algebra - Serge Lang - Revised Third Edition - GTM