حقل الجنس

في نظرية الأعداد الجبرية ، حقل الجنسΓ(ك){\displaystyle \Gamma (K)}حقل عددي جبريك{\displaystyle K}هو الامتداد الأبلي الأقصى لـك{\displaystyle K}والذي يتم الحصول عليه عن طريق تركيب حقل أبلي مطلق معك{\displaystyle K}والتي لا تتفرع عند جميع الأعداد الأولية المنتهية لـك{\displaystyle K}. رقم الجنس لـك{\displaystyle K}هي الدرجة[Γ(ك):ك]{\displaystyle [\Gamma (K):K]}ومجموعة الأجناس هي مجموعة غالوا منΓ(ك){\displaystyle \Gamma (K)}زيادةك{\displaystyle K}.

لوك{\displaystyle K}إذا كان حقل الجنس نفسه تبديليًا مطلقًا، فيمكن وصفه بأنه أقصى امتداد تبديلي مطلق لـك{\displaystyle K}غير متفرعة عند جميع الأعداد الأولية المحدودة: تم استخدام هذا التعريف من قبل ليوبولد وهاس.

لوك=سؤال(م){\displaystyle K=\mathbb {Q} ({\sqrt {m}})}(م{\displaystyle m}(خالٍ من المربعات) هو حقل تربيعي مميزد{\displaystyle D}، مجال الجنسك{\displaystyle K}هو مجموعة من الحقول التربيعية. ليكن pᵢ يمثل العوامل الأولية لـد{\displaystyle D}لكل عدد أولي p ، عرّف p * على النحو التالي:

ص*=±ص1(تعديل4) لو ص غريب؛{\displaystyle p^{*}=\pm p\equiv 1{\pmod {4}}{\text{ إذا كان }}p{\text{ فرديًا}};}
2*=-4،8،-8 بحسب م3(تعديل4)،2(تعديل8)،-2(تعديل8).{\displaystyle 2^{*}=-4,8,-8{\text{ وفقًا لـ }}m\equiv 3{\pmod {4}},2{\pmod {8}},-2{\pmod {8}}.}

إذن، حقل الجنس هو المركبك(صأنا*).{\displaystyle K({\sqrt {p_{i}^{*}}}).}

انظر أيضاً

مراجع