تبدل کامل گروہ

ریاضی میں، تبدلکامل گروہ ایسا گروہ ہوتا ہے جس کے عناصر کسی مجموعہ پر تبدلکامل ہوتے ہیں اور گروہ عالجہ ان تبدلکامل کی ترکیب ہوتا ہے۔ کسی مجموعہ پر تمام تبدلکامل کے گروہ کو "متناظر گروہ"  کہا جاتا ہے۔ عموماً تبدلکامل گروہ اس "متناظر گروہ " کے کسی ذیلی گروہ کو کہا جاتا ہے۔

متناظر گروہ (تبدل کامل) 
اعداد کے مجموعہ  کے کسی خاص تبدل کامل کو ایک دالہ کے ذریعہ لکھا جا سکتا ہے، یعنی

مثلاً n=4 کے لیے یہ ہو سکتی ہے

اگر f(.) اور g(.) کوئی دو فنکشن تبدل کامل ہوں اعداد  پر، تو ان فنکشن کی ترکیب 

بھی ان اعداد کی تبدل کامل ہو گی۔ اس طرح گروہ کا پہلا مسلمہ پورا ہوتا ہے، عناصر f اور g کے لیے۔

شناخت عنصر کے لیے ہم فنکشن تعریف کرتے ہیں

، یعنی:

اور یہ دوسرے مسلمہ پر پوری اترتی ہے۔

اگر فنکشن f(.) کوئی خاص تبدل کامل تعریف کرتی ہے

تو یہ تبدل کامل

اس کا اُلٹ ہے اور اسے  کہہ سکتے ہیں،

یعنی تیسرا مسلمہ پورا ہوتا ہے۔

اگر g، f اور h، کوئی تبدل کامل فنکشن ہوں، تو چوتھا مسلمہ بھی پورا ہونے کی تصدیق کی جا سکتی ہے

پس ثابت ہوا کہ مجموعہ  کے تمام تبدل‌کامل ایک گروہ بناتے ہیں۔ خیال رہے کہ ان تبادل‌کامل کی تعداد  ہے، یعنی اس گروہ کے عناصر کی تعداد  ہے۔ اس گروہ کی اہمیت "متشاکل کیلے مسلئہ اثباتی" کی بدولت ہے۔ اس گروہ کو متناظر گروہ کہا جاتا ہے اور  کی علامت سے لکھا جاتا ہے۔

طاق اور جفت تبدلکامل 
کثیر رقمی تعریف کرو

جہاں ضرب حاصل تمام  جوڑوں پر کیا گیا ہے جن کے لیے 

کسی تبدلکامل  کے لیے تعریف کرو

اس تبدلکامل f کو جفت کہو، اگر

اور طاق کہو، اگر

عام طور پر ہم لکھ سکتے ہیں

جہاں  ہو گا اگر تبدلکامل جفت ہو اور  اگر تبدلکامل طاق ہو۔ اب یہ دیکھایا جا سکتا ہے کہ دو تبدلکامل f اور g کی ترکیب  کے لیے

کسی تبدلکامل f اور اس کے اُلٹ  کا اشارہ برابر ہوتا ہے، یعنی

قضیہ 
گروہ  کی n! تبدلکامل میں سے آدھی (یعنی ) جفت ہوتی ہیں اور آدھی طاق ہوتی ہیں۔

تقلیب

کی تبدلکامل 

میں ہم کہتے ہیں کہ r تقلیبات برپا ہوتی ہیں عنصر k سے، اگر تبدلکامل میں k سے پہلے ٹھیک r اعداد k سے بڑے ہوں۔
مثلاً تبدلکامل

میں:
 2 تقلیبات برپا کرتا ہے عنصر 1
 1 تقلیب برپا کرتا ہے عنصر 2
 4 تقلیبات برپا کرتا ہے عنصر 3
 0 تقلیب برپا کرتا ہے عنصر 4
 3 تقلیبات برپا کرتا ہے عنصر 5
اور یہ تبدلکامل کُل (2+1+4+0+3=) 10 تقلیبات برپا کرتا ہے۔

تقلیبات کی مدد سے ہم جفت اور طاق تبدلکامل کی متبادل تعریف یوں کر سکتے ہیں:

قضیہ: تبدلکامل جفت کہلائے گا اگر تقلیبات کی کُل تعداد جفت ہو اور طاق کہلائے گی اگر تقلیبات کی کُل تعداد طاق ہو۔

متبادلی ذیلی گروہ 
جفت تبدلکامل کے گروہ کو "متبادلی ذیلی گروہ"  کہتے ہیں، جو  کا معمول ذیلی گروہ ہے۔

گیلوا مسلئہ اثباتی 
اگر  ہو، تو  کے معمول ذیلی گروہ صرف  اور  ہیں۔

گیلوا نے اپنے اس نتیجے سے ثابت کیا کہ درجہ پنجم اور زیادہ کی مساوات کو ناطق عالجوں (جمع، تفریق، ضرب، تقسیم) اور معلوم قدروں کی n۔ ویں جذر لینے سے حل نہیں کیا جا سکتا۔

نظریہ گروہ
ویکی ڈیٹا سے مطابقت رکھنے والی مختصر تفصیل