«در جهانِ مدول‌ها، حاصل‌ضربِ مستقیم نه فقط یک مجموعه، که «نقطهٔ تلاقیِ همه‌یِ اراده‌ها» است. قضیه‌ای که می‌گوید: هرچه در اجزاء جاری است، در کل نیز به یکتایی به هم می‌پیوندد.»
درس نهم: ویژگیِ جهانیِ حاصل‌ضرب (Universal Property)
در ریاضیات، «ویژگیِ جهانی» یعنی بیانِ یک حقیقت به ساده‌ترین و فراگیرترین شکل. قضیه‌ای که در دست‌نویسِ امروز داریم، پیوندِ میانِ یک مدولِ دلخواه (C) و خانواده‌ای از مدول‌ها (Ai) را از طریقِ حاصل‌ضربِ مستقیم (∏ Ai) برقرار می‌کند.
۱. صورتِ قضیه به زبانِ ساده
فرض کنید خانواده‌ای از مدول‌ها داریم (Ai) و می‌خواهیم از مدولِ دیگری (C) به تک‌تکِ آنها نگاشت‌هایی (مثل γi) داشته باشیم. قضیه می‌گوید:
نیازی نیست هر بار جداگانه به تک‌تکِ آنها سفر کنید!
یک نگاشتِ واحد وجود دارد (γ) که از C به «کلِ مجموعه» (حاصل‌ضرب) می‌رود، به‌طوری که تمامِ آن مسیرهایِ جزئی، از دلِ این نگاشتِ کل، به دست می‌آیند.
۲. نمودارِ جابجایی (Commutative Diagram)
در تصویر، این مفهوم با یک مثلث به تصویر کشیده شده است:
C — γ → ∏ Ai
╲ ↓ πi
γi Ai
هرگاه نگاشتِ اصلی (γ) را با نگاشتِ تصویر (πi) ترکیب کنیم، دقیقاً به همان نگاشتِ جزء (γi) می‌رسیم. یعنی: πi ο γ = γi
۳. هسته‌یِ اثبات
در یادداشت‌های شما، اثبات با تعریفِ این نگاشتِ واحد (γ) انجام شده است:
γ(c) = (γi(c))i ∈ I
این یعنی نگاشتِ γ، عضوِ c را برمی‌دارد و آن را در «تمامِ ظرفیت‌هایِ موجود» (یعنی در تمامِ مدول‌های Ai) به تصویر می‌کشد. یکتاییِ این نگاشت نیز تضمین می‌کند که این مسیر، تنها راهِ هماهنگ کردنِ تمامِ نگاشت‌هایِ جزئی است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.