Combinatorics / CONCEPT
Unique Direct-Sum Factorization
Every permutation has a unique factorization into nonempty sum-indecomposable permutations.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH9
DOCUMENT LINKS1
Existence of indecomposable factors
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
- Boundary Entries of Fixed 231-Avoidersstructural-affinity · Closed
- Direct Sums and Primitive Wordsstructural-affinity · Closed
- Exclusion of Large Fixed 231-Avoidersstructural-affinity · Closed
- Fixed Avoiders of the Third Iteratestructural-affinity · Closed
- Indecomposability of Pattern Avoidersstructural-affinity · Closed
- Size Bound for Indecomposable Fixed 312-Avoidersstructural-affinity · Closed
- The Entry Following the Maximumstructural-affinity · Closed
- The Penultimate Record Blockstructural-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