ریاضیات

خاصیت جهانی و بررسی ساختار جبری گروه بنیادی در حالت اشتراک بدیهی

طبق اصول توپولوژی جبری و بر اساس نمودارهای جابه‌جایی، خاصیت نگاشت جهانی برای خانواده پوشش‌های باز {U_λ} تضمین می‌کند که هرگاه همریختی‌های سازگاری مانند ρ_λ : π₁(U_λ) → H به یک گروه دلخواه H وجود داشته باشند، یک همریختی یکتا مانند d : π₁(X) → H پدید می‌آید که دیاگرام زیر را جابه‌جا می‌سازد:

این خاصیت جهانی بیانگر آن است که گروه بنیادی فضای کل توسط تصاویر نگاشت‌های القایی شمول، یعنی ψ_λ [ π₁(U_λ) ] تولید می‌شود.

حالت خاص: اشتراک با گروه بنیادی بدیهی

یک حالت بسیار مهم و کاربردی زمانی رخ می‌دهد که اشتراک دو زیرفضای باز U و V از نظر جبری فاقد پیچیدگی باشد؛ یعنی گروه بنیادی اشتراک، تک‌عضوی (بدیهی) باشد:

در این وضعیت، از آنجا که هیچ مسیر غیربدیهی در اشتراک وجود ندارد تا روابط هم‌ارزی جدیدی را بر روی مولدها تحمیل کند، هیچ رابطه کاهنده‌ای در فرآیند چسباندن پدید نمی‌آید. بنابراین، گروه بنیادی فضای کل به سادگی برابر با حاصل‌ضرب آزاد (Free Product) گروه‌های بنیادی دو زیرفضا خواهد بود:

اگر نمایش گروه‌های بنیادی زیرفضاها بر حسب مولدها به صورت زیر باشد:

آنگاه ارائه نهایی گروه بنیادی فضای کل بدون نیاز به اعمال روابط اشتراک، از الحاق مستقیم تصاویر این مولدها تحت نگاشت‌های القایی حاصل می‌شود:

این نتیجه به خوبی نشان می‌دهد که چگونه ساختار جبری گروه بنیادی، بازتاب‌دهنده‌ی مستقیمِ اتصالات هندسی فضا است. هرگاه فضای واسط (اشتراک) ساده باشد، مؤلفه‌های جبری به مستقل‌ترین شکل ممکن (حاصل‌ضرب آزاد) با یکدیگر ترکیب می‌شوند.