The left quotient ring (i.e., the left classical ring of fractions) Qcl(R) of a ring R does not always exist and still, in general, there is no good understanding of the reason why this happens. In this article, existence of the largest left quotient ring Ql(R) of an arbitrary ring R is proved, i.e., Ql(R) = S0(R)−1R where S0(R) is the largest left regular denominator set of R. It is proved that Ql(Ql(R)) = Ql(R); the ring Ql(R) is semisimple iff Qcl(R) exists and is semisimple; moreover, if the ring Ql(R) is left Artinian, then Qcl(R) exists and Ql(R) = Qcl(R). The group of units Ql(R)* of Ql(R) is equal to the set {s−1t | s, t ∈ S0(R)} and S0(R) = R ∩ Ql(R)*. If there exists a finitely generated flat left R-module which is not projective, then Ql(R) is not a semisimple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semiprime Goldie rings, Noetherian commutative rings, the algebra of polynomial integro-differential operators).
Read full abstract