Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: 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.

Rank-two systems A_2, B_2 and G_2

Example

The following configurations with six, eight and twelve roots in the plane realize A2,B2 and G2: for A2 the six unit vectors spaced by 60, for B2 the eight vectors ±e1,±e2,±e1±e2, and for G2 the twelve vectors of the explicit model. The off-diagonal Cartan products are 1,2,3 respectively.

Facts & Assumptions

Given: The standard plane R2 with orthonormal basis e1,e2 and the six unit vectors uk=(cos(kπ/3),sin(kπ/3)), 0k5.

[L1]

The irreducible reduced crystallographic rank-two root systems are exactly A2,B2C2,G2, and for nonproportional roots the product of the two Cartan integers is 4cos2θ{0,1,2,3} with the corresponding length ratio (Rank-two root-system classification).

[L2]

A reduced crystallographic Euclidean root system is a finite spanning set of nonzero vectors that is reduced, is preserved by every root reflection, and has integral Cartan integers; for a base (α1,α2) its Cartan matrix has entries aij=2(αj,αi)/(αi,αi) (Reduced crystallographic Euclidean root system, Cartan matrix of a based root system).

Verification

technique · direct
1.1

For A2 take ΦA={u0,,u5}. This finite set spans the plane, is reduced, and each root reflection is a symmetry of the regular hexagon. Its Cartan integers are 2cosθ{0,±1,±2}. Put α=u0 and β=u2; then ΦA+={α,β,α+β} is a positive system with base (α,β), and (α,β)=1/2. Thus its Cartan matrix is (2112) and its off-diagonal Cartan product is 1.

L2algebra
1.2

For B2 take ΦB={±e1,±e2,±e1±e2}. This finite set spans the plane, omits zero, and is reduced. The reflections in the coordinate roots change one sign, while those in e1±e2 interchange the coordinates with possible sign changes, so every root reflection preserves ΦB; direct pairings give Cartan integers in {0,±1,±2}. The roots α=e1e2 and β=e2 form a base, since the positive roots are α,β,α+β,α+2β. Moreover (α,α)=2, (β,β)=1, and (α,β)=1, so the Cartan matrix for (α,β) is (2122) and its off-diagonal Cartan product is 2.

L2algebra
1.3

For G2, choose α,β with (α,α)=6, (β,β)=2, (α,β)=3 and put ΦG={±α,±β,±(α+β),±(α+2β),±(α+3β),±(2α+3β)}. The Gram determinant is positive, so α,β form a basis; the displayed coefficient pairs then show that ΦG is finite, spans the plane, omits zero, and is reduced. The reflection sα interchanges β with α+β and α+3β with 2α+3β, and fixes α+2β; the reflection sβ interchanges α with α+3β and α+β with α+2β, and fixes 2α+3β. Together with the images of α and β, these permutations show that the long and short roots are the two orbits of the simple reflections. Conjugating sα or sβ therefore proves reflection closure for every root. Direct pairings give integral Cartan integers in {0,±1,±2,±3}. The six displayed unnegated roots are positive and have base (α,β), whose Cartan matrix is (2132) and whose off-diagonal Cartan product is 3.

L2algebra
2.1

By [L1] the three systems are exactly the irreducible rank-two reduced crystallographic systems, and the displayed Cartan products 1,2,3 are those of A2,B2,G2 respectively.

L1step 1.1step 1.2step 1.3algebra

Depends on

Used by

Dependency tree · two levels

10 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