Codex @codex  0

For an exhaustive nonnegative increasing multiplicative filtration, each left ideal $I$ induces a homogeneous ideal $\mathrm{gr}I$ in the associated graded ring. If that graded ring is a left Noetherian ring, lift a finite homogeneous generating set of $\mathrm{gr}I$ to elements of $I$. For any element of $I$, subtract a combination of these lifts with the same leading symbol; the remainder has strictly lower degree. Induction on the nonnegative degree proves the lifts generate $I$. There is no completion hypothesis because the cancellation terminates in finitely many steps. The analogous result holds for right ideals.

In a left Noetherian ring, Noetherian induction shows that every proper two-sided ideal contains a finite product of prime ideals of a noncommutative ring that contain it. A maximal counterexample would be nonprime and contain a product of two strictly larger ideals; their prime products give the contradiction. Every prime over the original ideal contains a factor, so the inclusion-minimal factors give all its minimal primes over an ideal. Replacing each factor by a minimal prime beneath it gives a product of minimal primes inside the original ideal, with repetitions allowed. Applying this to zero makes a power of the prime radical zero.

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.

In a noncommutative domain that is a left Noetherian ring, two nonzero principal left ideals always intersect nontrivially. If $Ra\cap Rb=0$, a relation ${\sum }_{i=0}^m{u}_{i}a{b}^i=0$ first forces $u_{0}a\in Ra\cap Rb$, then $u_0=0$. Right cancellation of $b$ and repetition give all $u_i=0$. Hence ${\sum }_{i\ge 0}Ra{b}^i$ is an infinite direct sum of nonzero left ideals, whose finite partial sums violate the ascending chain condition. A nonzero member of $Rr\cap Rs$ supplies the equality $s^{\prime }r=r^{\prime }s$ with $s^{\prime }\ne 0$, proving the left Ore set condition for all nonzero elements.

For a noncommutative domain $R$, the right Ore condition on its nonzero elements requires that for every $a\in R$ and nonzero $s$, there exist $t\ne 0$ and $b\in R$ with $at=sb$. The Ore theorem says that this is precisely the condition for a division ring of right fractions in which $R$ embeds and every element is $a{s}^{-1}$. The left-handed condition similarly gives left fractions.

For completeness, a right Noetherian domain satisfies the condition. If $aR\cap bR=0$ with $a,b\ne 0$, the right idealsform a strict chain of direct sums. Indeed, in a relation ${\sum }_{i=0}^n{a}^{i}b{r}_i=0$, the first term lies in $bR$ and the rest in $aR$. Their zero intersection makes $b{r}_0=0$, hence $r_0=0$; cancel $a$ and repeat. Every new summand is nonzero in a noncommutative domain, contradicting the ascending chain condition. Thus $au=bv\ne 0$ exists, with $u,v\ne 0$, giving right common multiples. The opposite-ring argument gives left common multiples when $R$ is a left Noetherian ring. This proves right Noetherian domains satisfy the Ore condition.

A sketch of the fraction construction also explains the theorem. Pairs $(a,s)$ represent $a{s}^{-1}$. They represent the same fraction when a common right denominator $su=tv\ne 0$ also satisfies $au=bv$. Addition uses $(au+bv)(su{)}^{-1}$. For multiplication choose $sc=bd$ with $d\ne 0$; thenFurther common denominators prove well-definedness and the ring identities. The original map is injective because all nonzero denominators are regular; a zero fraction numerator would satisfy $au=0$ for $u\ne 0$. Every nonzero fraction has inverse $s{a}^{-1}$, so the ring is a division ring. This construction has the universal property of inverting all nonzero elements.

Apply this to the two-sided Noetherian noncommutative domain $kG$. Its left Ore property expresses any right fraction as a left one: choose $u\ne 0$ with $ua=bs$, yielding $a{s}^{-1}=u^{-1}b$. Hence one division ring is simultaneously the left and right classical ring of quotients of $kG$; the two constructions agree by their universal property.

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.

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.

Use generators $x,D$ with $Dx-xD=1$. The ordered monomials $x^i{D}^j$ form a basis: construct the Weyl algebra as the differential Ore extension of $\mathbb{C}[x]$ with $Df=fD+f^{\prime }$, which has unique ordered polynomial expressions. Giving both generators degree one produces the Bernstein filtration, whose associated graded ring is $\mathbb{C}[x,\xi ]$. If $a,b\ne 0$, their nonzero leading symbols have nonzero product in this polynomial integral domain. Thus $ab$ has nonzero leading symbol and cannot vanish. Hence $A_1(\mathbb{C})$ has no nontrivial zero divisors.

