نظرية المثالي الرئيسي

في الرياضيات ، تنص نظرية المثالي الرئيسي في نظرية حقل الأصناف ، وهي فرع من نظرية الأعداد الجبرية ، على أن توسيع المثاليات يُعطي تطبيقًا على زمرة أصناف حقل عدد جبري إلى زمرة أصناف حقل أصناف هيلبرت الخاص به ، مما يُرسل جميع أصناف المثاليات إلى صنف مثالي رئيسي. وقد سُميت هذه الظاهرة أيضًا بالترسيم ، أو أحيانًا بالاستسلام .

بيان رسمي

لأي حقل أعداد جبري K وأي مثالي I في حلقة الأعداد الصحيحة لـ K ، إذا كان L هو حقل فئات هيلبرت لـ K ، فإن

أنايال {\displaystyle IO_{L}\ }

هو مثالي رئيسي α O L ، حيث O L هي حلقة الأعداد الصحيحة لـ L وبعض العناصر α فيها.

تاريخ

تم وضع نظرية المثالي الرئيسي بواسطة ديفيد هيلبرت ( 1902 ) ، وكانت آخر جانب متبقٍ من برنامجه حول حقول الفئات الذي تم إكماله في عام 1929. 

قام إميل أرتين ( 1927 ، 1929 ) باختزال نظرية المثالي الرئيسي إلى سؤال حول الزمر الأبيلية المنتهية: فقد بيّن أنه سيترتب على ذلك إذا كان الانتقال من زمرة منتهية إلى زمرتها الفرعية المشتقة تافهاً. وقد أثبت فيليب فورتفانغلر هذه النتيجة (1929). 

مراجع