FiniteGroups / CONCEPT
The Bajnok–Beatty sharp maximum for radius at least three
The exact maximum order, including an actual finite noncyclic product attaining it.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH4
DOCUMENT LINKS0
Universal upper bound and exact attainment
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
- Abstract finite noncyclic upper boundsstructural-affinity · Closed
- An affine odd square detects the necessary congruencesstructural-affinity · Closed
- Exact endpoint count for signed coordinate wordsstructural-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 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