Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

3.3: Isomorphisms

( \newcommand{\kernel}{\mathrm{null}\,}\)

As we have been exploring various groups, I’m sure you’ve noticed that some groups seem to look and behave the same. For example, if we choose the same colors for our arrows and ignore the labels on the vertices, the Cayley diagram for D3 with generating set {s,s} looks the same as the Cayley diagram for S3 with generating set {s1,s2}. That is, if we pick the appropriate colors and set the Cayley diagram for D3 (with generating set {s,s}) on top of the Cayley diagram for S3 (with generating set {s1,s2}) such that the identities match up, then the two Cayley diagrams are identical up to relabeling the rest of the vertices. Figure 3.3.1 should make this clear. This act of matching up the Cayley diagrams establishes a correspondence between the elements of the two groups: eess1ss2sss1s2sss2s1ssss1s2s1

Notice that each correspondence is compatible with the correspondence of the generators, namely: ss1 and ss2. Given this correspondence, it should not be surprising that the subgroup lattices for D3 and S3 have the same structure.

clipboard_e87793b3f33851cc4b497c2386c1cf45a.png
Figure 3.3.1: Cayley Diagrams for D3 and S3 with generating sets {s,s} and {s1,s2}, respectively

The goal of this section is to formalize this phenomenon by introducing the notion of an isomorphism. First, let’s develop a little more intuition.

If two groups G1 and G2 have generating sets T1 and T2 such that we can color the edges of the corresponding Cayley diagrams so that the diagrams are identical up to relabeling of the vertices, then we say that there is a matching between G1 and G2. Above, we showed that D3 and S3 have a matching. It’s important to emphasize that the existence of a matching between two groups depends on our choice of generating set. If two Cayley diagrams do not look alike, it does not immediately imply that there is not a matching between the groups since it might be the case that choosing different generating sets for the two groups leads to a matching.

Perhaps you’ve noticed that the Cayley diagram for R4 with generating set {r} looks like the Cayley diagram for the subgroup j={±1,±j} with generating set {j} in Q8. That is, there is a matching between R4 and j, which we’ve depicted in Figure 3.3.2. Similarly, the Cayley diagram for S2 with generating set {s} looks like the Cayley diagram for the subgroup 1={±1} with generating set {1} in Q8. The matching between S2 and 1 is depicted in Figure [fig:isoS2]. It’s fairly easy to see that there is also a matching between S2 and the subgroup v={e,v} of V4. Since there is a matching between S2 and 1 and a matching between S2 and v, there is a matching between 1 and v.

Problem 3.3.1

We have seen two different Cayley diagrams for D3, one with generating set {s,r} and one with generating set {s,s}. As Figure 3.3.1 illustrates, there is a matching between D3 and S3 that relies on the generating sets {s,s} and {s1,s2}, respectively. Find a different matching between D3 and S3 that utilizes the generating set {r,s} for D3.

The next theorem follows immediately from the definition of matching.

Problem 3.3.2

If there is a matching between G1 and G2 using the generating sets T1 and T2, respectively, then |G1|=|G2| and T1 and T2 have the same cardinality.

Unfortunately, the converse of the previous theorem is not true in general. That is, two groups that have the same order may or may not have a matching.

clipboard_e3c5c60d94cb1f74ea9a8ec5b3a1b6796.png
Figure 3.3.2: A matching between R4=r and jQ8
clipboard_e990b9e271661b09e935fb67f7d690441.png
Figure 3.3.3: A matching between S2=s and 1Q8

Loosely speaking, if two groups have a matching, then the two groups have the same structure and characteristics. In other words, the two groups essentially do the “same kind" of thing. In particular, the corresponding elements in each group have the same characteristics.

On the other hand, if one group has a property that the other does not have, then the two groups cannot have a matching. For example, if one group is abelian and the other is not, then the two groups cannot have a matching. Moreover, for each element g in one group with the property gk=e for some kZ, there must be a corresponding element in the other group with the same property. Otherwise, there cannot be a matching between the two groups.

Problem 3.3.3

Determine whether there is a matching between D4 and Spin1×2.

Problem 3.3.4

Determine whether there is a matching between R4 and V4.

Problem 3.3.5

Determine whether there is a matching between D3 and R6.

Problem 3.3.6

Determine whether there is a matching between any pair of the following groups: R8 (i.e., the group of rotational symmetries of a regular octagon), D4, Q8.

