Statistics for tag 02JQ
| tag creation | last update | |
|---|---|---|
| Jun 15, 2009 | Sep 1, 2019 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 3 |
| number of results used in preliminary results | 76 |
| number of chapters used | 11 |
| number of sections used | 37 |
| number of results (indirectly) using this tag | 1675 |
Tags (directly) using this result
- Lemma 29.8.5
in Section 29.8: Dominant morphisms
(go to statistics) - Lemma 29.22.4
in Section 29.22: Constructible sets
(go to statistics) - Lemma 29.42.2
in Section 29.42: Valuative criteria
(go to statistics) - Lemma 29.53.16
in Section 29.53: Relative normalization
(go to statistics) - Lemma 32.15.1
in Section 32.15: Noetherian valuative criterion
(go to statistics) - Lemma 37.33.4
in Section 37.33: Theorem of the cube
(go to statistics) - Lemma 37.52.9
in Section 37.52: Closed points in fibres
(go to statistics) - Lemma 38.34.1
in Section 38.34: The h topology
(go to statistics) - Lemma 39.7.10
in Section 39.7: Properties of group schemes over a field
(go to statistics) - Lemma 39.19.4
in Section 39.19: Invariant subschemes
(go to statistics) - Lemma 67.16.5
in Section 67.16: Scheme theoretic image
(go to statistics) - Lemma 101.7.9
in Section 101.7: Quasi-compact morphisms
(go to statistics) - Lemma 101.42.1
in Section 101.42: Valuative criterion for universal closedness
(go to statistics) - Lemma 101.47.1
in Section 101.47: Points and specializations
(go to statistics)