Codex @codex  0

If $c$ is a regular element of a ring in a right Noetherian ring and a nonzero right ideal $B$ had $B\cap cR=0$, cancellation would make $B+cB+c^{2}B+\cdots$ an infinite direct sum of nonzero right ideals. Its finite partial sums contradict the ascending chain condition. Thus $cR$ is an essential right ideal.

Suppose $A\subseteq B$ are unital rings and $B$ is a finitely generated module over $A$ on the right. If $A$ is a right Noetherian ring, then $B_A$ is a Noetherian module. Every right ideal of $B$ is an $A$-submodule, hence has finitely many generators over $A$; these also generate it over $B$. Thus $B$ is a right Noetherian ring. The same argument works on the left under the corresponding hypotheses. Finite-index group ring extensions give an important example, using coset representatives as a finite module basis.

A semiprime ring has a classical right ring of quotients that is a semisimple ring and Artinian exactly when it is a right Goldie ring. In particular, the theorem applies to a semiprime ring that is a right Noetherian ring. It extends the fraction-field construction from commutative domains to rings whose quotient can be a finite product of matrix rings over division rings.

If $A$ is a left Noetherian ring and a right Noetherian ring, and $G$ is a poly-(cyclic or finite) group, then $A[G]$ satisfies both chain conditions. Induct along the subnormal series. A finite factor gives a finite free extension on each side, handled by finite-module extension preserves Noetherianity. An infinite cyclic factor gives a skew Laurent polynomial ring, with the twisting automorphism induced by conjugation by a lift of the cyclic generator. The noncommutative Hilbert basis theorem and clearing negative powers prove the required chain conditions at that step. In particular $\mathbb{Z}[G]$ is Noetherian.

A right Artinian ring is a right Noetherian ring. Its right regular module therefore has finite composition length. Its Jacobson radical is a nilpotent ideal, and its quotient by that Jacobson radical is a semisimple ring. In particular every finitely generated right module over such a ring has finite composition length.

If an algebra $B$ is generated by a subalgebra $A$ that is a right Noetherian ring and one element $x$, and $A+xA=A+Ax$, then $B$ is a right Noetherian ring. The proof uses $F_n={\sum }_{i\le n}A{x}^i={\sum }_{i\le n}{x}^{i}A$ and, for each right ideal $I$, the ascending right ideals $L_n=\{a:a{x}^n\in I+F_{n-1}\}$. After these stabilize, finitely many lifts of generators for $L_0,\dots ,L_N$ generate $I$ by induction on degree. Neither unique normal forms nor an automorphism moving coefficients is required.

Put $x=I+E_{12}$, $y=I+E_{23}$ and $z=I+E_{13}$. The multiplication of matrix-coordinate triples is $(a,b,c)(a^{\prime },b^{\prime },c^{\prime })=(a+a^{\prime },b+b^{\prime }+a{c}^{\prime },c+c^{\prime })$. In particular $z$ is central, $xy=zyx$, and every element has the unique normal form $y^c{z}^b{x}^a$. ConsequentlyThe distinct normal-form monomials are the group basis, so this is an isomorphism, not merely a surjection from a presented algebra. This is the integral Heisenberg group algebra as a skew Laurent ring.

Here is the needed skew Hilbert basis theorem, including its proof. If $A$ is a left Noetherian ring and $\sigma$ an automorphism, let $J$ be a left ideal of $A[t;\sigma ]$, where $ta=\sigma (a)t$. DefineThese are left ideals of $A$: adding lifts adds the coefficient, and left multiplication by ${\sigma }^n(r)$ multiplies its normalized value by $r$. Multiplication of a lift by $t$ proves $I_n\subseteq I_{n+1}$. The chain stabilizes at some $N$. Choose finite generators $u_{nj}$ for each $I_n$, $0\le n\le N$, and lifts $f_{nj}\in J$ with $t^n$ coefficient ${\sigma }^n(u_{nj})$.

For $f\in J$ of degree $m\ge N$, write its normalized leading coefficient as ${\sigma }^{-m}(\mathrm{lc}f)={\sum }_j{r}_j{u}_{Nj}$. Thenhas smaller degree: the displayed summands have leading coefficients ${\sigma }^m(r_j{u}_{Nj})$. For $m<N$ use the generators for $I_m$ without the shift. Induction on degree expresses every element of $J$ in terms of the finitely many chosen lifts. Thus $A[t;\sigma ]$ is a left Noetherian ring. Passing to the opposite ring replaces $\sigma$ by ${\sigma }^{-1}$ and proves the corresponding right-sided result.

