1: \begin{abstract}

2: We establish an analogue of the Zariski--Nagata purity theorem for finite \'etale covers on smooth schemes over Pr\"ufer rings by demonstrating Auslander's flatness criterion in this non-Noetherian context.

3: We derive an Auslander--Buchsbaum formula for general local rings, which provides a useful tool for studying the algebraic structures involved in our work.

4: Through analysis of reflexive sheaves, we prove various purity theorems for torsors under certain group algebraic spaces, such as the reductive ones.

5: Specifically, using results from \cite{EGAIV4} on parafactoriality on smooth schemes over normal bases, we prove the purity for cohomology groups of multiplicative type groups at this level of  generality.

6: Subsequently, we leverage the aforementioned purity results to resolve the Grothendieck--Serre conjecture for torsors under a quasi-split reductive group scheme over schemes smooth over Pr\"ufer rings.

7: Along the way, we also prove a version of the Nisnevich purity conjecture for quasi-split reductive group schemes in our Pr\"uferian context, inspired by the recent work of $\check{\mathrm{C}}$esnavi$\check{\mathrm{c}}$ius \cite{Ces22b}.

8: \end{abstract}

9: