FiniteGroups / CONCEPT
A missing square point forces a smaller Lee cover
Uniform upper bounds for arbitrary signed covering pairs in rank two.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS0
Odd coordinate divisibility fills the rotated square
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
- Abstract finite noncyclic upper boundsstructural-affinity · Closed
- An affine odd square detects the necessary congruencesstructural-affinity · Closed
- Exact growth and diameter of asymmetric lattice quotientsstructural-affinity · Closed
- Exact growth from finite rank-one fibersstructural-affinity · Closed
- First-return defect for the same actual quotientsstructural-affinity · Closed
- Rigidity from adjacent columns and quotient indexstructural-affinity · Closed
- Same group and diameter, different growthstructural-affinity · Closed
- The Bajnok–Beatty sharp maximum for radius at least threestructural-affinity · Closed
- The original Bajnok–Beatty Conjecture 4.1structural-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