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.

The ascending chain condition supplies existence of factorizations into irreducible elements. The Bezout identity makes every irreducible element prime, which supplies uniqueness up to order and multiplication by units.

A commutative Artinian ring has finite composition length as a module over itself. It has finitely many maximal ideals, and its Jacobson radical $J$ is nilpotent. The Chinese remainder theorem makes $R/J$ a finite product of fields; each Artinian module $J^i/J^{i+1}$ has finite-dimensional components over those fields. Adding their lengths along the finite radical filtration proves the assertion, and in particular the ascending chain condition.

A ring is right Goldie if it has finite right uniform dimension and satisfies the ascending chain condition on right annihilators. The left-sided definition reverses the multiplication. These two definitions need not be equivalent.

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.

Over a commutative unital ring, an ideal maximal among annihilators of nonzero elements of a module is a prime ideal. Each such ideal is the annihilator of a module given by the cyclic submodule generated by that element. If $P=\mathrm{Ann}(m)$ and $ab\in P$ with $b\notin P$, then $bm\ne 0$ and $P\subseteq \mathrm{Ann}(bm)$. Maximality makes these annihilators equal, so $a\in P$. A Noetherian ring ensures that a nonzero module has a maximal element annihilator by the ascending chain condition on ideals.

Module theory studies abelian groups with scalar multiplication by a ring. It extends linear algebra: a module over a field is a vector space, while ring scalars let the same language describe integer arithmetic and linear operators. The new phenomena are visible before any abstract classification: some nonzero scalars cannot be divided out, some modules have torsion elements of a module, and some have no basis of a module.

The distinction is useful because an integer relation such as $6m=0$ carries information which disappears if one assumes all nonzero scalars have multiplicative inverses. A finitely generated module over a principal ideal domain can be separated into a finite free module and a torsion module; the structure theorem for finitely generated modules over a principal ideal domain unifies the classification of finitely generated abelian groups with the study of linear operators through polynomial rings. See Keith Conrad's Modules over a PID, Theorem 4.1 and the operator applications.

A historical anchor is Emmy Noether's 1921 paper ^[ref]. Its first section studies rings and ideals under the condition that every ideal is a finitely generated module over its ring, and connects this to the ascending chain condition; later sections develop primary decomposition. This is an early source for the structural viewpoint underlying Noetherian rings. ^[ref] makes those statements accessible in English.

To prove a property of all elements of a partially ordered set satisfying the ascending chain condition, assume a counterexample exists and take a maximal counterexample. All strictly larger elements satisfy the property, allowing an inductive contradiction. Applied to ideals, this often replaces induction on a numerical size.

Let $J={\bigcup }_n{I}_n$. It contains zero. If $a,b\in J$, both belong to $I_N$ for some common $N$, so $a-b\in I_N\subseteq J$. If $r\in R$, then $ra\in I_N\subseteq J$. These are the ideal axioms, proving $J$ is an ideal.

In a principal ideal domain write $J=(g)$. Since $g\in J$, there is $n_0$ with $g\in I_{n_0}$. For $n\ge n_0$,All inclusions are equalities. Hence the chain stabilizes at $I_{n_0}$. This includes $J=(0)$ and is the ascending chain condition for ideals.

Write $R={\mathcal{O}}_K$. We prove unique factorization of ideals in a number field, rather than assuming this conclusion as a property of a Dedekind domain. Three preliminary facts about $R$ will be useful. Its additive group is a finite-rank free abelian group, so every ideal is finitely generated and the ascending chain condition holds. It is an integrally closed domain, by integral dependence is transitive. Finally, every nonzero prime ideal is a maximal ideal. For this last fact, choose $0\ne a\in P$. Multiplication by $a$ is an injective endomorphism of the finite-rank free abelian group $R$ with nonzero determinant, so $R/(a)$ is finite. Consequently $R/P$ is a finite integral domain and hence a field.

First, every nonzero proper ideal contains a product of nonzero prime ideals. Otherwise choose a maximal counterexample $J$ under inclusion, using the ascending chain condition. It cannot be a prime ideal. Choose $x,y\notin J$ with $xy\in J$. The strictly larger ideals $J+(x)$ and $J+(y)$ each contain a product of nonzero prime ideals, allowing the empty product $R$ when necessary. Multiplying those products gives a product contained ina contradiction.

