# Why does this cyclic group have 8 elements?

The cyclic group of $\mathbb{C}- \{ 0\}$ of complex numbers under multiplication generated by $(1+i)/\sqrt{2}$

I just wrote that this is $\frac{1}{\sqrt{2}}+\frac{1}{\sqrt{2}}i$ making a polar angle of $\pi/4$. I am not sure what to do next. My book say there are 8 elements.

Working backwards, maybe the angle divides the the four quadrant into 8 areas? I have no idea

-
it seems like all you have to do to verify that this is true is to compute all the powers of that up to 8. You should get the identity once you reach 8. The order of a cyclic group is the number of elements it has. – HowardRoark Oct 25 '12 at 5:59

HINT Find the minimum $k$ such that $\left(\dfrac1{\sqrt{2}} + \dfrac{i}{\sqrt{2}} \right)^k = 1$. It will be of help to write $\dfrac1{\sqrt{2}} + \dfrac{i}{\sqrt{2}}$ as $\exp(i \pi/4)$.

The element in the group generated by $r = \dfrac1{\sqrt{2}} + \dfrac{i}{\sqrt{2}}$ will then be $$\{r^m : m = 0,1,2,\ldots,k-1\}$$

-

Draw a sketch. Do you know how to multiply complex numbers in polar coordinates? Add the angles, multiply the lengths. Now compute the powers of your number until you reach 1.

-

Firstly, $\mathbb{C}-\{0\}$ is not a cyclic group generated by that complex number (was that a typo?). The element $1/\sqrt{2}(1+i)=e^{\pi i/4}$ generates a cyclic subgroup of $\mathbb{C}-\{0\}$, so you need to find the smallest positive $k$ for which $(e^{\pi i/4})^k=e^{k\pi i/4}=1$ (since $1$ is the identity in your group). Why must $k$ be 8?

-
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/220618/why-does-this-cyclic-group-have-8-elements", "fetch_time": 1467308790000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2016-26/segments/1466783399106.96/warc/CC-MAIN-20160624154959-00053-ip-10-164-35-72.ec2.internal.warc.gz", "warc_record_offset": 195629663, "warc_record_length": 17489, "token_count": 491, "char_count": 1526, "score": 4.34375, "int_score": 4, "crawl": "CC-MAIN-2016-26", "snapshot_type": "latest", "language": "en", "language_score": 0.8727769255638123, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00031-of-00064.parquet"}