Cartan reformuló la geometría diferencial (pseudo) riemanniana; pero no solamente para dichas variedades diferenciables (métricas), sino que hizo la teoría para una variedad diferenciable arbitraria, incluyendo los variedades diferenciables dadas por los grupos de Lie.