From hyperspacewiki
Revision as of 05:47, 29 November 2018 by Jflopezfernandez (talk | contribs) (Created page)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Formal Definition

Definition. If $F$ and $G$ are groups, a homomorphism from $G$ to $H$ is a function $f : G \to H$ such that for any two elements $a$ and $b$ in $G$, $$f(ab) = f(a) \cdot f(b)$$ If there exists a homomorphism from $G$ onto $H$, we say that $H$ is a homomorphic image of $G$.[1]

See also


  1. Pinter, Charles C. A Book of Abstract Algebra. Dover ed. Mineola, N.Y: Dover Publications, 2010.