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.
Quadratic Gauss sum at p=5
Example
For the standard complex primitive fifth root of unity , the quadratic Gauss sum is and its Galois stabilizer is the subgroup of squares .
Facts & Assumptions
Given: The prime , the primitive fifth root of unity , and the Gauss sum .
The nonzero squares modulo are and , so and ; hence (Quadratic Gauss sum in a prime cyclotomic field, The Legendre symbol, including its zero value).
For every not divisible by , the automorphism satisfies (Galois action on the quadratic Gauss sum).
The fifth roots of unity are , so and ; by Euler's formula (The -th roots of a complex number and the distinct roots of unity for every , Euler's formula: for every real ). Moreover , using the cofunction identity and positivity of sine on (Cofunction, supplementary, quarter-turn, and reflection identities for the six trigonometric functions, Pi is the first positive zero of sine).
for real (, , and ).
Verification
By [L1], .
Put . Then by [L5] and [L6].
Put . From we get , so ; therefore .
Moreover , so and ; since we have .
Substituting into step 2.1, , and this is consistent with the general theorem, which gives .
The stabilizer of under is the set of with , because and ; as the nonzero squares modulo are and , the stabilizer is .
Remarks
- Independence of the primitive root. Replacing by multiplies by , so the value is special to the standard positive-orientation root; the square and the generated field are unchanged.
- The stabilizer has index two. Its two elements are exactly the square classes, matching the description of the Galois group of the quadratic subfield of .
Depends on
- Quadratic Gauss sum in a prime cyclotomic field
- Galois action on the quadratic Gauss sum
- Square of the quadratic Gauss sum
- The Legendre symbol, including its zero value
- $\Phi_{p^{r}}(t)=\sum_{k<p}t^{kp^{r-1}}$, and $\Phi_{p^{r}}(t+1)$ is Eisenstein at $p$
- Over a field whose characteristic does not divide $n$, the roots of $\Phi_n$ are exactly the primitive roots of unity
- The $n$-th roots of a complex number and the $n$ distinct roots of unity for every $n\ge1$
- Euler's formula: $\exp(i\theta)=\cos\theta+i\sin\theta$ for every real $\theta$
- Cofunction, supplementary, quarter-turn, and reflection identities for the six trigonometric functions
- Pi is the first positive zero of sine
- $\exp(x+iy)=e^x(\cos y+i\sin y)$, $|\exp(x+iy)|=e^x$, and $e^{i\pi}+1=0$
Used by
Dependency tree · two levels
73 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
- Jerry Shurman, Math 361 Ninth Lecture, sections 2-3 (standard reference, not scraped)
- J. S. Milne, Algebraic Number Theory, Ch. 8, Example 8.19 (standard reference, not scraped)