On a theorem of Harder

Ivan Panin, Anastasia Stavrova

We prove that for any simply connected isotropic reductive group G over a Dedekind domain D, any Zariski-locally trivial principal G-bundle over D is trivial. The corresponding res…