用模型论与代数方法相结合来研究无限群的性质,因为任何一个群G同构于在代数闭域上的代数群,则TH(G)理论是ω稳定的,而有限莫利秩无限群类似于在代数闭域上的代数群;已知有限莫利秩的无限群具有降链条件,利用降链条件证明了连通有限莫利秩的无限幂零群G的几个性质,群G的中心群Z(G)包含任何有限正规子群;中心群Z(G)是无限的;对任何群G的真子群H,都有[N(H):H]是无限的。