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