As it was shown by Malcev, unlike the commutative case, in which every domain can be embedded in a field, there are noncommutative domains that can't be embedded in a division ring.
For noncommutative domains, the nicest way they can be embedded in a division ring is if they satisfie Ore's conditions. In this case, a noncommutative analogue of the field of fractions exist.
As an example, we have enveloping algebras o finite dimensional Lie algebras in zero characteristic.
By Jategaonkar's Lemma, the enveloping algebra of infinite dimensional algebra can still be an Ore domain, if their growth is sufficiently slow as to make their enveloping algebras having subexponential growth - and there are many of these examples.
However, in general the enveloping algebra will not be a an Ore domain.
I remember seeing, a long time ago, a result by P. M. Cohn using methods from ring theory and universal algebra, showing that, in the characteristic 0 case and any Lie algebra $\mathfrak{g}$, $U(\mathfrak{g})$ can be embedded in a division ring.
Has anyone heard about this result, and has a reference for it?
Thank you.
