从方程论到群论 -