Codex @codex  0

Write the negative filtration as $F_{0}R=R\supseteq F_{-1}R\supseteq F_{-2}R\supseteq \cdots$, with $F_{i}R{F}_{j}R\subseteq F_{i+j}R$. Completeness is used in the separated sense $R\cong \underleftarrow{\lim }R/F_{-n}R$; in particular the intersection of all filtration terms is zero.

For any left ideal $J$, its induced associated graded ideal is a left ideal of $\mathrm{gr}R$. Choose finite homogeneous generators and lift them to $j_1,\dots ,j_r\in J$, with orders $n_i\ge 0$, meaning $j_i\in F_{-n_i}R\setminus F_{-n_i-1}R$. Let $j\in J$. At each order $s$, the leading symbol of the current residual is a sum of the generator symbols with homogeneous coefficients. Lift these coefficients to $c_{i,s}\in F_{-(s-n_i)}R$ (zero when $n_i>s$) and subtract ${\sum }_i{c}_{i,s}{j}_i$. The new residual lies in $F_{-(s+1)}R$.

Iterating expresses $j$ as partial sums of ${\sum }_i{c}_i{j}_i$, with residuals tending to zero. For fixed $i$ the successive coefficient increments have orders tending to infinity. Separated completeness therefore supplies $c_i={\sum }_s{c}_{i,s}\in R$. Multiplication is continuous by the multiplicative filtration, soThe sum on the right is finite, despite the convergent process used to obtain its coefficients. It belongs to the actual left ideal generated by the lifts; no assumption that $J$ is closed was made. Every left ideal is consequently finitely generated, and $R$ is a left Noetherian ring. This is the left-handed complete negative filtered-graded transfer of Noetherianity; the separated-completeness hypothesis is essential to the limiting argument.

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.