T. Saito established a ramification theory for ring extensions locally
of complete intersection. We show that for a Henselian valuation ring
with field of
fractions and for a
finite Galois extension
of
, the integral
closure
of
in
is a filtered union of
subrings of
which are of
complete intersection over
.
By this, we can obtain a ramification theory of Henselian valuation rings as the limit
of the ramification theory of Saito. Our theory generalizes the ramification theory of
complete discrete valuation rings of Abbes–Saito. We study “defect extensions” which
are not treated in these previous works.