Alphabeta Math
CorollaryStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedaudited 2026-09-22
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 only scalar multiples of a root that are roots are plus or minus the root

Statement

Assume the Axiom of Choice. Let h be a Cartan subalgebra of a finite-dimensional complex semisimple Lie algebra g and let α,cαΦ be roots, where Φ is the root set of Root and root space. Then c=±1.

Facts & Assumptions

Given: The Axiom of Choice, such g,h and roots α and β=cα.

[A1]

The Axiom of Choice is The Axiom of Choice; it licenses the Killing-dual, coroot, root-triple, and opposite-bracket facts in [L1]--[L4].

[L1]

For every root γ, its coroot is hγ=2Hγ/γ(Hγ) with Hγ the Killing-dual vector and γ(Hγ)0 (Coroot of a Lie-algebra root, Killing-dual vector of a root).

[L2]

Cartan integers are integral: β(hα)Z and α(hβ)Z for roots α,β (Cartan integers are integers).

[L3]

For every root γ there are eγgγ, fγgγ, and hγ=[eγ,fγ] satisfying the sl2 relations (The root sl_2 triple).

[L4]

Root-space brackets add their weights, and the opposite bracket is the line CHγ=Chγ (Brackets of root spaces, The bracket of opposite root spaces is the root line).

[L5]

The trace of a commutator of finite-dimensional endomorphisms is zero (For AMm×n(F) and BMn×m(F), tr(AB)=tr(BA)).

Proof

technique · direct
1.1

Since Hcα=cHα by the defining equation B(Hcα,H)=cα(H), the coroots satisfy hcα=2cHαcα(cHα)=2Hαcα(Hα)=hα/c.

A1L1algebra
1.2

We first prove that twice a root is never a root. For a root γ, put Wγ=CeγChγj1gjγ. This is a finite direct sum because the root spaces are joint eigenspaces for distinct functionals in the finite-dimensional space g. It is stable under the adjoint action of the triple in [L3]: adeγ and adfγ shift the root-space index by 1 and 1, respectively, the exceptional opposite bracket lands in Chγ by [L4], and adhγ preserves every displayed summand.

A1L3L4algebra
2.1

By [L2] applied to the pair (α,β) we get 2c=β(hα)=cα(hα)Z, and applied to the pair (β,α) we get 2/c=α(hβ)=α(hα/c)Z.

L2step 1.1algebra
2.2

On Wγ one has adhγ=[adeγ,adfγ], so [L5] makes its trace zero. Its eigenvalues on the displayed direct sum are 2 on Ceγ, 0 on Chγ, and 2j on gjγ. Therefore 0=22j1jdimgjγ, so j1jdimgjγ=1. Hence gjγ=0 for every j2. Applying the same argument to the root γ gives gjγ=0 for every j2; in particular 2γ is not a root.

L3L5step 1.2algebra
3.1

The two integrality statements say c=m/2 for some integer m and 4/mZ, so m divides 4 and c{±12,±1,±2}.

step 2.1algebra
4.1

Now c2 and c2, since 2α and 2α=2(α) are not roots by step 2.2; and c12,12, since then 2β=±α would be twice the root β, again contradicting step 2.2. Hence c=±1.

step 3.1step 2.2algebra

Depends on

Used by

Dependency tree · two levels

27 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