15 More on Algebra

• Section 15.1: Introduction
• Section 15.2: Advice for the reader
• Section 15.3: Stably free modules
  • Definition 15.3.1
  • Lemma 15.3.2
  • Lemma 15.3.3
  • Lemma 15.3.4
  • Lemma 15.3.5
• Section 15.4: A comment on the Artin-Rees property
  • Lemma 15.4.1
  • Lemma 15.4.2
  • Lemma 15.4.3
• Section 15.5: Fibre products of rings, I
  • Lemma 15.5.1
  • Lemma 15.5.2
  • Lemma 15.5.3
    • Equation 15.5.3.1
  • Lemma 15.5.4
• Section 15.6: Fibre products of rings, II
  • Situation 15.6.1
  • Lemma 15.6.2
  • Lemma 15.6.3
    • Equation 15.6.3.1
  • Lemma 15.6.4
  • Lemma 15.6.5
  • Lemma 15.6.6
  • Lemma 15.6.7
  • Lemma 15.6.8
  • Lemma 15.6.9
• Section 15.7: Fibre products of rings, III
  • Situation 15.7.1
    • Equation 15.7.1.1
  • Lemma 15.7.2
  • Lemma 15.7.3
  • Lemma 15.7.4
  • Lemma 15.7.5
  • Lemma 15.7.6
  • Lemma 15.7.7
  • Remark 15.7.8
• Section 15.8: Fitting ideals
  • Lemma 15.8.1
  • Lemma 15.8.2
  • Definition 15.8.3
  • Lemma 15.8.4
  • Example 15.8.5
  • Example 15.8.6
  • Lemma 15.8.7
  • Lemma 15.8.8
  • Lemma 15.8.9
  • Lemma 15.8.10
• Section 15.9: Lifting
  • Lemma 15.9.1
  • Lemma 15.9.2
  • Lemma 15.9.3
  • Lemma 15.9.4
  • Lemma 15.9.5
  • Lemma 15.9.6
  • Example 15.9.7
  • Lemma 15.9.8
  • Lemma 15.9.9
  • Lemma 15.9.10
  • Lemma 15.9.11
  • Lemma 15.9.12
  • Lemma 15.9.13
  • Lemma 15.9.14
• Section 15.10: Zariski pairs
  • Definition 15.10.1
  • Lemma 15.10.2
  • Lemma 15.10.3
  • Lemma 15.10.4
  • Lemma 15.10.5
• Section 15.11: Henselian pairs
  • Definition 15.11.1
  • Lemma 15.11.2
  • Lemma 15.11.3
  • Lemma 15.11.4
  • Lemma 15.11.5
  • Lemma 15.11.6 reference
    • Equation 15.11.6.1
    • Equation 15.11.6.2
    • Equation 15.11.6.3
    • Equation 15.11.6.4
    • Equation 15.11.6.5
  • Lemma 15.11.7
  • Lemma 15.11.8
  • Lemma 15.11.9
  • Lemma 15.11.10
  • Lemma 15.11.11
  • Lemma 15.11.12
  • Lemma 15.11.13
  • Example 15.11.14: Moret-Bailly
  • Lemma 15.11.15
  • Lemma 15.11.16
• Section 15.12: Henselization of pairs
  • Lemma 15.12.1
  • Lemma 15.12.2
  • Lemma 15.12.3 slogan
  • Lemma 15.12.4 slogan
  • Lemma 15.12.5
  • Lemma 15.12.6 slogan
  • Lemma 15.12.7 slogan
  • Lemma 15.12.8
• Section 15.13: Lifting and henselian pairs
  • Lemma 15.13.1
  • Lemma 15.13.2
  • Lemma 15.13.3
  • Lemma 15.13.4
• Section 15.14: Absolute integral closure
  • Definition 15.14.1
  • Lemma 15.14.2
  • Lemma 15.14.3
  • Lemma 15.14.4
  • Lemma 15.14.5
  • Lemma 15.14.6
  • Lemma 15.14.7
  • Lemma 15.14.8
• Section 15.15: Auto-associated rings
  • Definition 15.15.1
  • Lemma 15.15.2
  • Lemma 15.15.3
  • Lemma 15.15.4
  • Example 15.15.5
  • Lemma 15.15.6
  • Lemma 15.15.7
• Section 15.16: Flattening stratification
  • Lemma 15.16.1
• Section 15.17: Flattening over an Artinian ring
  • Lemma 15.17.1
  • Lemma 15.17.2
• Section 15.18: Flattening over a closed subset of the base
  • Equation 15.18.0.1
  • Lemma 15.18.1
  • Lemma 15.18.2
  • Lemma 15.18.3
• Section 15.19: Flattening over a closed subsets of source and base
  • Situation 15.19.1
    • Equation 15.19.1.1
  • Lemma 15.19.2
  • Lemma 15.19.3
  • Lemma 15.19.4
  • Lemma 15.19.5
