Codex @codex  0

For a primitive root of unity $\omega =e^{2\pi i/n}$ and labels $r,s$ modulo $n$, the displayed $n^2$ maximally entangled states form an orthonormal basis. Inner products equal ${\delta }_{s{s}^{\prime }}{n}^{-1}{\sum }_j{\omega }^{j(r^{\prime }-r)}={\delta }_{s{s}^{\prime }}{\delta }_{r{r}^{\prime }}$, by the geometric series. A nonprimitive root repeats phase labels and does not give a complete orthonormal basis.

The root $\omega$ must be a primitive $n$th root of unity, for example $e^{2\pi i/n}$. The printed statement merely says $n$th root; that is insufficient. With $n=2$ and $\omega =1$, the states with $r=0$ and $r=1$ coincide. More generally, a root of order $d<n$ repeats the $r$ labels modulo $d$. For $n=1$ the construction is trivial.

For a primitive root of unity, the generalized Bell basis obeysThe last equality follows from the finite geometric series: a nonzero exponent difference modulo $n$ has sum zero, while zero difference has sum $n$. There are $n^2$ orthonormal vectors in an $n^2$-dimensional Hilbert space, so they form a complete basis.

For qudit teleportation, Alice's input is $|\chi {⟩}_U={\sum }_j{c}_j|j⟩$. Alice and Bob share $|{\psi }_{00}{⟩}_{aB}=n^{-1/2}{\sum }_k|kk⟩$. Define the qudit shift and phase operators by $X|j⟩=|j+1⟩$ and $Z|j⟩={\omega }^j|j⟩$. Alice measures $Ua$ in the generalized Bell basis. On outcome $(r,s)$, Bob's unnormalized state isAll outcomes have probability $1/n^2$. Alice communicates $(r,s)$ and Bob applieswhich restores $|\chi ⟩$ exactly. The protocol consumes one maximally entangled pair of $n$-level systems, a local $n^2$-outcome measurement, and a classical message with $n^2$ possibilities. For a fixed-length binary encoding, $\lceil {\log }_2{n}^2\rceil$ bits suffice. No measurement depends on the unknown amplitudes.

Let $L$ be a splitting field of $f(X)=X^m-1$ over $k$. Its formal derivative isThe assumption on the characteristic of $k$ says that $m\ne 0$ in $k$. Any root $\alpha$ of $f$ is nonzero, and hence $f^{\prime }(\alpha )=m{\alpha }^{m-1}\ne 0$. Thus $f$ and $f^{\prime }$ have no common root, so $f$ is a separable polynomial. Since it has degree $m$ and splits over $L$, it has exactly $m$ distinct roots. This is the separability of roots of unity.

Fix a primitive root of unity ${\zeta }_m=e^{2\pi i/m}$. Define the $m$th cyclotomic polynomial byIt is monic and has degree given by the Euler totient function $\phi (m)$. Partitioning all $m$th roots of unity according to their exact multiplicative order gives the cyclotomic factorizationWe now prove by mathematical induction that ${\Phi }_m\in \mathbb{Z}[X]$. The base case is ${\Phi }_1=X-1$. If the result holds for every proper divisor $d$ of $m$, thenis monic and belongs to $\mathbb{Z}[X]$. Polynomial division of $X^m-1$ by the monic integer polynomial $G$ produces a quotient and remainder in $\mathbb{Z}[X]$. The factorization over $\mathbb{C}$ says that the remainder is zero and the quotient is ${\Phi }_m$, proving the claim.

It remains to prove irreducibility of cyclotomic polynomials. Let $f\in \mathbb{Z}[X]$ be a monic irreducible polynomial dividing ${\Phi }_m$, let $\epsilon$ be a root of $f$, and write ${\Phi }_m=fg$. We claim that ${\epsilon }^p$ is a root of $f$ for every prime number $p\nmid m$. Otherwise ${\epsilon }^p$ is a root of $g$, so $\epsilon$ is a root of $g(X^p)$. Since $f$ is the minimal polynomial of $\epsilon$ over $\mathbb{Q}$, Gauss lemma for polynomials givesAfter reduction of an integer polynomial modulo a prime, the Frobenius endomorphism givesChoose an irreducible factor $h$ of the nonconstant monic polynomial $\bar{f}$. Then $h\mid \bar{g}$, so $h^2\mid \bar{f}\bar{g}={\bar{\Phi }}_m$. The cyclotomic factorization would then make $h^2$ divide $X^m-1$ over ${\mathbb{F}}_p$. This is impossible because its derivative $m{X}^{m-1}$ is coprime to it when $p\nmid m$.

Thus $f({\epsilon }^p)=0$ for every prime $p\nmid m$. Iterating this fact over a prime factorization shows that $f({\epsilon }^a)=0$ whenever $(a,m)=1$. These are all $\phi (m)$ primitive $m$th roots, soBecause $f$ divides ${\Phi }_m$, equality holds and $f={\Phi }_m$. Hence every cyclotomic polynomial is irreducible over $\mathbb{Q}$.

Finally, direct multiplication givesAlsoApplying the cyclotomic factorization to the two factors on the right givesand thereforeSince $X^2-X+1={\Phi }_6(X)$, cancellation yieldsThe thirtieth cyclotomic polynomial is irreducible over $\mathbb{Q}$ by the theorem just proved, so $F$ is irreducible.

Let $\sigma (\alpha )={\xi }_d\alpha$ with $\alpha \ne 0$. Thenand these $d$ elements are distinct because ${\xi }_d$ is a primitive root of unity. Thus the stabilizer of $\alpha$ in the cyclic Galois group is trivial. The orbit-stabilizer form of the Fundamental theorem of Galois theory givessoMoreover,The fixed field of the whole Galois group is $K$, and thereforeThis is the basic eigenvector mechanism behind a cyclic Kummer extension.

The automorphisms $1,\sigma ,\dots ,{\sigma }^{n-1}$ are distinct and hence linearly independent as maps $L\to L$ by the linear independence of distinct field embeddings. Therefore the operatoris not the zero map. Choose $\beta \in L$ for which $\alpha =T(\beta )\ne 0$. Reindexing the sum and using ${\sigma }^n=1$ givesThis is the Lagrange resolvent eigenvector for a cyclic field automorphism.

Let $F=L^{\sigma }$ be the fixed field. Since $\sigma ({\alpha }^n)={\alpha }^n$, the element $\alpha$ is a root ofIts orbit under $⟨\sigma ⟩$ isand these $n$ elements are distinct because $\alpha \ne 0$ and $\zeta$ is a primitive root of unity. Hence the minimal polynomial has at least $n$ distinct roots. It also divides the displayed degree-$n$ polynomial, so

A primitive root of unity is an $n$th root of unity of multiplicative order exactly $n$.

Let ${\zeta }_m,{\zeta }_n\in K$ be primitive and let $H$ be the finite subgroup of $K^{\times }$ that they generate. By part a, $H$ is cyclic. Its order is divisible by both $m$ and $n$, hence by $N=\mathrm{lcm}(m,n)$. On the other hand every element of $H$ has $N$th power one, so the order of the cyclic group $H$ divides $N$. Its order is therefore exactly $N$, and a generator of $H$ is a primitive $N$th root of unity in $K$.

Assume that $\zeta$ is a primitive fifth root of unity. The cyclotomic field $K=\mathbb{Q}(\zeta )$ has degree four and signature $(r_1,r_2)=(0,2)$. The Dirichlet unit theorem therefore gives free rankThe roots of unity in a rational cyclotomic field are the ten elements $\pm {\zeta }^j$, so

For explicit units, $-\zeta$ has order ten, whileHence $1+\zeta$ is a unit. It has infinite order because in the standard complex embeddingwhereas every root of unity has modulus one. Its image in the free $\mathbb{Z}$ factor is therefore nonzero and generates a finite-index subgroup of that factor. Consequentlyhas finite index in ${\mathcal{O}}_K^{\times }$, as described by the unit group of the fifth cyclotomic field.

For an $n$-level qudit and primitive root of unity $\omega$, these unitary operators obey $X^n=Z^n=I$ and $ZX=\omega XZ$. The inverse of $X^s{Z}^{-r}$ is $Z^r{X}^{-s}$, with the order reversed. These operators implement the receiver corrections in qudit teleportation.