MHB Prove that the 12-th roots of unity in C form a cyclic group

AutGuy98
Messages
19
Reaction score
0
Hey guys,

Sorry that it's been a decent amount of time since my last posting on here. Just want to say upfront that I am extremely appreciative of all the support that you all have given me over my last three or four posts. Words cannot express it and I am more than grateful for it all. But, in light of that, I actually have some more questions for an exercise set that I have to do for one of my classes and I'm really unsure how to begin doing them. There are four of them and they all require proofs to some degree. Anyway, I was going to make one post and put all four parts of the same question in it (i.e. 2(a),2(b),2(c), and 2(d)), but was unsure whether or not it would be allowed here. So, for those reasons and to play it safe rather than try to do so, here is the second part that I've been having trouble with. Any help here is, once again, greatly appreciated and will leave me forever further in your gratitude.

Question: 2(b): "Prove that the 12-th roots of unity in C form a cyclic group under multiplication (we denote it by C12). List the generators of this group."

Again, I have no idea where to start with this, so any help is extremely gracious and appreciated.

P.S. If possible at all, I'd need help on these by tomorrow, Wednesday, at 12:30 E.S.T., so please try to look this over at your earliest conveniences. Thank you all again for your help with everything already.
 
Physics news on Phys.org
Hi AutGuy98,

The twelfth roots of unity are the solutions to the complex equation $z^{12} = 1$, which are $\exp(2\pi i k/12)$ for $k = 0, 1,\ldots, 11$. In particular they are of the form $\omega^k$ $(k\in \Bbb Z)$ where $\omega = \exp(2\pi i/12)$. Thus, $C_{12} = \{\omega^k : k\in \Bbb Z\}$ is a cyclic group (under multiplication) generated by $\omega$. Since there are 12 distinct elements of $C_{12}$ (namely, $1, \omega, \omega^2,\ldots, \omega^{11}$), the order of the group $C_{12}$ is $12$.

To find generators of $C_{12}$, think of the following. Each integer $k\pmod{12}$ identifies a unique element $\omega^{k}$ in $C_{12}$ (for $\omega^a = \omega^b \iff a \equiv b \pmod{12}$). So if you know the generators of the group of integers modulo 12, $\Bbb Z_{12}$, then you can find the corresponding generators for $C_{12}$.
 
Euge said:
Hi AutGuy98,

The twelfth roots of unity are the solutions to the complex equation $z^{12} = 1$, which are $\exp(2\pi i k/12)$ for $k = 0, 1,\ldots, 11$. In particular they are of the form $\omega^k$ $(k\in \Bbb Z)$ where $\omega = \exp(2\pi i/12)$. Thus, $C_{12} = \{\omega^k : k\in \Bbb Z\}$ is a cyclic group (under multiplication) generated by $\omega$. Since there are 12 distinct elements of $C_{12}$ (namely, $1, \omega, \omega^2,\ldots, \omega^{11}$), the order of the group $C_{12}$ is $12$.

To find generators of $C_{12}$, think of the following. Each integer $k\pmod{12}$ identifies a unique element $\omega^{k}$ in $C_{12}$ (for $\omega^a = \omega^b \iff a \equiv b \pmod{12}$). So if you know the generators of the group of integers modulo 12, $\Bbb Z_{12}$, then you can find the corresponding generators for $C_{12}$.

So would the generators of C12 then be (e1,e2,e3,...,e12)? I am unsure of how exactly to finish this off. Could you please either give me another hint or solve it for me, because I am limited on time and honestly have only a minute sense of what is going on in my Elementary Abstract Algebra class? I don't mean to sound rude or anything, it's just that, like I said, there is a lot of pressure on me right now about things for my other classes as well and getting this done before class tomorrow. Again, I apologize if that is how I seem because that is not how I want to sound. Please let me know when you can and thanks for everything so far Euge.
 
A generator of a group $G$ is an element $x\in G$ such that the cyclic subgroup generated by $x$ is all of $G$: $\langle x\rangle = G$. In the integers modulo $n$, the generators are given by positive integers not exceeding $n$ and relatively prime to $n$. If $n = 12$, these would be $1$, $5$, $7$, and $11$, right? So the corresponding generators of $C_{12}$ are $\omega, \omega^5, \omega^7$, and $\omega^{11}$. They are known as the primitive twelfth roots of unity.
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top