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