Arith / CONCEPT
Local units and principal units
The local-unit filtration and its first principal-unit layer.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS0
Depth one equals the canonical principal-unit group
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
- Monic-weight Euler productstructural-affinity · Closed
- Normalized local-field orderstructural-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