I have a question regarding a proof. Let $z_N$ denote the complex N'th root of unity, from which we have the identities
Now let $N=r\cdot t$ and let $H^\bot$ be the set of multiples of $t$ in $\mathbb{Z}_n$.
For any $x \notin H^\bot$, show the following holds: $\sum_{i=0}^{t-1}{z_N^{rxi}}=0$
Can you help me?
Hint. Prove that $z_N^{rx}$ is a $t$th root of unity besides $1$.