On rational subgroups of reductive algebraic groups over integral domains

Let G and G′ be reductive algebraic groups defined over infinite fields k and k′ respectively. The purpose of this paper is to show that G and G′ have isomorphic root systems if their rational subgroups G(R) and G′(R′), where R and R′ are integral domains with R ⊇ k and R′ ⊇ k′, are isomorphic to each other, except in one particular case (see Theorem 3·4). This has been proved by R. Steinberg in [6, theorem 31] for simple Chevalley groups over perfect fields. In particular, when G and G′ are semisimple and adjoint, every isomorphism between G(R) and G′(R′) induces an isomorphism between their irreducible components (see Proposition 3·3). These results imply that, when G and G′ are semisimple k-groups and when both are either simply connected or adjoint, then they are isomorphic to each other as algebraic groups if and only if their rational subgroups over an integral domain that contains k are isomorphic to each other, except in one particular case (see Corollary 3·5).