參考下面的段落,然後以相同的語言回答後面的問題:  過關:數學家們經常努力對數學概念進行完整的分類 (或列表). 在有限群的背景下,這個目標導致了困難的數學. 根據拉格朗奇定理,有數的陣列p,一個素數,必然是迴圈 (阿貝爾式) 群Zp. 順序p2的組也可以被證明是阿貝爾式,這個說法不一般化到順序p3,如上述8=23的非阿貝爾式組D4所示. 計算機代數系統可以用來列出小組,但沒有所有有限組的分類. 一箇中間步驟是有限的簡單組的分類. 一個非<unk>碎的組被稱為簡單的,如果它的唯一正常子組是<unk>碎的組和組本身. 喬丹-霍爾德定理展示了有限的簡單群作為所有有限群的構建塊. 列出所有有限的簡單群是當代群理論的一個重大成就. 1998年菲爾茲獎得主理查德·博切爾德斯成功證明了怪異的月光推測,這是最大的有限簡單零星群"怪獸群"與某些模組函式之間的驚人而深刻的關係,這是古典複雜分析的一部份,和絃理論,一個理論應該統一許多物理現象的描述.  問:數學家們最渴望的是什麼?
完整的分類