تأخذ النظرية اسمها من فكرة أنها تقدم تطابقًا كاملاً بين الامتدادات الأبيلية المنتهية لحقل شامل وثابت من جهة والرتب المناسبة للمثاليات في الحقول أو الزميرات المفتوحة لـزمرة أديل الفصلية (idele class group) من جهةٍ أخرى.