نظریه گروه‌های حسابی و فرم‌های اتومورفیک