জ্যামিতি যদি হয় স্থান ও আকারের বিজ্ঞান, তবে বীজগণিত হলো প্রতিসাম্য ও কাঠামোর আনুষ্ঠানিক ভাষা। বিশুদ্ধ গণিতে গ্রুপ (Group) হলো এমন একটি ন্যূনতম স্বতঃসিদ্ধ ব্যবস্থা যা কোনো বস্তুর রূপান্তরের প্রতিসাম্যকে গাণিতিকভাবে ধারণ করতে পারে। কেলাসের অভ্যন্তরীণ জ্যামিতি এবং কোয়ান্টাম কণার গেজ ক্ষেত্র থেকে শুরু করে বহুপদী সমীকরণের সমাধান যোগ্যতা—গ্রুপ তত্ত্ব আধুনিক বিমূর্ত বীজগণিতের সার্বজনীন ব্যাকরণ।
১. গ্রুপের মৌলিক চারটি স্বতঃসিদ্ধ
একটি অশূন্য সেট $G$ এবং একটি দ্বিমিক ক্রিয়া $cdot$-এর সমন্বয়ে গঠিত ব্যবস্থা $(G, cdot)$ একটি গ্রুপ হবে যদি তা চারটি মৌলিক শর্ত পূরণ করে:
- আবদ্ধতা (Closure): $forall a, b in G, ; a cdot b in G$।
- সংযোজনযোগ্যতা (Associativity): $forall a, b, c in G, ; (a cdot b) cdot c = a cdot (b cdot c)$।
- অভেদক উপাদান (Identity): এমন একটি অনন্য উপাদান $e in G$ থাকবে যাতে $forall a in G, ; e cdot a = a cdot e = a$ হয়।
- বিপরীত উপাদান (Inverse): প্রতিটি উপাদান $a in G$-এর জন্য একটি বিপরীত $a^{-1} in G$ থাকবে যাতে $a cdot a^{-1} = a^{-1} cdot a = e$ হয়।
ক্রিয়াটি যদি বিনিময় নিয়ম মেনে চলে ($a cdot b = b cdot a$), তবে তাকে অ্যাবিলীয় গ্রুপ (Abelian Group) বলা হয়।
২. উপগ্রুপ ও ল্যাগ্রাঞ্জের অমর উপপাদ্য
যদি কোনো উপসেট $H subseteq G$ নিজেও একটি স্বতন্ত্র গ্রুপ গঠন করে, তবে তাকে $G$-এর উপগ্রুপ (Subgroup) ($H le G$) বলা হয়। যেকোনো উপাদান $g in G$-এর জন্য বাম-কোসেট সংজ্ঞায়িত হয় $gH = {gh mid h in H}$ দ্বারা। এই কোসেটগুলো মূল সেট $G$-কে সমান আকারের পরস্পরছেদীহীন অংশে বিভক্ত করে।
এই সরল জ্যামিতিক সত্য থেকে প্রতিপাদিত হয় সসীম গ্রুপ তত্ত্বের অমর ল্যাগ্রাঞ্জের উপপাদ্য (Lagrange’s Theorem):
|G| = [G : H] cdot |H|
অর্থাৎ, যেকোনো উপগ্রুপ $H$-এর আকার (বা যেকোনো উপাদানের ক্রম) অবশ্যই মূল গ্রুপের আকার $|G|$-এর একটি নিখুঁত গুণনীয়ক হতে বাধ্য। এর প্রত্যক্ষ ফলাফল হলো যে মৌলিক সংখ্যার আকারের ($p$) যেকোনো গ্রুপ অবশ্যই চক্রীয় এবং তা $mathbb{Z}_p$-এর আইসোমরফিক।
৩. স্বাভাবিক উপগ্রুপ ও ভাগফল গ্রুপ (Quotient Group)
আমরা কি কোসেটগুলোর সেট $G/H$-কে নিয়ে একটি নতুন গ্রুপ তৈরি করতে পারি? কোসেটের গুণন $(aH)(bH) = (ab)H$ সুসংজ্ঞায়িত হবে কেবল তখনই, যখন উপগ্রুপটি অভ্যন্তরীণ রূপান্তরের অধীনে অপরিবর্তিত থাকে—একে বলা হয় স্বাভাবিক উপগ্রুপ (Normal Subgroup) ($N triangleleft G$):
forall g in G, ; g N g^{-1} = N
যখন $N triangleleft G$, তখন কোসেটগুলোর সেট গঠন করে ভাগফল গ্রুপ (Quotient Group) $G/N$। ভাগফল প্রক্রিয়াটি গণিতের এক শক্তিশালী লেন্স: এটি উপগ্রুপ $N$-এর জটিলতাকে অভেদক উপাদানে সংকুচিত করে মূল গ্রুপের বৃহৎ বহিস্থ প্রতিসাম্য উন্মোচন করে।
৪. হোমোমরফিজম ও প্রথম আইসোমরফিজম উপপাদ্য
দুটি গ্রুপের মধ্যকার এমন একটি ম্যাপিং $phi: G to H$ যা গ্রুপের ক্রিয়াকে হুবহু সংরক্ষণ করে ($phi(ab) = phi(a)phi(b)$), তাকে হোমোমরফিজম বলা হয়। এর কেন্দ্রে থাকে দুটি ধারণা:
- কার্নেল (Kernel): $G$-এর যে উপাদানগুলো $H$-এর অভেদকে রূপান্তরিত হয়: $ker(phi) = {g in G mid phi(g) = e_H}$। কার্নেল সর্বদা একটি স্বাভাবিক উপগ্রুপ ($ker(phi) triangleleft G$)।
- ইমেজ (Image): $text{im}(phi) = {phi(g) mid g in G} le H$।
এই দুই ধারণাকে এক সুতোয় বাঁধে বীজগণিতের ভিত্তিপ্রস্তর প্রথম আইসোমরফিজম উপপাদ্য (First Isomorphism Theorem):
G / ker(phi) cong text{im}(phi)
অর্থাৎ মূল গ্রুপকে তার কার্নেল দ্বারা ভাগ করলে যে ভাগফল গ্রুপ পাওয়া যায়, তা হুবহু ইমেজের সাথে আইসোমরফিক। যেকোনো হোমোমরফিক রূপান্তর আসলে একটি স্বাভাবিক ভাগফল কাঠামোরই হুবহু প্রতিচ্ছবি।
