结构群从formula_29到一个可归约子群的约化(reduction)。Frobenius定理的条件象可积性条件一样；它断言如果那些条件满足归约可以发生因为满足所需的块结构的局部变换函数存在。这是一个全局叶状结构理论，因为有拓扑约束存在。例如在曲面情况，一个处处非0的向量场在可定向紧曲面上只有在曲面是环的情形存在。这是Poincaré-Hopf指标定理的结果,定理表明欧拉示性数在这种情况下必须为 0。