Group homomorphism

From Maths
Revision as of 11:28, 20 July 2016 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=A|msg=Demote to grade D once it's been fleshed out a bit, got references. The content is okay for now, it's accurate I promise.}} ==Definition== A ''[[group]...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Stub grade: A
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:
Demote to grade D once it's been fleshed out a bit, got references. The content is okay for now, it's accurate I promise.

Definition

A group homomorphism is a function, [ilmath]f:G\rightarrow H[/ilmath] between two groups, [ilmath](G,\times)[/ilmath] and [ilmath](H,*)[/ilmath] such that:

  • [ilmath]\forall a,b\in G[f(a\times b)=f(a)*f(b)][/ilmath]

These are homomorphisms in the categorical sense (of the [ilmath]\mathrm{GROUP} [/ilmath] category)

References