| http://www.w3.org/ns/prov#value | - If G is a Lie group and H is a Lie subgroup, then the quotient space G/H is a manifold (subject to certain technical restrictions like H being a closed subset) and is also a homogeneous space of G or in other words, a nonlinear realization of G. In many cases, G/H can be equipped with a Riemannian metric which is G-invariant.
|
