# Differentiable Manifolds/Lie groups

**Definition (Lie group)**:

A **Lie group** is a differentiable manifold whose group law (denoted here by juxtaposition) has the following properties:

- The function , is differentiable
- The function , is differentiable