Group homomorphism

From Maths
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