需要紧致形态，还需要建立在紧致上的几何形态，这两者转化就引向了徐大群的表达方式。判别一个徐大群为一个可数，依赖于1.是个大群2.是个几何流水形3.的大群形态和几何形态相容。一般来告诉他我们但会将每一个