Arith / CONCEPT
Prime Exponent Windows From The Residue
The power residue condition pins four prime exponents and leaves a coprime factor.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES1
PROOF DEPTH0
DOCUMENT LINKS1
The index has a coprime residual factor
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- An Explicit Elementary Mertens Envelopestructural-affinity · Closed
- Integers Supported on Fibonacci Primesstructural-affinity · Closed
- Robin's Inequality for Integers with at Most Eight Distinct Primesstructural-affinity · Closed
- Robin's Inequality for the Entire 11-Smooth Familystructural-affinity · Closed
- Robin's Inequality for the Entire 7-Smooth Familystructural-affinity · Closed
- Small Prime Exclusion For The 5040 Residuestructural-affinity · Closed
- Strict Robin for the Complete 5040 Power-Congruence Branchstructural-affinity · Closed
- Strict Robin in the Bounded-Support 5040 Branchstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance