On two theorems for flat, affine group schemes over a discrete valuation ring

We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.