• Section 15.20: Flattening over a Noetherian complete local ring
  • Lemma 15.20.1
  • Lemma 15.20.2
  • Lemma 15.20.3
• Section 15.21: Descent of flatness along integral maps
  • Lemma 15.21.1
  • Lemma 15.21.2
  • Lemma 15.21.3
  • Lemma 15.21.4
  • Lemma 15.21.5
  • Lemma 15.21.6
  • Lemma 15.21.7
• Section 15.22: Torsion free modules
  • Definition 15.22.1
  • Lemma 15.22.2
  • Lemma 15.22.3
  • Lemma 15.22.4
  • Lemma 15.22.5
  • Lemma 15.22.6
  • Lemma 15.22.7
  • Lemma 15.22.8
  • Lemma 15.22.9
  • Lemma 15.22.10
  • Lemma 15.22.11
  • Lemma 15.22.12
• Section 15.23: Ranks of modules
  • Definition 15.23.1
  • Lemma 15.23.2
  • Lemma 15.23.3
  • Lemma 15.23.4
  • Lemma 15.23.5
  • Lemma 15.23.6
• Section 15.24: Reflexive modules
  • Definition 15.24.1
  • Lemma 15.24.2
  • Lemma 15.24.3
  • Lemma 15.24.4
  • Lemma 15.24.5
  • Lemma 15.24.6
  • Lemma 15.24.7
  • Lemma 15.24.8
  • Definition 15.24.9
  • Lemma 15.24.10
  • Lemma 15.24.11
  • Lemma 15.24.12
  • Lemma 15.24.13
  • Lemma 15.24.14
  • Lemma 15.24.15
  • Lemma 15.24.16
  • Example 15.24.17
  • Lemma 15.24.18
  • Lemma 15.24.19
  • Lemma 15.24.20
• Section 15.25: Content ideals
  • Definition 15.25.1
  • Lemma 15.25.2
  • Lemma 15.25.3
  • Lemma 15.25.4
• Section 15.26: Flatness and finiteness conditions
  • Lemma 15.26.1
  • Lemma 15.26.2
  • Lemma 15.26.3
  • Lemma 15.26.4
  • Remark 15.26.5
  • Lemma 15.26.6 reference
  • Lemma 15.26.7
• Section 15.27: Blowing up and flatness
  • Definition 15.27.1
  • Lemma 15.27.2
  • Lemma 15.27.3
  • Lemma 15.27.4
  • Lemma 15.27.5
• Section 15.28: Completion and flatness
  • Lemma 15.28.1
  • Lemma 15.28.2
  • Lemma 15.28.3 reference
  • Lemma 15.28.4
  • Lemma 15.28.5
• Section 15.29: The Koszul complex
  • Definition 15.29.1
  • Definition 15.29.2
  • Lemma 15.29.3
  • Lemma 15.29.4
  • Lemma 15.29.5
  • Lemma 15.29.6
    • Equation 15.29.6.1
  • Lemma 15.29.7
  • Lemma 15.29.8
  • Lemma 15.29.9
  • Lemma 15.29.10
  • Lemma 15.29.11
  • Lemma 15.29.12
• Section 15.30: The extended alternating Čech complex
  • Lemma 15.30.1
  • Lemma 15.30.2
  • Lemma 15.30.3
  • Lemma 15.30.4
  • Lemma 15.30.5
  • Lemma 15.30.6
• Section 15.31: Koszul regular sequences
  • Definition 15.31.1
  • Lemma 15.31.2
  • Lemma 15.31.3
  • Lemma 15.31.4
  • Lemma 15.31.5
  • Lemma 15.31.6
  • Lemma 15.31.7
  • Lemma 15.31.8
  • Lemma 15.31.9
  • Lemma 15.31.10
  • Lemma 15.31.11
  • Lemma 15.31.12
  • Lemma 15.31.13
  • Lemma 15.31.14
  • Lemma 15.31.15
  • Lemma 15.31.16 reference
  • Lemma 15.31.17
• Section 15.32: More on Koszul regular sequences
  • Lemma 15.32.1
  • Lemma 15.32.2
  • Lemma 15.32.3
  • Lemma 15.32.4
  • Lemma 15.32.5
  • Lemma 15.32.6
• Section 15.33: Regular ideals
  • Definition 15.33.1
  • Lemma 15.33.2
  • Lemma 15.33.3
  • Lemma 15.33.4
  • Lemma 15.33.5
• Section 15.34: Local complete intersection maps
  • Lemma 15.34.1
  • Definition 15.34.2
  • Lemma 15.34.3
  • Lemma 15.34.4
  • Lemma 15.34.5
  • Lemma 15.34.6
  • Lemma 15.34.7
  • Lemma 15.34.8
• Section 15.35: Cartier's equality and geometric regularity
  • Lemma 15.35.1: Cartier equality
  • Lemma 15.35.2
  • Lemma 15.35.3
• Section 15.36: Geometric regularity
  • Proposition 15.36.1
  • Lemma 15.36.2
