Combinatorics / CONCEPT
Deleting a minimum in the second position
Let q be a permutation in C of size at least four with minimum in its second position, and let p be obtained by deleting that minimum and subtracting one from every remaining entry. Then p is a permutation in C, and shifting its values up by one and reinserting the minimum recovers q. The permutation q is simple if and only if p is simple with minimum not in the second position, or p is the first-entry decreasing inflation of a simple skeleton in C of size at least four, or p equals B at its size.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH7
DOCUMENT LINKS1
Deleting a minimum in the second position
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 bijection to second-position minimastructural-affinity · Closed
- A nonterminal prefix-only permutationstructural-affinity · Closed
- An interval crossing a fixed gapstructural-affinity · Closed
- Classification when all intervals are prefixesstructural-affinity · Closed
- Contracting the first two entriesstructural-affinity · Closed
- Inserting a minimum in an early gapstructural-affinity · Closed
- Intervals and simplicity in the terminal familiesstructural-affinity · Closed
- Reverse vertical continuationstructural-affinity · Closed
- The five cases for a third-position minimumstructural-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