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