エルランゲン・プログラム
古代ギリシアにおいて「幾何学」といえばユークリッド幾何学の事であったが、数学の発展に伴い、様々な幾何学が登場した。その契機の一つは非ユークリッド幾何学の発見であり、双曲幾何学および楕円幾何学というユークリッド幾何学の平行線公理を満たさない新しい幾何学が提唱された。
この他にも遠近法の数学的な基盤として登場した射影幾何をはじめとして、アフィン幾何学(英: Affine geometry)、メビウス幾何学(英: Möbius geometry)、リー球面幾何学(英語版)(英: Lie sphere geometry)、ラゲール幾何学(英: Laguerre geometry)などが登場した。
クラインのエルランゲン・プログラムは、ソフス・リーのTheorie der Transformationsgruppen(変換群の理論、今日で言うリー群の理論)に基づいて、こうした複数の幾何学を統一的な視点で扱うための綱領を提示する。今日の言葉で言えば、これは幾何学を等質空間とみなす、というものである。(なお古くは等質空間の事をクライン空間(英: Klein space)と呼んだ)。
すなわち、クラインの意味での幾何学とはリー群Gと、Gが推移的に作用する多様体Xとの組 ( G , X ) {\displaystyle (G,X)} の事である。クラインはGの事をhauptgruppe(chief group)と呼び、ハスケルはこれをprincipal groupと訳した。