ホモロジーや函数論はもう済んでるんだっけ？
つうか群が怪しかったりして。