this time, and certainly much helped by Weyl's expositions, Lie groups and Lie algebras became a mainstream part both of pure mathematics and theoretical...