The Algebra Detective: If Snape Is a Snake, Then P = K!

Algebra is often introduced as arithmetic done with letters. In this article, we follow this analogy and see where it takes us. We ask questions, such as: If “SNAPE = SNAKE,” can we conclude that “P = K”? Here is the spoiler: the path takes us into what mathematicians call group theory, a subfield of algebra that studies symmetry, and allows us to say interesting things about various languages like English and Swedish (and one very important fact about algebra itself).

We think about our arithmetic facts and fill in the square with . Pretty soon, the square changes places and we see: We know what is going on, and we say the square has to be this time.
When teachers, textbook writers, and curriculum developers decide we are ready for it, the boxes disappear, getting replaced by letters. So, in a class called Algebra, a student might see: To solve this problem, one "isolates the variable," applying the same mathematical operation on both sides of the equality sign ("subtract "). This might sound fancy, but the problem is actually the very same as the one before it. The box is now a letter; that is the only di erence.
In some very basic sense then, school algebra is doing arithmetic with letters. This is actually an incomplete, and somewhat inaccurate, definition of algebra, but it will su ce for now.

IF ALGEBRA IS ABOUT LETTERS, WHAT CAN IT TELL US ABOUT ENGLISH?
In algebra class, we are soon working with more and more complicated expressions involving variables and numbers together, such as: xy + = .
"Isolating the variables" gives us: If we are told that x = , we can plug in the value for x and see: Dividing both sides by yields y = .
Eventually, we get really good at noticing common factors on both sides of the equality sign and canceling them out: x = becomes x = , y = becomes y = , and so on.
Could we do all of algebra with only letters, the way we do arithmetic with only numbers? In that case, letters could even be actual letters, not placeholders. What would it mean to say that two expressions are equal to one another in this scenario? For example, Professor Severus Snape of Hogwarts is a famous Slytherin, so it makes sense to say that "SNAPE = SNAKE." We could also say: authors of this article = Per + Gizem, or, This last one is tricky, because "my" is always context dependent. For example, if Gizem is reading this sentence, "my favorite food" will mean "Gizem's favorite food" and the resulting sentence will be a true statement. However, if her sister were reading the same sentence, she would be asserting that Gizem's sister's favorite food is ice cream, which is definitely not a true statement (Yes, there are people who just do not like ice cream. Weird, we know!). One could even consider pronouns to be the ultimate variables. After all, each pronoun takes the place of a noun determined by the context of the earlier conversation.
Another thing we could do using only letters is to make two expressions equal if they sound the same. For example, in English, the letter collection "you" sounds the same as the single letter "u." So, we could set them equal to one another: Does your eager algebra eye want to do some cancellations? Do you think you can cancel the "u"s on both sides and get "yo = "? Why not? But then "dye = die" gives you "y = i" and so on. How far can you go? And just what does "y = i" mean?

WHAT IS GOING ON? A GROUP THEORY PRIMER
In mathematics, group theory is the field of algebra that studies symmetry using certain algebraic structures called groups. A group is GROUP A bag of objects together with an operation that takes two objects from the bag to make another object that is also in the bag. The operation needs to obey the associative law, and the special object theone must be in the bag. Last, all objects in the bag must have an inverse that is also in the bag.
a bag of objects (see also [ ]) together with a way of taking two objects from the bag to make another object that is also in the bag. The objects can be anything: numbers, words, or even ice cream cones. The "way" is called an operation and is often written "•": if object and object OPERATION A way of taking two objects from a bag to form a new object that is also in the bag.
are two objects in the bag, object • object is the object in the bag we make from object and object with the operation "•." We can form yet another object by first taking the object object • object and then the object object from the bag, to get the But what if we took instead object first and then object • object ?
In a group, the resulting object is the same! In other words, we require that what is called the associative law holds:

ASSOCIATIVE LAW
If "•" is an operation and object , object , and object are objects in some bag, the associative law says that the object We also require that there is a special object in the bag, let us call it theone, since it is so special, such that for any object object in the bag, Our last requirement is that we should be able to cancel objects on both sides of "=" to get the resulting object theone. This can be expressed as follows: we want any object object in the bag to have a buddy in the bag called an inverse, say inverseobject, such that INVERSE If "•" is an operation and object an object in some bag, the inverse of object, let us call it inverseobject, is an object in the bag such that Here, theone is the special object in the bag.
That's it! A bag of objects with an operation that satisfies these three requirements is called a group.
Example : We could take the bag of objects to be all the numbers (positive, negative, and zero) and "•" to be "+." For example, + = and + = , so ( + ) + = + = . We also have + = and + = , so + ( + ) = + = . In other words, ( + ) + = + ( + ). This holds true for all numbers in our bag. Our special object theone turns out to be the number . Since +(− ) = , the inverse of has to be − . Can you figure out what the inverse of any number must be?
Example : Let us try to make a group out of the letter x. We start by putting x in our bag of objects. In order to make this a group, we also need to add the special object theone to our bag. Instead of writing theone, which is a bit cumbersome, we use the symbol . Last, we also need to add the inverse of x. We put a hat on x and simply say that this new letter, x, is the inverse of x. This means that with x, x, and in our bag, x • x = . Is this a group? No, not yet. For example, x • x also needs to be in our bag, so we simply add it and its inverse x • x as well.
Continuing like this and assuming that the associative law holds, we get the so-called group generated by x.
Example : Suppose that we take the group generated by x as described in Example and add the rule x = . If we replace x by In fact, all objects in our bag must be equal to . In other words, our bag contains only one object, . From the definition, the bag in a group needs to have at least one object in it, theone. Therefore, this must be the smallest group possible, so it is called the trivial group.