This proof includes the ordinary Hilbert basis theorem when $\sigma$ is the identity. Starting with the field $k$, it makes $k[y,z]$ Noetherian; localization at powers of $y,z$ makes $B$ Noetherian as well. Finally, for a left ideal $L$ in $B[x,x^{-1};\sigma ]$, its intersection $J$ with $B[x;\sigma ]$ has finitely many generators. For each $f\in L$, some $x^{q}f$ lies in $J$, so $f=x^{-q}(x^{q}f)$ is generated by those same elements in the skew Laurent polynomial ring. Right multiplication clears powers for a right ideal. Therefore $kG$ is a left Noetherian ring and a right Noetherian ring.

The variable $t$ is central. To prove the leading-coefficient proof for a central polynomial extension, let $I$ be any right ideal of $R[t]$ and setZero leading coefficients are allowed. Addition and right multiplication by constants show that $L_d$ is a right ideal. Multiplication by $t$ gives $L_d\subseteq L_{d+1}$. Since $R$ is a right Noetherian ring, this chain stabilizes, say at $L_N$, and each $L_d$ for $d\le N$ has finitely many generators $a_{dj}$. Choose $f_{dj}\in I$ of degree at most $d$ lifting these coefficients.

These finitely many polynomial lifts generate $I$ on the right. Indeed, for $f\in I$ of degree $m$, let $d=\min (m,N)$. Write its leading coefficient as ${\sum }_j{a}_{dj}{r}_j$. Thenbelongs to $I$ and has degree less than $m$, because $L_m=L_d$ when $m>N$. Induction on degree reduces $f$ to a right linear combination of the chosen lifts. This proves finite generation of every right ideal, and henceCentrality matters: it is what permits the displayed leading-coefficient cancellation without twisting the coefficients.

A right Ore localization at $S$ is a unital homomorphism $\iota :R\to Q$ such that every $\iota (s)$, $s\in S$, is a unit, every element of $Q$ is $\iota (r)\iota (s{)}^{-1}$, andEquivalently, the usual fraction construction has this zero criterion and is universal among homomorphisms that invert $S$. Injectivity is required only when the denominators are regular elements of a ring. If $0\in S$, every homomorphism inverting $S$ has zero target; this is the degenerate zero-ring localization. For a nonzero localization we require $0\notin S$.

The necessary and sufficient conditions are that $S$ be a right denominator set:

For necessity, write the element $\iota (s{)}^{-1}\iota (r)$ as $\iota (b)\iota (t{)}^{-1}$. Multiplying by $\iota (s)$ on the left and $\iota (t)$ on the right gives $\iota (rt-sb)=0$. The zero criterion supplies $u\in S$ with $(rt-sb)u=0$. Hence $r(tu)=s(bu)$, the right Ore condition in $R$, not merely an equality of images in $Q$. Also $sr=0$ makes $\iota (r)=0$ because $\iota (s)$ is invertible, and the zero criterion gives $rt=0$. This proves both necessities.

The sufficiency is the Ore theorem for denominator sets. Concretely, right fractions can be represented by $(r,s)$; a common-denominator equality has $su=tv\in S$ and $ru=r^{\prime }v$ for suitable $u,v\in R$. The two conditions make the induced fraction equivalence transitive and make addition and multiplication well defined; the zero fraction is exactly the kernel displayed above. The requested direction of the theorem was necessity, for which the complete argument has just been given.

For a right Noetherian domain, any two nonzero principal right ideals intersect. To see this without using the desired localization, suppose $bR\cap aR=0$ with $a,b\ne 0$. The sumis direct: reduce a finite relation modulo $aR$ to get its first summand zero, then cancel $a$ in the noncommutative domain and repeat. Every summand is nonzero, so the finite partial sums form a strictly ascending chain of right ideals, contradicting the ascending chain condition. A nonzero intersection $rR\cap sR$ thus provides $rt=sb\ne 0$, with $t\ne 0$. This is the right Ore condition for $S=R\setminus \{0\}$. Reversibility is automatic in a noncommutative domain, and the zero criterion makes the map injective. The localization is a division ring, since a nonzero $r{s}^{-1}$ has inverse $s{r}^{-1}$.

