Isomorphism

From hyperspacewiki
Revision as of 06:13, 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. Let $G_1$ and $G_2$ be groups. A bijective function $f : G_1 \to G_2$ with the property that for any two elements $a$ and $b$ in $G_1$, $$f(ab) = f(a) \cdot f(b)$$ is called an isomorphism from $G_1$ to $G_2$. If this isomorphism exists, we say that $G_1$ is isomorphic to $G_2$, written $G_1 \cong G_2$.[1]

See also

References

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