Skip to main content
Mathematics LibreTexts

11.7: Isomorphisms

  • Page ID
  • \( \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}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    The following informal definition of isomorphic systems should be memorized. No matter how technical a discussion about isomorphic systems becomes, keep in mind that this is the essence of the concept.

    Definition \(\PageIndex{1}\): Isomorphic Systems/Isomorphism - Informal

    Two algebraic systems are isomorphic if there exists a translation rule between them so that any true statement in one system can be translated to a true statement in the other.

    Example \(\PageIndex{1}\): How to Do Greek Arithmetic

    Imagine that you are a six-year-old child who has been reared in an English-speaking family, has moved to Greece, and has been enrolled in a Greek school. Suppose that your new teacher asks the class to do the following addition problem that has been written out in Greek.

    \begin{equation*} \tau \rho \acute{\iota} \alpha \quad \sigma \upsilon \nu \quad \tau \acute{\epsilon} \sigma \sigma \varepsilon \rho \alpha \quad \iota \sigma o \acute{\upsilon} \tau \alpha \iota \quad \_\_\_\_ \end{equation*}

    The natural thing for you to do is to take out your Greek-English/English-Greek dictionary and translate the Greek words to English, as outlined in Figure \(\PageIndex{1}\) After you've solved the problem, you can consult the same dictionary to find the proper Greek word that the teacher wants. Although this is not the recommended method of learning a foreign language, it will surely yield the correct answer to the problem. Mathematically, we may say that the system of Greek integers with addition (\(\sigma \upsilon \nu\)) is isomorphic to English integers with addition (plus). The problem of translation between natural languages is more difficult than this though, because two complete natural languages are not isomorphic, or at least the isomorphism between them is not contained in a simple dictionary.

    clipboard_e2cd2540e870adf7ec3feef038434a533.pngFigure \(\PageIndex{1}\): Solution of a Greek arithmetic problem

    Example \(\PageIndex{2}\): Software Implementation of Sets

    In this example, we will describe how set variables can be implemented on a computer. We will describe the two systems first and then describe the isomorphism between them.

    System 1: The power set of \(\{1, 2, 3, 4, 5\}\) with the operation union, \(\cup\text{.}\) For simplicity, we will only discuss union. However, the other operations are implemented in a similar way.

    System 2: Strings of five bits of computer memory with an OR gate. Individual bit values are either zero or one, so the elements of this system can be visualized as sequences of five 0's and 1's. An OR gate, Figure \(\PageIndex{2}\), is a small piece of computer hardware that accepts two bit values at any one time and outputs either a zero or one, depending on the inputs. The output of an OR gate is one, except when the two bit values that it accepts are both zero, in which case the output is zero. The operation on this system actually consists of sequentially inputting the values of two bit strings into the OR gate. The result will be a new string of five 0's and 1's. An alternate method of operating in this system is to use five OR gates and to input corresponding pairs of bits from the input strings into the gates concurrently.

    clipboard_e14dd3c2b80de7e05eddcbffed880c909.pngFigure \(\PageIndex{2}\): Translation between sets and strings of bits

    The Isomorphism: Since each system has only one operation, it is clear that union and the OR gate translate into one another. The translation between sets and bit strings is easiest to describe by showing how to construct a set from a bit string. If \(a_1a_2a_3a_4a_5\text{,}\) is a bit string in System 2, the set that it translates to contains the number \(k\) if and only if \(a_k\) equals 1. For example, \(10001\) is translated to the set \(\{1, 5\}\text{,}\) while the set \(\{1, 2\}\) is translated to \(11000.\) Now imagine that your computer is like the child who knows English and must do a Greek problem. To execute a program that has code that includes the set expression \(\{1, 2\} \cup \{1, 5\}\text{,}\) it will follow the same procedure as the child to obtain the result, as shown in Figure \(\PageIndex{3}\).

    clipboard_e2a60a39d287e2b93f29b7e71ac8ce5ac.pngFigure \(\PageIndex{3}\): Translation of a problem in set theory

    Group Isomorphisms

    Example \(\PageIndex{3}\): Multiplying Without Doing Multiplication

    This isomorphism is between \(\left[\mathbb{R}^+ ; \cdot \right]\) and \([\mathbb{R};+]\text{.}\) Until the 1970s, when the price of calculators dropped, multiplication and exponentiation were performed with an isomorphism between these systems. The isomorphism \(\left(\mathbb{R}^+\right.\) to \(\mathbb{R}\)) between the two groups is that \(\cdot\) is translated into \(+\) and any positive real number \(a\) is translated to the logarithm of \(a\text{.}\) To translate back from \(\mathbb{R}\) to \(\mathbb{R}^+\) , you invert the logarithm function. If base ten logarithms are used, an element of \(\mathbb{R}\text{,}\) \(b\text{,}\) will be translated to \(10^b\text{.}\) In pre-calculator days, the translation was done with a table of logarithms or with a slide rule. An example of how the isomorphism is used appears in Figure \(\PageIndex{4}\).

    clipboard_e9ed2f6003029ac191e16fde41e1587d7.pngFigure \(\PageIndex{4}\): Multiplication using logarithms

    The following definition of an isomorphism between two groups is a more formal one that appears in most abstract algebra texts. At first glance, it appears different, it is really a slight variation on the informal definition. It is the common definition because it is easy to apply; that is, given a function, this definition tells you what to do to determine whether that function is an isomorphism.

    Definition \(\PageIndex{2}\): Group Isomorphism

    If \(\left[G_1 ; *_1\right]\) and \(\left[G_2 ; *_2\right]\) are groups, \(f: G_1 \to G_2\) is an isomorphism from \(G_1\) into \(G_2\) if:

    1. \(f\) is a bijection, and
    2. \(f\left(a *_1 b\right) = f(a) *_2f(b)\) for all \(a, b\in G_1\)

    If such a function exists, then we say \(G_1\) is isomorphic to \(G_2\text{,}\) denoted \(G_1 \cong G_2\text{.}\)

    clipboard_ea3dc7ac49953b62105e94cd25f077404.pngFigure \(\PageIndex{5}\): Steps in proving that \(G_{1}\) and \(G_{2}\) are isomorphic

    Note \(\PageIndex{1}\)

    1. There could be several different isomorphisms between the same pair of groups. Thus, if you are asked to demonstrate that two groups are isomorphic, your answer need not be unique.
    2. Any application of this definition requires a procedure outlined in Figure \(\PageIndex{5}\). The first condition, that an isomorphism be a bijection, reflects the fact that every true statement in the first group should have exactly one corresponding true statement in the second group. This is exactly why we run into difficulty in translating between two natural languages. To see how Condition (b) of the formal definition is consistent with the informal definition, consider the function \(L:\mathbb{R}^+\to \mathbb{R}\) defined by \(L(x) = \log _{10}x\text{.}\) The translation diagram between \(\mathbb{R}^+\) and \(\mathbb{R}\) for the multiplication problem \(a \cdot b\) appears in Figure \(\PageIndex{6}\). We arrive at the same result by computing \(L^{-1} (L(a) + L(b))\) as we do by computing \(a \cdot b\text{.}\) If we apply the function \(L\) to the two results, we get the same image:
      \[\label{eq:1}L(a\cdot b)=L(L^{-1}(L(a)+L(b)))=L(a)+L(b)\]
      since \(L\left(L^{-1}(x)\right) = x\text{.}\) Note that \(\eqref{eq:1}\) is exactly Condition b of the formal definition applied to the two groups \(\mathbb{R}^+\) and \(\mathbb{R}\text{.}\)
    clipboard_e4113a689550d395ccd4b639c1e7c5af0.pngFigure \(\PageIndex{6}\): General Multiplication using Logarithms

    Example \(\PageIndex{4}\)

    Consider \(G= \left\{\left.\left( \begin{array}{cc} 1 & a \\ 0 & 1 \\ \end{array} \right) \right| a \in \mathbb{R}\right\}\) with matrix multiplication. The group \([\mathbb{R};+]\) is isomorphic to \(G\text{.}\) Our translation rule is the function \(f: \mathbb{R} \to G\) defined by \(f(a)=\left( \begin{array}{cc} 1 & a \\ 0 & 1 \\ \end{array} \right)\text{.}\) Since groups have only one operation, there is no need to state explicitly that addition is translated to matrix multiplication. That \(f\) is a bijection is clear from its definition.

    If \(a\) and \(b\) are any real numbers,

    \begin{equation*} \begin{split} f(a) f(b) & = \left( \begin{array}{cc} 1 & a \\ 0 & 1 \\ \end{array} \right)\left( \begin{array}{cc} 1 & b \\ 0 & 1 \\ \end{array} \right)\\ & = \left( \begin{array}{cc} 1 & a + b \\ 0 & 1 \\ \end{array} \right)\\ & = f(a + b) \end{split} \end{equation*}

    We can apply this translation rule to determine the inverse of a matrix in \(G\text{.}\) We know that \(a + (-a)=0\) is a true statement in \(\mathbb{R}\text{.}\) Using \(f\) to translate this statement, we get

    \begin{equation*} f(a) f(-a) = f(0) \end{equation*}


    \begin{equation*} \left( \begin{array}{cc} 1 & a \\ 0 & 1 \\ \end{array} \right)\left( \begin{array}{cc} 1 & -a \\ 0 & 1 \\ \end{array} \right)=\left( \begin{array}{cc} 1 & 0 \\ 0 & 1 \\ \end{array} \right) \end{equation*}


    \begin{equation*} \left( \begin{array}{cc} 1 & a \\ 0 & 1 \\ \end{array} \right)^{-1}= \left( \begin{array}{cc} 1 & -a \\ 0 & 1 \\ \end{array} \right) \end{equation*}

    The next theorem summarizes some of the general facts about group isomorphisms that are used most often in applications. We leave the proof to the reader.

    Theorem \(\PageIndex{1}\): Properties of Isomorphisms

    If \([G;*]\) and \([H;\diamond ]\) are groups with identities \(e\) and \(e'\text{,}\) respectively, and \(T:G \to H\) is an isomorphism from \(G\) into \(H\text{,}\) then:

    1. \(\displaystyle T(e) = e'\)
    2. \(T(a)^{-1} = T\left(a^{-1}\right)\) for all \(a \in G\text{,}\) and
    3. If \(K\) is a subgroup of \(G\text{,}\) then \(T(K) = \{T(a) : a \in K\}\) is a subgroup of \(H\) and is isomorphic to \(K\text{.}\)

    “Is isomorphic to” is an equivalence relation on the set of all groups. Therefore, the set of all groups is partitioned into equivalence classes, each equivalence class containing groups that are isomorphic to one another.

    Conditions for groups to not be isomorphic

    How do you decide that two groups are not isomorphic to one another? The negation of “\(G\) and \(H\) are isomorphic” is that no translation rule between \(G\) and \(H\) exists. If \(G\) and \(H\) have different cardinalities, then no bijection from \(G\) into \(H\) can exist. Hence they are not isomorphic. Given that \(\left| G\right| =\left| H\right|\text{,}\) it is usually impractical to list all bijections from \(G\) into \(H\) and show that none of them satisfy Condition b of the formal definition. The best way to prove that two groups are not isomorphic is to find a true statement about one group that is not true about the other group. We illustrate this method in the following checklist that you can apply to most pairs of non-isomorphic groups in this book.

    Assume that \([G;*]\) and \([H;\diamond ]\) are groups. The following are reasons for \(G\) and \(H\) to be not isomorphic.

    1. \(G\) and \(H\) do not have the same cardinality. For example, \(\mathbb{Z}_{12} \times \mathbb{Z}_5\) can't be isomorphic to \(\mathbb{Z}_{50}\) and \([\mathbb{R};+]\) can't be isomorphic to \(\left[\mathbb{Q}^+ ; \cdot \right]\text{.}\)
    2. \(G\) is abelian and \(H\) is not abelian since \(a * b = b * a\) is always true in \(G\text{,}\) but \(T(a) \diamond T(b) = T(b) \diamond T(a)\) would not always be true. We have seen two groups with six elements that apply here. They are \(\mathbb{Z}_6\) and the group of \(3 \times 3\) rook matrices (see Exercise 11.2.5). The second group is non-abelian, therefore it can't be isomorphic to \(\mathbb{Z}_6\text{.}\)
    3. \(G\) has a certain kind of subgroup that \(H\) doesn't have. Part (c) of Theorem \(\PageIndex{1}\) states that this cannot happen if \(G\) is isomorphic to \(H\text{.}\) \(\left[\mathbb{R}^* ; \cdot \right]\) and \(\left[\mathbb{R}^+ ; \cdot \right]\) are not isomorphic since \(\mathbb{R}^*\) has a subgroup with two elements, \(\{-1, 1\}\text{,}\) while the proper subgroups of \(\mathbb{R}^+\) are all infinite (convince yourself of this fact!).
    4. The number of solutions of \(x * x = e\) in \(G\) is not equal to the number of solutions of \(y \diamond y = e'\) in \(H\text{.}\) \(\mathbb{Z}_8\) is not isomorphic to \(\mathbb{Z}_2{}^3\) since \(x +_8 x = 0\) has two solutions, 0 and 4, while \(y + y = (0, 0, 0)\) is true for all \(y\in \mathbb{Z}_2{}^3\text{.}\) If the operation in \(G\) is defined by a table, then the number of solutions of \(x * x = e\) will be the number of occurrences of \(e\) in the main diagonal of the table. The equations \(x^3 = e\text{,}\) \(x^4= e, \dots\) can also be used in the same way to identify pairs of non-isomorphic groups.
    5. One of the cyclic subgroups of \(G\) equals \(G\) (i. e., \(G\) is cyclic), while none of \(H\)'s cyclic subgroups equals \(H\) (i. e., \(H\) is noncyclic). This is a special case of Condition c. \(\mathbb{Z}\) and \(\mathbb{Z} \times \mathbb{Z}\) are not isomorphic since \(\mathbb{Z} = \langle 1\rangle\) and \(\mathbb{Z} \times \mathbb{Z}\) is not cyclic.


    Exercise \(\PageIndex{1}\)

    State whether each pair of groups below is isomorphic. For each pair that is, give an isomorphism; for those that are not, give your reason.

    1. \(\mathbb{Z} \times \mathbb{R}\) and \(\mathbb{R} \times \mathbb{Z}\)
    2. \(\mathbb{Z}_2\times \mathbb{Z}\) and \(\mathbb{Z} \times \mathbb{Z}\)
    3. \(\mathbb{R}\) and \(\mathbb{Q} \times \mathbb{Q}\)
    4. \(\mathcal{P}(\{1, 2\})\) with symmetric difference and \(\mathbb{Z}_2{}^2\)
    5. \(\mathbb{Z}_2{}^2\) and \(\mathbb{Z}_4\)
    6. \(\mathbb{R}^4\) and \(M_{2\times 2}(\mathbb{R})\) with matrix addition
    7. \(\mathbb{R}^2\) and \(\mathbb{R} \times \mathbb{R}^+\)
    8. \(\mathbb{Z}_2\) and the \(2 \times 2\) rook matrices
    9. \(\mathbb{Z}_6\) and \(\mathbb{Z}_2\times \mathbb{Z}_3\)
    1. Yes, \(f(n, x) = (x, n)\) for \((n, x) \in \mathbb{Z} \times \mathbb{R}\) is an isomorphism.
    2. No, \(\mathbb{Z}_2\times \mathbb{Z}\) has a two element subgroup while \(\mathbb{Z} \times \mathbb{Z}\) does not.
    3. No. \(\mathbb{Q} \times \mathbb{Q}\) is countable and \(\mathbb{R}\) is not. Therefore, no bijection can exist between them.
    4. Yes.
    5. No.
    6. Yes, one isomorphism is defined by \(f\left(a_1, a_2,a_3,a_4\right)=\left( \begin{array}{cc} a_1 & a_2 \\ a_3 & a_4 \\ \end{array} \right)\text{.}\)
    7. Yes, one isomorphism is defined by \(f\left(a_1,a_2\right)=\left(a_1,10^{a_2}\right)\text{.}\)
    8. Yes.
    9. Yes \(f(k) = k(1,1)\text{.}\)

    Exercise \(\PageIndex{2}\)

    If you know two natural languages, show that they are not isomorphic.

    Exercise \(\PageIndex{3}\)

    Prove that the relation “is isomorphic to” on groups is transitive.


    Consider three groups \(G_1\text{,}\) \(G_2\text{,}\) and \(G_3\) with operations \(*, \diamond , \textrm{ and } \star \text{,}\) respectively. We want to show that if \(G_1\) is isomorphic to \(G_2\text{,}\) and if \(G_2\) is isomorphic to \(G_3\) , then \(G_1\) is isomorphic to \(G_3\text{.}\)

    \begin{equation*} G_1 \textrm{ isomorphic} \textrm{ to } G_2\Rightarrow \textrm{ there} \textrm{ exists} \textrm{ an} \textrm{ isomorphism } f:G_1\to G_2 \end{equation*}

    \begin{equation*} G_2 \textrm{ isomorphic} \textrm{ to } G_3\Rightarrow \textrm{ there} \textrm{ exists} \textrm{ an} \textrm{ isomorphism } g:G_2\to G_3 \end{equation*}

    If we compose \(g\) with \(f\text{,}\) we get the function \(g\circ f:G_1\to G_3\text{,}\) By Theorem 7.3.2 and Theorem 7.3.3, \(g\circ f\) is a bijection, and if \(a,b\in G_1\text{,}\)

    \begin{equation*} \begin{split} (g\circ f)(a*b) &=g(f(a*b))\\ &=g(f(a)\diamond f(b))\quad \textrm{ since } f \textrm{ is an isomorphism}\\ & =g(f(a))\star g(f(b))\quad \textrm{ since } g \textrm{ is an isomorphism}\\ & =(g\circ f)(a) \star (g\circ f)(b) \end{split} \end{equation*}

    Therefore, \(g\circ f\) is an isomorphism from \(G_1\) into \(G_3\text{,}\) proving that “is isomorphic to” is transitive.

    Exercise \(\PageIndex{4}\)

    1. Write out the operation table for \(G = [\{1, -1, i, -i \}; \cdot ]\) where \(i\) is the complex number for which \(i^2 = - 1\text{.}\) Show that \(G\) is isomorphic to \(\left[\mathbb{Z}_4;+_4\right]\text{.}\)
    2. Solve \(x^2= -1\) in \(G\) by first translating the equation to \(\mathbb{Z}_4\) , solving the equation in \(\mathbb{Z}_4\text{,}\) and then translating back to \(G\text{.}\)

    Exercise \(\PageIndex{5}\)

    The two groups \(\left[\mathbb{Z}_4;+_4\right]\) and \(\left[U_5;\times _5\right]\) are isomorphic. One isomorphism \(T:\mathbb{Z}_4\to U_5\) is partially defined by \(T(1)=3\text{.}\) Determine the values of \(T(0)\text{,}\) \(T(2)\text{,}\) and \(T(3)\text{.}\)


    By Theorem \(\PageIndex{1}\)(a), \(T(0)\) must be 1. \(T(2)=T(1+_4 1)=T(1)\times_5 T(1) = 3 \times_5 3 = 4\text{.}\) Since \(T\) is a bijection, \(T(3)=2\text{.}\)

    Exercise \(\PageIndex{6}\)

    Prove Theorem \(\PageIndex{1}\).

    Exercise \(\PageIndex{7}\)

    Prove that all infinite cyclic groups are isomorphic to \(\mathbb{Z}\text{.}\)


    Let \(G\) be an infinite cyclic group generated by \(a\text{.}\) Then, using multiplicative notation, \(G=\left\{\left.a^n\right| n\in \mathbb{Z}\right\}\text{.}\) The map \(T: G \rightarrow \mathbb{Z}\) defined by \(T\left(a^n\right)=n\) is an isomorphism. This is indeed a function, since \(a^n=a^m\) implies \(n =m\text{.}\) Otherwise, \(a\) would have a finite order and would not generate \(G\text{.}\)

    1. \(T\) is one-to-one, since \(T\left(a^n\right) = T\left(a^m\right)\) implies \(n = m\text{,}\) so \(a^n= a^m\text{.}\)
    2. \(T\) is onto, since for any \(n\in \mathbb{Z}\text{,}\) \(T\left(a^n\right) = n\text{.}\)
    3. \(\displaystyle T\left(a^n*a^m \right) = T\left(a^{n+m}\right) =n + m\ =T\left(a^n\right)+T\left(a^m\right)\)

    Exercise \(\PageIndex{8}\)

    1. Prove that \(\mathbb{R}^*\) is isomorphic to \(\mathbb{Z}_2 \times \mathbb{R}\text{.}\)
    2. Describe how multiplication of nonzero real numbers can be accomplished doing only additions and translations.

    Exercise \(\PageIndex{9}\)

    Prove that if \(G\) is any group and \(g\) is some fixed element of \(G\text{,}\) then the function \(\phi _g\) defined by \(\phi_g(x) = g*x*g^{-1}\) is an isomorphism from \(G\) into itself. An isomorphism of this type is called an inner automorphism.

    Exercise \(\PageIndex{10}\)

    It can be shown that there are five non-isomorphic groups of order eight. You should be able to describe at least three of them. Do so without use of tables. Be sure to explain why they are not isomorphic.


    \(\mathbb{Z}_{8}\), \(\mathbb{Z}_{2}\times\mathbb{Z}_{4}\), and \(\mathbb{Z}_{2}^{3}\). One other is the fourth dihedral group, introduced in Section 15.3.

    This page titled 11.7: Isomorphisms is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Al Doerr & Ken Levasseur via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.