ریاضیات

تجزیه نا‌دوری و ظهور جبر دو‌متغیره: مرز ورود به بی‌نهایت

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

1. ۱. موضوع (تصویر پوشا بر جبر دومتغیره):
   

   اثبات این‌که جبر هر پی‌گروه غیردوری می‌تواند به طور پوشا بر جبر خارج‌قسمتیِ چندجمله‌ای‌های دو‌متغیره با توان‌های پوچ‌توان نگاشته شود.

2. ۲. سازوکار نگاشت و تغییر متغیر:
   

   اگر گروه غیردوری باشد، خارج‌قسمت آن دارای عاملی هم‌ریخت با حاصل‌ضرب دو نسخه از گروه دوری مرتبه پی است. با تبدیل مولدهای گروه به متغیرهای جدید از طریق کسر عنصر واحد، روابط مولدها به توان‌های پی‌اُم متغیرها تبدیل می‌شوند.

3. ۳. احکام و ره‌آوردها:
   

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

   ب) جبر حاصل به دلیل داشتن بیش از یک متغیر در رادیکال خود، خانواده‌های پیوسته و نامتناهی از مدول‌های تجزیه‌ناپذیر دوبه‌دو ناهم‌ریخت پدید می‌آورد.
   

   ج) بر اساس خاصیت خارج‌قسمتی، نامتناهی بودن تیپ نمایش در جبر مقصد، نامتناهی بودن تیپ نمایش جبر گروه اصلی را در پی دارد.

4. ۴. شهود مفهومی (گذار از خط به صفحه):
   

   یک متغیر، حرکتی خطی و مهارپذیر ایجاد می‌کند؛ اما دو متغیر مستقل، صفحه‌ای از ترکیب‌های خطیِ درهم‌تنیده می‌سازند که مهار مدول‌های تجزیه‌ناپذیر در آن از دست می‌رود و ساحت متناهی فرومی‌پاشد.