依赖理论与 2-依赖理论中的可定义群

设 $T$ 为一个（一阶完全）依赖理论，${\mathfrak{C}}$ 为 $T$ 的一个 $\bar\kappa$-饱和模型，且 $G$ 为一个可定义的阿贝尔子群。在由 $<\bar\kappa$ 个类型可定义子集之并构成的、具有有界指数的子群中，存在一个极小者，即它们的交具有有界指数。事实上，该界不超过 $2^{|T|}$。随后我们处理 2-依赖理论，这是一类更宽的一阶理论。