Arith / CONCEPT
Monic-weight Euler product
The closed-point power identity for a multiplicative monic-polynomial weight.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH6
DOCUMENT LINKS0
Vanishing degree sums give signed closed-point powers
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Extension norm and conjugatesstructural-affinity · Closed
- Finite-field character interfacestructural-affinity · Closed
- Fractional valuation latticesstructural-affinity · Closed
- Gauss polynomial weightstructural-affinity · Closed
- Langlands-normalized Hasse–Davenport liftingstructural-affinity · Closed
- Local units and principal unitsstructural-affinity · Closed
- Prime-field finite productsstructural-affinity · Closed
- Residue fields, trace and normstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance