نظریه جبرهای عملگری و تقارن‌های واحد