TRIVIAL GROUP
The smallest group possible, the bag of objects containing only one object, theone.
Example | Let us explore a more visual example. Consider the Scrabble tile for the letter R: Photo: Per Bäck. and a final • rotation will get you back to the original tile. This is a nice example of a group. Each of these operations can be reconstructed from the single clockwise rotation by • . If we set x to be the "rotate clockwise by • " operation, then the group we get is the bag containing x, x , x , and x ; this last one is the same as theone, or in this context, the "do-nothing" operation. Do you see what the inverses are?

HOMOPHONIC GROUPS
Can we make a group out of the whole alphabet? The English alphabet consists of letters a, b, c, . . . , z. We invent the inverse English alphabet to be the letters of the English alphabet with hats on them, a, b, c, . . . , z. We form all possible words from the letters in the two alphabets and put them in a bag. By a word, we mean any combination of letters, so qw ert yasdf, brain, d, and foo are all words in our bag. Whenever a letter lies immediately next to its inverse letter in a word, we cancel the two letters. This means that fo o = f and yo uu = yo.
We also invent an operation • on the bag of words to be that of gluing two words together to make a new word, so that This also means that a • a = a a = , the word consisting of no letters at all-the empty word! Continuing,

EMPTY WORD
The word with no letters in it. the operation • obeys the associative law. For example, This almost looks like a group where the special object is the empty word! However, we need not only the letters to have inverses, but all the words as well. This works if we say that the inverse of a word is the word spelled backwards and with a hat on each letter. For example, the inverse of yo is o y since then yo • o y = yo o y = y y = .
Just as in Example , we could use the symbol for the special object (the empty word in this case), so that y y = .
kids.frontiersin.org December | Volume | Article | The above group is called the free group on the English alphabet.

FREE GROUP
The group made from some alphabet by using the operation of gluing letters together to form words, and then gluing words together to form new words. In the bag of objects are all words possible, including the empty word, which is the special object theone.
Free, because it is the freest way one can make a group out of the English alphabet.
Now, suppose that we add the rule that two words are equal if they sound the same, as we suggested at the end of the second section. Then this means that you = u.
We can cancel the "u"s by using the operation • together with u on each side. On the left-hand side, we get and on the right-hand side Words that sound the same are called homophones, and the free group on the English alphabet where homophones are equal is called the homophonic group of English. The word you and the letter u

HOMOPHONIC GROUP
The free group on some alphabet where words that sound the same are equal.
are therefore the same in the homophonic group of English, and by the above calculations, so are yo and the empty word (for which we used the symbol

SWEDISH, ANYONE?
Why not learn Swedish while doing group theory? In fact, we will see that it is trivial! The Swedish alphabet has letters in it: the letters that form the English alphabet together with the three funny-looking letters å, ä, and ö. By using a standard dictionary like [ ], we will see that the homophonic group of the Swedish language is the trivial group. First, we use something that cannot be found in the Swedish Academy's dictionary [ ], but is well-known to all Swedish mathematicians, namely that om and omm are pronounced the same. and therefore q = q = qu = ck = and ö = oeu = . We have shown that all the letters must be equal to . Since the only word we can form from is , we have shown that the homophonic group of Swedish is trivial!

SO WHAT?
Why is all of this important? Here is an argument that might appeal to many mathy folks: Since any word in the trivial group is the empty word and English is trivial, algebra = and awesome = . Therefore, algebra = awesome. Now isn't that something?
On a more serious note, the homophonic group of a language tells us how well the alphabet represents what the language sounds like.
English, French, German, and Swedish, whose homophonic groups are all trivial, have many words where di erent letters are pronounced the same. Korean and Turkish, whose homophonic groups are non-trivial, have younger alphabets whose letters sound more similar to what they do in actual words. In other words, just playing around with letters in fun and seemingly meaningless ways can actually tell us something interesting about languages and their writing systems. Maybe the next time someone asks you what algebra is good for, you can tell them that it can help us understand something as human as language! If you are excited by this article and want to learn more about groups, there are many books out there that might be good next steps. . doi: . /frym. . distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.

YOUNG REVIEWER
GIOVANNI, AGE: I was born in California and then lived in the Southwest for almost half my life, but now I am living in Virginia. I usually play videogames at home but I also do other things. I really like art and sketching. I won the state fair art contest. I want to be an architect or engineer when I grow up. I also do like writing stories, I am working on a story or book called "Within Our Walls."

PER BÄCK
Per is a Ph.D. student in algebra at Mälardalen University in Sweden. His research is mainly focused on non-associative and non-commutative algebra. He does not like pancakes.

GIZEM KARAALI
Gizem is a Professor of Mathematics at Pomona College in California, USA. Groups are ubiquitous in her research in representation theory and algebraic combinatorics. Gizem is an unrepentant chocoholic. *gizem.karaali@pomona.edu