On the ring extensions arising from completely solvable Lie superalgebras (Q1185957)

This paper examines prime and primitive ideal structure in an abstraction of the embedding of associative algebras arising from a completely solvable Lie superalgebra. Our goal is to extend and develop in a general ring-theoretic setting the results obtained by V. Kac concerning the irreducible representations of completely solvable Lie superalgebras. Let \(V\) denote the associative enveloping superalgebra of \({\mathfrak g}\), and let \(U\) denote the enveloping algebra of the completely solvable Lie algebra \({\mathfrak g}_0\). Let \({\mathcal M}\) denote the group of automorphisms of \(V\). Let \(R \hookrightarrow S\) be an injective homomorphism of associative Noetherian rings such that \(S\) is finitely generated as a right and left \(R\)-module. Let \({\mathcal A}\) be a group of automorphisms of \(S\) such that \(\tau (R)= R\) for each \(\tau\in {\mathcal A}\), and suppose for each \(R-R\)-bimodule subfactor \(B\) of \(S\) that there exists an element \(\tau\in {\mathcal A}\) and a nonzero element \(b\in B\) with \(r.b= b.\tau (r)\) for all elements \(r\in R\). It follows from the Poincaré-Birkhoff-Witt theorem for Lie superalgebras and the definition of complete solvability that the ring extension \({\mathbf U} \hookrightarrow {\mathbf V}\) satisfies the hypotheses for \({\mathcal A}= {\mathcal M}\). Our main result may be briefly summarized as follows: Associate to each two-sided ideal \(I\) of \(S\) the ideal \(I\cap R\). We show that this function induces a surjective, continuous, closed map with finite fibers from the set of \({\mathcal A}\)-orbits of prime ideals of \(S\) onto the set of \({\mathcal A}\)-orbits of prime ideals of \(R\), where the topology on each of these sets of orbits is the quotient Zariski topology. This map restricts to a function with the same properties from the set of \({\mathcal A}\)-orbits of right primitive ideals of \(S\) onto the set of \({\mathcal A}\)-orbits of right primitive ideals of \(R\). The methods rely on techniques and results developed to study additivity principles and localization theory of noncommutative Noetherian rings. Also, the ring extensions under study are examples of the subnormalizing extensions studied in [\textit{E. A. Whelan}, J. Algebra 101, 418-432 (1986; Zbl 0589.16020)]. The present paper may be considered to be a continuation of the author's previous work [see Zbl 0647.16013; Zbl 0721.16010; Zbl 0786.16011] and parts of the analysis here have been continued in [Contemp. Math. 130, 237-255 (1992; Zbl 0849.17007)].