Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedSession-authored (Fable 5 assisted)precheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-26
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.

Gal(Q(ζ12)/Q)(Z/12)× and its three quadratic subfields

Example

Let ζ:=ζ12. Then

Gal(Q(ζ)/Q)(Z/12)×={[1],[5],[7],[11]},

every nonidentity element has order two, and the three order-two subgroups have fixed fields

Q(i),Q(3),Q(3).

So Q(ζ12) has exactly three quadratic intermediate fields.

Facts & Assumptions

Given: A primitive twelfth root of unity ζ=ζ12 and the automorphisms σa(ζ)=ζa for [a](Z/12)×.

[L1]

[Q(ζ12):Q]=φ(12)=4 and Gal(Q(ζ12)/Q)(Z/12)× ([Q(ζn):Q]=φ(n) and Gal(Q(μn)/Q)(Z/n)×).

[L2]

For a finite Galois extension E/F, subgroups of Gal(E/F) correspond bijectively to intermediate fields, and the fixed field of a subgroup H has degree [EH:F]=[Gal(E/F):H] (The fundamental theorem of finite Galois theory).

Verification

technique · direct
1.1

The units modulo 12 are [1],[5],[7],[11], since these are exactly the residue classes in {1,,11} coprime to 12. Their squares are [25]=[1], [49]=[1] and [121]=[1], so every nonidentity element has order two.

L1algebra
2.1

Therefore (Z/12)× is the Klein four-group, with three order-two subgroups: Hi={[1],[5]},H3={[1],[7]},H3={[1],[11]}. By [L1] and [L2], each fixed field has degree 2 over Q.

step 1.1L1L2
3.1

The subgroup Hi fixes i=ζ3, because σ5(ζ3)=ζ15=ζ3. Since iQ and the fixed field has degree 2 by step 2.1, that fixed field is Q(i).

step 2.1algebra
3.2

The subgroup H3 fixes 2ζ21, because σ7(ζ2)=ζ14=ζ2; and (2ζ21)2=4ζ44ζ2+1=3, since ζ2 is a root of t2t+1. So the fixed field contains 3, and again step 2.1 makes it exactly Q(3).

step 2.1algebra
3.3

The subgroup H3 fixes ζ+ζ1, because σ11 is complex conjugation. Moreover (ζ+ζ1)2=ζ2+2+ζ2=3, since ζ2+ζ2=1. So the fixed field contains 3, and step 2.1 makes it exactly Q(3).

step 2.1algebra
4.1

The three order-two subgroups of step 2.1 therefore yield the three quadratic intermediate fields Q(i), Q(3) and Q(3), and there are no others because [L2] gives a bijection between subgroups and intermediate fields.

step 2.1step 3.1step 3.2step 3.3L2

Remarks

  • The same phenomenon already occurs at order eight. The field Q(ζ8) also has Klein four Galois group and three quadratic subfields. The order-twelve calculation is useful because its three fields are the familiar Q(i), Q(3) and Q(3).

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

18 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