1. MathématiquesGroupe particulier doté d’une variété différentielle dont les opérations de groupe sont différentiables.Weyl médita sans relâche sur le théorème de Noether et travailla sur la théorie des groupes de transformation continue de symétrie que l’on appelle les groupes de Lie, d’après le mathématicien norvégien du XIXe siècle Sophus Lie.