Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · proposition · dd45e0d1

Proposition: The rank report alone cannot decide an enlargement

Free-complex exactness and the missing enlarged image › Exact enlargement and separator construction · lines 1634–1648 · proof included or linked

XVI-O1-ST@5#prop:underdetermined

Back to manuscript

Knowing only and does not determine whether an unspecified enlargement removes the obstruction.

Proof. In , let and . Both rank statements hold. Taking resolves the target; taking does not. For the second choice annihilates both and pairs to one with . These are synthetic examples, not loop images.

Nearby in this section