Factorization / CONCEPT
The Free Commutative Monoid on the Prime Axes
Positive naturals under multiplication form the free commutative monoid on the primes.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS1
Prime factorization is an isomorphism onto the free monoid on the primes
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Controlled Behavior Universalitystructural-affinity · Closed
- Density of Signed Prime Logarithmic Lengthstructural-affinity · Closed
- Faithfulness of Signed Prime Logarithmic Lengthstructural-affinity · Closed
- Positive Rationals from Signed Prime Exponentsstructural-affinity · Closed
- Prime Ledger Direction and Groupificationstructural-affinity · Closed
- Prime Word Occupation Descentstructural-affinity · Closed
- Rational Finite-Valuation Kernelstructural-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