The Goldie theorem states that a semiprime ring has a semisimple Artinian classical right ring of quotients if and only if it has finite right uniform dimension and satisfies the ascending chain condition on right annihilators. A right Noetherian ring satisfies the annihilator condition because right annihilators are right ideals. Its right regular module has finite uniform dimension: an infinite direct sum of nonzero submodules would give a strictly ascending chain of finite partial sums. A prime ring is semiprime, so the theorem applies to a prime right Noetherian ring $R$.

To obtain a single matrix-ring factor, not just a finite product, prove that its quotient $Q$ is prime. A nonzero two-sided ideal $I\subseteq Q$ contains a nonzero fraction $r{s}^{-1}$ and hence the nonzero element $r=(r{s}^{-1})s\in I\cap R$. The same holds for any other nonzero ideal $K$. Since $R$ is prime, $(I\cap R)(K\cap R)\ne 0$, so $IK\ne 0$. Thus $Q$ is prime. The Artin–Wedderburn theorem gives a finite product of matrix rings over division rings; primeness excludes two different nonzero factors with zero product. This proves the prime classical quotient of a prime right Goldie ring:For the requested counterexample to Noetherianity, take $R=k[x_1,x_2,\dots ]$. It is a commutative integral domain and has its field of fractions as its classical right ring of quotients. But $(x_1)⊊(x_1,x_2)⊊\cdots$ is a strictly ascending ideal chain: evaluation at $x_1=\cdots =x_m=0$ shows $x_{m+1}$ is not in the preceding ideal. Therefore existence of a classical quotient does not imply right Noetherianity.

An essential right ideal intersects every nonzero right ideal nontrivially. A regular element of a ring is a two-sided non-zero-divisor: both $cr=0$ and $rc=0$ imply $r=0$. Writing $S$ for the set of these elements, the classical right ring of quotients is a ring $Q$ containing $R$, with every $s\in S$ invertible and every element of $Q$ expressible as $a{s}^{-1}$.

Goldie theorem states that a semiprime ring has a semisimple Artinian classical right ring of quotients if and only if it is a right Goldie ring: it satisfies the ascending chain condition on right annihilators and has finite uniform dimension. In particular, every semiprime ring that is a right Noetherian ring satisfies the theorem. We prove the requested case directly using the supplied assumption about essential right ideals.

First let $c\in S$. If a nonzero right ideal $B$ had $B\cap cR=0$, the sumwould be direct. Indeed, a finite relation $b_0+c{b}_1+\cdots +c^m{b}_m=0$ gives $b_0\in B\cap cR$, hence $b_0=0$; cancellation of $c$ repeats the argument. Each $c^{j}B$ is a nonzero right ideal, so the partial sums form a strictly ascending chain. This contradicts right Noetherianity. Thus a regular principal right ideal in a right Noetherian ring is essential, and every right ideal containing $c$ is essential.

For $r\in R$ and $c\in S$, putThis is an essential right ideal. To check this, take a nonzero right ideal $B$. If $rB=0$, then $B\subseteq E$. Otherwise $rB$ is a nonzero right ideal, so it meets $cR$ nontrivially; lifting an element of that intersection gives a nonzero element of $B\cap E$. By the supplied assumption, $E$ contains some $d\in S$, givingThis is the right Ore condition. The set $S$ is multiplicatively closed, and the denominator cancellation condition holds because its elements are non-zero-divisors. Therefore Ore theorem constructs $Q$ and embeds $R$ in it.

For every right ideal $J$ of $Q$,Indeed, if $x=a{s}^{-1}\in J$, then $a=xs\in J\cap R$. Contracting an ascending chain of right ideals of $Q$ to $R$ therefore proves that $Q$ is a right Noetherian ring.

Suppose $J$ is an essential right ideal of $Q$. For a nonzero right ideal $B$ of $R$, choose $0\ne x\in J\cap BQ$. The right Ore condition gives a common right denominator for a finite expression of $x$ in $BQ$, so there is $s\in S$ withThus $J\cap R$ is an essential right ideal of $R$. It contains a regular element of a ring, which becomes a unit in $Q$, and consequently $J=Q$.

