Considering the commutative ring Gamma 5, fifth roots of unity, with integer coefficients what can we say about elements which will be units? Are all possible values in the ring units, or are there conditions?
Asked
Active
Viewed 363 times
0
-
Do you mean $\mathbb Z[\zeta_5]$ where $\zeta_5$ is a primitive 5th root of unity? – lhf May 13 '17 at 00:54
-
Yep, that's what I meant. – Daniel May 13 '17 at 00:58
-
Not every element of $\Bbb{Z}[\zeta_5]$ is a unit. For example $1-\zeta_5$ has norm $5$, $(1-\zeta_5)(1-\zeta_5^2)(1-\zeta_5^3)(1-\zeta_5^4)=5$ But obviously $\zeta_5$ is a unit. Less obviously $\zeta_5+\zeta_5^4$ is a unit which is not of finite order. Those two should generate all though. – sharding4 May 13 '17 at 01:01
-
Possible duplicate of https://math.stackexchange.com/questions/3185/what-are-the-units-of-cyclotomic-integers and https://math.stackexchange.com/questions/956298/group-of-units-in-cyclotomic-integers. – lhf May 13 '17 at 01:01
-
I'm not sure if I understand. Would you be able to direct me to somewhere with more information, or a good proof? – Daniel May 14 '17 at 07:55
-
Still hoping to see a proof of this. – Daniel May 17 '17 at 07:37