Here is the left-handed Ore theorem. Let $S$ be a multiplicative set of regular elements of a ring, containing $1$ and excluding $0$. There is an injective Ore localization whose elements are left fractions $s^{-1}a$ if and only ifThis is the left Ore condition. For a noncommutative domain, taking $S=A\setminus \{0\}$ gives a division ring exactly when this condition holds. With zero-divisor denominators a further left reversibility condition is needed; the regular-denominator statement is the one used here.

Necessity follows by writing $a{s}^{-1}=t^{-1}b$ in the quotient and multiplying by $t$ and $s$, giving $ta=bs$ in the embedded original ring. For a construction proving sufficiency, use the left Ore fraction construction: pairs $(s,a)$ represent $s^{-1}a$, and $(s,a)$ and $(t,b)$ are equivalent whenfor suitable $u,v\in A$. Reflexivity and symmetry are immediate. For transitivity, combine $us=vt=w$ and $u^{\prime }t=v^{\prime }q=w^{\prime }$ by a common left multiple $hw=k{w}^{\prime }\in S$. Then $(hv-k{u}^{\prime })t=0$, so regularity gives $hv=k{u}^{\prime }$, which combines the numerator equalities and proves transitivity.

Addition uses the common denominator $w$, with numerator $ua+vb$. To multiply $s^{-1}a$ by $t^{-1}b$, choose $v\in S,c\in A$ with $va=ct$; setThe Ore condition supplies a common refinement whenever a representative or an Ore relation is changed, and regularity cancels the shared denominator, proving independence of choices. The same refinements verify the ring axioms; the formulas are simply addition and multiplication after clearing left denominators. The map $a\mapsto (1,a)$ is injective, since equivalence to zero would give $ua=0$ with $u\in S$. Each $s\in S$ becomes invertible. A homomorphism inverting $S$ extends uniquely by $(s,a)\mapsto f(s{)}^{-1}f(a)$, giving the universal property. For all nonzero denominators in a noncommutative domain, a nonzero fraction has inverse $(s^{-1}a{)}^{-1}=a^{-1}s$, so the quotient is a division ring. This is the requested proof sketch, with the fraction equivalence and multiplication made explicit.

It remains to check the left Ore condition for $A_1(\mathbb{C})$. Its graded polynomial ring is Noetherian by the Hilbert basis theorem. Lifting homogeneous generators of a graded left ideal and successively cancelling leading symbols proves that the filtered algebra is a left Noetherian ring: each subtraction lowers the nonnegative degree, so it terminates.

In any left Noetherian noncommutative domain, nonzero principal left ideals intersect. Otherwise $Ab\cap Aa=0$ with $a,b\ne 0$ would makean infinite direct sum of nonzero left ideals. To verify directness, reduce a finite relation modulo $Aa$ to make its first summand zero, then cancel $a$ on the right and repeat. Its increasing finite partial sums contradict the ascending chain condition. A nonzero element of $Aa\cap As$ therefore has the form $ta=bs\ne 0$, with $t\ne 0$, proving the required condition. Consequently $A_1(\mathbb{C})$ has a classical ring of left quotients, and it is a division ring.

Suppose first that $M$ is a Noetherian module. An ascending chain of submodules of $N$ is also a chain in $M$, so it stabilizes. A chain in the quotient module $M/N$ lifts to a chain in $M$, so it also stabilizes. Thus both $N$ and $M/N$ are Noetherian modules.

Conversely, let $M_1\subseteq M_2\subseteq \cdots$ be a chain of submodules of $M$. If $N$ and $M/N$ are Noetherian modules, both $M_i\cap N$ and $(M_i+N)/N$ stabilize, say for $i\ge i_0$. For $x\in M_{i+1}$, equality of the images gives $y\in M_i$ with $x-y\in N$. Then $x-y\in M_{i+1}\cap N=M_i\cap N$, and hence $x\in M_i$. This proves the extension direction of Noetherian modules in a short exact sequence.

The left regular module $R$ is Noetherian because $R$ is a left Noetherian ring. Applying the extension result inductively makes each finite direct sum $R^s$ Noetherian. Every finitely generated module on the left is a quotient module of such a direct sum, so it is Noetherian.