Finally, for any right ideal $A$ of $Q$, choose by Zorn lemma a right ideal $B$ maximal subject to $A\cap B=0$. Then $A\oplus B$ is essential: a nonzero right ideal disjoint from $A+B$ would enlarge $B$ while keeping it disjoint from $A$. Hence $A\oplus B=Q$. Every submodule of the right regular module has a complement, making it a semisimple module. Since it is also Noetherian, it is a finite direct sum of simple modules. It is therefore Artinian, and $Q$ is a semisimple Artinian ring. This is semisimplicity of a classical quotient from regular elements in essential ideals.

A filtration of a ring is an exhaustive increasing family of additive subgroups $F_{i}R$, indexed by the integers, with $1\in F_{0}R$ and $F_{i}R{F}_{j}R\subseteq F_{i+j}R$. A compatible filtration of a module on a right module satisfies $F_{i}M{F}_{j}R\subseteq F_{i+j}M$. The associated graded module has components $F_{i}M/F_{i-1}M$, and its action by the associated graded ring isChanging either representative changes the product only by an element of $F_{i+j-1}M$, so the action is well-defined.

The subspace filtration on $N$ is $F_{i}N=N\cap F_{i}M$. The quotient filtration is $F_i(M/N)=(F_{i}M+N)/N$. Inclusion induces an injective map $\mathrm{gr}N\to \mathrm{gr}M$, and the quotient induces a surjective map to $\mathrm{gr}(M/N)$. If $m\in F_{i}M$ maps to zero in its degree-$i$ quotient, write $m=n+m^{\prime }$ with $n\in N$ and $m^{\prime }\in F_{i-1}M$. Then $n\in N\cap F_{i}M$, so the kernel is exactly the image of $\mathrm{gr}N$. We have the short exact sequencewhich is exactness of associated graded modules for induced filtrations.

For the negative case, $F_{i}R=R$ for $i\ge 0$. Completeness means that $R\to {\underleftarrow{\lim }}_{q}R/F_{-q}R$ is an isomorphism; in particular the filtration of a ring is separated. If $x\in F_{-1}R$ and $r\in R$, then $(xr{)}^q\in F_{-q}R$. The geometric seriesconverges in the complete negative filtration and is a two-sided inverse of $1-xr$, by the finite geometric identity and continuity of multiplication. The unit criterion for the Jacobson radical now gives

Let $I$ be any right ideal. The associated graded module $\mathrm{gr}I$ for its subspace filtration is a homogeneous ideal on the right in $\mathrm{gr}R$. If $\mathrm{gr}R$ is a right Noetherian ring, choose homogeneous generators that lift to $x_1,\dots ,x_s\in I$, with degrees $d_1,\dots ,d_s\le 0$.

For $x\in I\cap F_{d}R$, cancel its degree-$d$ symbol by a sum ${\sum }_i{x}_i{a}_{i,0}$ with $a_{i,0}\in F_{d-d_i}R$. The remainder belongs to $I\cap F_{d-1}R$. Repeat the cancellation in each succeeding degree. After $q$ steps,For every $i$, the coefficient series converges to some $a_i\in R$ by completeness. Passing to the limit gives $x={\sum }_i{x}_i{a}_i$. Thus these finitely many $x_i$ generate the actual right ideal $I$; no assumption that $I$ is closed is needed. Since every right ideal is finitely generated, $R$ is right Noetherian, by complete negative filtered-graded transfer of Noetherianity.

Use unital rings, and distinguish left and right Noetherianity. A useful form of the noncommutative Hilbert basis theorem is the following: if a ring $B$ is generated by a subring $A$ and an element $x$, if $A+xA=A+Ax$, and if $A$ is a right Noetherian ring, then $B$ is a right Noetherian ring. The corresponding left-handed statement holds as well. In particular, a central polynomial ring over a Noetherian ring is Noetherian, and a skew polynomial ring of an automorphism preserves either side's Noetherianity.

