Frobenius theorem
パフィアン系が完全可積分(complete integrability)であるための必要十分条件は、フロベニウスの定理(Frobenius theorem)により与えられる。フロベニウスの定理の一つのバージョンは、イデアル formula_3 が代数的に環 Ω("M") 内の α"i" により生成されるとすると、言い換えると