In this article, we establish the Grothendieck–Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This result is predicted by the original Grothendieck–Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thélène–Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank-one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat–Tits theory to conclude. In the last section, by using extension properties of reflexive sheaves on formal power series over valuation rings and patching of torsors, we prove a variant of Nisnevich's purity conjecture.

Vorst's conjecture relates the regularity of a ring with the $\mathbb {A}^{1}$-homotopy invariance of its $K$-theory. We show a variant of this conjecture in positive characteristic.

A complete characterization of valuation rings closed for a holomorphic derivation is given, following an idea of Seidenberg, in dimension 2.

Let $R$ be a commutative ring with identity, and let $M$ be a unitary module over $R$ . We call $M$ $\text{H}$ -smaller ( $\text{HS}$ for short) if and only if $M$ is infinite and $\left| M/N \right|\,<\,\,\left| M \right|$ for every nonzero submodule $N$ of $M$ . After a brief introduction, we show that there exist nontrivial examples of HS modules of arbitrarily large cardinality over Noetherian and non-Noetherian domains. We then prove the following result: suppose $M$ is faithful over $R$ , $R$ is a domain (we will show that we can restrict to this case without loss of generality), and $K$ is the quotient field of $R$ . If $M$ is $\text{HS}$ over $R$ , then $R$ is $\text{HS}$ as a module over itself, $R\,\subseteq \,M\,\subseteq \,K$ , and there exists a generating set $S$ for $M$ over $R$ with $\left| S \right|\,<\,\left| R \right|$ . We use this result to generalize a problem posed by Kaplansky and conclude the paper by answering an open question on Jónsson modules.