Alphabeta Math
False statementConstruction: AI-adaptedVerification: AI-generatedPipeline-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.

All cartan subalgebras of a real semisimple lie algebra are conjugate

Statement

False: all Cartan subalgebras of a real semisimple Lie algebra are conjugate.

Facts & Assumptions

Given: The real Lie algebra sl2(R) with basis h=(1001), e=(0100), f=(0010) and k=ef, and the two lines Rh and Rk.

[L1]

sl2(R) is semisimple: its Killing form has matrix (800004040) in the basis (h,e,f), which is nondegenerate, and a finite-dimensional Lie algebra over a characteristic-zero field is semisimple if and only if its Killing form is nondegenerate (Cartan's semisimplicity criterion, Real Cartan subalgebras need not be conjugate).

[L2]

A Cartan subalgebra of a Lie algebra is a nilpotent subalgebra equal to its own normalizer, and a one-dimensional abelian subalgebra is nilpotent (Cartan subalgebra).

[L3]

In sl2(R) the lines Rh and Rk are Cartan subalgebras, Rhp0 is the split part and Rkk0 is the compact part of the Cartan decomposition attached to θ(X)=XT, and there is no automorphism α of sl2(R) with α(Rh)=Rk: such an α would satisfy B(h,h)=B(αh,αh) for the automorphism-invariant Killing form, that is 8=8c2 for α(h)=ck, c0, which is impossible (Real Cartan subalgebras need not be conjugate, The special linear Lie algebra sl_2).

Refutation

technique · counterexample
1.1

In the real semisimple Lie algebra g0=sl2(R) the two one-dimensional subspaces Rh and Rk are Cartan subalgebras by [L3] and [L2], and g0 is semisimple by [L1]; the two lines are distinct, since k=ef is not a real multiple of h.

L1L2L3
2.1

The two Cartan subalgebras are not conjugate by any automorphism of g0, hence not by any inner automorphism either, because every inner automorphism is an automorphism: by [L3] no automorphism carries Rh onto Rk, the obstruction being the sign of the B-squared length, which an automorphism must preserve because the Killing form is invariant under every automorphism.

L3step 1.1
3.1

Therefore a real semisimple Lie algebra can contain two Cartan subalgebras that are not conjugate — the compact Cartan line Rk and the split Cartan line Rh of sl2(R) — and the statement that all Cartan subalgebras of a real semisimple Lie algebra are conjugate is false.

step 1.1step 2.1

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

19 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