FiniteGroups / CONCEPT
Root factors of successor cycles
Squaring-compatible unit assignments are finite, and their exact cardinality is the product of the successor-cycle root factors.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES3
PROOF DEPTH1
DOCUMENT LINKS0
Finiteness before cardinality
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 canonical quotient of a directed relationstructural-affinity · Closed
- A positive answer to Question 14's final interrogativestructural-affinity · Closed
- Algebra automorphisms and the canonical support quotientstructural-affinity · Closed
- Attaining permutation algebrasstructural-affinity · Closed
- Basis transport and the full algebra groupstructural-affinity · Closed
- Full permutation multiplicitiesstructural-affinity · Closed
- Sharp multiplicity weights of integer partitionsstructural-affinity · Closed
- Square-zero subspaces and evolution embedding dimensionstructural-affinity · Closed
- The simple evolution algebra automorphism maximumstructural-affinity · Closed
- The universal sharp upper boundstructural-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