Lie groups were introduced in 1870 by the Norwegian mathematician Sophus Lie. A century later Jean Dieudonné quipped that Lie …