Here is a proof of the general right-handed statement. Put $F_{-1}=0$ andThe equality follows inductively from $A+xA=A+Ax$. These groups form an exhaustive ascending filtration, stable under multiplication by $A$ on either side, with $F_j{F}_k\subseteq F_{j+k}$. For any $b\in A$ and $n\ge 0$, moving coefficients one step at a time also givesFix a right ideal $I$ of $B$ and define coefficient setsEach $L_n$ is a right ideal of $A$. Additive closure is immediate. If $a\in L_n$ and $b\in A$, use the preceding transport identity to obtainHere $(a{x}^n)c$ has this membership because $I$ is a right ideal and $F_{n-1}$ is stable under right multiplication by $A$. Also $L_n\subseteq L_{n+1}$, by multiplying $a{x}^n\in I+F_{n-1}$ on the right by $x$. The ascending chain condition in $A$ yields $N$ with $L_n=L_N$ for $n\ge N$.

For each $0\le k\le N$, choose finite right generators $a_{kj}$ of $L_k$ and lifts $f_{kj}\in I$ with $f_{kj}-a_{kj}{x}^k\in F_{k-1}$. These finitely many lifts generate $I$ as a right ideal of $B$. To prove this, let $f\in I\cap F_d$ and write $f=a{x}^d+v$, $v\in F_{d-1}$. Then $a\in L_d$. Put $k=\min (d,N)$ and write $a={\sum }_j{a}_{kj}{b}_j$. Transport each coefficient as $b_j{x}^d=x^d{c}_j+v_j$ with $v_j\in F_{d-1}$. ConsequentlyInduction on $d$, with $F_{-1}=0$, expresses $f$ in the right ideal generated by the lifts. Every right ideal is therefore finitely generated, proving the theorem. Passing to the opposite ring proves the left-handed version. This proof does not require unique coefficient normal forms.

A poly-(cyclic or finite) group has a finite subnormal serieswhose factors $G_i/G_{i-1}$ are cyclic or finite. Normality is required between consecutive terms. We show inductively that each group ring $\mathbb{Z}[G_i]$ is both a left Noetherian ring and a right Noetherian ring.

The starting ring $\mathbb{Z}$ is Noetherian, since every ideal is principal. The other module fact we use is that a finitely generated module over a Noetherian ring on the relevant side is a Noetherian module: it is a quotient of a finite direct sum of regular modules, and the ascending chain condition passes to finite sums and quotients. For a finite sum this follows by induction, comparing the intersections of a chain with one summand and its images in the quotient by that summand.

If $H◃K$ has finite index, choosing coset representatives shows that $\mathbb{Z}[K]$ is finite free as a left and as a right $\mathbb{Z}[H]$-module. By finite-module extension preserves Noetherianity, every one-sided ideal of $\mathbb{Z}[K]$ is finitely generated already as a $\mathbb{Z}[H]$-module, and those same generators generate it as a $\mathbb{Z}[K]$-ideal. Thus either chain condition passes through a finite factor.

If $K/H$ is infinite cyclic, choose $t\in K$ lifting its generator. Every element of $K$ has a unique form $h{t}^n$, and conjugation by $t$ gives an automorphism $\sigma$ of $\mathbb{Z}[H]$. HenceFor the polynomial subring $C=\mathbb{Z}[H][t;\sigma ]$, the condition $A+tA=A+At$ follows from invertibility of $\sigma$, so the proved noncommutative Hilbert basis theorem makes $C$ Noetherian on both sides. A right ideal $J$ of the skew Laurent polynomial ring is generated by $J\cap C$: for any $f\in J$, choose $m$ large enough that $f{t}^m\in C$, and recover $f=(f{t}^m)t^{-m}$. Finite generators of $J\cap C$ over $C$ therefore generate $J$ over the Laurent ring. Left multiplication by a large power of $t$ proves the left-handed statement. These are the Laurent-extension facts used in the induction.

Every factor of the subnormal series is covered by one of these two cases. ThereforeThe argument proves the more general result that group rings of poly-(cyclic or finite) groups are Noetherian over any coefficient ring satisfying both chain conditions.

A right Noetherian ring satisfies the ascending chain condition on right ideals; equivalently, every right ideal is a finitely generated module.

Here is a noncommutative Hilbert basis theorem proof adapted to the stated hypothesis. Set $F_{-1}=0$ andThe equality follows inductively from $A+xA=A+Ax$, by moving one coefficient past one $x$ at a time. These spaces form an exhaustive filtered algebra structure on $B$, with $F_n{F}_m\subseteq F_{n+m}$. This does not assert uniqueness of the displayed expressions or the existence of a coefficient-moving automorphism.

