According to Felix Klein's Erlanger program (1872), a (classical) geometry is the study of properties of a space X invariant under a group G of transformations of X. In practice G will be a Lie group which acts transitively on X, so that X is represented as a homogeneous space G=H, where H G is a closed subgroup. For example Euclidean geometry is the geometry of n-dimensional Euclidean space R ...