الرياضيات · المسرد

ما معنى الجبر؟

يُعرف أيضًا باسم: جبر

تعريف 1.33 الرياضيات الجامعية — السنة 2 · الفصل 1 — المجموعات والبنى

الجبر على KK هو فضاء متجهي KK على AA مزوَّد ببنية حلقة ضربها ثنائي الخطية على KK. أمثلة: K[X]K[X] وMn(K)\mathcal{M}_n(K) وL(E)\mathcal{L}(E)، وفضاءات الدوال F(X,K)\mathcal{F}(X, K)، وC\C بوصفه جبرًا على R\R. وتشاكلات الجبور هي تشاكلات الحلقات الخطية؛ وتطبيق التقييم PP(u)P \mapsto P(u) من K[X]K[X] نحو L(E)\mathcal{L}(E) (أو Mn(K)\mathcal{M}_n(K)) هو المثال المركزي، وهو محرّك الفصل 3.

أمثلة

مثال 1.34 (تشاكل تقييم ونواته)

لنأخذ A=(0100)A = \begin{pmatrix}0 & 1\\ 0 & 0\end{pmatrix} وتطبيق التقييم εA ⁣:R[X]M2(R)\varepsilon_A \colon \R[X] \to \mathcal{M}_2(\R)، PP(A)P \mapsto P(A). بما أن A2=0A^2 = 0، فإن

P(A)=P(0)I+P(0)A=(P(0)P(0)0P(0)),P(A) = P(0)\,I + P'(0)\,A = \begin{pmatrix} P(0) & P'(0)\\ 0 & P(0)\end{pmatrix},

(إذ لا يبقى من PP إلا الحدّان الثابت والخطي). ومنه kerεA={P:P(0)=P(0)=0}=X2R[X]\ker\varepsilon_A = \{P : P(0) = P'(0) = 0\} = X^2\,\R[X]: وهو مثالي رئيسي، تمامًا كما تتنبأ به المبرهنة 1.26، ومولَّد بكثير الحدود X2X^2 الموحَّد ذي الدرجة الدنيا في النواة — أي كثير الحدود الأدنى للمصفوفة AA، بطل الفصل 3. والصورة هي الجبر التبادلي ذو البعد اثنين {aI+bA}\{aI + bA\}: فتشاكلات التقييم تقلّص R[X]\R[X] غير المنتهي البعد إلى جبور صغيرة قابلة للحساب.

اقرأ في الفصل ←