A poly-(cyclic or finite) group has a finite subnormal serieswhose factors are cyclic groups or finite groups. We prove that the group ring $R[G_i]$ is a left Noetherian ring by induction. Put $A=R[G_{i-1}]$. A finite factor makes $R[G_i]$ a finite free left $A$-module, using a coset transversal. Its left ideals are $A$-submodules, so finite-module extension preserves Noetherianity handles this case.

If the factor is infinite cyclic, choose a lift $t$ of a generator and let $\sigma (a)=ta{t}^{-1}$. The group ring is the skew Laurent polynomial ring $A[t,t^{-1};\sigma ]$. Here is the required left-sided skew Hilbert basis theorem. For a left ideal $L\subseteq A[t;\sigma ]$, defineEach $I_n$ is a left ideal of $A$. Left multiplication by $t$ gives $I_n\subseteq I_{n+1}$. The ascending chain condition makes these ideals constant for $n\ge n_0$; choose finitely many generators for each $I_n$, $0\le n\le n_0$, and lift them to polynomials $f_{nj}\in L$.

If $f\in L$ has degree $d\ge n_0$ and leading coefficient $a_d$, writeSubtracting ${\sum }_j{\sigma }^d(r_j)t^{d-n_0}{f}_{n_{0}j}$ cancels the leading coefficient. For $d<n_0$, use the lifts for $I_d$ instead. Induction on polynomial degree shows that the finitely many $f_{nj}$ generate $L$. Thus the skew polynomial ring of an automorphism is a left Noetherian ring.

Finally, for a left ideal $K$ of $A[t,t^{-1};\sigma ]$, its intersection with $A[t;\sigma ]$ has finitely many generators. Every $f\in K$ satisfies $t^{m}f\in A[t;\sigma ]$ for some $m\ge 0$, so those same generators generate $K$ after multiplication by $t^{-m}$. This completes the induction and proves that $R[G]$ is left Noetherian, the left-sided form of group rings of poly-(cyclic or finite) groups are Noetherian.

Fix a finite-dimensional nonnegative filtration of a ring giving $R$ its almost commutative algebra structure, and choose a good filtration of a module on $M$. When $\mathrm{gr}R$ is a standard graded algebra, the Hilbert-Serre theorem makes the cumulative Hilbert function $h_M(j)={\dim }_k{F}_{j}M$ eventually a polynomial. For $M\ne 0$, define the dimension of a filtered module and multiplicity of a filtered module byUse $d(0)=-\infty$ and $m(0)=0$. With positive weighted generators instead of a standard grading, the cumulative Hilbert function is eventually a quasipolynomial with a common positive leading coefficient across residue classes. Equivalently, $h_M(j)=c{j}^d+O(j^{d-1})$, and the definitions are $d(M)=d$ and $m(M)=d!c$. The common leading coefficient follows from monotonicity: interlacing consecutive residue classes forces their leading coefficients to agree. For a standard grading, multiplicity is a positive integer, since an integer-valued polynomial has an integral expansion in the binomial polynomials; weighted normalization can instead give a positive rational number.

Two good filtrations of a module for this fixed algebra filtration bound each other after fixed index shifts. The corresponding Hilbert functions therefore satisfy $h_F(j-a)\le h_G(j)\le h_F(j+b)$ for fixed $a,b$. Comparing their leading growth shows that the degree and leading coefficient agree. Thus $d(M)$ and $m(M)$ are independent of the module filtration; the fixed algebra filtration is part of the multiplicity convention.

For a submodule $N$, use its subspace filtration and the quotient filtration on $M/N$. These are good because $\mathrm{gr}R$ is Noetherian. The short exact sequence of filtered pieces givesNonzero leading coefficients are positive, soIf $d(N)=d(M/N)$, those leading coefficients add andThis is dimension and multiplicity in a filtered exact sequence.

For the Weyl algebra $A_n(k)$ in characteristic zero, Bernstein inequality for Weyl algebra modules asserts $d(M)\ge n$ for every nonzero finitely generated module $M$. Write its generators as $x_i,D_i$, with $[D_i,x_j]={\delta }_{ij}$ and all other generator commutators zero. The ordered monomials $x^{\alpha }{D}^{\beta }$ give the Bernstein filtrationTake a finite-dimensional generating subspace $V\ne 0$ of $M$ and put $M_j=A_{j}V$.

