ジョルダン・ヘルダーの定理よりすべての有限群は有限単純群の塔(拡大の列) として得られることが知られており,有限単純群は有限群における元素といえ る。 20世紀後半に有限単純群の研究が盛んに行われ,その分類が完成した。そ のうち非可換なものは交代群とリー型の群の無限族,そして26個の散在型に分 けられる。散在型有限単純群のうち,もっとも位数の大きなものはモンスター と呼ばれ,保型形式や数理物理学など,一見有限群とは関係のないと思われると ころに姿を表す。本講演ではモンスターとその住処である頂点作用素代数につ いて非専門家向けに簡単に解説をする。
[<6>]