Lie-Gruppe/Definition