ریاضیات

محاسبه‌یِ رادیکال و سوکول: جلوه‌یِ شهود در دو مثالِ کلاسیک

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

مثال اول: جبرِ بریده‌شده‌یِ چندجمله‌ای‌ها (حلقه‌یِ متناهی‌طول)

میدانِ \( k \) را در نظر بگیرید و جبرِ موضعیِ \( \Lambda = k[x]/\langle x^n \rangle \) را برپا سازید (که در آن \( n \ge 2 \) است). مدولِ راستِ خودِ جبر، یعنی \( M = \Lambda \)، چه ساختاری دارد؟

• تک‌نگاه به ایده‌آل‌ها: در این حلقه، هر ایده‌آل (زیرمدول) به صورتِ توان‌هایی از کلاسِ \( x \) است:

  
  

  \( \Lambda = \langle 1 \rangle \supset \langle x \rangle \supset \langle x^2 \rangle \supset \dots \supset \langle x^{n-1} \rangle \supset \langle x^n \rangle = 0 \)

• محاسبه‌یِ رادیکال: تنها ایده‌آلِ ماکسیمال در این حلقه، ایده‌آلِ \( \langle x \rangle \) است. پس اشتراکِ ماکسیمال‌ها همان است:

  
  

  \( \operatorname{rad}(\Lambda) = \langle x \rangle \)

  اگر خارج‌قسمت بگیریم، \( \Lambda / \operatorname{rad}(\Lambda) \cong k \) می‌گردد؛ یعنی همان مدولِ ساده‌یِ یک‌بُعدی.

• محاسبه‌یِ سوکول: زیرمدول‌هایِ ساده، همان کوچک‌ترین ایده‌آل‌هایِ ناصفرند. در این زنجیره، پایین‌ترین طبقه ایده‌آلِ حاصل از توانِ \( n-1 \) است:

  
  

  \( \operatorname{Soc}(\Lambda) = \langle x^{n-1} \rangle \cong k \)

  این همان تک‌ریشه‌یِ استواری است که هر عنصرش با ضرب در \( x \) پوچ و فانی می‌شود.

مثال دوم: جبرِ مثلثیِ بالایی (پیکانِ کویور \( 1 \to 2 \))

جبرِ ماتریس‌هایِ مثلثیِ بالاییِ \( 2 \times 2 \) رویِ میدانِ \( k \) را بنگرید:

این جبر، همان جبرِ مسیرِ کویورِ \( \bullet_1 \to \bullet_2 \) است. حال ساختارِ رادیکال و سوکولِ خودِ جبر را به عنوانِ مدول می‌سنجیم:

• رادیکالِ جبر: رادیکالِ ژاکوبسونِ این جبر، تمامیِ عناصری است که خاصیتِ توان‌پوچی دارند و زیرمورب‌ها را می‌سازند؛ یعنی همان گوشه‌یِ بالا-راست:

  
  

  \( \operatorname{rad}(\Lambda) = \begin{pmatrix} 0 & k \\ 0 & 0 \end{pmatrix} \)

  خارج‌قسمتِ آن، \( \Lambda / \operatorname{rad}(\Lambda) \cong k \times k \) می‌شود که نمایانگرِ دو مدولِ ساده‌یِ رأس‌هایِ ۱ و ۲ است.

• بررسی در مدول‌هایِ تصویریِ تجزیه‌ناپذیر:

  این جبر دو مدولِ تصویریِ تجزیه‌ناپذیر (ستون‌های ماتریس) دارد:

  
  

  ۱. مدولِ ستون اول \( P_1 = \begin{pmatrix} k \\ 0 \end{pmatrix} \): یک‌بعدی و از آغاز ساده است؛ پس:

  \( \operatorname{rad}(P_1) = 0 \quad , \quad \operatorname{Soc}(P_1) = P_1 \)

  ۲. مدولِ ستون دوم \( P_2 = \begin{pmatrix} k \\ k \end{pmatrix} \): دوبعدی است؛ زیرمدولِ ماکسیمالِ آن بالا، و زیرمدولِ ساده‌اش پایین است:

  \( \operatorname{rad}(P_2) = \begin{pmatrix} k \\ 0 \end{pmatrix} \cong P_1 \quad , \quad \operatorname{Soc}(P_2) = \begin{pmatrix} 0 \\ k \end{pmatrix} \)

فرجامِ سخن:

بدین ترتیب می‌بینیم که چگونه رادیکال، اضافات و درجاتِ بالاتر را فرو می‌ریزد تا به رأس‌ها برسد، و سوکول پایه‌ای‌ترین لایه‌ها را صیانت می‌کند تا ستون‌هایِ نمایش بر آن استوار مانند.