如果G为Aut(D)之李子群,且G为D上可逆李变换群,则固定子群也称为
迷向子群,它是紧李子群,又D双全纯同构于商空间G/Hp。
但是在1959年伯雅查基-夏皮罗(Piatetski-Shapiro)举出的反例否定了这个猜想,随后引进
西格尔域的概念。再后来他又和同事证明了齐性有界域必全纯同构于齐性西格尔域。
设D为n维复欧氏空间中的域,Aut (D)为D上所有全纯自同构映射在
紧开拓扑下构成拓扑变换群,G为Aut (D)的拓扑子群。若对D中任意两点p,q,均存在σ∈G使得σ(p)=q,则G称为在D上是可递的。如果D上有可递变换群G⊂Aut (D),则D称为齐性域。