• Section 15.37: Topological rings and modules
  • Definition 15.37.1: Topological rings reference
  • Lemma 15.37.2
  • Lemma 15.37.3: Baire category theorem
  • Lemma 15.37.4
  • Lemma 15.37.5: Open mapping lemma
• Section 15.38: Formally smooth maps of topological rings
  • Definition 15.38.1
  • Lemma 15.38.2
  • Definition 15.38.3
  • Lemma 15.38.4
  • Lemma 15.38.5
  • Lemma 15.38.6
  • Lemma 15.38.7
  • Lemma 15.38.8
  • Lemma 15.38.9
• Section 15.39: Formally smooth maps of local rings
  • Lemma 15.39.1
  • Lemma 15.39.2
  • Lemma 15.39.3
  • Lemma 15.39.4
  • Lemma 15.39.5
  • Lemma 15.39.6
• Section 15.40: Some results on power series rings
  • Lemma 15.40.1
  • Lemma 15.40.2
  • Lemma 15.40.3
  • Lemma 15.40.4
• Section 15.41: Geometric regularity and formal smoothness
  • Theorem 15.41.1
  • Example 15.41.2
  • Lemma 15.41.3
  • Lemma 15.41.4
  • Proposition 15.41.5
  • Lemma 15.41.6
  • Remark 15.41.7
• Section 15.42: Regular ring maps
  • Definition 15.42.1
  • Lemma 15.42.2: Regular is a local property
  • Lemma 15.42.3: Regular maps and base change
  • Lemma 15.42.4: Composition of regular maps
  • Lemma 15.42.5
  • Lemma 15.42.6
  • Lemma 15.42.7
• Section 15.43: Ascending properties along regular ring maps
  • Lemma 15.43.1
  • Lemma 15.43.2
  • Lemma 15.43.3
  • Lemma 15.43.4
• Section 15.44: Permanence of properties under completion
  • Lemma 15.44.1
  • Lemma 15.44.2
  • Lemma 15.44.3
  • Lemma 15.44.4
  • Lemma 15.44.5
  • Lemma 15.44.6
  • Lemma 15.44.7
  • Lemma 15.44.8
  • Lemma 15.44.9
• Section 15.45: Permanence of properties under étale maps
  • Lemma 15.45.1
  • Lemma 15.45.2
  • Lemma 15.45.3
  • Lemma 15.45.4
• Section 15.46: Permanence of properties under henselization
  • Lemma 15.46.1
  • Lemma 15.46.2
  • Lemma 15.46.3 reference
  • Lemma 15.46.4 slogan
  • Lemma 15.46.5
  • Lemma 15.46.6
  • Lemma 15.46.7
  • Lemma 15.46.8
  • Lemma 15.46.9
  • Lemma 15.46.10
  • Lemma 15.46.11
  • Lemma 15.46.12
  • Lemma 15.46.13
• Section 15.47: Field extensions, revisited
  • Definition 15.47.1
  • Lemma 15.47.2
  • Lemma 15.47.3
  • Lemma 15.47.4
  • Lemma 15.47.5
• Section 15.48: The singular locus
  • Definition 15.48.1 reference
  • Lemma 15.48.2
  • Lemma 15.48.3
  • Lemma 15.48.4
  • Lemma 15.48.5
  • Lemma 15.48.6
• Section 15.49: Regularity and derivations
  • Lemma 15.49.1
  • Lemma 15.49.2 slogan
  • Lemma 15.49.3
  • Lemma 15.49.4
  • Lemma 15.49.5
  • Lemma 15.49.6
  • Proposition 15.49.7
• Section 15.50: Formal smoothness and regularity
  • Lemma 15.50.1
  • Proposition 15.50.2
  • Theorem 15.50.3: André reference
• Section 15.51: G-rings
  • Definition 15.51.1
  • Lemma 15.51.2
  • Lemma 15.51.3
  • Lemma 15.51.4
  • Lemma 15.51.5
  • Proposition 15.51.6
  • Lemma 15.51.7
  • Lemma 15.51.8
  • Lemma 15.51.9
  • Proposition 15.51.10
  • Remark 15.51.11
  • Proposition 15.51.12
  • Lemma 15.51.13
  • Lemma 15.51.14 reference
  • Lemma 15.51.15 slogan reference
• Section 15.52: Properties of formal fibres
  • Lemma 15.52.1
  • Lemma 15.52.2
  • Lemma 15.52.3
  • Lemma 15.52.4
  • Proposition 15.52.5
  • Lemma 15.52.6
  • Lemma 15.52.7 slogan
  • Lemma 15.52.8
  • Lemma 15.52.9
  • Lemma 15.52.10
  • Lemma 15.52.11
  • Lemma 15.52.12
  • Lemma 15.52.13
• Section 15.53: Excellent rings
  • Definition 15.53.1
  • Lemma 15.53.2
  • Proposition 15.53.3
  • Lemma 15.53.4
  • Lemma 15.53.5
  • Lemma 15.53.6
