$\DeclareMathOperator{\Jac}{\mathcal{Jac}}$ Using the fact that $R := \mathbb{Q}[x]/(x^8-1)$ is a Jacobson ring and thus its Jacobson radical is equal to its Nilradical, I already computed that $\Jac \left( \mathbb{Q}[x] / (x^8-1) \right) = \{0\}$. But I'd like to calculate this in an elementary way, preferably using nothing beyond the very basic properties of the Jacobson radical, quotients of rings and maximal ideals. And here starts my struggle.
2026-04-08 21:04:15.1775682255
$\operatorname{\mathcal{Jac}}\left( \mathbb{Q}[x] / (x^8-1) \right)$
106 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
Hints:
$\Bbb Q[x]$ is a principal ideal domain
The ideals (including the maximal ideals) sitting above $(x^8-1)$ just depend on the factorization $x^8-1=(x-1)(x+1)(x^2+1)(x^4+1)$.
If $p$ and $q$ are coprime polynomials, then $(p)\cap (q)=(pq)$.
The nilradical of a commutative ring is certainly always contained in the Jacobson radical.