ریاضیات

۱. لمِ شُر (Schur's Lemma)

در دنیای مدول‌ها، مدول‌های ساده (Simple Modules) همانندِ اتم‌ها هستند؛ کوچک و تجزیه‌ناپذیر. لمِ شُر، ستونِ فقراتِ درکِ این اتم‌هاست.

صورت لم: اگر A و B دو R-مدول ساده باشند، هر هم‌ریختی (Homomorphism) میان آن‌ها، یا «صفر» است و یا «یک‌ریختی» (Isomorphism).

تحلیل ساده:

• اگر نگاشتِ آلفا (α) از A به B باشد، هسته‌ی آن (Kernel) و تصویر آن (Image) زیرمدول هستند.
• چون مدول‌ها ساده‌اند، هسته یا باید «صفر» باشد (که منجر به یک‌به‌یک بودن می‌شود) یا «کلِ A» (که منجر به صفر شدن نگاشت می‌شود).
• نتیجه‌ی درخشان این لم: حلقه‌ی اندومورفیسم‌های یک مدول ساده، یک حلقه‌ی تقسیمی است. یعنی هر عضوِ ناصفر، وارون‌پذیر است.

۲. ساختارِ شبکه زیرگروه‌های ℤ

در بررسی زیرگروه‌های اعداد صحیح (ℤ)، با شبکه‌ای زیبا روبرو هستیم که نظمِ تقسیم‌پذیری را به تصویر می‌کشد. برای عدد 12، زنجیره‌ی شمول زیرگروه‌ها چنین است:

          ℤ
        / \
      2ℤ 3ℤ
      | \ / |
      | X |
      | / \ |
      4ℤ 6ℤ
        \ /
         12ℤ
          |
         {0}

نکاتی از این نمودار:

• هرچه به سمت پایین می‌رویم، زیرگروه‌ها بزرگ‌تر (و عددِ ضریب کوچک‌تر) می‌شوند.
• زیرگروه 4ℤ و 6ℤ هر دو در 2ℤ محتوا می‌شوند.
• اشتراک (بزرگ‌ترین مقسوم‌علیه مشترک) و اجتماع (کوچک‌ترین مضرب مشترک) این زیرگروه‌ها، ساختارِ دقیقِ این شبکه را می‌سازند.

با این نگاه، جبر نه فرمول‌های خشک، که هندسه‌ی روابطِ پنهانِ اعداد است.