وحدة تدرج تفاضلي

في الجبر ، الوحدة المتدرجة التفاضلية ، أو الوحدة المتدرجة التفاضلية ، هيZ{\displaystyle \mathbb {Z} }- وحدة متدرجة مع تفاضل؛ أي، تشاكل داخلي متدرج مربع-صفري للوحدة من الدرجة 1 أو -1، حسب الاصطلاح. بعبارة أخرى، هو مُركب سلسلة له بنية وحدة، بينما الجبر المتدرج التفاضلي هو مُركب سلسلة له بنية جبر .

بالنظر إلى صيغة الوحدة النمطية لتطابق دولد-كان ، فإن مفهومشمال0{\displaystyle \mathbb {N} _{0}}-graded dg-module is equal to that of a simplicial module ; “ equal “ in the categorical meaning; see §  The Dold–Kan correspondence below.

مراسلات دولد-كان

بالنظر إلى حلقة تبديلية R ، فإن فئة الوحدات التبسيطية ، بحسب التعريف، هي كائنات تبسيطية في فئة وحدات R ؛ ويرمز لها بـ s Mod R. ويمكن تعريف s Mod R بفئة الوحدات المتدرجة التفاضلية التي تتلاشى في الدرجات السالبة عبر تناظر دولد-كان . [ 1 ]

انظر أيضاً

ملحوظات

مراجع