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

ما معنى التواء؟

تعريف 3.11 الرياضيات الجامعية — السنة 3 · الفصل 3 — المقاسات على حلقة مثاليات رئيسية

لتكن AA حلقة تامة وليكن MM مقاسًا على AA. المقاس الجزئي الالتوائي هو

T(M)={xM:ax=0 من أجل a0}T(M) = \{x \in M : ax = 0 \text{ من أجل } a \neq 0\}

(وهو مقاس جزئي: إذ إن ax=by=0ax = by = 0 يعطي ab(x+y)=0ab(x + y) = 0 مع ab0ab \ne 0). ويكون MM عديم الالتواء إذا كان T(M)=0T(M) = 0، ومقاسًا التوائيًا إذا كان T(M)=MT(M) = M.

أمثلة

مثال 3.2

الحالات الثلاث المحرّكة.

  1. A=KA = K حقل: فالمقاسات فضاءات متجهية.
  2. A=ZA = \Z: فالمقاسات هي بالضبط الزمر الأبيلية (إذ يُفرض على nxnx أن يكون x++xx + \dots + x)، والمقاسات الجزئية هي الزمر الجزئية.
  3. A=K[X]A = K[X]: فالمقاس فضاء متجهي VV على KK مزوَّد بتطبيق خطي على KK هو u ⁣:xXxu\colon x \mapsto X\cdot x — وبالعكس، يصير كل زوج (V,u)(V, u) مع uL(V)u \in \mathcal L(V) مقاسًا على K[X]K[X] بواسطة Px=P(u)(x)P \cdot x = P(u)(x). والمقاسات الجزئية هي بالضبط الفضاءات الجزئية الصامدة تحت uu.

والمثالي في AA هو بالضبط مقاس جزئي من AA؛ وحلقة القسمة A/IA/I مقاسٌ على AA. وخلافًا للفضاءات المتجهية، يمكن أن يكون للمقاسات التواء: ففي Z/6Z\Z/6\Z، يُبيد العنصرَ 3ˉ0\bar 3 \ne 0 العنصرُ 202 \neq 0.

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