特征零带自由算子域的一致伴随理论

推广带单一导子的大域的一致伴随理论，我们构造了特征为$0$的带自由算子的域的理论$\text{UC}_{\mathcal{D}}$——自由算子由域到其与$\mathcal{D}$（一个有限维$\mathbb{Q}$-代数）的张量积的同态确定——它是任意带自由算子的域理论中，其相伴差分域为差分大且模型完备者的模型伴随。在假设$\mathcal{D}$为局部环的条件下，我们证明单纯性从底层域的理论传递到带算子的域的理论，并由此研究带自由算子的有界PAC域的模型论。