相干对角复形类的二元运算
A binary operation on the class of coherently diagonal complexes
摘要：
我们用数学归纳法证明了相干对角复形类中的水平合成确实是一个二元运算。也就是说，在交替平面图中嵌入两个相干对角复形产生相干对角复形。
英文摘要：
We use mathematical induction to prove that the horizontal composition in the class of coherently diagonal complexes is indeed a binary operation. That is to say, the embedding of two coherently diagonal complexes in an alternating planar diagram produces a coherently diagonal complex.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
