الشخصية (الرياضيات)

في الرياضيات ، يُشير مصطلح "الخاصية " (في أغلب الأحيان) إلى نوع خاص من الدوال التي تربط مجموعةً بحقلٍ ما (مثل الأعداد المركبة ). وله معنيان متميزان على الأقل، وإن كانا متداخلين. [ 1 ] أما الاستخدامات الأخرى لكلمة "خاصية" فتكون مقيدة في أغلب الأحيان.

خاصية الضرب

الحرف الضربي (أو الحرف الخطي ، أو ببساطة الحرف ) على زمرة G هو تشاكل زمر من G إلى الزمرة الضربية لحقل ( آرتين 1966 ) ، وعادةً ما يكون حقل الأعداد المركبة . إذا كانت G أي زمرة، فإن مجموعة Ch( G ) لهذه التشاكلات تُشكل زمرة تبديلية تحت الضرب النقطي.

تُعرف هذه المجموعة باسم مجموعة خصائص G. أحيانًا تُؤخذ الخصائص الوحدوية فقط في الاعتبار (وبالتالي تكون الصورة في دائرة الوحدة )؛ وتُسمى التشاكلات الأخرى من هذا النوع بالخصائص شبه الوحدوية . ويمكن اعتبار خصائص ديريشليه حالة خاصة من هذا التعريف.

تكون الأحرف الضربية مستقلة خطيًا ، أي إذاχ1،χ2،...،χن{\displaystyle \chi _{1},\chi _{2},\ldots ,\chi _{n}}هل الأحرف المختلفة في المجموعة G إلى نفس الحقل ثم منأ1χ1+أ2χ2++أنχن=0{\displaystyle a_{1}\chi _{1}+a_{2}\chi _{2}+\dots +a_{n}\chi _{n}=0}ويترتب على ذلك أنأ1=أ2==أن=0{\displaystyle a_{1}=a_{2}=\cdots =a_{n}=0}.

طبيعة التمثيل

الشخصيةχ:جيF{\displaystyle \chi :G\to F} تمثيلϕ:جيجيل(V){\displaystyle \phi \colon G\to \mathrm {GL} (V)}إن أثر تمثيل مجموعة G على فضاء متجهي محدود الأبعاد V فوق حقل F هو أثر التمثيلϕ{\displaystyle \phi }( سير 1977 ) ، أي

χϕ(ز)=Tr(ϕ(ز)){\displaystyle \chi _{\phi }(g)=\operatorname {Tr} (\phi (g))}لزجي{\displaystyle g\in G}

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

تعريف بديل

إذا اقتصرت على مجموعة أبيلية منتهية مع1×1{\displaystyle 1\times 1}التمثيل فيج{\displaystyle \mathbb {C} }(أيجيل(V)=جيل(1،ج){\displaystyle \mathrm {GL} (V)=\mathrm {GL} (1,\mathbb {C} )}، سيكون التعريف البديل التالي مكافئًا لما سبق (بالنسبة للمجموعات الأبيلية، يتحلل كل تمثيل مصفوفي إلى مجموع مباشر من1×1{\displaystyle 1\times 1}التمثيلات. بالنسبة للمجموعات غير التبديلية، سيكون التعريف الأصلي أكثر عمومية من هذا التعريف):

شخصيةχ{\displaystyle \chi }مجموعة(جي،){\displaystyle (G,\cdot )}هو تماثل زمرχ:جيج*{\displaystyle \chi :G\rightarrow \mathbb {C} ^{*}}أيχ(xy)=χ(x)χ(y){\displaystyle \chi (x\cdot y)=\chi (x)\chi (y)}للجميعx،yجي.{\displaystyle x,y\in G.}

لوجي{\displaystyle G}إذا كانت المجموعة أبيلية منتهية، فإن الرموز تلعب دور التوافقيات . أما بالنسبة للمجموعات الأبيلية غير المنتهية، فسيتم استبدال ما سبق بـχ:جيتي{\displaystyle \chi :G\to \mathbb {T} }أينتي{\displaystyle \mathbb {T} }هي مجموعة الدائرة .

انظر أيضاً

مراجع

  1. "الشخصية في nLab" . ncatlab.org . تم الاطلاع عليه بتاريخ 31-10-2017 .