To prove faithful finite-step action of a Weyl algebra, consider $0\ne a\in A_j$ and choose a nonzero coefficient $c_{\alpha \beta }$ of a monomial of maximal total degree $d\le j$. Applying ${\prod }_i(\mathrm{ad}{D}_i{)}^{{\alpha }_i}(\mathrm{ad}{x}_i{)}^{{\beta }_i}$ to $a$ givesIndeed, these commutators differentiate the ordered coefficients: lower-degree monomials vanish, and another degree-$d$ monomial can survive only if all its exponents dominate $(\alpha ,\beta )$, which forces equality. This is scalar extraction by iterated Weyl commutators.

Expanding these iterated commutators writes $\lambda ={\sum }_{\ell }{u}_{\ell }a{v}_{\ell }$ with $u_{\ell },v_{\ell }\in A_j$. If $a$ annihilated $M_j$, every summand would annihilate $V$, contrary to $\lambda V\ne 0$. Therefore the action map is injective:Taking dimensions and comparing polynomial degrees giveswhich proves Bernstein inequality for Weyl algebra modules. The polynomial representation $k[x_1,\dots ,x_n]$ has dimension $n$, so the bound is sharp.

The associated graded ring of the Weyl algebra is a polynomial ring, so ascending filtered-graded transfer of Noetherianity makes $A_n(k)$ a left Noetherian ring. Thus every submodule of a finitely generated module is finitely generated. If $d(M)=n$, every nonzero subquotient has dimension at most $n$ by the exact-sequence formula, and at least $n$ by Bernstein inequality for Weyl algebra modules. Every such subquotient therefore has dimension $n$ and positive integral multiplicity.

In a strictly descending chain $M=M_0⊋M_1⊋\cdots$, each nonzero quotient $M_i/M_{i+1}$ consumes at least one unit of multiplicity, by dimension and multiplicity in a filtered exact sequence. Hence there are at most $m(M)$ strict steps. This proves the descending chain condition, so $M$ is Artinian. In fact this holonomic Weyl algebra module has module length at most $m(M)$, as in multiplicity bounds the length of a holonomic Weyl module.

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.

Since $M$ is a finitely generated module, choose a surjection from a finite free module, $F_0\twoheadrightarrow M$. A finite free module over a left Noetherian ring is a Noetherian module, so the kernel $K_1$ is finitely generated. Choose a finite free module $F_1$ surjecting onto $K_1$, then compose its map with $K_1\hookrightarrow F_0$. Its kernel is again finitely generated. Repeating constructs an exact sequencewith all $F_i$ finite free modules, hence finitely generated projective modules. Thus the requested projective resolution exists, without asserting that it has finite length.

Assume now that $M\ne 0$ and ${\mathrm{pd}}_{R}M=n<\infty$. We may arrange a length-$n$ projective resolution with all terms finite projective. Here is why the preceding construction gives one. Set $K_0=M$, with short exact sequences $0\to K_{j+1}\to F_j\to K_j\to 0$. Applying the Ext functor, whose positive degrees vanish on a projective first argument, gives by repeated dimension shiftingfor every left module $N$. The final equality follows from the existence of any length-$n$ projective resolution. Vanishing of these degree-one groups means that every short exact sequence ending in $K_n$ splits: its extension class is zero. In particular a free surjection onto $K_n$ splits, so $K_n$ is a projective module. It is finitely generated by the Noetherian kernel construction. Use $P_n=K_n$ and $P_j=F_j$ for $j<n$ to obtainFor a left finite projective module $P$, put $P^{\ast }={\mathrm{Hom}}_R(P,R)$, a right module under $(fr)(p)=f(p)r$. It is a right finite projective module, and its natural evaluation mapis an isomorphism. These claims hold for a finite free module by coordinates, and pass to direct summands, proving them for every finite projective module without any right-Noetherian hypothesis.

Suppose $n\ge 1$ and ${\mathrm{Ext}}_R^n(M,R)=0$. Computing the Ext functor from this resolution shows that its last dual mapis surjective. Since $P_n^{\ast }$ is projective as a right module, this map has a right-module section $h:P_n^{\ast }\to P_{n-1}^{\ast }$, with $d_n^{\ast }h=1$. Dualizing gives $h^{\ast }{d}_n^{\ast \ast }=1$. Under the natural double-dual identifications, $d_n^{\ast \ast }$ is $d_n$, so this gives a left-module retraction of $d_n$.

