Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedjudge pass (gpt-6.1-sol)
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 U(sl2(C)) the ideals I0=Ann⁡L(0) (the trivial module) and I1=Ann⁡L(1) (the two-dimensional simple module) are primitive, but their intersection I0∩I1 is not primitive. The central-character criterion detects this: (I0∩I1)∩Z(U(g))=ker⁡χ0∩ker⁡χ1 is not a maximal ideal.

Facts & Assumptions

Given: g=sl2(C) with Casimir Ω, the finite-dimensional simple modules L(0)=C and L(1) (the standard two-dimensional module), and the ideals I0=Ann⁡U(g)L(0), I1=Ann⁡U(g)L(1).

[F2]

A primitive ideal I satisfies I∩Z(U(g))=ker⁡χI, and this intersection is a maximal ideal of Z(U(g)) (A primitive ideal determines a central character, Prime ideals and maximal ideals in a commutative ring).

[F3]

Put Ω:=ef+fe+12h2∈Z(U(g)); it is central because the relations [h,e]=2e, [h,f]=−2f, [e,f]=h give [h,Ω]=[e,Ω]=[f,Ω]=0 (The special linear Lie algebra sl_2). The finite-dimensional simple modules are the L(n), n≥0 (Finite-dimensional simple modules are classified by dominant highest weights), and on the highest-weight vector of L(n) one has ev=0, efv=[e,f]v+f(ev)=hv=nv, fev=0, so Ωv=(n+0+12n2)v=n(n+2)2v; in particular χ0(Ω)=0 and χ1(Ω)=32 (Central character of a Lie algebra module).

[F4]

In a commutative ring, two distinct maximal ideals have non-maximal intersection: if M=m∩n with m≠n maximal were maximal, then m⊇M and maximality of M would force M=m, so m⊆n and maximality of m would force m=n, a contradiction (Prime ideals and maximal ideals in a commutative ring).

Counterexample

technique · direct
1.1F1F2given

By [F1] the ideals I0 and I1 are primitive. By [F2] their central intersections are I0∩Z=ker⁡χ0 and I1∩Z=ker⁡χ1.

1.2F3F2algebra

By [F3] the central character values on the central element Ω are χ0(Ω)=0 and χ1(Ω)=1⋅(1+2)/2=3/2; since these differ, χ0≠χ1, so their kernels are distinct maximal ideals by [F2].

2.1step 1.1step 1.2F4

Intersecting the central intersections of step 1.1 gives (I0∩I1)∩Z=ker⁡χ0∩ker⁡χ1, and this is not a maximal ideal by [F4] applied to the distinct maximal ideals ker⁡χ0,ker⁡χ1.

3.1step 2.1F2∎

If I0∩I1 were primitive, then by [F2] its intersection with Z would be maximal, contradicting step 2.1. Therefore I0∩I1 is not primitive, and the set of primitive ideals is not closed under finite intersections.

Depends on

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.