How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
An intersection of two primitive ideals need not be primitive
Statement refuted
The assertion that the set of primitive ideals of an enveloping algebra is closed under finite intersections is false. In the ideals (the trivial module) and (the two-dimensional simple module) are primitive, but their intersection is not primitive. The central-character criterion detects this: is not a maximal ideal.
Facts & Assumptions
Given: with Casimir , the finite-dimensional simple modules and (the standard two-dimensional module), and the ideals , .
Annihilators of the simple modules and are primitive ideals (Annihilators of simple highest-weight modules are primitive, Primitive ideals of an enveloping algebra, The annihilator of a module over an enveloping algebra).
A primitive ideal satisfies , and this intersection is a maximal ideal of (A primitive ideal determines a central character, Prime ideals and maximal ideals in a commutative ring).
Put ; it is central because the relations , , give (The special linear Lie algebra sl_2). The finite-dimensional simple modules are the , (Finite-dimensional simple modules are classified by dominant highest weights), and on the highest-weight vector of one has , , , so ; in particular and (Central character of a Lie algebra module).
In a commutative ring, two distinct maximal ideals have non-maximal intersection: if with maximal were maximal, then and maximality of would force , so and maximality of would force , a contradiction (Prime ideals and maximal ideals in a commutative ring).
Counterexample
By [F1] the ideals and are primitive. By [F2] their central intersections are and .
By [F3] the central character values on the central element are and ; since these differ, , so their kernels are distinct maximal ideals by [F2].
Intersecting the central intersections of step 1.1 gives , and this is not a maximal ideal by [F4] applied to the distinct maximal ideals .
If were primitive, then by [F2] its intersection with would be maximal, contradicting step 2.1. Therefore is not primitive, and the set of primitive ideals is not closed under finite intersections.
Depends on
- A primitive ideal determines a central character
- Annihilators of simple highest-weight modules are primitive
- Primitive ideals of an enveloping algebra
- The annihilator of a module over an enveloping algebra
- The special linear Lie algebra sl_2
- Finite-dimensional simple modules are classified by dominant highest weights
- The quadratic Casimir eigenvalue on a highest-weight module is $(\lambda,\lambda+2\rho)$
- Prime ideals and maximal ideals in a commutative ring
- Central character of a Lie algebra module
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
31 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.