نظریه گروه‌های لی و ساختارهای متقارن