We prove that the Rubik's cube group can be realized as a Galois group over the rationals.
- প্রবন্ধ ID: 2411.11566
- শিরোনাম: Rubik's as a Galois'
- লেখক: M. Mereb, L. Vendramin
- শ্রেণীবিভাগ: math.NT (সংখ্যা তত্ত্ব), math.GR (গ্রুপ তত্ত্ব)
- প্রকাশনা সময়: ২০২৪ সালের নভেম্বর (arXiv প্রাক-প্রিন্ট)
- প্রবন্ধ লিঙ্ক: https://arxiv.org/abs/2411.11566
এই প্রবন্ধটি প্রমাণ করে যে রুবিক্স কিউব গ্রুপ (Rubik's Cube group) যুক্তিসঙ্গত সংখ্যার ক্ষেত্রের উপর একটি গ্যালোয়া গ্রুপ হিসাবে বাস্তবায়িত হতে পারে।
এই প্রবন্ধটি গ্যালোয়া বিপরীত সমস্যা (Inverse Galois Problem) এর একটি নির্দিষ্ট উদাহরণ অধ্যয়ন করে: রুবিক্স কিউব গ্রুপ R কে যুক্তিসঙ্গত সংখ্যার ক্ষেত্রের একটি গ্যালোয়া সম্প্রসারণের গ্যালোয়া গ্রুপ হিসাবে প্রমাণ করা।
- তাত্ত্বিক তাৎপর্য: গ্যালোয়া বিপরীত সমস্যা গণিতের একটি মৌলিক সমস্যা, যা জিজ্ঞাসা করে যে প্রতিটি সীমিত গ্রুপ যুক্তিসঙ্গত সংখ্যার উপর কোনো গ্যালোয়া সম্প্রসারণের গ্যালোয়া গ্রুপ হিসাবে বাস্তবায়িত হতে পারে কিনা
- ঐতিহাসিক পটভূমি: এই সমস্যাটি হিলবার্ট এবং অন্যান্য গণিতবিদদের দ্বারা ১৯-২০ শতকের প্রাথমিকে স্পষ্টভাবে প্রস্তাব করা হয়েছিল এবং এখনও সম্পূর্ণভাবে সমাধান হয়নি
- পরিচিত ফলাফল: সীমিত সমাধানযোগ্য গ্রুপগুলির জন্য, শাফারেভিচ প্রমাণ করেছেন যে তারা সবাই গ্যালোয়া গ্রুপ হিসাবে বাস্তবায়িত হতে পারে; কিছু বিক্ষিপ্ত একক গ্রুপ যেমন মনস্টার গ্রুপের জন্য, থম্পসনও প্রমাণ করেছেন যে এটি বাস্তবায়িত হতে পারে
লেখকদের গবেষণা প্রেরণা একটি সুযোগপ্রাপ্ত আলোচনা থেকে উদ্ভূত হয়েছিল: গ্যালোয়া তত্ত্ব কোর্সের অনুশীলনী সম্পর্কে আলোচনা করার সময়, তারা একটি ১০ বছর বয়সী শিশুকে রুবিক্স কিউব খেলতে দেখেছিলেন, যা তাদের রুবিক্স কিউব গ্রুপ গ্যালোয়া গ্রুপ হিসাবে বাস্তবায়িত হতে পারে কিনা তা চিন্তা করতে অনুপ্রাণিত করেছিল।
- প্রধান উপপাদ্য: নির্দিষ্ট বহুপদ নির্মাণ করেছেন, যা প্রমাণ করে যে রুবিক্স কিউব গ্রুপ R যুক্তিসঙ্গত সংখ্যার উপর গ্যালোয়া গ্রুপ হিসাবে বাস্তবায়িত হতে পারে
- স্পষ্ট নির্মাণ: ৪৮ ডিগ্রির একটি নির্দিষ্ট বহুপদ f(X)g(X) প্রদান করেছেন, যার গ্যালোয়া গ্রুপ রুবিক্স কিউব গ্রুপের সাথে সমরূপ
- প্যারামিটার পরিবার: প্রমাণ করেছেন যে রুবিক্স কিউব সম্প্রসারণের প্যারামিটার পরিবার বিদ্যমান, যা রুবিক্স কিউব গ্রুপকে গ্যালোয়া গ্রুপ হিসাবে রাখে এমন অসংখ্য বহুপদ প্রদান করে
- গণনামূলক যাচাইকরণ: Magma গণনামূলক বীজগণিত সিস্টেম ব্যবহার করে তাত্ত্বিক ফলাফল যাচাই করেছেন
রুবিক্স কিউব গ্রুপ R কে wreath product এর ফাইবার পণ্য হিসাবে প্রকাশ করা যায়:
R=(Z/(3)≀S8)∘×sign(Z/(2)≀S12)∘
যেখানে:
- (Z/(3)≀S8)∘ ৮টি কোণ ব্লকের অভিযোজন সম্পর্কিত
- (Z/(2)≀S12)∘ ১২টি প্রান্ত ব্লকের অভিযোজন সম্পর্কিত
- ফাইবার পণ্য শর্ত নিশ্চিত করে যে পারমিউটেশনের চিহ্ন সমান
- বহুপদ g12(X)=X12+r2(X+1) ব্যবহার করুন
- (Z/(2)≀S12)∘ এ এম্বেডিং পেতে g24(X)=g12(X2) বিবেচনা করুন
- সঠিক সাবগ্রুপ নিশ্চিত করতে g12(0) সম্পূর্ণ বর্গ হওয়া প্রয়োজন
- ত্রিঘাত সম্প্রসারণ নির্মাণের জন্য প্যারামিটার পরিবার X3−tX2+(t−3)X+1 ব্যবহার করুন
- অপরিবর্তনীয় বহুপদ f(X) এর জন্য, সংজ্ঞায়িত করুন
f~(X)=(X(X−1))degff(X(X−1)X3−3X+1)
- এটি ত্রিঘাত একক মূলের জটিলতা এড়ায়
বিচারক শর্ত পূরণ করা প্রয়োজন:
disc(f8(X))⋅disc(g12(X))∈(Q×)2
উপপাদ্য ১ এর বহুপদ:
- g(X)=X24+3842570377547538071385058519081470253852443469645611961262219752967766016(X2+1)
- f(X) একটি ২৪ ডিগ্রির বহুপদ (জটিল সহগ সহ)
- f(X)g(X) এর গ্যালোয়া গ্রুপ রুবিক্স কিউব গ্রুপ R এর সাথে সমরূপ
যাচাইকরণের জন্য Magma V2.28-18 গণনামূলক বীজগণিত সিস্টেম ব্যবহার করুন
- বহুপদ f(X)g(X) এর গ্যালোয়া গ্রুপ গণনা করুন
- গ্রুপের ক্রম 43252003274489856000=227⋅314⋅5⋅7⋅11 হওয়া যাচাই করুন
- গ্রুপ কাঠামো রুবিক্স কিউব গ্রুপের সাথে সমরূপ তা নিশ্চিত করুন
- গণনা মান ডেস্কটপ কম্পিউটারে মাত্র কয়েক মিনিট সময় নেয়
- যাচাইকরণের জন্য সম্পূর্ণ Magma কোড প্রদান করা হয়েছে
রুবিক্স কিউব গ্রুপ হিসাবে গ্যালোয়া গ্রুপ সহ বহুপদ সফলভাবে নির্মাণ করেছেন, যা যাচাই করেছেন:
- গ্রুপের ক্রম সঠিক: ∣R∣=43252003274489856000
- গ্রুপ কাঠামো রুবিক্স কিউব গ্রুপের wreath product বর্ণনার সাথে সামঞ্জস্যপূর্ণ
প্রবন্ধটি অন্যান্য প্যারামিটার পছন্দের অধীনে বহুপদ উদাহরণও প্রদান করে, নির্মাণ পদ্ধতির সর্বজনীনতা প্রদর্শন করে:
- বিভিন্ন (a,b,c) প্যারামিটার পছন্দ বিভিন্ন নির্দিষ্ট বহুপদ উৎপাদন করে
- সমস্ত উদাহরণ একই গ্যালোয়া গ্রুপ কাঠামো রাখে
উপপাদ্য ২ প্রমাণ করে যে প্যারামিটার পরিবার p(u,v,X)∈Q(u,v)[X] বিদ্যমান, যাতে প্রায় সমস্ত যুক্তিসঙ্গত সংখ্যার জোড়া (u,v) এর জন্য, বহুপদ p(u,v,X) এর গ্যালোয়া গ্রুপ রুবিক্স কিউব গ্রুপের সাথে সমরূপ।
- শাস্ত্রীয় ফলাফল: হিলবার্ট প্রমাণ করেছেন যে প্রতিসম গ্রুপ Sn এবং বিকল্প গ্রুপ An বাস্তবায়িত হতে পারে
- শুর উপপাদ্য: সূচকীয় ফাংশন টেইলর বহুপদের গ্যালোয়া গ্রুপ
- নার্ট-ভিলা উপপাদ্য: বহুপদ Xn−X−1 এর গ্যালোয়া গ্রুপ Sn
- কঠোরতা পদ্ধতি: থম্পসন এবং অন্যরা কঠোরতা পদ্ধতি ব্যবহার করে অনেক গ্রুপ বাস্তবায়ন করেছেন, যার মধ্যে মনস্টার গ্রুপ রয়েছে
- নোথার পদ্ধতি: অপরিবর্তনীয় বলয় ব্যবহার করুন, কিন্তু সমস্ত গ্রুপের জন্য উপযুক্ত নয়
- শাফারেভিচ ফলাফল: প্রমাণ করেছেন যে সীমিত সমাধানযোগ্য গ্রুপগুলি সবাই বাস্তবায়িত হতে পারে
- হিলবার্ট অপরিবর্তনীয়তা উপপাদ্য: প্যারামিটার পরিবার থেকে নির্দিষ্ট বাস্তবায়ন পেতে ব্যবহৃত
- রুবিক্স কিউব গ্রুপ যুক্তিসঙ্গত সংখ্যার উপর গ্যালোয়া গ্রুপ হিসাবে বাস্তবায়িত হতে পারে
- একটি নির্দিষ্ট ৪৮ ডিগ্রির বহুপদ নির্মাণ প্রদান করেছেন
- অসংখ্য এমন বহুপদ বিদ্যমান তা প্রমাণ করেছেন (প্যারামিটার পরিবার)
- Wreath product পদ্ধতি: রুবিক্স কিউব গ্রুপের wreath product কাঠামো কুশলভাবে ব্যবহার করেছেন
- ফাইবার পণ্য কৌশল: বিচারক শর্তের মাধ্যমে প্রয়োজনীয় গ্রুপ কাঠামো বাস্তবায়ন করেছেন
- একক মূল এড়ানো: Z/(3)-সম্প্রসারণ নির্মাণে জটিল একক মূল প্রক্রিয়াকরণ এড়িয়েছেন
- নির্মিত বহুপদের ডিগ্রি তুলনামূলকভাবে বেশি (৪৮ ডিগ্রি)
- সহগ জটিল, যথেষ্ট সরল নয়
- পদ্ধতির সাধারণীকরণের মাত্রা সীমিত
- তাত্ত্বিক অবদান: গ্যালোয়া বিপরীত সমস্যার একটি নির্দিষ্ট উদাহরণ সমাধান করেছেন
- গঠনমূলক প্রমাণ: স্পষ্ট বহুপদ নির্মাণ প্রদান করেছেন
- গণনামূলক যাচাইকরণ: যাচাইযোগ্য নির্দিষ্ট ফলাফল প্রদান করেছেন
- পদ্ধতি উদ্ভাবন: গ্রুপ তত্ত্ব এবং বীজগণিত সংখ্যা তত্ত্ব কৌশল কুশলভাবে সংযুক্ত করেছেন
- পদ্ধতির বিশেষত্ব: নির্মাণ পদ্ধতি রুবিক্স কিউব গ্রুপের বিশেষ কাঠামোর উপর অত্যন্ত নির্ভরশীল
- জটিলতা: বহুপদ সহগ জটিল, ব্যবহারিক প্রয়োগ সীমিত
- তাত্ত্বিক গভীরতা: সাধারণ গ্যালোয়া বিপরীত সমস্যার তুলনায়, অবদান তুলনামূলকভাবে স্থানীয়
- শিক্ষাগত মূল্য: গ্যালোয়া বিপরীত সমস্যার জন্য নতুন উদাহরণ প্রদান করেছেন
- পদ্ধতিবিদ্যা: Wreath product কৌশল অন্যান্য অনুরূপ গ্রুপের জন্য প্রযোজ্য হতে পারে
- শিক্ষাগত মূল্য: বিমূর্ত গ্যালোয়া তত্ত্বকে নির্দিষ্ট রুবিক্স কিউবের সাথে সংযুক্ত করেছেন
এই গবেষণা প্রধানত প্রযোজ্য:
- গ্যালোয়া বিপরীত সমস্যার তাত্ত্বিক গবেষণা
- বীজগণিত সংখ্যা তত্ত্ব এবং গ্রুপ তত্ত্বের আন্তঃবিভাগীয় গবেষণা
- গ্যালোয়া তত্ত্বের শিক্ষা এবং জনপ্রিয়করণ
প্রবন্ধটি ৩০টি সম্পর্কিত সংদর্ভ উদ্ধৃত করেছে, যা গ্যালোয়া বিপরীত সমস্যার শাস্ত্রীয় ফলাফল, wreath product তত্ত্ব এবং রুবিক্স কিউব গ্রুপের গ্রুপ তত্ত্ব কাঠামোর গুরুত্বপূর্ণ কাজ অন্তর্ভুক্ত করে।
দ্রষ্টব্য: এটি একটি বিশুদ্ধ তাত্ত্বিক গণিত গবেষণা, যার প্রধান অবদান একটি নির্দিষ্ট গাণিতিক সমস্যা সমাধানে নিহিত। যদিও ব্যবহারিক মূল্য সীমিত, তবে তাত্ত্বিকভাবে এটি উল্লেখযোগ্য তাৎপর্য রাখে, বিশেষত গ্যালোয়া বিপরীত সমস্যার গবেষণায় নতুন উদাহরণ এবং পদ্ধতি প্রদান করে।