I have been asked to determine the lattice of subgroups of $G=\Gamma(\mathbb{Q}(\zeta):\mathbb{Q})$ where $\zeta$ is a primitive $24^{th}$ root of unity. I am then asked to determine their corresponding fixed fields.
We know that the automorphisms of a primitive $n^{th}$ root of unity $\alpha$ are given by $a^k$ such that $k$ and $n$ are coprime. I have therefore determined the elements of $\Gamma(\mathbb{Q}(\zeta):\mathbb{Q})$ to be:
$$\phi_k(\zeta)=\zeta^k \ \ \ \ \ \ \ k=1,5,7,11,13,17,19,23.$$ And I know that these elements determine the whole group since $[\mathbb{Q}(\zeta):\mathbb{Q}]=|\Gamma(\mathbb{Q}(\zeta):\mathbb{Q})|=8.$ I also know that this Galois group will be isomorphic to a product of cyclic groups of prime power order, and I believe this to be $\mathbb{Z}/\mathbb{Z}4\times\mathbb{Z}/\mathbb{Z}2$ but am not exactly sure how to show this. I know that once I've shown this I can determine the subgroups of $\Gamma(\mathbb{Q}(\zeta):\mathbb{Q})$ by examining the subgroups of the isomorphic product of cyclic groups (the one I believe to be $\mathbb{Z}/\mathbb{Z}4\times\mathbb{Z}/\mathbb{Z}2$). I am unsure how to then determine their corresponding fixed fields, can anyone give me guidance?
Thanks in advance.
UPDATE: I have determined the isomorphic group to actually be $\mathbb{Z}_2\times\mathbb{Z}_2\times\mathbb{Z}_2$ by the following. $\Gamma(\mathbb{Q}(\zeta):\mathbb{Q})$ is abelian and of order 8. Thus it is isomorphic to one of: $\mathbb{Z}_8$, $\mathbb{Z}_4\times\mathbb{Z}_2$ or $\mathbb{Z}_2\times\mathbb{Z}_2\times\mathbb{Z}_2$. We have that $\phi_k^2=\phi_1=id$ for $k=1,5,7,11,13,17,19,23$ and thus every non identity element has order 2, meaning we have isomorphism to $\mathbb{Z}_2\times\mathbb{Z}_2\times\mathbb{Z}_2$. How do I proceed?