Statistics for tag 00HR
| tag creation | last update | |
|---|---|---|
| Jun 17, 2008 | May 16, 2009 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 4 |
| number of chapters used | 1 |
| number of sections used | 2 |
| number of results (indirectly) using this tag | 4186 |
Tags (directly) using this result
- Lemma 10.39.19
in Section 10.39: Flat modules and flat ring maps
(go to statistics) - Lemma 10.52.13
in Section 10.52: Length
(go to statistics) - Lemma 10.68.5
in Section 10.68: Regular sequences
(go to statistics) - Lemma 10.78.6
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.135.12
in Section 10.135: Local complete intersections
(go to statistics) - Lemma 10.137.18
in Section 10.137: Smooth ring maps
(go to statistics) - Lemma 10.146.1
in Section 10.146: Local homomorphisms
(go to statistics) - Lemma 10.164.3
in Section 10.164: Descending properties
(go to statistics) - Lemma 15.45.1
in Section 15.45: Permanence of properties under henselization
(go to statistics) - Lemma 15.106.8
in Section 15.106: Local irreducibility
(go to statistics) - Lemma 15.107.1
in Section 15.107: Miscellaneous on branches
(go to statistics) - Lemma 29.25.13
in Section 29.25: Flat morphisms
(go to statistics) - Lemma 33.5.1
in Section 33.5: Change of fields and local rings
(go to statistics) - Proposition 35.5.2
in Section 35.5: Fpqc descent of quasi-coherent sheaves
(go to statistics) - Lemma 35.7.2
in Section 35.7: Descent of finiteness properties of modules
(go to statistics) - Lemma 35.27.1
in Section 35.27: Properties of morphisms local in the fpqc topology on the source
(go to statistics) - Lemma 35.33.4
in Section 35.33: Properties of morphisms of germs local on source-and-target
(go to statistics) - Lemma 35.35.1
in Section 35.35: Fully faithfulness of the pullback functors
(go to statistics) - Lemma 36.12.1
in Section 36.12: Descent finiteness properties of complexes
(go to statistics) - Lemma 37.36.2
in Section 37.36: Étale neighbourhoods and branches
(go to statistics) - Lemma 38.10.9
in Section 38.10: Flat finite type modules, Part I
(go to statistics) - Lemma 38.20.2
in Section 38.20: Flattening functors
(go to statistics) - Lemma 38.25.5
in Section 38.25: Variants of a lemma
(go to statistics) - Lemma 39.7.4
in Section 39.7: Properties of group schemes over a field
(go to statistics) - Proposition 39.23.9
in Section 39.23: Finite flat groupoids, affine case
(go to statistics) - Lemma 49.2.10
in Section 49.2: Dualizing modules for quasi-finite ring maps
(go to statistics) - Lemma 67.42.5
in Section 67.42: Valuative criterion for universal closedness
(go to statistics)