Definition 10.82.1. Let $f: M \to N$ be a map of $R$-modules. Then $f$ is called universally injective if for every $R$-module $Q$, the map $f \otimes _ R \text{id}_ Q: M \otimes _ R Q \to N \otimes _ R Q$ is injective. A sequence $0 \to M_1 \to M_2 \to M_3 \to 0$ of $R$-modules is called universally exact if it is exact and $M_1 \to M_2$ is universally injective.

There are also:

• 2 comment(s) on Section 10.82: Universally injective module maps

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).