Solution
= Solution
A primitive seventh root generates all seventh roots, so the <splitting field> is $\mathbb Q(\zeta_7)$. Its <minimal polynomial> is the given irreducible <cyclotomic polynomial> $1+x+\cdots+x^6$. Therefore $\boxed{[K:\mathbb Q]=6}$.