NIP理论中不变类型的极大稳定商

对于NIP理论$T$、$T$的一个充分饱和模型$\mathfrak{C}$以及一个（在$\mathfrak{C}$的某个小子集上）不变的全局类型$p$，我们证明了在$p$的实现集上存在一个最精细的、相对于$\mathfrak{C}$的小参数集类型可定义的等价关系，且其商是稳定的。这是M. Haskel和A. Pillay在论文“On maximal stable quotients of definable groups in NIP theories”中主要结果在等价关系上的对应，该结果表明在NIP理论中类型可定义群存在极大稳定商。我们的证明借鉴了该结果证明的思想，处理了怪物模型自同构群中相对类型可定义的子集，正如E. Hrushovski、K. Krupinski和A. Pillay在论文“On first order amenability”中所定义的那样。