Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-generatedPipeline-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.

A degenerate one-dimensional Clifford algebra need not be semisimple

Statement refuted

The left regular module of an algebra A is A 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 2 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 k of characteristic not 2 and the one-dimensional zero quadratic space V=ke.

[F1]

The Clifford algebra has basis 1,eˉ in dimension one (PBW basis and exterior associated graded for a Clifford algebra).

[F2]

The defining relation is eˉ 2=Q(e)1 (Universal Clifford algebra of a quadratic space).

[F3]

A left ideal is an additive subgroup stable under left multiplication by every algebra element (Left, right and two-sided ideals).

[A1]

In this item, a simple left A-module is a nonzero module with no proper nonzero submodules, and semisimple means a direct sum of simple modules.

Counterexample

technique · direct
1.1givenF1F2F3A1

Take V=ke with B(e,e)=Q(e)=0 and put ε=eˉ. By [F1] and [F2], A=Cl(V,0)=k1⊕kε, ε2=0, and ε≠0. For a,b,c∈k, (a1+bε)(cε)=acε, so [F3] shows kε is a nonzero proper left ideal and hence a submodule of the left regular module. Therefore that module is not simple.

2.1step 1.1A1algebra

If the two-dimensional regular module were a direct sum of simple modules, the summands' positive k-dimensions would force either one two-dimensional simple summand or two one-dimensional simple summands. The first case is excluded by step 1.1.

3.1step 1.1step 2.1A1algebra∎

On any one-dimensional left A-module, the action of ε is multiplication by some λ∈k; ε2=0 gives λ2=0, hence λ=0 because k is a field. Thus in the second case ε acts as zero on the direct sum, while in the regular module ε⋅1=ε≠0. 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.