• Section 15.54: Abelian categories of modules
• Section 15.55: Injective abelian groups
  • Lemma 15.55.1
• Section 15.56: Injective modules
  • Definition 15.56.1
  • Lemma 15.56.2
  • Lemma 15.56.3
  • Lemma 15.56.4
  • Definition 15.56.5
  • Lemma 15.56.6
  • Lemma 15.56.7
  • Lemma 15.56.8
  • Lemma 15.56.9
• Section 15.57: Derived categories of modules
  • Lemma 15.57.1
  • Lemma 15.57.2
  • Lemma 15.57.3
• Section 15.58: Computing Tor
  • Equation 15.58.0.1
  • Equation 15.58.0.2
• Section 15.59: Tensor products of complexes
  • Lemma 15.59.1
  • Lemma 15.59.2
  • Lemma 15.59.3
  • Lemma 15.59.4
• Section 15.60: Derived tensor product
  • Definition 15.60.1
  • Lemma 15.60.2
  • Lemma 15.60.3
  • Lemma 15.60.4
  • Lemma 15.60.5
  • Lemma 15.60.6
  • Lemma 15.60.7
  • Lemma 15.60.8
  • Lemma 15.60.9
  • Lemma 15.60.10
  • Remark 15.60.11
  • Lemma 15.60.12
  • Definition 15.60.13
  • Lemma 15.60.14
  • Lemma 15.60.15
  • Lemma 15.60.16
• Section 15.61: Derived change of rings
  • Lemma 15.61.1
  • Lemma 15.61.2
  • Lemma 15.61.3
  • Remark 15.61.4: Warning
  • Lemma 15.61.5
• Section 15.62: Tor independence
  • Equation 15.62.0.1
  • Definition 15.62.1
  • Lemma 15.62.2
  • Lemma 15.62.3
  • Lemma 15.62.4
  • Lemma 15.62.5
  • Lemma 15.62.6
• Section 15.63: Spectral sequences for Tor
  • Example 15.63.1
  • Example 15.63.2
  • Example 15.63.3
  • Example 15.63.4
• Section 15.64: Products and Tor
  • Equation 15.64.0.1
  • Equation 15.64.0.2
  • Equation 15.64.0.3
  • Lemma 15.64.1
• Section 15.65: Künneth spectral sequence
  • Lemma 15.65.1
  • Lemma 15.65.2
  • Proposition 15.65.3
  • Lemma 15.65.4: Künneth Spectral Sequence
  • Example 15.65.5
• Section 15.66: Pseudo-coherent modules, I
  • Equation 15.66.0.1
  • Definition 15.66.1
  • Lemma 15.66.2
  • Lemma 15.66.3
  • Lemma 15.66.4
  • Lemma 15.66.5
  • Lemma 15.66.6
  • Lemma 15.66.7
  • Lemma 15.66.8
  • Lemma 15.66.9
  • Lemma 15.66.10
  • Lemma 15.66.11
  • Lemma 15.66.12
  • Lemma 15.66.13
  • Lemma 15.66.14
  • Lemma 15.66.15
  • Lemma 15.66.16
  • Lemma 15.66.17
  • Lemma 15.66.18
• Section 15.67: Pseudo-coherent modules, II
  • Lemma 15.67.1
  • Lemma 15.67.2
  • Lemma 15.67.3
  • Lemma 15.67.4
  • Lemma 15.67.5
  • Lemma 15.67.6
  • Lemma 15.67.7
• Section 15.68: Tor dimension
  • Definition 15.68.1
  • Lemma 15.68.2
  • Lemma 15.68.3
  • Lemma 15.68.4
  • Lemma 15.68.5
  • Lemma 15.68.6
  • Lemma 15.68.7
  • Lemma 15.68.8
  • Lemma 15.68.9
  • Lemma 15.68.10
  • Lemma 15.68.11
  • Lemma 15.68.12
  • Lemma 15.68.13
  • Lemma 15.68.14
  • Lemma 15.68.15
  • Lemma 15.68.16
  • Lemma 15.68.17
  • Lemma 15.68.18
  • Lemma 15.68.19
  • Lemma 15.68.20
• Section 15.69: Spectral sequences for Ext
  • Equation 15.69.0.1
  • Equation 15.69.0.2
• Section 15.70: Projective dimension
  • Definition 15.70.1
  • Lemma 15.70.2
  • Example 15.70.3
• Section 15.71: Injective dimension
  • Definition 15.71.1
  • Lemma 15.71.2
  • Example 15.71.3
  • Example 15.71.4
  • Lemma 15.71.5
  • Lemma 15.71.6
  • Lemma 15.71.7
• Section 15.72: Modules which are close to being projective
  • Lemma 15.72.1
  • Lemma 15.72.2
  • Lemma 15.72.3
  • Definition 15.72.4
  • Lemma 15.72.5
  • Lemma 15.72.6
  • Lemma 15.72.7
