局部可解性 广义Fitting子群 主型算子 偏微分算子 有限单群 有限群 必要性 充分性 分类定理 基本问题