Classical localizability in solvable enveloping algebras and Poincaré- Birkhoff-Witt extensions (Q923697)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Classical localizability in solvable enveloping algebras and Poincaré- Birkhoff-Witt extensions
scientific article

    Statements

    Classical localizability in solvable enveloping algebras and Poincaré- Birkhoff-Witt extensions (English)
    0 references
    1990
    0 references
    Let P be a prime ideal of the noetherian ring R and let \({\mathcal C}(P)\) denote the set of nonzero divisors modulo P. Usually, the set \({\mathcal C}(P)\) fails to satisfy the Ore condition and so classical localization along the naive lines of the commutative theory fails. In the modern theory, see e.g. [\textit{A. V. Jategaonkar}, Localization in Noetherian rings (Lond. Math. Soc. Lect. Note Ser. 98, 1986; Zbl 0589.16014)], one considers the link graph of the prime spectrum of R and attempts to localize at the set \({\mathcal C}(X)\) where X is the component of link graph containing P; i.e., \({\mathcal C}(X)=\cap {\mathcal C}(Q)\), where Q is in the clique of P. One of the stumbling blocks in this theory is the necessity of proving a type of Prime Avoidance Theorem: if I is a right ideal and \(I\cap {\mathcal C}(P)\neq \emptyset\), for all \(P\in X\) can one deduce that \(I\cap {\mathcal C}(X)\neq \emptyset ?\) If X is finite then such an intersection condition is easy to establish; while if R contains an uncountable field in the centre then the result follows by a counting argument, since a basic result of Stafford shows that any clique X is countable. Establishing the Intersection Condition in the absence of an uncountable central subfield seems to be a very difficult question. One successful result in this direction is Müller's Theorem verifying the Intersection Condition for finite unions of cliques in affine Noetherian PI rings [\textit{B. J. Müller}, J. Algebra 97, 116-129 (1985; Zbl 0576.16012)]. In this paper an analogue of Müller's result is developed which works for solvable enveloping algebras, certain iterated differential operator rings and a solvable type of PBW extension. As a consequence, the theory of localization at cliques is available for such rings.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    prime ideal
    0 references
    noetherian ring
    0 references
    Ore condition
    0 references
    classical localization
    0 references
    link graph
    0 references
    prime spectrum
    0 references
    clique
    0 references
    Prime Avoidance Theorem
    0 references
    intersection condition
    0 references
    affine Noetherian PI rings
    0 references
    solvable enveloping algebras
    0 references
    iterated differential operator rings
    0 references
    PBW extension
    0 references