• Section 15.73: Hom complexes
  • Equation 15.73.0.1
  • Lemma 15.73.1
    • Equation 15.73.1.1
  • Remark 15.73.2
  • Lemma 15.73.3
  • Lemma 15.73.4
  • Lemma 15.73.5
  • Lemma 15.73.6
    • Equation 15.73.6.1
    • Equation 15.73.6.2
  • Remark 15.73.7
• Section 15.74: Sign rules
  • Lemma 15.74.1
  • Lemma 15.74.2
• Section 15.75: Derived hom
  • Equation 15.75.0.1
  • Equation 15.75.0.2
  • Lemma 15.75.1
  • Lemma 15.75.2
  • Lemma 15.75.3
  • Lemma 15.75.4
  • Lemma 15.75.5
  • Lemma 15.75.6
• Section 15.76: Perfect complexes
  • Definition 15.76.1
  • Lemma 15.76.2
  • Lemma 15.76.3
  • Lemma 15.76.4
  • Lemma 15.76.5
  • Lemma 15.76.6
  • Lemma 15.76.7
  • Lemma 15.76.8
  • Lemma 15.76.9
  • Lemma 15.76.10
  • Lemma 15.76.11
  • Lemma 15.76.12
  • Lemma 15.76.13
  • Lemma 15.76.14
  • Lemma 15.76.15
  • Remark 15.76.16
  • Lemma 15.76.17 slogan
  • Lemma 15.76.18
• Section 15.77: Lifting complexes
  • Lemma 15.77.1
  • Lemma 15.77.2
  • Lemma 15.77.3
  • Lemma 15.77.4
  • Lemma 15.77.5
  • Lemma 15.77.6
  • Lemma 15.77.7
  • Lemma 15.77.8
  • Lemma 15.77.9
• Section 15.78: Splitting complexes
  • Lemma 15.78.1
  • Lemma 15.78.2
  • Lemma 15.78.3
  • Lemma 15.78.4
  • Lemma 15.78.5
  • Lemma 15.78.6
• Section 15.79: Recognizing perfect complexes
  • Lemma 15.79.1
  • Lemma 15.79.2
  • Lemma 15.79.3
  • Lemma 15.79.4
  • Lemma 15.79.5
  • Lemma 15.79.6
• Section 15.80: Characterizing perfect complexes
  • Lemma 15.80.1
  • Lemma 15.80.2
  • Proposition 15.80.3
  • Lemma 15.80.4
  • Lemma 15.80.5
• Section 15.81: Strong generators and regular rings
  • Lemma 15.81.1 reference
  • Lemma 15.81.2
  • Lemma 15.81.3
  • Lemma 15.81.4
  • Lemma 15.81.5
  • Proposition 15.81.6
• Section 15.82: Relatively finitely presented modules
  • Lemma 15.82.1
  • Definition 15.82.2
  • Lemma 15.82.3
  • Lemma 15.82.4
  • Lemma 15.82.5
  • Lemma 15.82.6
  • Lemma 15.82.7
  • Lemma 15.82.8
  • Lemma 15.82.9
  • Lemma 15.82.10
• Section 15.83: Relatively pseudo-coherent modules
  • Lemma 15.83.1
  • Lemma 15.83.2
  • Lemma 15.83.3
  • Definition 15.83.4
  • Lemma 15.83.5
  • Lemma 15.83.6
  • Lemma 15.83.7
  • Lemma 15.83.8
  • Lemma 15.83.9
  • Lemma 15.83.10
  • Lemma 15.83.11
  • Lemma 15.83.12
  • Lemma 15.83.13
  • Lemma 15.83.14
  • Lemma 15.83.15
  • Lemma 15.83.16
  • Lemma 15.83.17
• Section 15.84: Pseudo-coherent and perfect ring maps
  • Definition 15.84.1
  • Lemma 15.84.2
  • Lemma 15.84.3
  • Lemma 15.84.4
  • Lemma 15.84.5
  • Lemma 15.84.6
  • Lemma 15.84.7
  • Lemma 15.84.8
• Section 15.85: Relatively perfect modules
  • Definition 15.85.1
  • Lemma 15.85.2
  • Lemma 15.85.3
  • Lemma 15.85.4
  • Lemma 15.85.5
  • Lemma 15.85.6
  • Lemma 15.85.7
  • Lemma 15.85.8
  • Lemma 15.85.9
  • Lemma 15.85.10
• Section 15.86: Two term complexes
  • Lemma 15.86.1
  • Remark 15.86.2
  • Lemma 15.86.3
  • Lemma 15.86.4
  • Lemma 15.86.5
  • Lemma 15.86.6
  • Lemma 15.86.7
  • Lemma 15.86.8
  • Lemma 15.86.9
  • Lemma 15.86.10
  • Lemma 15.86.11
  • Lemma 15.86.12
• Section 15.87: The naive cotangent complex
  • Lemma 15.87.1
  • Lemma 15.87.2
  • Lemma 15.87.3
  • Lemma 15.87.4
  • Lemma 15.87.5
• Section 15.88: Rlim of abelian groups
  • Lemma 15.88.1
    • Equation 15.88.1.1
  • Lemma 15.88.2
  • Lemma 15.88.3
  • Lemma 15.88.4
  • Lemma 15.88.5
  • Lemma 15.88.6
  • Lemma 15.88.7
  • Remark 15.88.8: Rlim as cohomology
  • Lemma 15.88.9
  • Lemma 15.88.10
  • Lemma 15.88.11
  • Remark 15.88.12
  • Lemma 15.88.13
  • Lemma 15.88.14: Emmanouil reference
  • Lemma 15.88.15
  • Lemma 15.88.16
• Section 15.89: Rlim of modules
  • Lemma 15.89.1
  • Remark 15.89.2
  • Lemma 15.89.3
  • Lemma 15.89.4
  • Lemma 15.89.5
  • Remark 15.89.6
  • Lemma 15.89.7
  • Lemma 15.89.8
  • Lemma 15.89.9
  • Remark 15.89.10
  • Lemma 15.89.11
  • Lemma 15.89.12
• Section 15.90: Torsion modules
  • Definition 15.90.1
  • Lemma 15.90.2
  • Lemma 15.90.3
  • Lemma 15.90.4
  • Lemma 15.90.5
  • Lemma 15.90.6
  • Lemma 15.90.7
  • Lemma 15.90.8
  • Lemma 15.90.9 reference
• Section 15.91: Formal glueing of module categories
  • Lemma 15.91.1
  • Lemma 15.91.2
  • Lemma 15.91.3
  • Lemma 15.91.4
  • Lemma 15.91.5
  • Lemma 15.91.6
  • Lemma 15.91.7
  • Lemma 15.91.8
    • Equation 15.91.8.1
  • Lemma 15.91.9
  • Remark 15.91.10
  • Lemma 15.91.11
  • Lemma 15.91.12
  • Lemma 15.91.13
  • Lemma 15.91.14
  • Lemma 15.91.15
  • Proposition 15.91.16
  • Lemma 15.91.17
  • Theorem 15.91.18
  • Proposition 15.91.19
  • Remark 15.91.20
  • Remark 15.91.21
• Section 15.92: The Beauville-Laszlo theorem
  • Lemma 15.92.1
  • Lemma 15.92.2
  • Lemma 15.92.3
  • Lemma 15.92.4 reference
  • Remark 15.92.5
    • Equation 15.92.5.1
    • Equation 15.92.5.2
  • Lemma 15.92.6
  • Remark 15.92.7
  • Remark 15.92.8
  • Example 15.92.9
    • Equation 15.92.9.1
    • Equation 15.92.9.2
  • Lemma 15.92.10
  • Remark 15.92.11
  • Example 15.92.12: Non glueable module reference
  • Lemma 15.92.13
  • Lemma 15.92.14
  • Lemma 15.92.15 reference
  • Theorem 15.92.16 reference
    • Equation 15.92.16.1
    • Equation 15.92.16.2
    • Equation 15.92.16.3
  • Remark 15.92.17
  • Lemma 15.92.18
  • Lemma 15.92.19
  • Remark 15.92.20
• Section 15.93: Derived Completion
  • Lemma 15.93.1
  • Lemma 15.93.2
  • Lemma 15.93.3
  • Definition 15.93.4
  • Proposition 15.93.5
  • Lemma 15.93.6
  • Lemma 15.93.7
  • Lemma 15.93.8
  • Lemma 15.93.9
  • Lemma 15.93.10 slogan
  • Remark 15.93.11
  • Lemma 15.93.12
  • Lemma 15.93.13
  • Lemma 15.93.14
  • Situation 15.93.15
  • Lemma 15.93.16
  • Lemma 15.93.17
  • Lemma 15.93.18
  • Lemma 15.93.19
  • Lemma 15.93.20 slogan reference
  • Lemma 15.93.21
  • Lemma 15.93.22
  • Example 15.93.23
  • Lemma 15.93.24
  • Lemma 15.93.25
• Section 15.94: The category of derived complete modules
  • Lemma 15.94.1
• Section 15.95: Derived completion for a principal ideal
  • Lemma 15.95.1
  • Lemma 15.95.2
  • Example 15.95.3
  • Example 15.95.4
  • Example 15.95.5
  • Lemma 15.95.6
  • Remark 15.95.7
  • Lemma 15.95.8: Bhatt
  • Lemma 15.95.9
  • Lemma 15.95.10
  • Lemma 15.95.11
  • Lemma 15.95.12
• Section 15.96: Derived completion for Noetherian rings
  • Lemma 15.96.1
  • Proposition 15.96.2
  • Lemma 15.96.3
  • Lemma 15.96.4
  • Lemma 15.96.5
  • Lemma 15.96.6
  • Lemma 15.96.7
