ریاضیات

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

اگر میدان K توسعه‌ای متناهی از میدان F با اندازه‌ی q باشد و بُعدِ این فضای برداری n باشد ([K:F] = n)، آن‌گاه تعدادِ اعضایِ میدانِ K دقیقاً برابر با qⁿ خواهد بود.

|K| = qⁿ

رازِ این تساوی: هر عنصرِ میدان K را می‌توان به صورتِ ترکیبی خطی از پایه‌هایِ برداریِ آن نوشت: a₁k₁ + ... + a_nk_n. از آن‌جا که هر ضریبِ a_i می‌تواند q انتخابِ ممکن داشته باشد، با کنار هم قرار دادنِ این n ضریب، مجموعاً qⁿ ترکیبِ یگانه حاصل می‌شود.

دو میدانِ متناهی F₁ و F₂ که اندازه‌یِ برابر دارند (|F₁| = |F₂| = p^m)، لزوماً با هم تک‌ریخت (Isomorphic) هستند. این میدان‌ها همگی ریشه‌هایِ چندجمله‌ایِ یگانه‌یِ x^pm - x می‌باشند. به بیان دیگر، در عالمِ جبر، برای هر مرتبه‌یِ توانیِ عددِ اول، تنها یک میدانِ متناهی (تا حدِ ایزومورفیسم) وجود دارد.

در ادامه به یکی از قضایایِ درخشانِ گروه‌هایِ متناهی می‌رسیم. اگر G گروهی با مرتبه‌یِ p^k (توانی از عددِ اول) باشد و تنها یک زیرگروه از مرتبه‌یِ p داشته باشد، آن‌گاه این گروه لزوماً چرخه‌ای (Cyclic) است.

خلاصه برهان:

• ابتدا عنصری با بیشترین مرتبه (حداکثر توان) را در گروه می‌یابیم.
• با کمکِ قضیه‌یِ لاگرانژ و ویژگی‌هایِ عملِ مزدوج‌سازی در p-گروه‌ها، نشان می‌دهیم که هر عنصرِ دیگرِ گروه، ناگزیر در توان‌هایِ این عنصرِ پیشرو قرار می‌گیرد.
• این انحصارِ وجودِ یک زیرگروه، ساختارِ گروه را از درون منسجم کرده و آن را به یک گروهِ تک‌مولد بدل می‌سازد.