Isomorphisms: Making Mathematics More Convenient

# Isomorphisms: Making Mathematics More Convenient

Much of pure mathematics exists to simplify our world, even if it means entering an abstract realm (or creating one) to do it. The isomorphism is one of the most powerful tools for discovering structural similarities (or that two groups are identical structurally) between two groups that on the surface look completely unrelated. In this post, we’ll look at what an isomorphism is.

## What’s an isomorphism?

Pinter’s Abstract Algebra gives a fantastic motivation for studying isomorphic things: we want to know if two objects we’re looking at are really just the same object with, say, different outfits on. Take the two palindromes MADAM and ROTOR. They’re two different words, but if we replace M with R, A with O, and D with T, we can transform MADAM into ROTOR. This tells us that these two palindromes have the same structure. In this case, that they are essentially a “word reflection” about the middle letter. MADAM and ROTOR are just wearing two different outfits. We can replace the letters “M”, “A”, “D” with any three other letters, then reflect the first two about the third to create another word palindrome with the same structure. (Now, picking any three letters at random might not guarantee the palindrome you make is an English word.)

Let’s take this into a mathematical realm now. We could create a function $f$ that maps the three letters “M”, “A”, “D” with the structure of the palindrome MADAM onto three new letters, maintaining that structure. So the function

$$f = \begin{pmatrix}M&A&D\\\downarrow&\downarrow&\downarrow\\R&O&T\end{pmatrix}$$

