丛代数换位图具有非离开面性的■-系统证明

摘要

利用丛代数中的变异映射和Bongartz余完备化映射与相应■-系统中的变异映射和Bongartz余完备化映射的相容性及■-系统上的组合结果构造所需的投射，从而证明任意丛代数的换位图具有非离开面性。

关键词

丛代数 / 非离开面性 / ■-系统 / 换位图