Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)
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 Clifford quotient has its canonical parity grading

Statement

Let k be a field of characteristic not 2, let V be a finite-dimensional k-vector space, let B be a symmetric bilinear form on V (possibly degenerate), and put Q(v)=B(v,v). Form the plus-Q Clifford algebra Cl(V,Q) as in Universal Clifford algebra of a quadratic space. Then the grading of the tensor algebra by tensor length modulo 2 descends to a canonical Z/2-grading

Cl(V,Q)=Cl0(V,Q)⊕Cl1(V,Q)

in which 1∈Cl0(V,Q) and every canonical generator vˉ lies in Cl1(V,Q). Here a Z/2-graded algebra and its even part are as in Graded algebras, graded modules, and the graded tensor product. No nondegeneracy assumption on Q is needed.

Facts & Assumptions

Given: A field k with char⁡(k)≠2, a finite-dimensional k-vector space V, a symmetric bilinear form B that may be degenerate, and Q(v)=B(v,v).

[F1]

The Clifford algebra is Tk(V)/JQ, where JQ is the smallest two-sided ideal containing rv=j(v)2−Q(v)1 for every v∈V (Universal Clifford algebra of a quadratic space).

[F2]

The tensor algebra is Tk(V)=⨁m≥0V⊗m with multiplication by concatenation and canonical inclusion j:V→V⊗1 (Tensor algebra of a vector space).

Proof

technique · prove the defining ideal is graded
1.1givenF1F2constructalgebra

In the tensor-length parity grading of [F2], each rv=j(v)2−Q(v)1 is even, since its two terms have tensor lengths 2 and 0. Let I be the subspace of finite sums of elements arvb with a,b∈Tk(V) and v∈V. It is a two-sided ideal containing every rv, and every two-sided ideal containing all rv contains I; hence [F1] gives I=JQ.

2.1F2step 1.1algebra

Write a=a0+a1 and b=b0+b1 according to tensor-length parity. Then arvb=∑i,j∈{0,1}airvbj, and each summand has parity i+j(mod2) and belongs to I. Thus every homogeneous component of every generator arvb lies in I; by linearity the same holds for every element of I=JQ. Therefore JQ is a graded ideal.

3.1givenF1F2step 2.1algebra∎

Since JQ is graded, its quotient decomposes as the direct sum of the images of the two parity components of Tk(V), and the quotient multiplication preserves their parities. The tensor-algebra unit has even length, while each j(v) has odd length; their quotient images therefore satisfy 1∈Cl0(V,Q) and vˉ∈Cl1(V,Q). This is the claimed canonical grading, including when Q is degenerate.

Depends on

Used by

Dependency tree · two levels

8 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