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