Statistics for tag 00HT
| tag creation | last update | |
|---|---|---|
| Feb 19, 2009 | Nov 7, 2016 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 5 |
| number of chapters used | 1 |
| number of sections used | 4 |
| number of results (indirectly) using this tag | 6072 |
Tags (directly) using this result
- Lemma 10.39.19
in Section 10.39: Flat modules and flat ring maps
(go to statistics) - Lemma 10.41.12
in Section 10.41: Going up and going down
(go to statistics) - Lemma 10.78.2
in Section 10.78: Finite projective modules
(go to statistics) - Lemma 10.100.1
in Section 10.100: Base change and flatness
(go to statistics) - Lemma 10.108.2
in Section 10.108: Pure ideals
(go to statistics) - Lemma 10.128.10
in Section 10.128: More flatness criteria
(go to statistics) - Lemma 10.136.4
in Section 10.136: Syntomic morphisms
(go to statistics) - Lemma 10.151.9
in Section 10.151: Unramified ring maps
(go to statistics) - Lemma 15.18.1
in Section 15.18: Flattening over a closed subset of the base
(go to statistics) - Lemma 15.19.2
in Section 15.19: Flattening over a closed subsets of source and base
(go to statistics) - Lemma 15.22.11
in Section 15.22: Torsion free modules
(go to statistics) - Lemma 15.31.5
in Section 15.31: More on Koszul regular sequences
(go to statistics) - Lemma 15.41.2
in Section 15.41: Regular ring maps
(go to statistics) - Lemma 15.104.18
in Section 15.104: Weakly étale ring maps
(go to statistics) - Lemma 15.104.20
in Section 15.104: Weakly étale ring maps
(go to statistics) - Lemma 15.106.8
in Section 15.106: Local irreducibility
(go to statistics) - Lemma 28.19.1
in Section 28.19: Flat modules
(go to statistics) - Lemma 29.25.2
in Section 29.25: Flat morphisms
(go to statistics) - Lemma 37.64.2
in Section 37.64: Weakly étale morphisms
(go to statistics) - Lemma 38.20.5
in Section 38.20: Flattening functors
(go to statistics) - Proposition 39.23.9
in Section 39.23: Finite flat groupoids, affine case
(go to statistics) - Lemma 49.2.9
in Section 49.2: Dualizing modules for quasi-finite ring maps
(go to statistics) - Lemma 49.14.1
in Section 49.14: A generalization of the different
(go to statistics) - Lemma 51.17.6
in Section 51.17: Frobenius action
(go to statistics) - Lemma 58.21.3
in Section 58.21: Purity of branch locus
(go to statistics) - Lemma 58.21.5
in Section 58.21: Purity of branch locus
(go to statistics) - Lemma 88.15.1
in Section 88.15: Rig-flat homomorphisms
(go to statistics)