Skip to main content
Chemistry LibreTexts

Group isomorphism

  • Page ID
    18969
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    A group isomorphism is a special type of group homomorphism. It is a mapping between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the respective group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. Isomorphic groups have the same properties and the same structure of their multiplication table.

    Let (G, *) and (H, #) be two groups, where "*" and "#" are the binary operations in G and H, respectively. A group isomorphism from (G, *) to (H, #) is a bijection from G to H, i.e. a bijective mapping f : GH such that for all u and v in G one has

    f (u * v) = f (u) # f (v).

    Two groups (G, *) and (H, #) are isomorphic if an isomorphism between them exists. This is written:

    (G, *) \(\cong\) (H, #)

    If H = G and the binary operations # and * coincide, the bijection is an automorphism.


    Group isomorphism is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Online Dictionary of Crystallography.

    • Was this article helpful?