6
$\begingroup$

When one writes $\zeta_n$ which of the n roots of unity is meant here? Does it matter?

3 Answers 3

10

The context is important here.

It is rather standard for $\zeta_n$ to at least denote a primitive $n$th root of unity in the algebraic closure of the field $k$ which is currently being considered (this is possible iff the characteristic of $k$ does not divide $n$; in particular it is true for all fields of characteristic zero). When the characteristic of $k$ does not divide $n$ (i.e., when any primitive $n$th roots of unity exist) there are precisely $\varphi(n)$ primitive $n$th roots of unity, where $\varphi$ is Euler's phi function.

In a context in which $k$ is a subfield of the complex numbers, it is also rather standard for $\zeta_n$ to denote the specific primitive $n$th root of unity $e^{\frac{2 \pi i}{n}}$, i.e., the one of minimal argument in the complex plane.

Does it matter? For algebraic purposes, probably not: the primitive $n$th roots of unity in $\mathbb{C}$ are algebraically conjugate over $\mathbb{Q}$: i.e., different roots of a common irreducible polynomial over $\mathbb{Q}$, the cyclotomic polynomial $\Phi_n(t)$. Sometimes in number theory one considers systems of $n$th roots of unity for varying $n$, and in this case it is necessary to make a consistent (in a certain sense) choice of $\zeta_n$'s. Taking $\zeta_n = e^{\frac{2 \pi i}{n}}$ for all positive integers $n$ is such a consistent choice, but there are (many!) others.

Of course there are always situations when confusing one complex number for another would lead to trouble, so yes, in principle it might matter, especially in analytic or metric arguments.

  • 0
    @Jason: sure, that's right.2010-12-09
5

Usually this means $e^{ \frac{2\pi i}{n} }$. Depending on the context, it can just mean any primitive $n^{th}$ root of unity (and sometimes it doesn't matter which one, since they're all taken to each other under the action of the Galois group).

  • 1
    Often when people write $\zeta_n$ as an nth root of unity, its to emphasize the fact that they aren't identifying it with a specific complex number.2010-12-08
1

Probably a primitive one.