Next fix a nonzero prime ideal $P$, choose $0\ne a\in P$, and choose a product of nonzero prime idealswith $r$ minimal. Because $(a)\subseteq P$, primality and maximality imply $P_j=P$ for some $j$; reorder so that $P_1=P$. Minimality provides $b\in P_2\cdots P_r$ with $b\notin (a)$, taking the remaining product to be $R$ if $r=1$. ThusDefine the fractional idealIt contains $R$ and $x$. The ideal $P{P}^{-1}$ lies between $P$ and $R$, so it is $P$ or $R$. If it were $P$, then $xP\subseteq P$. Applying the determinant trick to a finite generating set of an ideal for $P$ gives a monic polynomial over $R$ satisfied by $x$. Since $R$ is an integrally closed domain, this would put $x$ in $R$, a contradiction. ThereforeThis proves that each nonzero prime ideal is an invertible fractional ideal, independently of the desired factorization theorem.

Now take a nonzero proper ideal $A$ and a maximal ideal $P$ containing it. The ideal $B=P^{-1}A$ satisfiesThe first inclusion is strict: if $A=B$, the same $x\in P^{-1}\setminus R$ would stabilize $A$, and the determinant trick would again force $x\in R$. Repeating gives a strictly ascending chain until it reaches $R$; the ascending chain condition ensures this happens after finitely many steps. The identities $A=PB$ then express $A$ as a product of nonzero prime ideals.

For uniqueness, suppose $P_1\cdots P_r=Q_1\cdots Q_s$. Since the right-hand side is contained in $P_1$, some $Q_j$ is contained in $P_1$. Both are nonzero maximal ideals, so $Q_j=P_1$. Multiplication by $P_1^{-1}$ cancels this factor. Repeat. A nonempty product of proper prime ideals cannot equal $R$, so both products finish together. This proves uniqueness up to reordering, including repeated factors.

A commutative ring $R$ is a Noetherian ring if every ideal has a finite generating set of an ideal. Equivalently, it satisfies the ascending chain condition on ideals. Indeed, the union of an ascending chain is an ideal, and finitely many generators all belong to one term, after which the chain stabilizes. Conversely, an ideal without a finite generating set of an ideal would allow us to choose successively $a_{n+1}\notin (a_1,\dots ,a_n)$, producing a strictly ascending chain of ideals.

Let $\varphi :R\to S$ be a surjective ring homomorphism, where $R$ is a Noetherian ring. For any ideal $J$ of $S$, its inverse image is an ideal of $R$, say ${\varphi }^{-1}(J)=(a_1,\dots ,a_r)$. Taking images givesThus homomorphic images of Noetherian rings are Noetherian. This also applies to the image of an arbitrary ring homomorphism, by taking its image as the codomain.

The Hilbert basis theorem states that if $R$ is a Noetherian ring, then the polynomial ring $R[t]$ is a Noetherian ring. Repeating this gives the result for finitely many variables.

To prove it, fix an ideal $K\subseteq R[t]$. For $n\ge 0$, define the coefficient ideals of a polynomial idealHere the zero polynomial is allowed. Each $A_n$ is an ideal: addition and multiplication by constants preserve the required degree bound. Multiplying a representing polynomial by $t$ gives $A_n\subseteq A_{n+1}$. The ascending chain condition therefore supplies $N$ such that $A_n=A_N$ for every $n\ge N$.

For each $0\le n\le N$, choose a finite generating set of an ideal $a_{n1},\dots ,a_{n{r}_n}$ for $A_n$, omitting zero generators, and choose $f_{nj}\in K$ of polynomial degree $n$ with leading coefficient $a_{nj}$. If $A_n=0$, choose no such polynomials. We claim that the finitely many $f_{nj}$ generate $K$.

Take a nonzero $f\in K$ of polynomial degree $d$. Put $n=\min (d,N)$. Its leading coefficient belongs to $A_d=A_n$, so write it as ${\sum }_j{b}_j{a}_{nj}$. The polynomialbelongs to $K$ and is either zero or has polynomial degree strictly below $d$. Induction on polynomial degree now expresses $f$ as a combination of the chosen $f_{nj}$; when $d=0$, the displayed difference is zero. Hence $K$ is finitely generated. Since $K$ was arbitrary, $R[t]$ is a Noetherian ring.

