ریاضیات

سوکول (Socle): ریشه‌هایِ استوار در خاکِ وجود

اگر رادیکال، آن لایه‌یِ بیرونی بود که حجابِ رخِ مدول می‌شد، «سوکول» (Socle) همان ریشه‌یِ استوار است که در ژرفایِ خاکِ مدول، به صلابت نشسته است. رادیکال از بالا می‌نگرد و کاهش می‌دهد، اما سوکول از پایین برمی‌خیزد و بنیاد می‌نهد.

تعریفِ لطیف: سوکولِ مدولِ M که آن را با Soc(M) می‌شناسیم، مجموعِ تمامیِ زیرمدول‌هایِ ساده (Simple) است. در واقع، سوکول، «بزرگ‌ترین زیرمدولِ نیم‌ساده» (Semisimple Submodule) است؛ آن بخش از مدول که از آجرهایِ ناب، خُرد و تجزیه‌ناپذیر ساخته شده و گویی اصالتِ مدول در آن نهفته است.

Soc(M) = ∑ { S ⊆ M | S is a simple submodule }

تقابلِ عارفانه:

رادیکال، «جنگِ با کثرت» است؛ زدودنِ آن‌چه مانعِ دیدنِ ذات است. اما سوکول، «جمعِ با وحدت» است؛ گردآوریِ کوچک‌ترین موجوداتِ مستقل تا بنایی مستحکم برپا شود. هر چه رادیکال، راهی برایِ شناختِ «خارج‌قسمت» است، سوکول، آینه‌ای برایِ شناختِ «زیرمدول‌هایِ بنیادین» است.

در جبرِ آرتینی، سوکول و رادیکال در دستانِ «مورایاما» و «ناکایاما» به رقص درمی‌آیند. وقتی می‌گوییم مدولی «اسانشیال» (Essential) است یا «کواسانشیال»، در واقع داریم از نحوه‌یِ اتصالِ سوکول و رادیکال به بدنه سخن می‌گوییم.

آری، سوکول، آن بخش از جانِ مدول است که هیچ‌کس نمی‌تواند آن را به سادگی فروکاهد؛ چرا که همین اکنون در نهایتِ سادگیِ خویش، به استواریِ مطلق رسیده است.