前提として俺は指数定理厨房の幾何学帝国主義者なんで非可換性の本質は基本群にあって数学の難しさの本質は低次元トポロジーに起因してると思ってるのでよろしこ！。