• Section 15.97: An operator introduced by Berthelot and Ogus
  • Example 15.97.1
  • Lemma 15.97.2
  • Lemma 15.97.3
  • Lemma 15.97.4
  • Remark 15.97.5
    • Equation 15.97.5.1
    • Equation 15.97.5.2
  • Lemma 15.97.6
  • Lemma 15.97.7
  • Lemma 15.97.8
  • Lemma 15.97.9
  • Lemma 15.97.10
• Section 15.98: Perfect complexes and the eta operator
  • Lemma 15.98.1
  • Lemma 15.98.2
  • Lemma 15.98.3
  • Lemma 15.98.4
  • Lemma 15.98.5
  • Lemma 15.98.6
  • Lemma 15.98.7
  • Lemma 15.98.8
  • Lemma 15.98.9
• Section 15.99: Taking limits of complexes
  • Lemma 15.99.1
  • Lemma 15.99.2
  • Lemma 15.99.3 reference
  • Lemma 15.99.4
  • Lemma 15.99.5
  • Lemma 15.99.6: Kollár-Kovács reference
• Section 15.100: Some evaluation maps
  • Lemma 15.100.1
  • Lemma 15.100.2
  • Lemma 15.100.3
  • Lemma 15.100.4
• Section 15.101: Base change for derived hom
  • Lemma 15.101.1
    • Equation 15.101.1.1
  • Lemma 15.101.2
• Section 15.102: Systems of modules
  • Lemma 15.102.1
  • Lemma 15.102.2 reference
  • Lemma 15.102.3
  • Lemma 15.102.4
  • Lemma 15.102.5
  • Remark 15.102.6
  • Lemma 15.102.7
  • Lemma 15.102.8 reference
  • Remark 15.102.9
  • Example 15.102.10
  • Lemma 15.102.11 reference
• Section 15.103: Systems of modules, bis
  • Lemma 15.103.1
  • Lemma 15.103.2
  • Lemma 15.103.3
  • Lemma 15.103.4
  • Lemma 15.103.5
  • Lemma 15.103.6
  • Lemma 15.103.7
• Section 15.104: Miscellany
  • Lemma 15.104.1
  • Lemma 15.104.2
  • Lemma 15.104.3
  • Lemma 15.104.4
  • Lemma 15.104.5
  • Lemma 15.104.6
  • Lemma 15.104.7
• Section 15.105: Tricks with double complexes
  • Lemma 15.105.1
  • Lemma 15.105.2
• Section 15.106: Weakly étale ring maps
  • Definition 15.106.1
  • Lemma 15.106.2
  • Definition 15.106.3
  • Lemma 15.106.4
  • Lemma 15.106.5
  • Lemma 15.106.6
  • Lemma 15.106.7
  • Lemma 15.106.8
  • Lemma 15.106.9
  • Lemma 15.106.10
  • Lemma 15.106.11
  • Lemma 15.106.12
  • Lemma 15.106.13
  • Lemma 15.106.14
  • Lemma 15.106.15
  • Lemma 15.106.16
  • Lemma 15.106.17
  • Lemma 15.106.18
  • Lemma 15.106.19
  • Lemma 15.106.20
  • Lemma 15.106.21
  • Lemma 15.106.22
  • Lemma 15.106.23
  • Theorem 15.106.24: Olivier
• Section 15.107: Weakly étale algebras over fields
  • Lemma 15.107.1
  • Lemma 15.107.2
  • Lemma 15.107.3
  • Lemma 15.107.4
• Section 15.108: Local irreducibility
  • Definition 15.108.1 reference
  • Lemma 15.108.2
  • Lemma 15.108.3 reference
  • Lemma 15.108.4
  • Lemma 15.108.5 reference
  • Definition 15.108.6
  • Lemma 15.108.7
  • Lemma 15.108.8
• Section 15.109: Miscellaneous on branches
  • Lemma 15.109.1
  • Lemma 15.109.2
  • Lemma 15.109.3 reference
  • Lemma 15.109.4
• Section 15.110: Branches of the completion
  • Lemma 15.110.1
  • Lemma 15.110.2
  • Lemma 15.110.3
  • Lemma 15.110.4
  • Lemma 15.110.5
  • Lemma 15.110.6
  • Lemma 15.110.7
  • Lemma 15.110.8 reference
• Section 15.111: Formally catenary rings
  • Definition 15.111.1
  • Lemma 15.111.2
  • Lemma 15.111.3
  • Lemma 15.111.4
  • Proposition 15.111.5: Ratliff reference
  • Lemma 15.111.6 reference
• Section 15.112: Group actions and integral closure
  • Lemma 15.112.1
  • Lemma 15.112.2
  • Lemma 15.112.3
  • Lemma 15.112.4
  • Remark 15.112.5
  • Lemma 15.112.6
  • Lemma 15.112.7
  • Lemma 15.112.8
  • Lemma 15.112.9
  • Lemma 15.112.10
  • Lemma 15.112.11
