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.
and its three quadratic subfields
Example
Let . Then
every nonidentity element has order two, and the three order-two subgroups have fixed fields
So has exactly three quadratic intermediate fields.
Facts & Assumptions
Given: A primitive twelfth root of unity and the automorphisms for .
and ( and ).
For a finite Galois extension , subgroups of correspond bijectively to intermediate fields, and the fixed field of a subgroup has degree (The fundamental theorem of finite Galois theory).
Verification
The units modulo are , since these are exactly the residue classes in coprime to . Their squares are , and , so every nonidentity element has order two.
Therefore is the Klein four-group, with three order-two subgroups: By [L1] and [L2], each fixed field has degree over .
The subgroup fixes , because . Since and the fixed field has degree by step 2.1, that fixed field is .
The subgroup fixes , because ; and since is a root of . So the fixed field contains , and again step 2.1 makes it exactly .
The subgroup fixes , because is complex conjugation. Moreover since . So the fixed field contains , and step 2.1 makes it exactly .
The three order-two subgroups of step 2.1 therefore yield the three quadratic intermediate fields , and , 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 also has Klein four Galois group and three quadratic subfields. The order-twelve calculation is useful because its three fields are the familiar , and .
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
- K. Conrad, Cyclotomic Extensions (expository blurb), Sections 2-3 (standard reference, not scraped)
- J. S. Milne, Fields and Galois Theory, v5.10, Proposition 5.8 and the fundamental theorem (standard reference, not scraped)