Divisor classes in pseudo-Galois extensions (Q2536969)

Let \(R\) be a Krull domain, and let \(S\) be the integral closure of \(R\) in a finite extension of its fraction field. Assume that there is a finite cocommutative Hopf algebra \(H\) acting on \(S\) over \(R\) (in geometric terms, a finite \(R\)-group scheme acting on \(\text{Spec}\,S\)). The action is called pseudo-Galois if it satisfies some equivalent conditions saying essentially that it is Galois at every minimal prime of \(R\). It turns out that an action is Galois if and only if it is pseudo-Galois and \(S\) is \(R\)-projective. The main theorem is that for a pseudo-Galois action the cohomology group \(H^1(H,S^*)\) is isomorphic to the group of divisor classes in \(R\) becoming principal in \(S\). If \(S\) is flat over \(R\), this is also the kernel of \(\text{Pic}\, R\to \text{Pic}\, S\). The author shows how this theorem unifies two separate results of \textit{P. Samuel} [Topology 3, Suppl. 1, 81--96 (1964; Zbl 0127.26002)] and also handles an example not covered by Samuel's theorems.