• Section 15.113: Extensions of discrete valuation rings
  • Definition 15.113.1
  • Lemma 15.113.2
  • Lemma 15.113.3
  • Lemma 15.113.4
  • Lemma 15.113.5
  • Remark 15.113.6
  • Definition 15.113.7
  • Lemma 15.113.8
  • Lemma 15.113.9
• Section 15.114: Galois extensions and ramification
  • Lemma 15.114.1
  • Lemma 15.114.2
  • Definition 15.114.3
  • Lemma 15.114.4
  • Lemma 15.114.5
    • Equation 15.114.5.1
  • Example 15.114.6
  • Definition 15.114.7
  • Lemma 15.114.8
  • Lemma 15.114.9
  • Remark 15.114.10
  • Lemma 15.114.11
  • Remark 15.114.12
• Section 15.115: Krasner's lemma
  • Lemma 15.115.1: Krasner's lemma
  • Lemma 15.115.2
  • Definition 15.115.3
• Section 15.116: Abhyankar's lemma and tame ramification
  • Remark 15.116.1
  • Lemma 15.116.2
  • Lemma 15.116.3
  • Lemma 15.116.4: Abhyankar's lemma
  • Lemma 15.116.5
  • Lemma 15.116.6
  • Lemma 15.116.7
  • Lemma 15.116.8
  • Lemma 15.116.9
• Section 15.117: Eliminating ramification
  • Definition 15.117.1
  • Example 15.117.2
  • Lemma 15.117.3
  • Lemma 15.117.4
  • Lemma 15.117.5
  • Lemma 15.117.6
  • Lemma 15.117.7
  • Lemma 15.117.8
  • Lemma 15.117.9
  • Lemma 15.117.10
  • Lemma 15.117.11
  • Lemma 15.117.12
  • Lemma 15.117.13
  • Lemma 15.117.14
  • Lemma 15.117.15
  • Lemma 15.117.16
    • Equation 15.117.16.1
    • Equation 15.117.16.2
  • Lemma 15.117.17
  • Theorem 15.117.18: Epp
• Section 15.118: Eliminating ramification, II
  • Lemma 15.118.1
  • Lemma 15.118.2
  • Lemma 15.118.3
  • Remark 15.118.4
  • Lemma 15.118.5
  • Lemma 15.118.6
  • Lemma 15.118.7
  • Proposition 15.118.8 reference
  • Lemma 15.118.9
• Section 15.119: Picard groups of rings
  • Definition 15.119.1
  • Lemma 15.119.2
  • Lemma 15.119.3
• Section 15.120: Determinants
  • Remark 15.120.1
  • Lemma 15.120.2
  • Lemma 15.120.3
  • Lemma 15.120.4
  • Lemma 15.120.5
  • Lemma 15.120.6
  • Lemma 15.120.7
• Section 15.121: Perfect complexes and K-groups
  • Lemma 15.121.1
  • Lemma 15.121.2
• Section 15.122: Determinants of endomorphisms of finite length modules
  • Lemma 15.122.1
  • Lemma 15.122.2
  • Lemma 15.122.3
• Section 15.123: A regular local ring is a UFD
  • Lemma 15.123.1
  • Lemma 15.123.2
  • Lemma 15.123.3
• Section 15.124: Determinants of complexes
  • Lemma 15.124.1
  • Lemma 15.124.2
  • Lemma 15.124.3
  • Lemma 15.124.4
• Section 15.125: Extensions of valuation rings
  • Definition 15.125.1
  • Lemma 15.125.2
  • Lemma 15.125.3
  • Lemma 15.125.4
  • Lemma 15.125.5
  • Lemma 15.125.6
• Section 15.126: Structure of modules over a PID
  • Lemma 15.126.1 reference
  • Lemma 15.126.2: Generalized valuation rings reference
  • Lemma 15.126.3 reference
  • Lemma 15.126.4 reference
  • Definition 15.126.5
  • Lemma 15.126.6
  • Lemma 15.126.7
  • Lemma 15.126.8
  • Lemma 15.126.9
  • Lemma 15.126.10
• Section 15.127: Principal radical ideals
  • Lemma 15.127.1
  • Lemma 15.127.2
  • Lemma 15.127.3
  • Lemma 15.127.4
  • Lemma 15.127.5
  • Lemma 15.127.6
  • Lemma 15.127.7
  • Lemma 15.127.8
  • Lemma 15.127.9
  • Proposition 15.127.10 reference
• Section 15.128: Invertible objects in the derived category
  • Lemma 15.128.1
  • Lemma 15.128.2
  • Lemma 15.128.3
  • Lemma 15.128.4
• Section 15.129: Splitting off a free module
  • Situation 15.129.1
  • Lemma 15.129.2
  • Lemma 15.129.3
  • Proposition 15.129.4 reference
  • Theorem 15.129.5 reference
• Section 15.130: Big projective modules are free
  • Lemma 15.130.1: Eilenberg's lemma slogan historical remark reference
  • Lemma 15.130.2
  • Lemma 15.130.3
  • Lemma 15.130.4
  • Lemma 15.130.5
  • Theorem 15.130.6 reference