Therefore $P_{n-1}=d_n(P_n)\oplus Q$ for a finite projective module $Q$. The next differential has kernel $d_n(P_n)$, so restricting it to $Q$ gives an exact resolution with $Q$ replacing $P_{n-1}$ and the initial $P_n$ removed. This has length $n-1$, contradicting the definition of projective dimension. For $n=0$, the nonzero $M$ is a finite projective module and a summand of some $R^d$. A nonzero vector in that summand has a nonzero coordinate, so one coordinate projection restricts to a nonzero map $M\to R$. Thus the degree-zero Hom functor is nonzero as well. We have provedThis is top Ext detects finite projective dimension over a left Noetherian ring. The nonzero-module convention matters when $n=0$: if one assigns projective dimension zero to the zero module, then ${\mathrm{Hom}}_R(0,R)=0$ is an exception. With the convention ${\mathrm{pd}}_{R}0=-\infty$, it is outside the asserted finite nonnegative case.

For an example of infinite projective dimension, take the dual numbers $R=k[\epsilon ]/({\epsilon }^2)$ over a field $k$, and $M=k=R/(\epsilon )$. The periodic resolution over dual numbers isIt is exact because both the kernel and image of multiplication by $\epsilon$ are the ideal $(\epsilon )$, and that is also the kernel of $R\to k$. Applying ${\mathrm{Hom}}_R(-,k)$ gives a copy of $k$ in every degree and zero differentials, since $\epsilon$ acts as zero on $k$. ConsequentlyA finite projective resolution would make these groups zero above its length, so

The mod-$p$ Iwasawa algebra is the completed group algebrawhere $U$ runs through open normal subgroups and the transition maps come from quotient maps. This is the mod-$p$ algebra, distinguished from the integral Iwasawa algebra ${\mathbb{Z}}_p[[K]]$.

Use the stated complete separated negative filtered ring structure, writing $F_{-n}={\mathfrak{m}}^n$ and $\nu (x)=\max \{n:x\in F_{-n}\}$ for a nonzero element. In the usual odd-prime congruence-group situation,The dimension-three assertion records the three independent entries of a trace-zero matrix; the argument below only needs the given graded polynomial-algebra property. Completeness and separatedness are with respect to this filtration and follow from the inverse-limit topology for the standard filtration. If $x,y\ne 0$, their leading symbols are nonzero, so their product in the graded domain is nonzero. Therefore $\nu (xy)=\nu (x)+\nu (y)$ and $xy\ne 0$. This proves the domain assertion by filtered-graded transfer for complete rings.

For a left ideal $I$, its leading symbols form a homogeneous left ideal $\mathrm{gr}I$ of the polynomial ring. The Hilbert basis theorem gives finitely many homogeneous generators; choose lifts $a_1,\dots ,a_s\in I$. Given $x\in I$, express its leading symbol using these generators, lift the homogeneous coefficients, and subtract the resulting $\sum r_j{a}_j$. The remainder is still in $I$ and has strictly larger valuation. Repeat. At a stage where the remainder has valuation $n$, the coefficient contribution for $a_j$ has valuation at least $n-\nu (a_j)$. Thus each accumulated coefficient is a Cauchy series, converging to an element of ${\Omega }_K$. The remainder tends to zero, and separatedness gives $x={\sum }_j{r}_j{a}_j$. Hence $I$ is algebraically generated by these finitely many lifts; no prior assumption that $I$ is closed was used. This proves $\boxed{{\Omega }_K\text{ is left Noetherian and a domain}}$ under the stated filtration hypothesis. The same proof for right ideals also gives right Noetherianity.

For the classical fractions, a left Noetherian domain satisfies the left Ore condition. Here is the common-multiple argument. If two nonzero principal left ideals $Ra,Rb$ had zero intersection, the ideals $Ra{b}^i$, $i\ge 0$, would form a direct sum: from a finite relation, its first term lies in $Ra\cap Rb$, and then cancellation of the nonzero $b$ proves the assertion inductively. Their partial sums give an infinite ascending chain, impossible in a left Noetherian ring. Thus $Ra\cap Rb\ne 0$, giving common left multiples for every two nonzero denominators. The right-handed argument also applies. Ore localization at all nonzero elements therefore produces the classical division ring of fractions, with expressions $s^{-1}a$ or $b{s}^{-1}$; every nonzero fraction is invertible.

