Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-05
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.

The Harish-Chandra projection is multiplicative on the center

Statement

For central elements z,zZ(U(g)), the Harish-Chandra projection from The Harish-Chandra projection satisfies

pr(zz)=pr(z)pr(z).

Facts & Assumptions

Given: Central elements z,zZ(U(g)).

Proof

technique · direct
1.1

By Central elements lie in the zero-weight subspace of U(g), both z and z lie in U(g)0. Write z=pr(z)+a and z=pr(z)+a with a,anU(g)+U(g)n+.

givenconstruct
2.1

Put I:=nU(g)+U(g)n+. Multiplication on either side by U(h) preserves I. Moreover, if c is central, then IcI: for a term xu with xn, one has (xu)c=x(uc), while for a term uy with yn+, centrality gives (uy)c=(uc)y.

step 1.1algebra
3.1

Using only the decomposition of z, write zz=pr(z)z+az=pr(z)pr(z)+pr(z)a+az. The last two terms lie in I by step 2.1; no assertion that I is multiplicatively closed is needed.

step 1.1step 2.1algebra
4.1

Applying the projection from The Harish-Chandra projection to step 3.1 leaves exactly pr(z)pr(z). Therefore pr(zz)=pr(z)pr(z).

step 3.1

Depends on

Used by

Dependency tree · two levels

7 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