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