```html
مفاهیم پیشرفته در جبر مجرد: هسته، تصویر و آنیه‌له‌یتور
در این پست، به ادامه مباحث مربوط به همریختی حلقه‌ها پرداخته و مفاهیم هسته، تصویر، و همچنین آنیه‌له‌یتور (محوکننده) را در بستر مدول‌ها بررسی می‌کنیم.
۱) هسته همریختی (Kernel of a Homomorphism)
فرض کنید φ : R → M یک همریختی حلقه (یا مدول) باشد. هستهٔ φ، که با Ker(φ) نشان داده می‌شود، مجموعه‌ای از عناصر دامنه (R) است که به عنصر صفر هم‌دامنه (M) نگاشت می‌شوند:
Ker(φ) = { r ∈ R | φ(r) = 0 }
۲) آنیه‌له‌یتور (Annihilator)
اگر M یک R-مدول باشد، آنیه‌له‌یتور M، که با AnnR(M) نمایش داده می‌شود، شامل تمام عناصری از R است که با ضرب در هر عنصر m ∈ M، حاصل را صفر می‌کنند:
AnnR(M) = { r ∈ R | rm = 0 برای همهٔ m ∈ M }
به طور مشابه، آنیه‌له‌یتور یک عنصر خاص m ∈ M عبارت است از:
AnnR(m) = { r ∈ R | rm = 0 }
نکته مهم: هستهٔ همریختی φ دقیقاً برابر با آنیه‌له‌یتورِ مدولِ تصویرِ φ است؛ یعنی: Ker(φ) = AnnR(Im(φ)).
۳) تصویر همریختی (Image of a Homomorphism)
تصویر همریختی φ، که با Im(φ) نشان داده می‌شود، شامل تمام خروجی‌های ممکن در هم‌دامنه (M) است:
Im(φ) = { φ(r) | r ∈ R }
توجه: Im(φ) همیشه یک زیرحلقه (و در صورت مدول بودن، زیرمدول) از M است.
۴) قضیهٔ اول همریختی (First Isomorphism Theorem)
طبق قضیهٔ اول همریختی برای حلقه‌ها (و مدول‌ها)، حلقهٔ خارج‌قسمتیِ دامنه بر حسب هسته، با تصویر همریخت (ایزومورف) است:
R / Ker(φ) ≅ Im(φ)
اگر تصویر همریختی برابر با خود مدول M باشد (یعنی φ پوشا باشد)، آنگاه:
R / Ker(φ) ≅ M
```
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.