ریاضیات

۱. راستی‌آزماییِ تقارن فروبنیوس

در جهان میدان‌های با مشخصهٔ p، جمع اعداد رفتاری شگفت دارد؛ توان به توانِ عناصر توزیع می‌شود زیرا تمام ضرایبِ میانی بسط دوجمله‌ای مضرب p بوده و محو می‌گردند: (x + y)^q = x^q + y^q. ضرب نیز ذاتاً جابه‌جایی و توزیع‌پذیر است. از سوی دیگر، تمام عناصر میدان پایه F_q در معادلهٔ x^q = x صدق می‌کنند؛ پس فروبنیوس بر میدانِ زیرین بی‌اثر می‌ماند و خودریختیِ محضِ گسترش است.

۲. مدارِ گردش و کشف مرتبه

هر بار اِعمالِ این خودریختی، عناصر را به توان q می‌رساند؛ پس k بار تکرار آن هم‌ارز با به توان رساندن به q^k است. چندجمله‌ای x^qk − x حداکثر می‌تواند q^k ریشه در بر داشته باشد. برای آنکه تمام q^m عنصر میدان بزرگ‌تر ثابت بمانند، چاره‌ای جز رسیدن به مرتبهٔ k = m نیست. بنابراین کمترین گامی که نگاشت را به نقطهٔ آغاز (همانی) بازمی‌گرداند، دقیقاً عدد m است.

۳. لطافت ساختار دوری

درجهٔ گسترش برابر m است و گروه گالوا عضوی با مرتبهٔ m دارد؛ پس کل گروه تقارن، چیزی جز توان‌های متوالیِ این نگاشت یگانه نیست:

Gal(F_q^m / F_q) = ⟨Φ_q⟩ ≅ Z_m

در میدان‌های متناهی، پیچیدگی گروه‌های نامتقارن فرو می‌ریزد؛ همه‌چیز در نظمی مدوّر، شفاف و زلال همچون طواف به دور یک مدارِ دوری می‌چرخد.