On H-separable extensions of primitive rings. II (Q921095)

This paper is a sequel to part I [ibid. 16, 207-211 (1987; Zbl 0622.16004)], where a necessary and sufficient condition for an H- separable extension A of a strongly primitive ring B to be strongly primitive was given, assuming that A is finitely generated and projective as left B-module. Here it is shown that, in this situation, if \({}_ AI\) and \({}_ BM\) are the minimal faithful left ideals of A and B, with double centralizers \(A^*\) and \(B^*\), respectively, and \(\tilde B\) is the double centralizer of \({}_ BI\), then there is a ring isomorphism between \(B^*\) and \(\tilde B\) fixing all the elements of B, and \(A^*\) is an H-separable extension of \(\tilde B.\) The H-separable extensions of right full linear rings and their relation with the inner Galois theory of these rings are also considered.