Injective hull ($E(M)$)

The injective hull of a module $M$ is a minimal injective extension of $M$ in which $M$ is an essential submodule.

For a domain satisfying the left Ore condition, its division ring of fractions $Q$ is an injective essential extension of the left regular module. For a homomorphism $f:I\to Q$ on a nonzero left ideal, choose $a\in I\setminus \{0\}$. A common left multiple $sx=ta$ gives $sf(x)=tf(a)$, hence $f(x)=x{a}^{-1}f(a)$; right multiplication by $a^{-1}f(a)$ extends it. The Baer criterion proves injectivity. Clearing a left denominator proves essentiality. The same calculation gives ${\mathrm{End}}_R({}_{R}Q)\cong Q^{\mathrm{op}}$, with the opposite ring required because right multiplications compose in reversed order.

The injective hull of a uniform module is uniform. An injective endomorphism of a uniform injective module splits its image, so its complementary summand must vanish and it is an automorphism. Consequently all nonunits are precisely the noninjective endomorphisms. Their nonzero kernels are essential; intersection of two such kernels is nonzero, making their sum noninjective. Composition on either side preserves noninjectivity, unless the other map is a unit, which merely transports the kernel. Thus the nonunits form the unique maximal ideal, and the quotient is a division ring.