Arith / CONCEPT
Gauss Lemma
At a nonarchimedean place, the coefficient sup norm of a polynomial product is multiplicative.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES9
PROOF DEPTH2
DOCUMENT LINKS1
Gauss Lemma
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Auxiliary Polynomialtruth-dependency · Closed
- Auxiliary Polynomial Fixed Degreetruth-dependency · Closed
- Box Monomialtruth-dependency · Closed
- Disjoint Variablestruth-dependency · Closed
- Gelfondtruth-dependency · Closed
- Mv Polynomial Eval Boundtruth-dependency · Closed
- Polynomial Determinant Heighttruth-dependency · Closed
- Roth Auxiliarytruth-dependency · Closed
- Roth Lemmatruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Auxiliary Polynomialstructural-affinity · Closed
- Auxiliary Polynomial Fixed Degreestructural-affinity · Closed
- Box Monomialstructural-affinity · Closed
- Disjoint Variablesstructural-affinity · Closed
- Gelfondstructural-affinity · Closed
- Mv Polynomial Eval Boundstructural-affinity · Closed
- Polynomial Determinant Heightstructural-affinity · Closed
- Pseudo Basisstructural-affinity · Closed
- Pseudo Basis Metricsstructural-affinity · Closed
- Roth Auxiliarystructural-affinity · Closed
- Roth Lemmastructural-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