Problem 3.3.7

Consider two light switches on a wall side by side. Consider the group of actions that consists of all possible actions that you can do to the two light switches. For example, one action is toggle the left light switch while leaving the right alone. Let’s call this group L2.

  1. How many distinct actions does L2 have?
  2. Can you find a minimal generating set for L2? If so, give these actions names and then write all of the actions of L2 as words in your generator(s).
  3. Using your generating set from part (b), draw the corresponding Cayley diagram for L2.
  4. Determine whether there is a matching between L2 and either of R4 or V4.

Problem 3.3.8

Consider three light switches on a wall side by side. Consider the group of actions that consists of all possible actions that you can do to the three light switches. Let’s call this group L3. It should be easy to see that L3 has 8 distinct actions.

  1. Can you find a minimal generating set for L3? If so, give these actions names and then write all of the actions of L3 as words in your generator(s).
  2. Using your generating set from part (a), draw the corresponding Cayley diagram for L3.
  3. Is L3 cyclic? Briefly justify your answer.
  4. Is L3 abelian? Briefly justify your answer.
  5. Determine whether there is a matching between L3 and any of R8, D4, Spin1×2, or Q8.

Suppose G is a finite group and consider the group table for G. A coloring for the group table is an assignment of a unique color to each element of the group. For example, Figure 3.3.4 depicts a coloring for the group table of V4.

clipboard_eebc44dd461c5b56f1bc10c502c9abcac.png
Figure 3.3.4: A coloring for the Group table of V4

We say that two finite groups have an identical table coloring, if we can arrange the rows and columns of each table and choose colorings for each table so that the pattern of colors is the same for both tables. Clearly, this is only possible if the two groups have the same order. In Problem 2.5.5, we showed that R4 and V4 never have an identical table coloring.

Problem 3.3.9

Determine whether V4 and L2 have an identical table coloring.

Problem 3.3.10

Suppose there is a matching between finite groups G1 and G2. Explain why G1 and G2 must have an identical table coloring.

Problem 3.3.11

Is the converse of the previous problem true? That is, if G1 and G2 are finite groups that have an identical table coloring, will there be a matching between G1 and G2?

Problem 3.3.12

Suppose there is a matching between G1 and G2 and suppose T1 is a generating set for G1. Explain why there must be a generating set T2 for G2 and an appropriate choice of colors such that the Cayley diagrams for G1 and G2 using the generating sets T1 and T2, respectively, are identical up to relabeling of the vertices.

The last few problems have led us to the following theorem.

Theorem 3.3.1

If G1 and G2 are two finite groups, then there is a matching between G1 and G2 if and only if G1 and G2 have an identical table coloring.

As you’ve likely discovered, matchings and identical table coloring (or the lack thereof) are great for developing intuition about when two groups have identical structure, but the process of finding matchings and identical table colorings is cumbersome. Moreover, it turns out to not be a very useful approach for proving theorems. We need a different approach if we want to develop the general theory any further.

If two finite groups G1 and G2 have an identical table coloring, then

the product of corresponding elements yields the corresponding result.

This is the essence of what it means for two groups to have the same structure.

Let’s try to make this a little more precise. Suppose (G1,) and (G2,) are two finite groups that have an identical table coloring and let x1,y1G1. Then these two elements have corresponding elements in the group table for G2, say x2 and y2, respectively. In other words, x1 and x2 have the same color while y1 and y2 have the same color. Since G1 is closed under its binary operation , there exists z1G1 such that z1=x1y1. But then there must exist a z2G2 such that z2 has the same color as z1. What must be true of x2y2? Since the two tables exhibit the same color pattern, it must be the case that z2=x2y2. This is what it means for the product of corresponding elements to yield the corresponding result. Figure 3.3.5 illustrates this phenomenon for group tables.

clipboard_ec3b27b1badd803e8834e9bc187afceec.png
Figure 3.3.5: IsoGroup Tables

We can describe the identical table matching between G1 and G2 using a function. Let ϕ:G1G2 be the one-to-one and onto function that maps elements of G1 to their corresponding elements in G2. Then ϕ(x1)=x2, ϕ(y1)=y2, and ϕ(z1)=z2. Since z2=x2y2, we obtain ϕ(x1y1)=ϕ(z1)=z2=x2y2=ϕ(x1)ϕ(y1). In summary, it must be the case that ϕ(x1y1)=ϕ(x1)ϕ(y1). We are now prepared to state a formal definition of what it means for two groups to be isomorphic.

