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.
A primitive ideal determines a central character
Statement
Let be a finite-dimensional complex Lie algebra and let be a primitive ideal of , say with simple. Then acts on by a central character , and
In particular is a maximal ideal of the commutative algebra , and .
Facts & Assumptions
Given: A finite-dimensional complex Lie algebra , a simple left -module , and the primitive ideal .
is countable-dimensional for finite-dimensional , so Dixmier's lemma applies: , every central element acts on by a scalar, and these scalars form a unital -algebra homomorphism with (Dixmier's lemma: endomorphisms of a simple module over a countable-dimensional algebra, Central character of a Lie algebra module).
A unital homomorphism has image , so is a field and is a maximal ideal; maximal means maximal among proper ideals ( is a field if and only if is a maximal ideal, Prime ideals and maximal ideals in a commutative ring).
is a two-sided ideal equal to the kernel of the action; and acts as the identity, so is proper (The annihilator of a module over an enveloping algebra, Primitive ideals of an enveloping algebra, Simple module: a nonzero module with no proper nonzero submodule).
Proof
By [F1] there is a central character with for all , . If , then acts on as and as the scalar ; since this forces , so .
Conversely, if , then for every , so , hence . Thus .
Steps 1.1 and 1.2 give , which is a maximal ideal of by [F2] because is a unital homomorphism onto .
Every lies in the two-sided ideal , so every product with lies in ; as these products generate the two-sided ideal , one has .
Depends on
- The annihilator of a module over an enveloping algebra
- Primitive ideals of an enveloping algebra
- Central character of a Lie algebra module
- Dixmier's lemma: endomorphisms of a simple module over a countable-dimensional algebra
- $R/M$ is a field if and only if $M$ is a maximal ideal
- Prime ideals and maximal ideals in a commutative ring
- Simple module: a nonzero module with no proper nonzero submodule
Used by
Dependency tree · two levels
36 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.
Sources
- P. Etingof, Representations of Lie Groups (18.757, MIT OCW 2023 full notes) (standard reference, not scraped)
- D. Barbasch, Cells in Weyl groups and primitive ideals (AIM workshop notes, 2006) (standard reference, not scraped)