The Stacks project

Definition 35.4.5. A ring map $f: R \to S$ is universally injective if it is universally injective as a morphism in $\text{Mod}_ R$.

Comments (2)

Comment #7213 by Chemy the Przemysław on

We have at least two notions of "universally injective" for a map of rings on the Stacks Project:

The first is the one here, as a map of -modules, 08WE. The second is in the sense of schemes: universally topologically injective, or radicial, 01S2.

They are not really the same. It would be good to add a comment, a warning, or a lemma connecting them, somewhere, because now we have a situation that by a double abuse we can identify these two notions(I have just done it...), and this operation is not justified by anything I could find on the Stacks Project.

An example, take a field , then the ring-diagonal corresponds to a map from two points to an one point. It is surjective, it is flat, thus it is faithfully flat, but not injective, thus not radicial, thus not schematically universally injective, but universally injective as -modules. Or a nontrivial separable extension of fields . Nevertheless, under some assumptions they will be the same, I think.

Comment #7214 by on

Given a ring map consider the two radically different notions " is an epimorphism of rings" and " is an epimorphism of schemes". I think people wouldn't often confuse the two notions. Same here I think.

There are also:

  • 4 comment(s) on Section 35.4: Descent for universally injective morphisms

Post a comment

Your email address will not be published. Required fields are marked.

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).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 08WL. Beware of the difference between the letter 'O' and the digit '0'.