ریاضیات

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

بزرگ‌ترین گره در جبر، شناختِ ریشه‌هایِ ناپیدایِ معادلات و میدان‌هایِ بسط‌یافته است. ایده‌یِ راهنما در اینجا این است: به‌جای دست‌وپنجه نرم‌کردن مستقیم با میدان‌ها و چندجمله‌ای‌ها، به سراغِ تقارن‌هایِ آن‌ها بروید!

همان‌طور که در دیاگرام‌هایِ شبکه‌ای (Lattices) در عکس‌ها دیده می‌شود، هر زیرمیدان به یک زیرگروه متناظر می‌شود. جهانِ ناشناخته‌ی میدان‌ها، در آیینه‌یِ تمام‌نمایِ گروه گالوا بازتاب می‌یابد و سختیِ میدان به روانیِ تبدیلاتِ گروه بدل می‌گردد.

چرا معادله‌ای حل می‌شود و دیگری در بن‌بست می‌ماند؟ ایده در این بخش «تجزیه به گام‌های ساده» است.

اگر ساختار یک گروهِ متقارن بتواند به پله‌هایِ کوچکِ آبلی (تعویض‌پذیر) خرد شود (همچون زنجیره‌ی نرمال در D₄)، معادله رام و حل‌پذیر است. اما اگر گروه، هسته‌ای یکپارچه، ساده و صلب داشته باشد که خرد نشود (مانند A₅ در دلِ S₅)، صخره‌ی غیرحل‌پذیری هویدا می‌گردد. ایده یعنی: «اگر دیواری بزرگ فروریختنی نیست، ببین آیا سنگ‌هایش جدا می‌شوند یا یکپارچه‌اند؟»

در دست‌نوشته‌های مربوط به میدان‌های متناهی و p-گروه‌ها، ایده‌یِ تقارن بر پایه‌ی عدد اول (p) خودنمایی می‌کند:

• تمامِ میدان‌های متناهی ساختاری برداری بر روی سنگ‌بنایِ Z_p دارند.

• نگاشت فروبنیوس (x → x^p) تقارنِ درونی و بدون‌اصطکاکی پدید می‌آورد که توان‌رسانی را خطی و زلال می‌سازد.

• در p-گروه‌ها، وجودِ تنها یک زیرگروه مرتبه‌ی p، ساختار را ناگزیر به یک «دایره‌ی چرخه‌ای» واحد بدل می‌کند.