Por ejemplo, el espacio euclídeo formula_11 con la operación de adición de vectores, o el conjunto de matrices reales nxn con determinante 1 son grupos de Lie.