請參考下面的段落,然後用同一語言回答問題:  通過:數學家通常努力完成數學概念的分類 (或列表). 在有限群組的背景下, 根據拉格朗奇定理, 數量為 p 的有限群必然是周期性 (阿貝爾式) 群 Zp. 這項說法並不一般化到p3的順序, 如上述8=23的非阿貝爾群D4所示. 計算機代數系統可以用來列出小群組, 但沒有所有有限群組的分類. 這裡的中間步<unk>是有限的簡單群組的分類. 如果它唯一的正常子組是小組和小組本身, 喬丹<unk>霍爾德定理顯示有限的簡單群組是所有有限群組的基礎. 列出所有有限的簡單群組是當代群組理論的重大成就. 1998年菲爾德獎得主理查德·博切爾德斯成功地證明了"怪異的月光猜測" (monstrous moonshine conjectures), 這是一種令人驚訝且深刻的關係,  問:數學家最渴望的東西是什麼?
完整的分類