For a domain satisfying the left Ore condition, its division ring of fractions is an injective essential extension of the left regular module. For a homomorphism on a nonzero left ideal, choose . A common left multiple gives , hence ; right multiplication by extends it. The Baer criterion proves injectivity. Clearing a left denominator proves essentiality. The same calculation gives , with the opposite ring required because right multiplications compose in reversed order.
Articles by others on the same topic
There are currently no matching articles.