Let A be a commutative ring
and C a commutative ring-extension of A such that the canonical morphism:
Spec(C) →Spec(A) induced by the inclusion map: A → C is radicial. In this
paper a Galois theory of such extension C∕A is given, with certain additional
assumptions.