ریاضیات

قضیه هیگمن در کمال: دوری بودنِ زیرگروه‌های سیلو، یگانه مدارِ تناهی

با کنار هم نهادن ابزارهای میانگین‌گیری همولوژی و تجزیهٔ ساختاری پی‌گروه‌ها، برهان قضیهٔ بنیادین هیگمن کامل می‌شود: تناهی نمایش‌های یک گروه در مشخصه پی، تنها و تنها در گروه‌هایی محقق می‌شود که زیرگروه سیلوی پی آن‌ها دوری باشد.

1. ۱. صورت قضیه و گسترهٔ آن:
   

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

2. ۲. سوی اول (کفایت دوری بودن سیلو):
   

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

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

3. ۳. سوی دوم (ضرورت دوری بودن سیلو):
   

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

   ب) بنابراین جبر زیرگروه سیلو تیپ متناهی ندارد؛ و چون هر مدول زیرگروه را می‌توان به مدولی روی کل گروه القاء داد، جبر کل گروه نیز نمی‌تواند تیپ متناهی داشته باشد.

4. ۴. پیوند و دیدگاه نهایی:
   

   قضیه هیگمن ترازوی بنیادین نظریه مدولار است؛ این قضیه مرز قطعی میان جهان مهارشدهٔ سیستم‌های دوری و اقیانوس بی‌کران ساختارهای نامتناهی را ترسیم می‌نماید.