Statistics for tag 031S
| tag creation | last update | |
|---|---|---|
| Aug 12, 2009 | Oct 4, 2017 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 7 |
| number of results used in preliminary results | 115 |
| number of chapters used | 11 |
| number of sections used | 35 |
| number of results (indirectly) using this tag | 1159 |
Tags (directly) using this result
- Lemma 10.157.5
in Section 10.157: Serre's criterion for normality
(go to statistics) - Lemma 10.157.6
in Section 10.157: Serre's criterion for normality
(go to statistics) - Lemma 10.161.14
in Section 10.161: Japanese rings
(go to statistics) - Lemma 10.163.8
in Section 10.163: Ascending properties
(go to statistics) - Lemma 15.23.18
in Section 15.23: Reflexive modules
(go to statistics) - Lemma 15.42.2
in Section 15.42: Ascending properties along regular ring maps
(go to statistics) - Proposition 15.48.7
in Section 15.48: Regularity and derivations
(go to statistics) - Lemma 15.125.5
in Section 15.125: Principal radical ideals
(go to statistics) - Proposition 15.125.10
in Section 15.125: Principal radical ideals
(go to statistics) - Lemma 28.12.5
in Section 28.12: Serre's conditions
(go to statistics) - Lemma 31.27.6
in Section 31.27: The Weil divisor class associated to an invertible module
(go to statistics) - Lemma 31.28.1
in Section 31.28: More on invertible modules
(go to statistics) - Lemma 54.13.2
in Section 54.13: Implied properties
(go to statistics) - Theorem 54.14.5
in Section 54.14: Resolution
(go to statistics) - Lemma 58.20.3
in Section 58.20: Purity in local case, I
(go to statistics) - Lemma 58.21.3
in Section 58.21: Purity of branch locus
(go to statistics) - Lemma 58.28.1
in Section 58.28: Purity of ramification locus
(go to statistics) - Lemma 58.31.8
in Section 58.31: Tame ramification
(go to statistics) - Theorem 89.8.3
in Section 89.8: Resolution
(go to statistics) - Lemma 115.4.12
in Section 115.4: Obsolete algebra lemmas
(go to statistics)