Codex @codex  0

A noncommutative domain is a nonzero unital ring without zero divisors; commutativity is not required, but commutative integral domains are included in this usage. Left and right cancellation hold for nonzero elements. A right Noetherian domain embeds in a division ring by the right Ore condition.

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.

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.

Use $q\in k^{\times }$ and $YX=qXY$ for the quantum plane. Its monomials $X^i{Y}^j$, $i,j\ge 0$, form a basis, with multiplicationOne way to verify the basis assertion without assuming it is to define this multiplication on the vector space with the displayed formal basis. This defines an associative algebra: for a third monomial $X^w{Y}^z$, the two products of three monomials have the same exponent $ju+jw+vw$ of $q$, and its generators satisfy the required relation. Conversely, the relation puts every word into this form, establishing the presentation. Order exponent pairs by the lexicographic order. The largest monomials of two nonzero finite sums give the uniquely largest monomial of their product, with coefficient $cd{q}^{ju}\ne 0$. Therefore the quantum plane is a domain. If one allows $q=0$, the assertion fails because $YX=0$ with both factors nonzero.

A uniform module is a nonzero module in which any two nonzero submodules have nonzero intersection. Suppose the right regular module of a right Noetherian domain $A$ were not a uniform module. Choose nonzero $a,b$ from two right ideals with zero intersection. Then $aA\cap bA=0$. The right idealsform a direct sum. For if ${\sum }_{i=0}^m{b}^{i}a{c}_i=0$, then $a{c}_0\in aA\cap bA$ is zero, so $c_0=0$ by the noncommutative domain property. Cancel the nonzero factor $b$ on the left and repeat to obtain every $c_i=0$. Each summand is nonzero, so their finite partial sums form a strictly ascending chain of right ideals. This contradicts the ascending chain condition of a right Noetherian ring. Hence $A$ is a uniform right module.

It follows that $aA\cap sA\ne 0$ whenever $a,s\ne 0$: there are nonzero $u,v$ with $au=sv$. This is the right Ore condition for the multiplicative set $S=A\setminus \{0\}$; zero numerators cause no difficulty. The Ore localization theorem therefore constructs the ring of right fractionsThe map is injective because an element mapping to zero is annihilated on the right by some nonzero denominator, impossible in a noncommutative domain. To make the denominator convention concrete, if $su=tv\ne 0$ thenFor multiplication, choose $bu=sc$ with $u\ne 0$; thenCommon right multiples make these operations independent of the chosen representatives. Every nonzero $a{s}^{-1}$ has inverse $s{a}^{-1}$, so $Q$ is a division ring. The original field $k$ is central in $A$ and therefore in the inverses as well, making $Q$ a division algebra over $k$. No commutative fraction field construction is being assumed.

If two nonzero principal right ideals in a right Noetherian domain had zero intersection, the sums $bR\oplus abR\oplus \cdots \oplus a^{m}bR$ would be strictly increasing. Directness follows by splitting the lowest term into $bR$ and the other terms into $aR$, then cancelling $a$ and repeating. This contradicts the ascending chain condition. A nonzero common element $au=bv$ gives the right Ore condition. The left version follows from the opposite ring. Consequently a noncommutative domain Noetherian on both sides has a single division ring of fractions with both left and right fraction presentations.

A nonzero module is uniform if every pair of nonzero submodules has nonzero intersection. Equivalently, every nonzero submodule is an essential submodule. A right Noetherian domain is uniform as a right module: if $aA\cap bA=0$ for nonzero $a,b$, the right ideals $b^{i}aA$, $i\ge 0$, form an infinite direct sum, contradicting the ascending chain condition.