ریاضیات

جبرهای خودتزریقی و تقارنی: تقارن ناب در جبرهای گروهی

یکی از ویژگی‌های کلیدی که نظریهٔ نمایش جبرهای گروهی را از عموم جبرهای مجرد متمایز می‌سازد، خاصیت «تقارنی بودن» (Symmetric) و هم‌زمانی تصویر و تزریق در رستهٔ مدول‌های آن‌هاست.

1. ۱. تعریف جبر خودتزریقی (Self-Injective):
   

   جبری است که به عنوان یک مدول روی خودش، تزریقی باشد. در چنین جبرهایی، ردهٔ مدول‌های تصویری دقیقاً بر ردهٔ مدول‌های تزریقی منطبق است؛ یعنی هر پروژکتیو یک اینجکتیو نیز هست.

2. ۲. شرط تقارنی بودن (Symmetric Algebra):
   

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

3. ۳. عواقب هم‌ریختی سوکل و هد (Socle & Top):
   

   برای هر مدول تصویریِ تجزیه‌ناپذیر روی یک جبر تقارنی، «سر» (Top) و «پی‌بست» (Socle) هم‌ریخت و یکسان هستند. این ویژگی باعث می‌شود دیاگرام ساختاری این مدول‌ها تقارن آینه‌ای کامل داشته باشد.

4. ۴. شهود تقارنی (حفظ اندازه و انرژی):
   

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