Manuscript XIV-B@1 · XIV-B.tex · input · 53202eaa

Input statement: XIII-A and XIII-D: two closed doors

Release criteria and the copied premise sheet · lines 409–428

XIV-B@1#input:XIIIAD, XIV-B@1#eq:commutator

Back to manuscript

For every nonempty with , the coefficientwise vanishing space satisfies: with , , and , there are compact with

is not a two-sided ideal of , no associative product on makes restriction a unital homomorphism, a unital homomorphism killing every while preserving the brackets forces , and the admissible rank-one ordering change gives XIIIA. Completion of the auxiliary pairing inside is Proved obstructed; the cochain is admitted and is not an integrated completion XIIID.

Displayed formulas in this passage

  • XIV-B@1#eq:commutator · line 416

Nearby in this section