Normal and separable algebraic
extensions of abelian groups have been defined in a manner similar to that of the field
theory. In this paper it is shown that if N is a normal algebraic extension of the
torsion group K =∑Kp, where the p-components Kp of K are cyclic or
divisible, and if G is the group of K-automorphisms of N, then there is a
family {GE}E∈X of subgroups of G such that {G,{GE}E∈X,N} is a field
formation.