Example 58.31.4 (Standard tamely ramified morphism). Let A be a Noetherian ring. Let f \in A be a nonzerodivisor such that A/fA is reduced. This implies that A_\mathfrak p is a discrete valuation ring with uniformizer f for any minimal prime \mathfrak p over f. Let e \geq 1 be an integer which is invertible in A. Set
Then \mathop{\mathrm{Spec}}(C) \to \mathop{\mathrm{Spec}}(A) is a finite locally free morphism which is étale over the spectrum of A_ f. The finite étale morphism
is tamely ramified over \mathop{\mathrm{Spec}}(A) in codimension 1. The tameness follows immediately from the characterization of tamely ramified extensions in More on Algebra, Lemma 15.114.7.
Comments (0)
There are also: