Manuscript Oai282-B@1 · Oai282-B.tex · section · f2956de5
An elementary factorization criterion
Descent and the separate characteristic-product programme › An elementary factorization criterion · lines 2109–2115
The supplied XIV-J and XV-B records make reconstruction descent explicit CheungXIVJ,CheungXVB. We restate and prove the underlying linear-algebra fact to make the nontransfer boundary self-contained.