# Taking Things for Granted: Elementary Properties of Groups

We take a lot of things for granted: electricity, gas at the pump, and mediocre coffee at the office. Many concepts in basic algebra are also taken for granted, such as cancellation of terms, and commutativity. This post will revisit some basic algebra (think solving for x), but with some of those things we took for granted removed.

Recall our prior discussions of groups. A group is a set G of stuff combined with an operation \ast, denoted together as \langle G, \ast \rangle that satisfies three axioms:

**(1) Associativity of the operation**: For a,b,c \in G, a\ast(b\ast c) = (a\ast b) \ast c

**(2) Existence of an identity element in the group: **There is some e\in G such that for any a \in G, e\ast a = a\ast e = a

**(3) Existence of inverses in the group: **For every a \in G there is a corresponding a^{-1} \in G such that a\ast a^{-1} = a^{-1}\ast a = e

There are a couple natural questions we can discuss first:

### Q1: Can a group have more than one identity element?

Axiom (2) just said we had to have one. It never said we had to have *only one.*^{1} Let’s see what happens if we have some group \langle G, \ast\rangle that has *two* identity elements, e_{1} and e_{2}. Well, since both are identity elements, then e_{1}\ast a = a for *all * elements a in G, and e_{2}\ast a = a for *all* elements a in G.

So let’s stick e_{2} in for a with e_{1}. That means e_{1}\ast e_{2} = e_{2}. But we also know that if we use e_{2} as the identity element, e_{1} as our a, and the fact from Axiom (2) that the identity element commutes with every other group element, then e_{1} \ast e_{2} = e_{1} as well. That means that e_{1} \ast e_{2} = e_{2} and e_{1} \ast e_{2}=e_{1}. The only possible way this can happen (because \ast is an operation) is for e_{1} = e_{2}

What this shows is that there can only be one identity element. We started by assuming there were two different ones, and it resulted in our finding out the two different ones were equal, and thus not different at all.

### Q2: Can an element have more than one inverse?

We can use the same trick we just did with Q1 (just on Axiom (3)) to show that every element in the group has exactly one and only one inverse.

Those are a couple seemingly simple questions, but they weren’t specifically answered in the definition of a group, so we had to investigate and answer them ourselves before we could move on. Next, we want to develop a couple rules that come from the group axioms that we can use in solving equations on generic groups.

## Cancellation Laws and Handling Inverses

The cancellation laws allow us to cancel out common factors on either side of an equal sign. Stated formally from Pinter^{2}

* Theorem:* If G is a group, and a,b,c are elements of G, then

(i) ab = ac \Rightarrow b=c

and

(ii) ba = ca \Rightarrow b=c

The proof isn’t hard, and not really the focus here. What’s important to note is that there are *two* different cancellations. One where I cancel a when it is multiplied on the left of b and c, and one where a is multiplied on the right. Multiplying on the left and on the right is **not** the same thing *unless we have commutativity. *(Read about commutativity here). Unless we have commutativity as a property of our group (and often we do not, such as in matrix multiplication), ba = ac **does not imply** that b=c.

I’ve taken away that thing you have all just assumed would be there, and likely relied on in your high school algebra classes.^{3} Now when we solve for x, as we will do shortly, we’re going to have to be a little more clever. First, we’ll also need a tool to handle inverses, a more general form of “subtract from both sides” that you used to use.

* Theorem*: If G is a group, and a,b are elements of G, then we have the following:

(i) (ab)^{-1} = b^{-1}a^{-1}

and

(ii)(a^{-1})^{-1} = a

Again, the proof isn’t actually what’s important here, although it’s a fun thing to do. What’s important for this discussion is the understanding of the theorem. The first point tells us how to find the inverse element of a product of two elements. It’s a product of the two individual elements’ inverses, but in reverse order. The common analogy here is the “socks and shoes principle”. First you put on socks, then the shoes. (a, then “multiply”^{4} b). To get the socks and shoes off, you have to remove the shoes first (inverse of b) then the socks (inverse of a).

The second one states formally what we would expect to be true. The inverse of an inverse returns the original element.

## Let’s do some algebra!

Let’s revisit some of that high school algebra. This time we aren’t doing it on unknown numbers, but rather an entirely general group with an entirely general operation. The cool part? As long as we’re careful about the rules we have and don’t, solving for x is just as easy as it was in high school.

For these next few exercises, all we’re going to get is that a,b,c, and x are in a group G. Our goal? Solve for x.

### axb = c

OK, the x isn’t multiplication. It’s the variable we want to solve for. The only rules we get are the two theorems above. We still need to isolate x, so we need to get rid of a and b. Normally, you’d tell me to either subtract or divide by a and b. Here, we use the inverse operation. I’m going to do this almost painfully slow so you get an understanding, not just a mechanism.

