カルタンの定理 (リー群)
単連結実リー群の圏と有限次元実リー代数の圏の同値性を、普通は、カルタンの定理、あるいは、カルタン・リーの定理と呼ぶ(20世紀後半の文献において)。これは、エリ・カルタンにより証明されたことであり、一方、ソフス・リー(S. Lie)は早い時期に無限小版を証明した(モーレー・カルタンの方程式の局所可解性(モーレー・カルタンの微分形式を参照))、あるいは、有限次元リー代数の圏と局所リー群の圏の同値性)。リーは、彼の結果を 3つの方向で 3つの変換定理を一覧とした。カルタンの定理の無限小版は、本質的には、彼の第三の逆定理であり、よってセール(Serre)は書籍の中でこのように呼んだ。しかし、「第三のリーの定理(英語版)」(third Lie theorem)と呼び方は、歴史的には誤っている。しかし、多くの一般化との関係で、最近の十数年では、よく使われている。