Definition: Isomorphic

Let (G1,) and (G2,) be two groups. Then G1 is isomorphic to G2, written G1G2, if and only if there exists a one-to-one and onto function ϕ:G1G2 such that ϕ(xy)=ϕ(x)ϕ(y). The function ϕ is referred to as an isomorphism. Equation 3.3.3 is often referred to as the homomorphic property.

It should be clear from the development that two finite groups are isomorphic if and only if they have an identical table coloring. Moreover, since two finite groups have an identical table coloring if and only if there is a matching between the two groups, it must be the case that two groups are isomorphic if and only if there is a matching between the two groups. The upshot is that we have three different ways to think about what it means for two groups to be isomorphic:

  1. There exists generating sets for the two groups such that the respective Cayley diagrams are identical up to relabeling of the vertices.
  2. There exists a choice of colors and an arrangement of the rows and columns of the group tables such that the two tables exhibit the same pattern of colors.
  3. There exists a bijective function between the two groups that satisfies the homomorphic property.

Problem 3.3.13

Using the work that you did earlier in this section, determine which of the following groups are isomorphic to each other: S2, 1 in Q8, R3, R4, V4, L2, i in Q8, sr,sr3 in D4, R5, R6, D3, S3, R7, R8, D4, Spin1×2, Q8, L3.

Problem 3.3.14

Consider the groups (R,+) and (R+,), where R+ is the set of positive real numbers. It turns out that these two groups are isomorphic, but this would be difficult to discover using our previous techniques because the groups are infinite. Define ϕ:RR+ via ϕ(r)=er (where e is the natural base, not the identity). Prove that ϕ is an isomorphism.

Problem 3.3.15

For each of the following pairs of groups, determine whether the given function is an isomorphism from the first group to the second group.

  1. (Z,+) and (Z,+), ϕ(n)=n+1.
  2. (Z,+) and (Z,+), ϕ(n)=n.
  3. (Q,+) and (Q,+), ϕ(x)=x/2.

Problem 3.3.16

Show that the groups (Z,+) and (2Z,+) are isomorphic.

Perhaps one surprising consequence of the previous problem is that when dealing with infinite groups, a group can have a proper subgroup that it is isomorphic to. Of course, this never happens with finite groups.

Once we know that two groups are isomorphic, there are lots of interesting things we can say. The next theorem tells us that isomorphisms map the identity element of one group to the identity of the second group. This was already clear using Cayley diagrams and groups tables, but you should try to prove the theorem directly using Definition: Isomorphic.

Theorem 3.3.2

Suppose ϕ:G1G2 is an isomorphism from the group (G1,) to the group (G2,). If e1 and e2 are the identity elements of G1 and G2, respectively, then ϕ(e1)=e2.

The next theorem tells us that isomorphisms respect inverses.

Theorem 3.3.3

If ϕ:G1G2 is an isomorphism from the group (G1,) to the group (G2,), then ϕ(g1)=[ϕ(g)]1.

It turns out that “isomorphic" () determines an equivalence relation on the class of all possible groups. The next two theorems justify that is symmetric and transitive.

Theorem 3.3.4

If ϕ:G1G2 is an isomorphism from the group (G1,) to the group (G2,), then the function ϕ1:G2G1 is an isomorphism.

Theorem 3.3.5

If ϕ:G1G2 and ψ:G2G3 are isomorphisms from the groups (G1,) to (G2,) and (G2,) to (G3,), respectively, then the composite function ψϕ is an isomorphism of G1 and G3.

The only thing left to do in order to justify the next theorem is prove that is reflexive.

Theorem 3.3.6

If G is any nonempty collection of groups, then the relation is an equivalence relation on G.

Mathematicians love to classify things. In particular, mathematicians want to classify groups. One can think of this pursuit as a taxonomy of groups. In order to simplify the task, one can classify isomorphism classes (i.e., the equivalence classes determined by ) instead of classifying groups. If two groups are isomorphic, then we say that the groups are the same up to isomorphism. If there are k isomorphism classes of order n, then we say that there are k groups of order n up to isomorphism.

Problem 3.3.17

