Abstract
Definitions of normality and separability for unitary commutative ring extensions are given from the perspective of algebraic and transcendental ring extensions. Necessary and sufficient conditions are given for the set of subrings T i , R ⊆ T i ⊆ S, in a normal separable extension S: R in which the extensions S: T i are normal separable extensions, to map uniquely bijectively on the set of all subgroups of the Galois group of S: R.
1980 Mathematics Subject Classification (1985 Revision):