Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 08XD

Go back to the tag's page.

type time link
changed the proof 2013-12-22 5b9bcfb
LaTeX

Introduced a new macro

\def\Coker{\text{Coker}}

and replaced all occurrences of \text{Coker} by \Coker
changed the proof 2013-08-04 cadddd7
Improve exposition finitely presented modules

Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/0517#comment-269
assigned tag 08XD 2013-04-17 a06f222
Tags: Added new tags
changed the proof 2013-04-17 a06f222
Tags: Added new tags
changed the statement and the proof 2013-04-17 5b15cc6
Small changes to new material

Added some arguments and references to results used from the
algebra chapter.
changed the label to theorem-descend-module-properties 2013-04-17 0845bc3
Fix coding style new material
changed the statement and the proof 2013-04-17 0845bc3
Fix coding style new material
created statement with label T:descend module properties in descent.tex 2013-04-17 23345c5
Descent for universally injective morphisms

A while back, I mentioned that there is a natural way to describe
exactly which ring homomorphisms R -> S admit descent for modules: they
are the ones which are universally injective. That is, for any R-module
M, M -> M tensor_R S should be injective.

I typed up some notes about this; actually I did this some months ago
and meant to polish them some more, but never got around to it.

If this has a natural place in the Stacks Project, you're welcome to
incorporate it. Otherwise, it'll probably jut rot on my web site...

Kiran