Group homomorphism

https://arbital.com/p/group_homomorphism

by Patrick Stevens Jun 13 2016 updated Jun 22 2016

A group homomorphism is a "function between groups" that "respects the group structure".


[summary: A group homomorphism is a function between groups which "respects the group structure".]

[summary(Technical): Formally, given two groups $~$(G, +)$~$ and $~$(H, *)$~$ (which hereafter we will abbreviate as $~$G$~$ and $~$H$~$ respectively), a group homomorphism from $~$G$~$ to $~$H$~$ is a Function $~$f$~$ from the underlying set $~$G$~$ to the underlying set $~$H$~$, such that $~$f(a) * f(b) = f(a+b)$~$ for all $~$a, b \in G$~$.]

A group homomorphism is a function between groups which "respects the group structure".

Definition

Formally, given two groups $~$(G, +)$~$ and $~$(H, *)$~$ (which hereafter we will abbreviate as $~$G$~$ and $~$H$~$ respectively), a group homomorphism from $~$G$~$ to $~$H$~$ is a Function $~$f$~$ from the underlying set $~$G$~$ to the underlying set $~$H$~$, such that $~$f(a) * f(b) = f(a+b)$~$ for all $~$a, b \in G$~$.

Examples

Properties


Comments

Patrick Stevens

I have a question about general Arbital practice here. A mathematician will probably already know what a group homomorphism is, but they probably also don't need the proofs of the Properties, for instance, and they don't need the explanation of the trivial group. Should I have split this up into different lenses in some way?

Eric Bruylant

so8res: "I would set up the page as follows:

A group homomorphism is X. Key properties of group homomorphisms include:

  1. Thing. Implications implications implications. ([ Proof.])
  2. Thing. Implications implications. ([ Proof.])

I'd then eventually add an intro lens."

Having proofs on child pages makes sense to me too.