精确Borel子代数与bocs的唯一性

第一作者与Koenig及Ovsienko曾证明，每个拟遗传代数都可作为一个有向bocs的（左或右）对偶得到。在本专著中，我们证明若额外假设该bocs是基本的（我们定义的一个概念），则此外的bocs在同构意义下唯一。这应被视为“任意结合代数的基本代数在同构意义下唯一”这一命题的推广。证明将bocs的给定表示关联到相应拟遗传代数的标准模之$\operatorname{Ext}$-代数上的一个$A_\infty$-结构。唯一性随后由Kadeishvili定理的应用得出。