No. Write $x_i=t_i+I$ in the quotient ring $R=L/I$. Its defining relations areConsequently $x_i^{2^{i-1}}=x_1\ne 0$, using the permitted assumption, while $x_i^{2^i}=0$. Thus every $x_i$ is a nonzero nilpotent element.

The principal ideals satisfyEvery inclusion is strict. Otherwise $x_{i+1}=a{x}_i=a{x}_{i+1}^2$ for some $a\in R$, and henceThe fact that one minus a nilpotent element is a unit applies: if $z^m=0$, then $(1-z)(1+z+\cdots +z^{m-1})=1$. Here $z=a{x}_{i+1}$ is nilpotent, so multiplication by this inverse would give $x_{i+1}=0$, a contradiction. The strictly ascending chain of ideals violates the ascending chain condition. Therefore

For $n\ge 1$, let $K_n=\ker ({\varphi }^n)$, where the power denotes repeated composition of the ring endomorphism. These ideals form an ascending chain:The ascending chain condition for a Noetherian ring gives $K_N=K_{N+1}$ for some $N\ge 1$. Take $a\in \ker \varphi$. Since $\varphi$ is surjective, its iterate ${\varphi }^N$ is surjective, so choose $b\in R$ with ${\varphi }^N(b)=a$. Thenso $b\in K_{N+1}=K_N$. Therefore $a={\varphi }^N(b)=0$.

Thus the kernel of a ring homomorphism $\varphi$ is zero. This proves that a surjective endomorphism of a Noetherian ring is an automorphism, and in particular

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.

Let $R$ be a commutative Artinian ring. We prove finite composition length first, without assuming the conclusion that $R$ is Noetherian.

Every prime ideal is maximal. Indeed, an Artinian integral domain is a field: for $a\ne 0$, stabilization of $(a^m)$ gives $a^m=a^{m+1}b$, and cancellation gives $ab=1$. There are only finitely many maximal ideals. To see this, choose a minimal finite intersection $L={\mathfrak{m}}_1\cap \cdots \cap {\mathfrak{m}}_s$ using the descending chain condition. Minimality gives $L\subseteq \mathfrak{m}$ for any other maximal ideal $\mathfrak{m}$. Since ${\mathfrak{m}}_1\cdots {\mathfrak{m}}_s\subseteq L$, primeness forces one ${\mathfrak{m}}_i\subseteq \mathfrak{m}$, and maximality makes them equal. Thus the Jacobson radical $J$ is this finite intersection, and the Chinese remainder theorem gives

We also need nilpotence of $J$. Its powers stabilize; put $I=J^m$ at a stabilization stage, so $I^2=I$. If $I\ne 0$, choose an ideal $L$ minimal subject to $IL\ne 0$. Since $I(IL)=IL\ne 0$, minimality gives $IL=L$. Choose $a\in L$ with $Ia\ne 0$. Minimality applied to the subideal $Ra$ gives $L=Ra$. The equality $IL=L$ then yields $a=xa$ for some $x\in I\subseteq J$. But $1-x$ is a unit by the unit criterion for the Jacobson radical; hence $a=0$, a contradiction. Therefore $J^m=0$.

Each layer $J^i/J^{i+1}$ is an Artinian module over the finite product of fields $R/J$. Its components over those fields are finite-dimensional: an infinite-dimensional vector space has a strictly descending chain of subspaces. Each layer consequently has finite composition length. The finite filtrationproves that $R$ itself has finite composition length, and therefore satisfies the ascending chain condition on ideals. Every commutative Artinian ring is Noetherian. The zero ring satisfies the conclusion trivially.

The relevant Artin–Wedderburn theorem says that a semisimple ring which is a right Artinian ring has the formwhere the $D_i$ are division rings and the positive integers $n_i$ and division rings are unique up to permutation and isomorphism. The division rings need not be commutative or finite-dimensional over a field. Conversely every such finite product is semisimple and a right Artinian ring.

