在李樹看來，伽羅瓦群論是一個相當優美的理論。

　　在伽羅瓦群論的開創者伽羅瓦指出，“數和運算”可以構成一種數學結構，是一種接近本質且抽象的數學結構，把這種結構脫離“數字和常規意義上的運算”而抽象出來的時候，就形成了新的數學概念——群。

　　其中，群同構的嚴格定義為：存在兩個群A、B之間的一個雙射（即一一對應的映射）?:A→B，滿足?(a*b)=?(a)×?(b)，其中a、b∈A，...