Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-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.

Cartan matrix of a based root system

Definition

Let ΦE be a reduced crystallographic root system with base Δ={α1,,αr} (Positive systems and simple roots) and coroots αi=2αi/(αi,αi) (Coroot and dual root system). The Cartan matrix of Φ relative to Δ is the r×r matrix A=(aij) with rows indexed by coroots, aij=(αj,αi)=2(αj,αi)(αi,αi). Thus aij is the Cartan integer of the ordered pair (αj,αi), that is, the coefficient of αi subtracted from αj in the reflection sαi(αj)=αjaijαi; it is not in general an eigenvalue of αj. All entries are integers by the root-system axioms, aii=2 for every i, and aij0 for ij (Distinct simple roots have nonpositive inner product). The Cartan matrix depends on the numbering of the simple roots: renumbering conjugates it by the corresponding permutation matrix. The indexing convention here is the row-coroot convention: the entries of row i record the action of the coroot αi on the other simple roots.

Depends on

Used by

Dependency tree · two levels

3 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