Here is a proof which also works if semisimplicity is initially expressed as $J(R)=0$. A nonzero right ideal contains a minimal nonzero right ideal $L$ by the descending chain condition; $L$ is a simple module. If $L^2=0$, then for every $l\in L$ and $r\in R$, $(lr{)}^2=0$, so $1-lr$ has inverse $1+lr$. The unit criterion for the Jacobson radical would give $L\subseteq J(R)=0$, a contradiction. Thus some $a\in L$ induces a nonzero map $L\to L$ by left multiplication. This map is an isomorphism, since $L$ is simple. Choose $e\in L$ with $ae=a$. Then $a(e^2-e)=0$ and injectivity on $L$ gives $e^2=e$. We obtain $L=eR$ and the splittingFor a right ideal $K$ containing $e$, the same argument splits $K=eR\oplus (K\cap (1-e)R)$. Repeatedly split a minimal right ideal out of the remaining summand. The remaining summands form a strictly descending chain of right ideals, so the process terminates. Thusfor pairwise nonisomorphic simple modules $S_i$.

A nonzero map between simple modules is an isomorphism: its kernel and image leave no alternatives. Thus $D_i={\mathrm{End}}_R(S_i)$ is a division ring, and ${\mathrm{Hom}}_R(S_i,S_j)=0$ for $i\ne j$. This is the needed Schur lemma. Taking endomorphisms of the direct sum gives ${\prod }_i{M}_{n_i}(D_i)$. Finally, left multiplication identifies $R$ with ${\mathrm{End}}_R(R_R)$: a right-module endomorphism sends $r$ to $f(1)r$, and composition corresponds to multiplication in $R$, not its opposite. This proves the displayed ring isomorphism.

For the converse, the right regular module of $M_n(D)$ is the direct sum of its $n$ row modules. Each row module is simple, since elementary matrices and nonzero scalar inverses send any nonzero row to any prescribed row. A finite product therefore has a finite semisimple regular module and is a right Artinian ring. The simple-module multiplicities and their endomorphism division rings recover the factors, establishing uniqueness.

The Hilbert basis theorem says that if $B$ is a commutative Noetherian ring, then $B[t]$ is Noetherian; iteration treats any finite number of variables. Here is a complete leading-coefficient proof. For an ideal $I\subseteq B[t]$, let $L_d$ be the set of degree-$d$ coefficients of its polynomials of degree at most $d$, including zero coefficients. These are ideals of $B$, and multiplication by $t$ gives $L_d\subseteq L_{d+1}$. The ascending chain condition makes the chain stationary from some $N$ onward. Choose finite generators for $L_0,\dots ,L_N$ and lift them to polynomials $f_{dj}\in I$ of degree at most $d$. If $f\in I$ has degree $m$, set $d=\min (m,N)$ and express its leading coefficient as ${\sum }_j{a}_{dj}{b}_j$, where $a_{dj}$ is the chosen degree-$d$ coefficient. Then $f-{\sum }_j{b}_j{t}^{m-d}{f}_{dj}$ has smaller degree. Induction proves that the finitely many lifts generate $I$. This proves the theorem, including coefficient rings with zero divisors.

Put $A=\mathbb{C}G$ and $L=\mathbb{C}[X,X^{-1}]$. The infinite dihedral group has normal forms $X^m$ and $X^{m}Y$. The relations move every $Y$ to the right and reduce its exponent modulo two; the action $X:n\mapsto n+1$, $Y:n\mapsto -n$ on $\mathbb{Z}$ shows that these forms are distinct. ThusThe Hilbert basis theorem makes $\mathbb{C}[X]$ Noetherian, and its localization $L$ is Noetherian: an ideal of a localization is generated by the images of the finite generators of its contraction. Since $A$ is free of rank two over $L$ on the left, it is a Noetherian module over $L$. Every left ideal of $A$ is an $L$-submodule, so all its ascending chains stabilize. Therefore $\mathbb{C}G$ is left Noetherian.