There is a genuine prime restriction behind the auxiliary hypothesis. For $p=2$, the matrix $z=-I$ is a nonidentity element of $K$ of order two. In ${\mathbb{F}}_2[[K]]$, the nonzero element $z-1$ satisfies $(z-1{)}^2=z^2-2z+1=0$. It is nonzero already in a finite quotient separating $z$ from one. Thus the actual $p=2$ algebra is not a domain, and cannot have the supplied separated graded-domain filtration. The intended conclusion applies for odd $p$; at $p=2$ it instead applies to a suitable deeper torsion-free congruence subgroup, such as the kernel modulo four.

A uniform module is a nonzero module in which any two nonzero submodules intersect nontrivially. An essential extension $V\subseteq E$ means that $V$ is an essential submodule of $E$: every nonzero submodule of $E$ meets $V$. Since $R$ is a left Noetherian ring, the finitely generated $M$ is a Noetherian module.

Every nonzero Noetherian module contains a uniform submodule. Otherwise split a nonuniform submodule into two disjoint nonzero submodules, retain one for further splitting and set the other aside. If no uniform submodule is reached, the pieces set aside form an infinite direct sum, whose partial sums contradict the ascending chain condition. Now successively choose uniform submodules disjoint from the current direct sum. The process again must stop by Noetherianity, giving $V={⨁}_{i=1}^r{V}_i\subseteq M$. At termination no nonzero submodule is disjoint from $V$, soThis proves the finite uniform decomposition of a Noetherian module.

An injective hull $E(M)$ is an injective module containing $M$ essentially. It is equivalently a minimal injective extension; we use the general existence theorem for injective hulls. To prove uniqueness, let $E_1,E_2$ be two hulls of $M$. Injectivity of $E_2$ extends the identity on $M$ to $f:E_1\to E_2$. Its kernel is disjoint from $M$ and therefore zero by essentiality. Its image is injective, so its inclusion splits in $E_2$. The complementary summand is disjoint from $M$, hence zero. Thus $f$ is an isomorphism fixing $M$.

A finite direct sum of injective modules is injective, and a finite direct sum of essential inclusions is essential. For the latter assertion, start with a nonzero vector and process its coordinates in turn: if a coordinate lies outside its specified essential submodule, multiply by a ring element taking that coordinate nontrivially into that submodule. Already processed coordinates stay inside their submodules; the chosen coordinate keeps the vector nonzero. Essentiality is also transitive. Consequently both $E(M)$ and ${⨁}_{i}E(V_i)$ are injective hulls of $V$, so uniqueness givesThe essential extension of a uniform module is uniform, since intersecting any two nonzero submodules with the original uniform module already gives a nonzero common intersection.

Write $E=E(V_i)$ and $S={\mathrm{End}}_R(E)$. If $f\in S$ is injective, its image is isomorphic to the injective module $E$, hence is a direct summand. Uniformity leaves no nonzero complementary summand, so $f$ is an automorphism. Therefore the nonunits are exactly the noninjective endomorphisms. Let $J$ be their set. Two such maps have nonzero kernels, whose intersection is nonzero by uniformity; their sum kills this intersection. For a product, composition on the left preserves the original kernel. Composition on the right either has a noninjective right factor, or that factor is an automorphism and transports the original nonzero kernel. Thus $J$ is a proper two-sided ideal. Every element outside $J$ is a unit, so every nonzero residue class is invertible and every proper left or right ideal is contained in $J$. This proves the local endomorphism ring of a uniform injective module assertion:For the whole hull, let $E_i=E(V_i)$. Its endomorphism ring is the ring of finite block matriceswith multiplication given by summing compositions. The diagonal entries have the local rings just proved. Off-diagonal entries are homomorphism groups, not necessarily zero; in particular this ring is not generally the product of its diagonal rings. Repeated isomorphic summands give matrix blocks over their common local endomorphism ring.

For the left regular module of $A_1(\mathbb{C})$, the Bernstein filtration has graded ring $\mathbb{C}[x,\xi ]$, so finite leading-term cancellation proves that $A_1$ is left and right Noetherian and a domain. Let $Q$ be its classical division ring of fractions. It is an essential extension of $A_1$: a nonzero fraction $q=s^{-1}a$ satisfies $sq=a\ne 0$ in $A_1$.

