ریاضیات

در آینه‌یِ هندسه: کنشِ گروهِ چD_4 بر رئوسِ مربع

اگر بخواهیم تجسدِ مفاهیمِ «گروه»، «کنش» و «تثبیت‌کننده» را در جهانِ فیزیکی ببینیم، هیچ‌چیز رساتر از یک مربع و تقارن‌هایِ آن نیست. گروهِ D_$ (گروه دیهدرالِ مرتبه ۸) مجموعه‌یِ تمامِ چرخش‌ها و بازتاب‌هایِ یک مربع است.

۱. صورت‌بندیِ کنش

مربع را در نظر بگیرید که رئوسِ آن با اعدادِ {1, 2, 3, 4} نام‌گذاری شده‌اند. گروهِ D_4 شاملِ ۸ عضو است (چرخش‌های ۹۰ درجه، ۱۸۰، ۲۷۰ و ۳۶۰؛ و ۴ بازتاب).

۲. مدار و تثبیت‌کننده

کنش: هر یک از این ۸ تقارن، جایِ رئوس را عوض می‌کنند.

مدار (Orbit): چون با چرخش می‌توان از هر رأس به رأسِ دیگر رسید، کلِ مجموعه{ 1, 2, 3, 4}تنها یک مدار تشکیل می‌دهند. این یعنی کن$D_4 روی رئوس، انتقالی (Transitive) است.

تثبیت‌کننده (Stabilizer): فرض کنید رأسِ شماره ۱ را ثابت نگه داریم. کدام حرکات این کار را می‌کنند؟ تنها «همانی» (حرکت نکردن) و «بازتابِ قطریِ» عبوری از رأسِ ۱ و ۳. پس تثبیت‌کننده شامل ۲ عضو است.

۳. حکمِ کاربردی: «اولیه بودن» یا نبودن؟

آیا این کنش «اولیه» (Primitive) است؟ خیر! چرا؟

به این دلیل که می‌توانیم رئوس را به دو «بلاک» (Block) تقسیم کنیم: {1, 3} (قطرِ اصلی) و {2, 4} (قطرِ فرعی). هر تقارنِ مربع، یا این دو قطر را سر جایِ خود نگه می‌دارد و یا آن‌ها را با هم عوض می‌کند. چون «بلاک‌هایِ حقیقی» وجود دارند، پس کنشِ $D_4$ روی رئوس، اوّلیه نیست.

نکته‌یِ حکیمانه:

اوّلیه بودن (Primitivity) به معنایِ پیوندِ ناگسستنی است. در اینجا چون «قطرها» یک ساختارِ میانجیِ مستقل تشکیل می‌دهند، گروه توانسته است در شکافِ بینِ آن‌ها نفوذ کند و کنش را به دو بخش تقسیم نماید. این مثال نشان می‌دهد که چگونه هندسه، محدودیت‌هایِ ساختاریِ یک گروه را برملا می‌کند.