For the center of the infinite dihedral group algebra, write an element as $f(X)+g(X)Y$. Commuting it with $X$ gives $g(X)(X^{-1}-X)=0$ in the Laurent integral domain, forcing $g=0$. Commuting $f(X)$ with $Y$ then gives $f(X)=f(X^{-1})$. A symmetric Laurent polynomial is a linear combination of $1$ and $X^j+X^{-j}$, $j\ge 1$. With $z=X+X^{-1}$, the recursionexpresses $S_j=X^j+X^{-j}$ as a polynomial in $z$. Conversely every polynomial in $z$ is central. The highest Laurent exponent of a nonzero polynomial in $z$ shows that $z$ is transcendental. HenceThe identities $X^{-1}=z-X$ and $X^2-zX+1=0$ give $L=R+RX$. Independence follows by applying $X\mapsto X^{-1}$ to a relation $f(z)+Xg(z)=0$ and subtracting: $(X-X^{-1})g(z)=0$, so $g=f=0$. Consequentlyis a free $R$-module of rank four.

Let $M$ be a nonzero simple module on the left. For any $m\ne 0$, $M=Am$, so it is finite over $R$. Every central $r\notin P={\mathrm{Ann}}_R(M)$ acts bijectively: its kernel and image are $A$-submodules, and simplicity forces kernel zero and image $M$. To prove that $P$ is maximal, not merely prime, put $B=R/P$; then $M$ is a faithful finite $B$-module. For $0\ne b\in B$, $bM=M$. If $m_1,\dots ,m_d$ generate $M$, write $m_i=b{\sum }_j{c}_{ij}{m}_j$. The adjugate matrix identity for $I-bC$ shows that $\det (I-bC)$ annihilates every generator and hence $M$. Faithfulness makes this determinant zero in $B$. Its constant term is one, so it has form $1-bq$, proving $bq=1$. Thus $B$ is a field, and $P$ is a maximal ideal of $R$. This proves the general principle for simple modules over an algebra finite over its center in this instance.

Every maximal ideal of $\mathbb{C}[z]$ is $(z-\lambda )$ for some $\lambda \in \mathbb{C}$, by factorization of complex polynomials. The module $M=Am$ is therefore a quotient of the four-dimensional algebra $A/(z-\lambda )A$. In particular ${\dim }_{\mathbb{C}}M\le 4<\infty$, as required.

The actual simple dimensions are at most two. If $\lambda \ne \pm 2$, choose $u\ne \pm 1$ with $u+u^{-1}=\lambda$. The matrices $X=\mathrm{diag}(u,u^{-1})$ and $Y=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$ give a representation of $A/(z-\lambda )A$ onto $M_2(\mathbb{C})$: polynomial functions of $X$ give the two diagonal matrix units, and multiplication by $Y$ gives the off-diagonal ones. Both algebras have dimension four, so this is an isomorphism. If $\lambda =\pm 2$, the element $X\mp 1$ has square zero and is conjugated to its negative by $Y$; its generated two-sided ideal is square zero. It annihilates every simple module, since its action on a simple module is either zero or the whole module, and the latter contradicts its square being zero. The remaining quotient is $\mathbb{C}[C_2]$, whose two simple modules have $Y=\pm 1$. Thus the generic simple modules have dimension two, and the four exceptional one-dimensional characters have $X=\pm 1$, $Y=\pm 1$.

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.

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.

Let $K=k(z)$, where $z$ is an indeterminate, and form the right Artinian triangular ring that is not left NoetherianMultiplication uses the natural $k$–$K$ bimodule structure on the upper-right entry. With the two diagonal idempotents $e_1,e_2$, the right regular module is $e_{1}T\oplus e_{2}T$. The off-diagonal submodule of $e_{1}T$ is one-dimensional over the bottom-right field $K$, hence simple. Its quotient is one-dimensional over the top-left field $k$, hence simple. Also $e_{2}T$ is a simple right module over $K$. Thus $T_T$ has a composition series of length three, and in particular $T$ is right Artinian.

On the left, multiplication of an off-diagonal matrix givesEvery $k$-subspace $U\subseteq K$ therefore yields a left ideal of off-diagonal matrices with entries in $U$. The subspaces $U_m={\mathrm{span}}_k\{1,z,\dots ,z^m\}$ are strictly increasing because $z$ is transcendental. Their associated left ideals violate the ascending chain condition. Hence $T$ is not left Noetherian, even though it is right Artinian and right Noetherian.

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.