ریاضیات

**عنوان کلی:**

نظریه رده‌ها: الحاق تانسور-هوم و تقابل زیررده کامل با تابع‌گر کامل

**عنوان‌های جزئی:**

۱. صورت‌بندی الحاق تانسور-هوم در رده مدول‌ها

۲. بررسی یکریختی طبیعی دوگانگی

۳. تحلیل تطبیقی و تفکیک مفهومی زیررده کامل و تابع‌گر کامل

**مبانی مثال:**

یکی از بنیادین‌ترین ابزارها در جبر مدرن و نظریه رده‌ها، مفهوم «تابع‌گرهای الحاقی» (Adjoint Functors) است. الحاق تانسور-هوم پلی میان ضرب تانسوری (به عنوان تابع‌گر الحاقی چپ) و تابع‌گر هوم (به عنوان تابع‌گر الحاقی راست) برقرار می‌سازد. در کنار این پیوند الحاقی، درک تمایز ساختاری میان زیررده کامل (Full Subcategory) و تابع‌گر کامل (Full Functor) برای پرهیز از خلط مفاهیم در رده‌های جبری ضروری است.

**صورت گزاره:**

فرض کنید R یک حلقه جابه‌جایی یک‌دار باشد و R-Mod رده R-مدول‌ها را نشان دهد. برای هر R-مدول ثابت M، تابع‌گر ضرب تانسوری الحاقی چپ تابع‌گر هوم درونی است:

- ⊗_R M ⊣ Hom_R(M, -)

به این معنا که به ازای هر دو مدول A و B، یکریختی طبیعی زیر برقرار است:

Hom_R(A ⊗_R M, B) ≅ Hom_R(A, Hom_R(M, B))

همچنین، بررسی شمول زیررده مدول‌های آزاد متناهی‌تولید در R-Mod، تمایز دقیق میان زیررده کامل و تابع‌گر کامل را آشکار می‌سازد.

**مقدمه:**

در مطالعه ساختارهای جبری از دیدگاه رده‌ای، رفتار نگاشت‌ها نقشی تعیین‌کننده دارد. الحاق تانسور-هوم نشان می‌دهد که چگونه یک عمل دوخطی روی مدول‌ها می‌تواند به یک نگاشت خطی روی فضای ریخت‌ها تبدیل شود. از سوی دیگر، هنگامی که رده‌های فرعی را مطالعه می‌کنیم، تفاوت میان اینکه «مجموعه ریخت‌ها کاملاً پوشش داده شود» (تابع‌گر کامل) و اینکه «تمام ریخت‌های موجود در رده اصلی میان اشیاء انتخاب‌شده حفظ شوند» (زیررده کامل) از اهمیت بنیادین برخوردار است.

**بدنه:**

۱. تعریف جفت الحاقی تانسور-هوم:

دو تابع‌گر زیر از رده R-Mod به خودش را در نظر می‌گیریم:

F = - ⊗_R M : R-Mod → R-Mod

G = Hom_R(M, -) : R-Mod → R-Mod

برای هر نگاشت R-خطی f در Hom_R(A ⊗_R M, B)، نگاشت متناظر Φ(f) در Hom_R(A, Hom_R(M, B)) به صورت زیر تعریف می‌شود:

(Φ(f)(a))(m) = f(a ⊗ m)

وارون این تبدیل، نگاشت Ψ است که برای هر g در Hom_R(A, Hom_R(M, B)) به شکل زیر عمل می‌کند:

Ψ(g)(a ⊗ m) = (g(a))(m)

از آنجا که ترکیب Φ و Ψ نگاشت همانی را تشکیل می‌دهد، یکریختی دوسویه و طبیعی برقرار است:

Hom_R(A ⊗_R M, B) ≅ Hom_R(A, Hom_R(M, B))

۲. بررسی یکپارچگی طبیعی و حفظ ساختارها:

از نتایج مستقیم این الحاق آن است که تابع‌گر چپ (- ⊗_R M) هم‌حدها (مانند مجموع مستقیم و خارج‌قسمت) را حفظ می‌کند و راست‌پیوسته است، در حالی که تابع‌گر راست Hom_R(M, -) حدها (مانند ضرب مستقیم و هسته‌ها) را حفظ کرده و چپ‌پیوسته است.

۳. تفکیک ساختاری: زیررده کامل در برابر تابع‌گر کامل:

برای تثبیت دقیق تعاریف، دو مفهوم را مقایسه می‌کنیم:

الف) زیررده کامل (Full Subcategory):

فرض کنید C یک زیررده از D باشد. C را یک زیررده کامل می‌گوییم هرگاه برای هر دو شیء X و Y در C، مجموعه ریخت‌های میان آن‌ها در C دقیقاً برابر با مجموعه ریخت‌های میان آن‌ها در D باشد:

Hom_C(X, Y) = Hom_D(X, Y)

به عنوان مثال، رده مدول‌های آزاد متناهی‌تولید بر روی R، یک «زیررده کامل» از R-Mod است؛ زیرا هر نگاشت R-خطی میان دو مدول آزاد، در همان رده بزرگتر R-Mod تعریف شده و تغییری در ریخت‌ها ایجاد نمی‌شود.

ب) تابع‌گر کامل (Full Functor):

یک تابع‌گر F: C → D کامل نامیده می‌شود هرگاه برای هر جفت شیء X و Y در C، نگاشت القاشده روی ریخت‌ها:

F_{X,Y} : Hom_C(X, Y) → Hom_D(F(X), F(Y))

یک نگاشت پوشا باشد.

تفاوت کلیدی: زیررده کامل یک «ساختار مجموعه‌ای و موقعیتی» درون یک رده است (تمام ریخت‌های موجود بین اشیاء انتخابی نگه‌داشته می‌شوند)، در حالی که تابع‌گر کامل یک «نگاشت ساختاری» میان دو رده است که می‌تواند اشیاء را تغییر دهد اما اطمینان می‌دهد که هیچ ریختی در مقصد بدون تصویر باقی نماند. هر زیررده کامل متناظر با یک تابع‌گر شمول کامل و وفادار است، اما یک تابع‌گر کامل لزوماً یک زیررده کامل را معین نمی‌کند (ممکن است روی اشیاء یک‌به‌یک نباشد).

**نتایج:**

- رابطه الحاق تانسور-هوم نشان می‌دهد که ضرب تانسوری و هوم درونی دو روی یک حقیقت در جبر جابه‌جایی و همولوژی هستند.

- تابع‌گر الحاقی چپ حافظ هم‌حدها و تابع‌گر الحاقی راست حافظ حدهاست.

- تمایز دقیق میان زیررده کامل و تابع‌گر کامل مانع از ابهام در رده‌بندی ساختارهای جبری و تعریف زیرمجموعه‌های ساختاری در R-Mod می‌گردد.