So we have now seen that there are always different complex th roots of unity, that is, complex numbers whose th power is equal to , equally spaced around the circumference of the unit circle.
Consider the first th root around the circle from the positive -axis (i.e. the darkest blue dot in the picture above). Let’s call this number . For example, in a previous post we saw that . Then the other dots around the circle—the other th roots of 1—are obtained by taking powers of . The next dot is , the next is , … and finally .
In my original post that kicked off this series, I drew circles with dots on only some of the spokes, like this:
I explained one way to think about this: in the circle with spokes, there is a dot on spoke (where the spoke on the positive -axis is numbered 0) if and only if and are relatively prime, that is, and have no common divisors other than (). Now that we know how to think of the dots as complex numbers, we can also ask: what is special about these dots as complex numbers? Is there a way to rephrase this definition in terms of th roots of 1?
Of course, the answer is yes! These dots are called the primitive th roots of unity. In the above picture with , using our new notation, the highlighted dots are , , , and . In general, we will have where . But there is a different, equivalent way to characterize them: an th root of unity is primitive if it is not also an th root of unity for some smaller . For example, consider , corresponding to the second spoke on the circle above. This is a 12th root of 1, but it is not a primitive 12th root of 1, because it is also a th root of 1. (In fact, it is our old friend .) In other words, if we start with and take successive powers of it, we find a power (the sixth power) that yields 1 before we get to the 12th power. Something similar is true for : it is a 12th root of 1, sure, but raising it to the 12th power is overkill—just raising it to the 4th power will get us to 1. , on the other hand, is a primitive 12th root—we actually have to multiply it by itself 12 times before reaching .
I will leave to you the fun of figuring out why these definitions are the same!
Pingback: Sums and symmetry | The Math Less Traveled
Pingback: Sums of primitive roots | The Math Less Traveled
Pingback: Computing sums of primitive roots | The Math Less Traveled
Pingback: The Möbius function proof, part 1 | The Math Less Traveled