transforms MADAM into ROTOR. The correspondence is injective (a one-to-one mapping, taking one element of $\{M,A,D\}$ to only one element of $\{R,O,T\}$, and surjective (every letter “R”, “O”, “T” has something that maps to it), and therefore is called bijective. This means we can actually move back and forth from MADAM to ROTOR by taking the inverse of the function $f$ that mapped us from “M”,”A”,”D”, to “R”,”O”,”T”. Such a function between two groups that preserves the structure of the groups is called an isomorphism and the two groups are said to be isomorphic.

### Formal Definition of Isomorphism

Now that we’ve developed an intuition of an isomorphism, we will define it formally. (Note, for a refresher on what groups are, please see our previous articles here, here, here, and here.)

Definition (isomorphism):.  Suppose $G_{1}$ and $G_{2}$ are groups, and let the operation for $G_{1}$ be denoted $\cdot$, and the operation for $G_{2}$ be denoted $\star$. A bijective function $f:G_{1}\to G_{2}$ such that for any two elements $a$ and $b$ in $G_{1}$ $$f(a\cdot b) = f(a)\star f(b)$$

is called an isomorphism from $G_{1}$ to $G_{2}$, and the two groups are said to be isomorphic.

## How do we find out if two groups are isomorphic?

Short answer: we find the isomorphism between the two groups. Now, note that since isomorphisms are bijective, we can decide whether we’ll try to find a function from $G_{1}$ to $G_{2}$ or from $G_{2}$ to $G_{1}$. It’s a simple task to say, but in practice this can actually be extremely difficult, requiring some guesswork and refinement once we find what we think the function might look like.

Let’s take an example and look at $\mathbb{Z}_{4}$ and the group $\langle G, \cdot\rangle = \langle\{1,-1,i,-i\},\cdot\rangle$. (Remember that $\mathbb{Z}_{4}$ is the group of integers modulo 4 under addition.) We’re going to show these two groups are isomorphic by finding the mapping from $\mathbb{Z}_{4}$ to $G$ that preserves the structure of their operation tables.

The operation table of $\mathbb{Z}_{4}$ under addition modulo 4 is given by

$$\begin{array}{r|rrrr}\textcolor{#893B2F}{\langle\mathbb{Z}_{4},+\rangle}&\textcolor{#893B2F}{0}&\textcolor{#893B2F}{1}&\textcolor{#893B2F}{2}&\textcolor{#893B2F}{3}\\\textcolor{#893B2F}{0}&0&1&2&3\\\textcolor{#893B2F}{1}&1&2&3&0\\\textcolor{#893B2F}{2}&2&3&0&1\\\textcolor{#893B2F}{3}&3&0&1&2\end{array}$$

The operation table of $G$ under multiplication is

$$\begin{array}{r|rrrr}\textcolor{#893B2F}{\langle G,\cdot\rangle}&\textcolor{#893B2F}{1}&\textcolor{#893B2F}{i}&\textcolor{#893B2F}{-1}&\textcolor{#893B2F}{-i}\\\textcolor{#893B2F}{1}&1&i&-1&-i\\\textcolor{#893B2F}{i}&i&-1&-i&1\\\textcolor{#893B2F}{-1}&-1&-i&1&i\\\textcolor{#893B2F}{-i}&-i&1&i&-1\end{array}$$

I wrote the multiplication table for $G$ using that particular order for a reason, mostly to make the isomorphism easier to see. We needed to play with mapping $0$, $1$, $2$, and $3$ to the set $G$ such that the table structures are preserved.

There are $4!=24$ possible mappings. We can try each one, which is a pain. Each person can develop his own strategy, but mine was first to note that the identity element in one group must map to the identity element in the other group. Thus, we know that $0 \in \mathbb{Z}_{4}$ must map to $1 \in G$. From there, I need to figure out what pairs of elements generate the respective identity elements under the respective operations. So whatever element in $G$ that $1 \in \mathbb{Z}_{4}$ maps to must multiply (remember we have to use the group element of $G$ when we’re over there) with whatever element in $G$ that $3 \in \mathbb{Z}_{4}$ maps to to give $1 \in G$.

We can look at the operation table for $G$ and see that $i\cdot -i = 1$, so we note that perhaps we’ll map $1\in Z_{4} \to i \in G$, and $3 \in \mathbb{Z}_{4} \to -i \in G$. That leaves us mapping $2\in \mathbb{Z}_{4} \to -1 \in G$. We then see if that mapping allows us to interchange the elements of $\mathbb{Z}_{4}$ under mod 4 addition with the elements of $G$ under multiplication1 to see if we get the same table. As it turns out, we do, so

$$f:\langle \mathbb{Z}_{4},+\rangle \to \langle G, \cdot\rangle \text{ given by } f =\begin{pmatrix}0&1&2&3\\\downarrow&\downarrow&\downarrow&\downarrow\\1&i&-1&-i\end{pmatrix}$$

is our isomorphism. (You can also check for yourself that for any elements $a$ and $b$ in $\mathbb{Z}_{4}$, $f((a+b)\bmod 4) = f(a)\cdot f(b)$.)

## How do we find out if two groups are not isomorphic?

Proving no such function that satisfies the definition of an isomorphism exists for two given groups is far harder in many cases than finding one.2 Isomorphisms require that the structure and properties of a group be preserved when being mapped to another group. Some possible things to look for that can easily show two groups are not isomorphic:

1. One group may be commutative, and the other isn’t. Commutativity is a structural property, so if the two groups don’t share that property, they can’t have the same structure.
2. One group may have an element (or a few) that are their own inverses, and the other either has none with this property, or a different number of elements with this property.
3. Obvious one: if the two groups can’t be put into 1-1 correspondence (because they have differing numbers of elements), then they cannot be isomorphic.

These aren’t the only things to look for by any means. Determining whether or not two groups are isomorphic generally requires quite a bit of lateral thinking. However, a mathematician named Arthur Cayley gave us a classic theorem of modern algebra that allows us to simplify the problem by showing that every group is isomorphic to some group of permutations. In the next article, we’ll explore the theorem and the proof.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 58, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8024020791053772, "perplexity": 301.1235937143706}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2018-39/segments/1537267156524.34/warc/CC-MAIN-20180920155933-20180920180333-00109.warc.gz"}