Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67

The K 5 placements

Patch 2: the six-entry presentation package (Q2) › The K 5 placements · lines 708–723

Back to manuscript

For the record supplies XIV-I's module on the chart with its reconstruction rule (P5) and chart (P4); XIV-I states that one explicit module contains the regular diagonal, separated flow-out, and internal transition presentations of both placements II2. The generators of , its coefficient class (dependence on , ), and the module action (linearity of over chart functions) are described in prose and not displayed Iamodule. Status: rule and chart identified; generators, coefficient class, and action open. The module is a local chart model on ; its relations , , and are examples of null relations, not a classification of on (Lemma lem:directsum).