(a): \(W_n\) besteht aus allen Potenzen einer primitiven \(n\)-ten
Einheitswurzel \(\rho\):
\(W_n=\{1,\rho,\cdots,\rho^{n-1}\}\). Wegen
\(0=\rho^n-1=(\rho-1)(\rho^{n-1}+\cdots+\rho+1)\) und \(\rho\neq 0\) gilt dann
\(\rho^{n-1}+\cdots+\rho+1=0\), d.h. das Erzeugendensystem
\(\{1,\rho,\cdots,\rho^{n-1}\}\) von \(L_n\) ist linear abhängig, folglich
\(\dim(L_n)\leq n-1\).
(b): Es ist \(W_3=\{1,\rho,\rho^2\}\) mit \(\rho^2+\rho+1=0\),
also \(\rho=1/2(-1\pm i\sqrt{3})\).
\(L_3\) wird von \(\{1,i\sqrt{3}\}\) Q-linear erzeugt und diese Menge ist
linear unabhängig über Q, folglich \(\dim(L_3)=2\).
Es ist \(W_4=\{1,i,-1,-i\}\). Daher wird \(L_4\) von den beiden Q-linear
unabhängigen \(1,i\) aufgespannt, folglich \(\dim(L_4)=2\).