ConceptDynamics / CONCEPT
The Rational Field Quotient
The quotient of actual rich fractions is the standard rational field via its reduced section.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH10
DOCUMENT LINKS1
The reduced rational section is a right inverse
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
- Archive-Preserving Generated Productstructural-affinity · Closed
- Balanced histories modulo signed readout form the integer ringstructural-affinity · Closed
- Exact Integer Divisionstructural-affinity · Closed
- Expressions on actual balanced integer historiesstructural-affinity · Closed
- Expressions on actual rich rational fractionsstructural-affinity · Closed
- Guarded finite arithmetic termsstructural-affinity · Closed
- Opposite Fibers and Scalar Sectionsstructural-affinity · Closed
- Retain the nonnegative balanced history domainstructural-affinity · Closed
- Rich Rational Historiesstructural-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