可換持ち上げ定理
可換持ち上げ定理は、左ネヴァンリンナ=ピックの補間定理(英語版)やサラソンの補間定理(英語版)、両側ヌデルマン定理(two-sided Nudelman theorem)やその他諸々の定理を証明する上で用いられる。