Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-04
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.

Reducing a standard integral lattice for S3 modulo 3 produces a reducible kS3-module

Example

Let ζ3 be a primitive cube root of unity, let

(K,O,k)=(Q3(ζ3),Z3[ζ3],F3),

and let

L:={(a,b,c)O3:a+b+c=0},

with the natural permutation action of S3. This is a splitting 3-modular system for S3, the module L is an OS3-lattice, and its reduction modulo the maximal ideal m=(1ζ3) is reducible.

Facts & Assumptions

Given: A primitive cube root ζ3, the local cyclotomic field K=Q3(ζ3) with valuation ring O=Z3[ζ3], and the standard permutation lattice LO3 above.

[L1]

That reduced module is finite-dimensional over the residue field (Reducing an OG-lattice modulo the maximal ideal gives a finite-dimensional kG-module).

Verification

technique · direct
1.1

The extension K/Q3 is totally ramified of degree 2, with uniformizer 1ζ3, valuation ring O, and residue field k=F3. The field K splits the subgroups of S3: it contains the values needed for the cyclic subgroups, and the trivial, sign, and standard representations split S3. If V is a simple kS3-module and g generates the normal subgroup C3, then (g1)3=g31=0, so VC30; normality and simplicity give VC3=V. Thus V factors through S3/C3C2 and is trivial or sign. The same calculation handles the subgroups, so k also splits all of them. Hence (K,O,k) is a splitting 3-modular system for S3.

givenalgebra
2.1

The lattice L is free of rank 2 over O, with basis (1,0,1),(0,1,1), so [F1] and [L1] give the two-dimensional kS3-module L=L/mL. The vector v:=(1,1,1)k3 lies in L because it is the reduction of (1,1,2)L, and it is fixed by every permutation in S3.

F1L1step 1.1algebra
3.1

The nonzero line kvL is therefore an S3-stable proper submodule of the two-dimensional module L. Hence L is reducible.

step 2.1

Depends on

Used by

Dependency tree · two levels

4 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