جبر مجرد و نظریه گروه‌ها