مجموعة فرعية من مجموعة جميع المثل كسرية النسبية
(
)
التي تحتوي على جميع المثل الرئيسية التي
يتم إنشاؤها بواسطة عناصر
تساوي 1 (mod
).
تنقسم هذه المثل الرئيسية تمامًا في جميع ملحقات أبيليان
عندما يوجد امتدادا آبليان
بحيث
يحتوي على جميع الأعداد الأولية
ثم
يسمى حقل فئة من
.
لصياغة النظريات الرئيسية
هناك حاجة إلى علاقة تكافؤ في مجموعات فرعية التطابق
وهي أن
و
تسمى يعادل في حال وجود المقسوم عليه
مثل أن
.
تتكون نظرية المجال الطبقي من نظريتين أساسيتين.
تنص نظرية الوجود على أنه لكل فئة معادلة من مجموعات التطابق الفرعية
هناك حقل طبقي
. تنص نظرية التصنيف على أنه لكل حقل رقم 
هذا مهم لأن هذا يعني أنه يمكن العثور على جميع ملحقات Abelian
لحقل رقم باستخدام خاصية تم تحديدها بالكامل داخل حقل الرقم نفسه.
ليست هناك تعليقات:
إرسال تعليق