সাধারণ পূর্ণসংখ্যার রিং $mathbb{Z}$-এ পাটিগণিতের মৌলিক উপপাদ্য নিশ্চয়তা দেয় যে প্রতিটি সংখ্যাকে অনন্যভাবে মৌলিক সংখ্যার গুণফল আকারে প্রকাশ করা যায়। কিন্তু ঊনবিংশ শতাব্দীতে যখন গণিতবিদরা ফার্মার শেষ উপপাদ্য প্রমাণের উদ্দেশ্যে সাইক্লোটমিক রিং $mathbb{Z}[zeta_p]$-এ সংখ্যাতত্ত্ব প্রসারিত করেন, তখন এক নিদারুণ ধাক্কা আসে: অনন্য উৎপাদকায়ন ভেঙে পড়ে। উদাহরণস্বরূপ $mathbb{Z}[sqrt{-5}]$-এ $6 = 2 cdot 3 = (1 + sqrt{-5})(1 – sqrt{-5})$। এই সংকট দূর করতে আর্নস্ট কামার ও রিচার্ড ডেডেকিন্ড সংখ্যার পরিবর্তে আইডিয়াল (Ideal)-এর ধারণা আবিষ্কার করেন, যা জন্ম দেয় বীজগণিতীয় সংখ্যাতত্ত্ব (Algebraic Number Theory)-এর সুবিশাল সৌধ।
১. অ্যালজেব্রাইক নাম্বার ফিল্ড ও রিং অব ইন্টিজার্স $mathcal{O}_K$
একটি নাম্বার ফিল্ড $K$ হলো মূলদ সংখ্যা ফিল্ড $mathbb{Q}$-এর একটি সসীম মাত্রার সম্প্রসারণ: $[K : mathbb{Q}] = n < infty$।
কোনো উপাদান $beta in K$ যদি পূর্ণসংখ্যার সহগবিশিষ্ট কোনো মনিক বহুপদীর মূল হয়, তবে তাকে বীজগণিতীয় পূর্ণসংখ্যা (Algebraic Integer) বলা হয়। $K$-এর সমস্ত বীজগণিতীয় পূর্ণসংখ্যার সেট একটি রিং গঠন করে, যাকে বলা হয় রিং অব ইন্টিজার্স $mathcal{O}_K$। এটি $K$-এর অভ্যন্তরে সাধারণ পূর্ণসংখ্যা $mathbb{Z}$-এর প্রাকৃতিক উত্তরসূরি।
২. ডেডেকিন্ড ডোমেইন ও আইডিয়ালের অনন্য উৎপাদকায়ন
যদিও $mathcal{O}_K$-এর সংখ্যাগুলোর সরাসরি উৎপাদকায়ন অনন্য নাও হতে পারে, ডেডেকিন্ড প্রমাণ করেন যে $mathcal{O}_K$ সর্বদা একটি ডেডেকিন্ড ডোমেইন। এর তিনটি মৌলিক বৈশিষ্ট্য রয়েছে:
- এটি নোইদারিয়ান (প্রতিটি আইডিয়াল সসীমভাবে তৈরি)।
- এটি এর ফ্র্যাকশন ফিল্ডের মধ্যে পূর্ণাঙ্গভাবে আবদ্ধ (Integrally closed)।
- প্রতিটি অশূন্য প্রাইম আইডিয়াল স্বয়ং একটি ম্যাক্সিমাল আইডিয়াল।
যেকোনো ডেডেকিন্ড ডোমেইনে পাটিগণিতের মৌলিক উপপাদ্যটি আইডিয়ালের স্তরে পুনরুজ্জীবিত হয়: প্রতিটি অশূন্য আইডিয়ালকে অনন্যভাবে প্রাইম আইডিয়ালের গুণফল আকারে প্রকাশ করা যায়:
I = mathfrak{p}_1^{e_1} mathfrak{p}_2^{e_2} cdots mathfrak{p}_g^{e_g}
ফলে $6 = 2 cdot 3 = (1+sqrt{-5})(1-sqrt{-5})$ এর আপাত বৈপরীত্য মুছে যায়, কারণ উভয় বিভাজনই আসলে প্রাইম আইডিয়ালের গুণফল হিসেবে হুবহু একই ($mathfrak{p}^2 mathfrak{q}_1 mathfrak{q}_2$)।
৩. আইডিয়াল ক্লাস গ্রুপ (Ideal Class Group)
একটি রিং অব ইন্টিজার্সে অনন্য সংখ্যাগত উৎপাদকায়ন কতটা লঙ্ঘিত হয়েছে, তা নিখুঁতভাবে পরিমাপ করে আইডিয়াল ক্লাস গ্রুপ $text{Cl}_K$। এটি হলো সমস্ত ফ্র্যাকশনাল আইডিয়াল গ্রুপ এবং প্রিন্সিপাল আইডিয়াল গ্রুপের ভাগফল:
text{Cl}_K equiv frac{mathcal{I}_K}{mathcal{P}_K}
যদি এবং কেবল যদি ক্লাস গ্রুপটি ট্রিভিয়াল হয় ($text{Cl}_K = {1}$), তবেই রিংটিতে স্বাভাবিক অনন্য উৎপাদকায়ন বহাল থাকে। হারম্যান মিনকোভস্কি তাঁর জ্যামিতিক সংখ্যাতত্ত্বের সাহায্যে প্রমাণ করেন যে আইডিয়াল ক্লাস গ্রুপ সর্বদা সসীম। এর উপাদান সংখ্যাকে ক্লাস নাম্বার ($h_K$) বলা হয়।
৪. র্যামিফিকেশন ও প্রাইমের বিভাজন
একটি সাধারণ মৌলিক সংখ্যা $p in mathbb{Z}$ যখন নাম্বার ফিল্ডে প্রবেশ করে, তখন তার তৈরি আইডিয়ালটি একাধিক প্রাইম আইডিয়ালে ভেঙে যায়:
p mathcal{O}_K = mathfrak{p}_1^{e_1} dots mathfrak{p}_g^{e_g}
এখানে $e_i$ হলো র্যামিফিকেশন সূচক। এই বিভাজনের নিখুঁত রূপ বিশ্লেষণই ল্যাংল্যান্ডস প্রোগ্রাম এবং আধুনিক গ্যালোয়া উপস্থাপনার মূল ভিত্তি।
