Cyclic Group Intro (Math 0)

Written by Mark Chimes, et al. last updated
Requires: Math 0

Clocks

Say we had a clock. We decide that we can "add" two numbers on the clock starting at the first number, then moving by the number of steps given by the second number. For example the sum of and is given by starting at , and then moving by spaces, and ending up at . But the sum of and is given by starting at and moving spaces to end up at . This number can be calculated by just adding the numbers normally, then if you end up at more than , subtract . For example, , and .

Notice that if you add to anything, you just go once around the clock, and so ending up not doing anything. You can calculate it with as , and . Hence is the identity element for our clock. Hmm, usually the identity should be something like . More on this in a moment.

Also, notice that no matter where you are on the clock, there's always an amount by which you can turn to end up at . For example, if you are at , you can add to get to . This is called the inverse. This number can easily be calculated by subtracting your number from . For example, so the inverse of is . Now what if we calculate the inverse of ? Then we get . In fact, and are the same thing on our clock. Actually, we may as well scratch the off of our clock-face and just write . It makes things a lot easier. Now, instead of considering the identity, we can consider the identity instead. If we are at any number, and we step times (in other words, we don't step at all), then we stay at the number we were.

Notice now that instead of saying when we add and on our clock we get , we actually want to say we get . So now we change our rule at the top a little bit. To calculate the sum of two numbers, we add them, and if we get or more we subtract . So now plus is still , and plus is still obtained by calculating and . But now, instead of calculating that we now further calculate that and so say that plus is on our clock.

Our clock is closed under its addition, it has an identity element and inverses. Hence, our clock is a group. From here on out we can write our group operation as . So .

Now, there is no reason our clock needs to have numbers. We could do exactly the same with, say, numbers. Then our operation is defined by adding the numbers, and if they add up to at least , we subtract . Now but since and . Notice that now the inverse of is not , but is instead found by calculating . So the inverse of is (since , so ).

We can write our inverses by adding a negative sign to the front of the number. So on our number clock, the inverse of is written and so , but on our normal clock, the inverse of is so .

Cyclic Groups

This motivates the term cyclic; if we go far enough, we get back to where we started. In fact, a group is called cyclic if it has a singe generator. This is an element that can be used to generate all the other elements by being added to itself enough times. On any clock, the generator is . We can get any number by going the right number of times.

Technically, for mathematical reasons, we actually want to require that we can get every element even if we combine the generator with itself a negative number of times. What does this mean? Well, the generator has an inverse . In our normal clock . In our number clock . The point is that we could just as well get all the numbers by adding to itself a bunch of times.

We can also get by "not adding to itself at all" or, put another way "adding to itself times". This may seem strange, but if you think of taking , and then adding once, it's like not taking at all and you get . Don't worry too much about this. The point is that you can technically get from .

In fact, the finite groups that you can get from adding one number to itself a bunch of times are all isomorphic to some clock. That is to say, no matter what group you took that has this property, if you just renamed the elements, you would end up with something that looked like a clock in the way described above.

Take for example a coin. It has two sides: heads and tails. Call them and for short. We can define an operation on the sides as follows, which we're going to refer to as "adding" sides: if you add heads to anything, you flip the coin. If you add tails to anything, you leave the coin alone. So, if you are on the heads side, and you "add heads", you flip the coin to tails. If you are on the heads side and you "add tails" you leave the coin on the heads side. If you are on the tails side and you "add heads", you flip the coin to heads, and if you are on the tails side and you "add tails" you just stay where you are. We can write the operation of 'adding" the sides as "" and then say , and , and , and . But hey! This is exactly the same we'd get if we called the head side and the tails side , and considered a clock with just two numbers. Then , and , and and . If you just had heads, you could get tails by just adding heads to itself, so the coin group is cyclic.

For any finite group where you can get every element starting from a single one, you can write it as a clock by relabeling the elements. Try it!

Infinite Cyclic Groups

However, things change if we allow our group to be infinite. Then we still require that every element can be obtained by adding to itself some amount of times, either positive or negative or zero. But maybe there is no way to wrap around. Consider all the integers, that is to say, every number, positive, negative and zero. These actually do form a group. Then every number you can think of, you can get to by adding a bunch of times. But no matter how many s you add on the positive side, you can never wrap around and get a negative number. However, the integers are still called a cyclic group, even though it's not really cyclic (I know, not a great name) because the official definition is that every element can be obtained by adding a specific something a bunch of times.

Again, the only infinite cyclic group that you get, up to relabeling, is the integers.

So the only cyclic groups are the clocks and the integers!