群论应用-第4章 相变,畴与群论