For a right ideal $I\subseteq B$, defineEach $L_n$ is a right ideal of $A$. In fact, if $a\in L_n$ and $c\in A$, write $c{x}^n=x^{n}b+u$ with $b\in A$, $u\in F_{n-1}$; then $ac{x}^n=(a{x}^n)b+au\in I+F_{n-1}$. Also $L_n\subseteq L_{n+1}$ by right multiplication by $x$. Since $A$ is a right Noetherian ring, this ascending chain stabilizes at some $L_N$.

Choose finite generators $a_{nj}$ for each $L_n$, $0\le n\le N$, and choose $f_{nj}\in I$ with $f_{nj}-a_{nj}{x}^n\in F_{n-1}$. These finitely many elements generate $I$ as a right ideal. To see this, induct on $m$ for $f\in I\cap F_m$. Write $f=a{x}^m+u$ with $u\in F_{m-1}$; then $a\in L_m$. Put $d=\min (m,N)$ and express $a={\sum }_j{a}_{dj}{c}_j$. Write $c_j{x}^d=x^d{b}_j+u_j$ with $u_j\in F_{d-1}$. The differencelies in $I\cap F_{m-1}$, so the induction applies. At $m=0$ the remainder is zero. Hence $B$ is right Noetherian.

For the quantum torus, take $q\in k^{\times }$ and the convention $YX=qXY$. Begin with the polynomial ring $k[X]$, which is Noetherian by the Hilbert basis theorem. Adjoining $X^{-1}$ preserves the hypothesis because it commutes with $k[X]$, and gives $k[X^{\pm 1}]$. Adjoin $Y$ next. The relation $Yf(X)=f(qX)Y$ and its inverse coefficient-moving relation give $A+YA=A+AY$ for $A=k[X^{\pm 1}]$. Finally adjoin $Y^{-1}$ to $k[X^{\pm 1}][Y;\sigma ]$, where $\sigma (X)=qX$. On a monomial, $Y^{-1}{X}^i{Y}^j=q^{-i}{X}^i{Y}^{j-1}$; when $j=0$ this is in $A{Y}^{-1}$, and when $j>0$ it is in $A$. The reverse inclusion follows by the same relation. The preceding argument applies at each step, proving the quantum torus is right Noetherian. Nonzero $q$ is required for this notation.

For a noncommutative ring, a prime ideal of a noncommutative ring means a proper two-sided ideal $P$ such that $UV\subseteq P$ for two-sided ideals $U,V$ implies $U\subseteq P$ or $V\subseteq P$. Equivalently, $aAb\subseteq P$ implies $a\in P$ or $b\in P$. This definition does not require $A/P$ to be a noncommutative domain.

Retain the right Noetherian ring hypothesis for the last assertion. More generally, the ascending chain condition on two-sided ideals suffices. We claim that every proper two-sided ideal $I$ contains a product of finitely many prime ideals of a noncommutative ring, each containing $I$. If not, choose a maximal counterexample $I$. It cannot be a prime ideal of a noncommutative ring. Thus there are two-sided ideals $U,V$ strictly containing $I$ with $UV\subseteq I$: add $I$ to the two witnesses for failure of the defining condition for a prime ideal of a noncommutative ring. By maximality, both $U$ and $V$ contain products of finitely many prime ideals of a noncommutative ring containing them. Concatenating these products gives a product inside $UV\subseteq I$, a contradiction.

Apply the claim to $I=0$ in a nonzero $A$, obtaining $P_1\cdots P_r=0$. Every prime ideal of a noncommutative ring $Q$ contains one of the $P_i$, by repeated application of the definition of a prime ideal of a noncommutative ring. For the prime radical of a noncommutative ring $N$, it follows thatIndeed, $N\subseteq P_i$ gives $N^r\subseteq P_1\cdots P_r=0$, and ${\bigcap }_i{P}_i\subseteq Q$ for every $Q$ gives equality of the intersections. If $A=0$, the empty intersection is the whole zero ring and the conclusion is immediate.

The final assertion is false for arbitrary algebras without the preceding chain condition. For example, in the commutative ring $k[z_1,z_2,\dots ]/(z_i^2:i\ge 1)$ the nilradical is $(z_1,z_2,\dots )$, its only prime ideal, but the product of any number of distinct $z_i$ is nonzero. Thus this nilradical is not a nilpotent ideal.