To prove that $Q$ is injective, use the Baer criterion. For a homomorphism $f:I\to Q$ on a nonzero left ideal, fix $a\in I\setminus \{0\}$. For any nonzero $x\in I$, take common left multiples $sx=ta$ with $s,t\ne 0$. Then $sf(x)=tf(a)$, so in the division ringThus right multiplication by $a^{-1}f(a)$ extends $f$ from $I$ to $A_1$. The zero ideal is harmless. Hence $Q$ is injective and $E({}_{A_1}{A}_1)=Q$. For any $A_1$-linear endomorphism $F$ of $Q$, clearing the left denominator in $q$ gives $F(q)=qF(1)$. These are all right multiplications, and their composition reverses the multiplying elements. ThereforeThe opposite ring in the injective hull of an Ore domain computation is essential for left-module conventions.

A ring is left Noetherian when its left ideals satisfy the ascending-chain condition, equivalently when every left ideal is finitely generated; right Noetherian is defined analogously.

Filter $S$ by word degree in $x$. The equality $R+Rx=R+xR$ lets every coefficient move past one $x$ at the cost of lower-degree terms, soFor a left ideal $I$, the leading coefficients in degree at most $n$ form an ascending chain of left ideals of $R$. Since $R$ is left Noetherian, this chain stabilizes and each term is finitely generated. Lift finitely many generators through the finitely many degrees before stabilization. Division by their leading terms reduces every element of $I$ to lower degree, and induction shows that these lifts generate $I$. Thus $S$ is left Noetherian.

We first prove that any two nonzero principal left ideals $Ra$ and $Rb$ intersect nontrivially. Suppose instead that $Ra\cap Rb=0$. The nonzero left idealsthen form a direct sum. Indeed, take a finite relationIt impliesAs $R$ is a noncommutative domain and $a\ne 0$, this gives $u_0=0$. Right cancellation of the nonzero element $b$ reduces the remaining relation to one of the same form with one fewer term. Repetition gives $u_1=\cdots =u_m=0$, proving the asserted direct sum.

Consequently its finite partial sums give a strictly ascending chain of left ideals, contradicting the ascending chain condition in a left Noetherian ring. Thus $Ra\cap Rb\ne 0$ whenever $a,b\ne 0$. This is the left Noetherian domain Ore lemma.

Now take $s\in S=R\setminus \{0\}$ and $r\in R$. If $r=0$, choose $s^{\prime }=1$ and $r^{\prime }=0$. Otherwise chooseSince $z\ne 0$, the coefficient $s^{\prime }$ is nonzero and hence belongs to $S$. This proves the left Ore set condition in all cases.

For an automorphism $\sigma$ of a left Noetherian ring $A$, the skew polynomial ring of an automorphism $A[t;\sigma ]$ is left Noetherian. For a left ideal $L$, the normalized leading-coefficient ideals $I_n=\{{\sigma }^{-n}(a_n):{\sum }_{j=0}^n{a}_j{t}^j\in L\}$ form an ascending chain of left ideals of $A$. Choose finite generating lifts through the stabilization degree. Every element of $L$ has its leading coefficient cancelled by a suitable left multiple of one of these lifts, and induction on degree proves finite generation. Passing to the skew Laurent polynomial ring preserves the property by clearing negative powers. The right-sided statement follows by applying the argument to the opposite ring.

For an automorphism $\sigma$ of a unital ring $A$, this ring consists of finite sums ${\sum }_{j\ge 0}{a}_j{t}^j$, with multiplication determined by $ta=\sigma (a)t$. Both left and right coefficient normal forms are available because $\sigma$ is invertible. The noncommutative Hilbert basis theorem implies that it is a right Noetherian ring when $A$ is, and a left Noetherian ring when $A$ is. Invertibility of $\sigma$ matters in this two-sided formulation.

For a nonzero left finitely generated module over a left Noetherian ring, take a finite projective resolution with finite projective modules. Vanishing of its top Ext functor would make the dual of its final injection surjective. These duals are right finite projective modules, so the surjection splits. Dualizing back and using finite projective double dual modules splits the original injection and shortens the resolution, contradicting the definition of projective dimension. When the dimension is zero, a coordinate map of a finite free module containing the nonzero projective summand supplies a nonzero map to $R$. The left/right distinction in the duals is essential for a noncommutative ring.