FiniteGroups / CONCEPT
An affine odd square detects the necessary congruences
Necessary congruences for arbitrary signed covering pairs in the even-radius top strip.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH1
DOCUMENT LINKS0
Every covering pair forces an even deficit
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
- A missing square point forces a smaller Lee coverstructural-affinity · Closed
- A skew lattice construction for the even-radius sufficiency directionstructural-affinity · Closed
- Abstract finite noncyclic upper boundsstructural-affinity · Closed
- Exact growth and diameter of asymmetric lattice quotientsstructural-affinity · Closed
- Exact growth from finite rank-one fibersstructural-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