Ore condition

In mathematics, especially in the area of algebra known as ring theory, the Ore condition is a condition introduced by Øystein Ore, in connection with the question of extending beyond commutative rings the construction of a field of fractions, or more generally localization of a ring. The right Ore condition for a multiplicative subset S of a ring R is that for a ∈ R and s ∈ S, the intersection aS ∩ sR ≠ ∅. A (non-commutative) domain for which the set of non-zero elements satisfies the right Ore condition is called a right Ore domain. The left case is defined similarly. The goal is to construct the right ring of fractions R[S−1] with respect to a multiplicative subset S. In other words, we want to work with elements of the form as−1 and have a ring structure on the set R[S−1]. The problem is that there is no obvious interpretation of the product (as−1)(bt−1); indeed, we need a method to "move" s−1 past b. This means that we need to be able to rewrite s−1b as a product b1s1−1. Suppose s−1b = b1s1−1 then multiplying on the left by s and on the right by s1, we get bs1 = sb1. Hence we see the necessity, for a given a and s, of the existence of a1 and s1 with s1 ≠ 0 and such that as1 = sa1. Since it is well known that each integral domain is a subring of a field of fractions (via an embedding) in such a way that every element is of the form rs−1 with s nonzero, it is natural to ask if the same construction can take a noncommutative domain and associate a division ring (a noncommutative field) with the same property. It turns out that the answer is sometimes "no", that is, there are domains which do not have an analogous "right division ring of fractions". For every right Ore domain R, there is a unique (up to natural R-isomorphism) division ring D containing R as a subring such that every element of D is of the form rs−1 for r in R and s nonzero in R. Such a division ring D is called a ring of right fractions of R, and R is called a right order in D. The notion of a ring of left fractions and left order are defined analogously, with elements of D being of the form s−1r.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (8)

Noncommutative ring

In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring. Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings. Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative.

Bézout domain

In mathematics, a Bézout domain is a form of a Prüfer domain. It is an integral domain in which the sum of two principal ideals is again a principal ideal. This means that for every pair of elements a Bézout identity holds, and that every finitely generated ideal is principal. Any principal ideal domain (PID) is a Bézout domain, but a Bézout domain need not be a Noetherian ring, so it could have non-finitely generated ideals (which obviously excludes being a PID); if so, it is not a unique factorization domain (UFD), but still is a GCD domain.

Goldie's theorem

In mathematics, Goldie's theorem is a basic structural result in ring theory, proved by Alfred Goldie during the 1950s. What is now termed a right Goldie ring is a ring R that has finite uniform dimension (="finite rank") as a right module over itself, and satisfies the ascending chain condition on right annihilators of subsets of R. Goldie's theorem states that the semiprime right Goldie rings are precisely those that have a semisimple Artinian right classical ring of quotients.