Explain why all groups with a single element are isomorphic. Justify your answer using group tables.

In light of the previous problem, we say that there is one group of order one up to isomorphism.

Problem 3.3.18

Suppose that (G,) is a group of order 2 such that G={e,a}. Complete the following group table for G.

eaea

Explain why every group of order 2 must be isomorphic to S2.

The previous problem implies that up to isomorphism, there is only one group of order 2.

Problem 3.3.19

Suppose (G,) is a group of order 3 such that G={e,a,b}. Complete the following group table for G.

eabeab

Explain why every group of order 3 must be isomorphic to R3.

Problem 3.3.20

Suppose (G,) is a group of order 4 such that G={e,a,b,c}. Assuming that e is the identity, the first row and first column of the corresponding group table must be completed as follows.

eabceeabcaa?bbcc

The cell with the question mark cannot be filled with an a. So, this entry must be either e, b, or c. However, it should be easy to see that the cases with b and c are symmetric. Thus, there are two cases: (i) the entry with the question mark is filled with e, or (ii) the entry with the question mark is without loss of generality filled with b. Complete the group table in each of these two cases. Are either of the resulting groups isomorphic to R4 or V4. What conclusion can you make about groups of order 4?

So far we’ve seen that there are unique groups up to isomorphism of orders 1, 2, and 3, but that there are two groups up to isomorphism of order 4. A natural question to ask is: how many groups are there of order n?

In a future chapter we will be able to prove that there is only one group up to isomorphism of order 5, namely those groups isomorphic to R5.

We’ve seen three groups of order 6, namely R6, D3, and S3. However, D3S3 while R6 is not isomorphic to either of these. So, we can conclude that there are at least two groups up to isomorphism of order 6. But are there others? It turns out that the answer is no, but why?

The group R7 is the group of rotational symmetries of a regular 7-sided polygon. This group has order 7. Are there other groups of order 7 that are not isomorphic to R7? It turns out that the answer is no, but why?

We’ve encountered several groups of order 8, namely D4, Spin1×2, Q8, R8, and L3. Of these, only D4 and Spin1×2 are isomorphic. Thus, there are at least four groups up to isomorphism of order 8. Are these the only isomorphism types? It turns out that there are five groups of order 8 up to isomorphism.

Let’s return to proving some general statements about isomorphisms.

Theorem 3.3.7: Image of Cyclic Group

Suppose ϕ:G1G2 is an isomorphism from the group (G1,) to the group (G2,). If G1 is cyclic, then G2 is cyclic.

Problem 3.3.21

Is the converse of Theorem 3.3.7 true? That is, if ϕ:G1G2 is an isomorphism from the group (G1,) to the group (G2,) and G2 is cyclic, is G1 necessarily cyclic? If the converse is true, then prove it. If the converse is false, provide a counterexample.

Theorem 3.3.8

Suppose ϕ:G1G2 is an isomorphism from the group (G1,) to the group (G2,). If G1 is abelian, then G2 is abelian.

If ϕ:G1G2 is a function, not necessarily an isomorphism, and XG1, then the set ϕ(X):={yG2there exists xX such that ϕ(x)=y}. is called the image of X. The next theorem tells us that the image of a subgroup under an isomorphism is also a subgroup.

Theorem 3.3.9

If ϕ:G1G2 is an isomorphism and HG1, then ϕ(H)G2.

Suppose G is a group and let gG. Define ϕg:GG via ϕg(x)=gxg1. The map ϕg is called conjugation by g.

Theorem 3.3.10

If G is a group and gG, then conjugation by g is an isomorphism from G to G.

Now that you’ve proved the above theorems, it’s a good idea to review the key themes. If you were really paying attention, you may have noticed that in a few of the proofs, we did not use the fact that the function was one-to-one and onto despite assuming that the function was an isomorphism.

Problem 3.3.22

For which of the recent theorems could we remove either the assumption that the function is one-to-one or the assumption that the function is onto?

A function that satisfies the homomorphic property and may or may not be one-to-one or onto is called a homomorphism and will be the subject of a future chapter.

Problem 3.3.23

What claims can be made about the subgroup lattices of two groups that are isomorphic? What claims can be made about the subgroup lattices of two groups that are not isomorphic? What claims can be made about two groups if their subgroup lattices look nothing alike?


This page titled 3.3: Isomorphisms is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Dana Ernst via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?