The Stacks project

History of tag 080T

Go back to the tag's page.

type time link
assigned tag 080T 2012-07-25 5559256
Tags: Added new tags
created statement with label lemma-going-down-flat-module in algebra.tex 2012-07-25 c0fded1
A generalization of going down for flat

The support of a finite module flat over the base satisfies
going down. Sometimes useful.