23 Divided Power Algebra

Section 23.1: Introduction
Section 23.2: Divided powers
- Definition 23.2.1
- Lemma 23.2.2
- Example 23.2.3
- Lemma 23.2.4
- Lemma 23.2.5
- Lemma 23.2.6
Section 23.3: Divided power rings
- Definition 23.3.1
- Lemma 23.3.2
- Lemma 23.3.3
- Lemma 23.3.4
- Remark 23.3.5
Section 23.4: Extending divided powers
- Definition 23.4.1
- Lemma 23.4.2
- Lemma 23.4.3
- Lemma 23.4.4
- Lemma 23.4.5
Section 23.5: Divided power polynomial algebras
- Lemma 23.5.1
- Remark 23.5.2
- Lemma 23.5.3
Section 23.6: Tate resolutions
- Definition 23.6.1
- Example 23.6.2: Adjoining odd variable
- Example 23.6.3: Adjoining even variable
- Remark 23.6.4
- Definition 23.6.5
- Lemma 23.6.6
- Lemma 23.6.7
- Lemma 23.6.8
- Lemma 23.6.9
- Lemma 23.6.10
- Lemma 23.6.11
- Lemma 23.6.12
Section 23.7: Application to complete intersections
- Lemma 23.7.1
- Lemma 23.7.2
- Lemma 23.7.3
- Lemma 23.7.4
- Lemma 23.7.5
- Lemma 23.7.6
Section 23.8: Local complete intersection rings
- Lemma 23.8.1
- Lemma 23.8.2
- Lemma 23.8.3
- Proposition 23.8.4
- Definition 23.8.5
- Lemma 23.8.6
- Lemma 23.8.7
- Lemma 23.8.8
- Lemma 23.8.9
Section 23.9: Local complete intersection maps
- Lemma 23.9.1
- Proposition 23.9.2
- Remark 23.9.3
- Lemma 23.9.4
- Lemma 23.9.5
- Lemma 23.9.6
Section 23.10: Smooth ring maps and diagonals
- Lemma 23.10.1
- Lemma 23.10.2
Section 23.11: Freeness of the conormal module
- Lemma 23.11.1 reference
- Lemma 23.11.2 reference
- Proposition 23.11.3 reference
- Lemma 23.11.4
- Lemma 23.11.5
Section 23.12: Koszul complexes and Tate resolutions
- Lemma 23.12.1
- Remark 23.12.2
- Lemma 23.12.3
- Lemma 23.12.4