Manuscript XVIII-A@2 · XVIII-A-v2.tex · example · 0f4336ec

Example: Highest presentation degree is not intrinsic

Descent, class transfer, and formal orders · lines 850–865

XVIII-A@2#ex:nullpresentation

Back to manuscript

For a nonzero distribution in independent variables,

The two summands separately are nonzero and opposite. Thus a chosen polynomial-degree splitting of a presentation does not automatically descend to reconstructed kernels.

This does not rule out a quotient filtration defined from images of filtered presentation spaces. It rules out treating a representative-dependent highest term as an intrinsic joint symbol without the required descent theorem CheungXIVJ,CheungXVB.

Displayed formulas in this passage

  • unlabeled · line 853

Nearby in this section