ریاضیات

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

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

1. ۱. موضوع (تحلیل تحدید مدول‌های ساده به زیرگروه‌های نرمال):
   

   بررسی ساختار درونی یک مدول ساده گروه اصلی، هنگامی که تنها از منظر یک زیرگروه نرمال به آن نگریسته می‌شود.

2. ۲. فرضیات و بستر جبری (نرمال بودن و سادگی):
   

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

3. ۳. احکام و برآیندها (تجزیه همگن و مدارهای مزدوج):
   

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

   ب) تمام اجزای ساده حاصل از این تحدید، مزدوج یکدیگر تحت عمل گروه اصلی هستند و همگی ابعاد یکسانی دارند.
   

   ج) فضای مدول به مؤلفه‌های همگن تجزیه می‌شود و گروه خارج‌قسمتی، این مؤلفه‌ها را به صورت ترایا جابه‌جا می‌کند.

4. ۴. پیوند (تقارن در مدار و حفظ اصالت):
   

   قضیه کلیفورد نشان می‌دهد که وحدت در مرتبه بالاتر، هنگام تجلی در مراتب پایین‌تر (زیرگروه نرمال) به کثرتی هماهنگ و منظم از اجزای هم‌شأن و هم‌اندازه بدل می‌گردد؛ کثرتی که در مدارِ تقارن به هم پیوسته‌اند.