# Lie quotient

From Diffgeom

## Definition

### Symbol-free definition

A **Lie quotient** is a differential manifold obtained as the quotient of a Lie group by a closed subgroup.

## Structures

### Riemannian metric

Does every Lie quotient have a natural Riemannian metric?