Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedprecheck 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.1L1algebra

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.

2.1step 1.1L1L2

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

3.1step 2.1algebra

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

3.2step 2.1algebra

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

3.3step 2.1algebra

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).

4.1step 2.1step 3.1step 3.2step 3.3L2∎

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.

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