فرجامِ برهان: یگانگیِ نگاشت و تبیینِ نمادها
در پیِ مباحثِ پیشین، اینک به لُبِّ کلام رسیدیم. نگاشتِ β که هم‌ضرب (حاصل‌جمع مستقیم) را به مدولِ هدف B می‌نگارد، نه تنها وجود دارد، بلکه یگانه است. یعنی در رستهٔ مدول‌ها، هیچ هم‌ریختیِ دیگری وجود ندارد که این خاصیتِ تعقیبِ عناصر را برآورد.
β(α) = ∑i ∈ I βi(ai) ∈ B
استاد عالم‌زاده با این فرمول، «رازِ هم‌ضرب» را برملا می‌کنند: مقدارِ نگاشتِ جامعِ β رویِ یک عنصرِ کلیِ α، برابر است با مجموعِ تصاویرِ مؤلفه‌های آن در مدولِ B.
تمایزِ بنیادی در نمادگذاری (Notation)
این بخش از یادداشت‌ها، کلیدی‌ترین نکته برای پرهیز از خلطِ مبحث میان «ضرب» و «هم‌ضرب» است. همواره میانِ حالتِ کلی (حاصل‌ضرب) و حالتِ «تکیه‌گاهِ متناهی» (حاصل‌جمع) تمایز قائل شوید:
1. حاصل‌ضرب (Product):
AI = ∏i ∈ I Ai
2. حاصل‌جمعِ مستقیم (Direct Sum / Coproduct):
A(I) = ∐i ∈ I Ai
نکتهٔ ظریف: تفاوت در پرانتزِ بالای I است.
• نمادِ AI (بدون پرانتز) به معنای تمامیِ نگاشت‌هاست (ضربِ دکارتی).
• نمادِ A(I) (با پرانتز) به معنایِ نگاشت‌هایی است که «تکیه‌گاهِ متناهی» دارند (حاصل‌جمعِ مستقیم).
«در مدول‌ها، پرانتزِ کوچک، تفاوتِ میانِ جهانِ نامتناهیِ ضرب و جهانِ متناهیِ جمع است.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.