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