First, we’re going to get rid of b. To do that, we multiply *on the right* by b^{-1} on both sides:

Now, we know by now how inverses work, so we know that bb^{-1} = e, where e is the identity element of the group G.^{5}. So, now we have that

But anything multiplied^{6} by the identity element is that thing. So

One down, one to go. We need to get rid of a. Notice that it’s being multiplied on the left of x. We can’t just shove an a^{-1} in between a and x, so we have to multiply a^{-1} on the far left of both sides of the equation.

\begin{aligned}axbb^{-1} &= cb^{-1}\\axe &= cb^{-1}\\ax&=cb^{-1}\\a^{-1}ax &= a^{-1}cb^{-1}\end{aligned}You’ve recognized by now that a^{-1}a = e, so

\begin{aligned}axbb^{-1} &= cb^{-1}\\axe &= cb^{-1}\\ax&=cb^{-1}\\a^{-1}ax &= a^{-1}cb^{-1}\\ ex &= a^{-1}cb^{-1}\\x &=a^{-1}cb^{-1}\end{aligned}Done! We did it! To isolate x, we had to reverse what was done to it, and do it to both sides. We multiplied on the left by a and on the right by b, so we had to multiply on the left by a^{-1} and on the right by b^{-1}. The most important thing to note here is that we didn’t have commutativity, meaning that we couldn’t just switch the order of the variables around. We couldn’t guarantee that axb \neq abx \neq xab, and thus the result we got (x = a^{-1}cb^{-1}) is strict. You can’t change the order around and have that equation still be true.

Let’s try one more. Once again, we aren’t explicitly told our generic group has commutativity, so we can’t assume we have it.

### x^{2}b = xa^{-1}c

Yikes! An x^{2}. Fear not. Let’s write that a bit differently. x^{2} = xx, so

xxb = xa^{-1}cHoly cancellation law, Batman! No need to get into any scary generalized quadratics here. Recall that we get to cancel the same thing on both sides if they are either on the far left or the far right on both sides. x is multiplied on the left on both sides, and by our awesome cancellation theorem, is redundant. Off it goes, leaving us with

\begin{aligned}xxb &= xa^{-1}c\\xb&=a^{-1}c\end{aligned}From here, the problem is even easier than the first one we did. Multiply on the right by b^{-1} and we’re home free:

\begin{aligned}xxb &= xa^{-1}c\\xb&=a^{-1}c\\xbb^{-1} &= a^{-1}cb^{-1}\\xe &= a^{-1}cb^{-1}\\x &= a^{-1}cb^{-1}\end{aligned}I didn’t really do much to the first problem; I just scared you by multiplying on the left by x.

## Conclusion

What we just did in this post was build on our knowledge of groups to solve equations within those groups. The way to go about this is really no different than you used to in high school; it’s just more general and a little more abstract. We didn’t even know what the elements of G were, or the operation for that matter. We didn’t know if the group had a finite number of elements or an infinite number. We didn’t even have commutativity. But we could still solve equations, and in a way that was almost like very elementary algebra. This is the power of algebra and abstraction. The goal is to take what we already knew, reduce it to its skeleton (the group structure), and see what we can still do with it.

Specific groups and operations can get messy. What if we have a molecule we can rotate, translate, or reflect about an axis? What if we do some combination of those actions to a molecule? What if we want to figure out if two molecules are actually the same or chiral^{7}? Instead of trying to figure out how to play with it, we can abstract the notion of these actions as elements of a group, and use group theory and algebra to answer that question in a very similar manner to the basic equations we just solved here.

Abstraction and generalization make our lives easier. We can rise above a messy, complicated space, and reduce the problem to one that looks as simple as high school algebra.

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

#### Footnotes

- This is why language is so important in mathematics. Read everything carefully, and read only what is written. Otherwise you can end up assuming you have things or properties you don’t actually have
- The operation is still there, but we don’t always have to write it. ab is the same as a*b in our case. Just mathematicians bein’ lazy. It happens to the best of us.
- I’m laughing maniacally right now.
- I’m going to use multiply as the generic word for our operation. I don’t necessarily mean standard multiplication.
- This is like dividing by 2 to get rid of multiplying by 2. It doesn’t actually get rid of the 2; it leaves a 1 (the multiplicative identity element) behind, and multiplying by 1 doesn’t change anything
- again, multiply is just the word we are using for the general operation. Don’t get bogged down that this is regular number multiplication.
- This is the notion of handedness. Your left and right hand are chiral: mirror images of the other, but no rotations or reflections will transform your left hand into your right hand. A more formal way to state it is that the object and its mirror image are not superimposable.