ریاضیات

تعمیم گروه متقارن: از S₆ تا S_n

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

۱. فرمول کلی مرتبه

برای هر عدد طبیعی n، تعداد اعضای گروه متقارن از رابطه فاکتوریل پیروی می‌کند:

۲. رشد مرتبه گروه

با افزایش n، مرتبه گروه به شدت رشد می‌کند. به عنوان مثال، در حالی که S₅ دارای ۱۲۰ عضو است، مرتبه S₆ به ۷۲۰ می‌رسد. این رشد فاکتوریلی نشان‌دهنده پیچیدگی فزاینده در تحلیل کلاس‌های مزدوج این گروه‌هاست.

۳. قاعده عملکرد

در یادداشت‌های جبر، عملکرد جایگشت‌ها بر روی اعضای مجموعه به صورت ترکیب توابع بررسی می‌شود که ویژگی‌های شرکت‌پذیری و وجود عضو معکوس را تضمین می‌کند.