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.
A degenerate one-dimensional Clifford algebra need not be semisimple
Statement refuted
The left regular module of an algebra is with action by left multiplication. The false claim is: the left regular module of every finite-dimensional Clifford algebra over a field of characteristic not is a direct sum of simple left modules. Here “simple” means nonzero with no proper nonzero submodule; “semisimple” for a module means a direct sum of simple submodules.
Facts & Assumptions
Given: A field of characteristic not and the one-dimensional zero quadratic space .
The Clifford algebra has basis in dimension one (PBW basis and exterior associated graded for a Clifford algebra).
The defining relation is (Universal Clifford algebra of a quadratic space).
A left ideal is an additive subgroup stable under left multiplication by every algebra element (Left, right and two-sided ideals).
In this item, a simple left -module is a nonzero module with no proper nonzero submodules, and semisimple means a direct sum of simple modules.
Counterexample
Take with and put . By [F1] and [F2], , , and . For , , so [F3] shows is a nonzero proper left ideal and hence a submodule of the left regular module. Therefore that module is not simple.
If the two-dimensional regular module were a direct sum of simple modules, the summands' positive -dimensions would force either one two-dimensional simple summand or two one-dimensional simple summands. The first case is excluded by step 1.1.
On any one-dimensional left -module, the action of is multiplication by some ; gives , hence because is a field. Thus in the second case acts as zero on the direct sum, while in the regular module . This contradiction proves the regular module is not semisimple.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
12 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.