Remark 2.1.2 . [04NI]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context Β· Original author HTML
Remark 2.1.2.
The smoothness of and the assumption that the components of are Cartier divisors imply that is regular at any point of . Indeed, for any point and , let be a local equation of at . As is a regular local ring of dimension , can be extended to form a regular system of parameters for .