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 be a field of characteristic not , let be a finite-dimensional -vector space, let be a symmetric bilinear form on (possibly degenerate), and put . Form the plus- Clifford algebra as in Universal Clifford algebra of a quadratic space. Then the grading of the tensor algebra by tensor length modulo descends to a canonical -grading
in which and every canonical generator lies in . Here a -graded algebra and its even part are as in Graded algebras, graded modules, and the graded tensor product. No nondegeneracy assumption on is needed.
Facts & Assumptions
Given: A field with , a finite-dimensional -vector space , a symmetric bilinear form that may be degenerate, and .
The Clifford algebra is , where is the smallest two-sided ideal containing for every (Universal Clifford algebra of a quadratic space).
The tensor algebra is with multiplication by concatenation and canonical inclusion (Tensor algebra of a vector space).
Proof
In the tensor-length parity grading of [F2], each is even, since its two terms have tensor lengths and . Let be the subspace of finite sums of elements with and . It is a two-sided ideal containing every , and every two-sided ideal containing all contains ; hence [F1] gives .
Write and according to tensor-length parity. Then , and each summand has parity and belongs to . Thus every homogeneous component of every generator lies in ; by linearity the same holds for every element of . Therefore is a graded ideal.
Since is graded, its quotient decomposes as the direct sum of the images of the two parity components of , and the quotient multiplication preserves their parities. The tensor-algebra unit has even length, while each has odd length; their quotient images therefore satisfy and . This is the claimed canonical grading, including when 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
- Jean Gallier, Clifford Algebras, Clifford Groups, and a Generalization of the Quaternions: The Pin and Spin Groups, §1.2, Proposition 1.3 (standard reference, not scraped)
- M. F. Atiyah, R. Bott, and A. Shapiro, Clifford Modules, Part I, §1, statements (1.1)–(1.4) (standard reference, not scraped)