اصطلاح term

گروہ
شناخت
عنصر
عالجہ
ثنائ
مجموعہ
متناظر

group
identity
element
operator
binary
set
symmetric

گروہ عناصر دا ایسا مجموعہ ہُندا اے، جس وچ اک عالج متعرف ہُندا اے، کہ کسی وی دو عناصر نو‏‏ں عالج تو‏ں گزار کر اسی مجموعہ دا عنصر حاصل ہُندا ا‏‏ے۔ گروہ دے لئی کچھ مسلمات پورے ہونا ضروری ہُندا اے، جو مشارکی، شناخت عنصر تے اُلٹ عنصر دے متعلق ہُندے نيں۔ صحیح اعداد دا مجموعہ، جمع دے عالج دے نال، اک گروہ اے، کہ کسی وی دو اعداد نو‏‏ں جمع ک‏ر ک‏ے صحیح عدد ملدا اے، صفر (شناخت عنصر) نو‏‏ں کسی وی عدد وچ جمع کرنے تو‏ں اس عدد وچ کوئی تبدیلی نئيں ہُندی، کسی عدد دے منفی (اُلٹ عنصر) نو‏‏ں اس وچ جمع کرنے تو‏ں صفر ملدا اے تے جمع مشارکی خصوصیت رکھدی ا‏‏ے۔

تعریف: عناصر دا غیر خالی مجموعہ G اک ثنائ عالج دے نال، گروہ کہلاندا اے جے تھلے دتی شرائط پوری ہاں:

  • جے تے ، تاں فیر
  • مجموعہ وچ ایسا عنصر I ہو کہ تمام دے لئی

عنصر I نو‏‏ں شناخت عنصر کہندے نيں۔

  • ہر عنصر دے لئی، ایسا عنصر موجود ہو (جسنو‏ں a دا اُلٹ کہندے نيں)، کہ
  • مجموعہ G وچ عناصر a، b، c، دے لئی مشارکی خصوصیت پوری ہو

متناظر گروہ (تبدل کامل)لکھو

تفصیلی مضمون: تبدل کامل گروہ

اعداد دے مجموعہ دے کسی خاص تبدل کامل نو‏‏ں اک دالہ دے ذریعہ لکھیا جا سکدا اے، یعنی

1 2 3 .... n
f(1) f(2) f(3) .... f(n)

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

1 2 3 4
4 2 1 3

جے f(.) تے g(.) کوئی دو فنکشن تبدل کامل ہاں اعداد پر، تاں انہاں فنکشن د‏‏ی ترکیب بھی انہاں اعداد د‏‏ی تبدل کامل ہوئے گی۔ اس طرح گروہ دا پہلا مسلمہ پورا ہُندا اے، عناصر f تے g دے لئی۔

شناخت عنصر دے لئی اسيں فنکشن تعریف کردے نيں ، یعنی:

1 2 3 .... n
1 2 3 .... n

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

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

1 2 3 .... n
f(1) f(2) f(3) .... f(n)

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

f(1) f(2) f(3) .... f(n)
1 2 3 .... n

اس دا اُلٹ اے تے اسنو‏ں کہہ سکدے نيں،

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

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

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

خوائصلکھو

گروہ دے عناصر a، b، دے لئی

  • (r دفعہ)

مبدلی گروہلکھو

گروہ نو‏‏ں ایبلین (Abelian) یا مبدلی گروہ کدرے گے جے مبدلی د‏‏ی خصوصیت موجود ہو:

 

تمام عناصر   دے لئی۔

مثال دے طور اُتے صحیح اعداد دا گروہ، جمع عالج تے صفر شناخت، دے نال مبدلی ا‏‏ے۔

تبدل کامل د‏‏ی فنکشن f ایويں تعریف کرو

1 2 3 4
  f
4 2 1 3

تبدل کامل د‏‏ی فنکشن g ایويں تعریف کرو

1 2 3 4
  g
3 1 2 4

اب واضح اے کہ   تے   اس لئی

 

تے تبدل کامل دا گروہ مبدلی نئيں۔

اصطلاح term

ذیلی گروہ
متناہی

subgroup
finite

ذیلی گروہلکھو

جے مجموعہ G دے عناصر عالجہ   دے لحاظ تو‏ں گروہ بنائاں تے مجموعہ G دا ذیلی مجموعہ H ہو، اس طرح کہ H دے عناصر وی عالجہ   دے لحاظ تو‏ں گروہ بنائاں، تاں اسيں کدرے گے کہ H ذیلی گروہ اے گروہ G کا۔ غیر خالی ذیلی مجموعہ H ذیلی‌گروہ ہوئے گا جے تھلے دتی شرائط پوری ہاں:

  • جے  ، تاں  
  • جے   تے  ، تاں  

قضیہلکھو

جے G متناہی گروہ ہو، تاں "G دا غیر خالی ذیلی مجموعہ H ذیلی‌گروہ ہوئے گا، جے

 
اصطلاح term

متشاکل
ارتباط واحد الواحد

isomorphic
one-to-one correspondence

متشاکللکھو

دو گروہاں G تے H نو‏‏ں متشاکل کدرے گے جے انہاں دے عناصر دے درمیان ارتباط واحد الواحد قائم کیتا جا سک‏‏ے اس طرح کہ ایہ ارتباط عناصر دے عالجہ تو‏ں گزارنے دے بعد وی قائم رہ‏‏ے۔ جے   تے  ، تاں انہاں عناصر دے درمیان ارتباط نو‏‏ں   لکھیا جاندا ا‏‏ے۔ ہن جے   تے  ، تاں متشاکل د‏‏ی شرط اے کہ

 

دوسرے لفظاں وچ گروہ G تے H دراصل اک ہی نيں، صرف انہاں دے عناصر دے ناں مختلف رکھے ہوئے نيں۔

مسلئہ اثباندیلکھو

ہر متناہی G گروہ متشاکل ہوئے گا تبدل‌کامل دے کسی ذیلی‌گروہ دے ۔

یہ مسلئہ کیلے گروہ متشاکل ملسئہ اثباندی کہلاندا ا‏‏ے۔ ایہ دیکھنے دے لئی کہ تبدلکامل دا ذیلی‌گروہ کیسا ہوئے گا، G دے عناصر دا   ناں رکھ دو۔ عنصر k دے ہمشکل تبدلکامل دالہ   ایويں تعریف کرو

 

تبدلکامل دا ایہ گروہ   ہوئے گا تے  ، یعنی   تے   د‏‏ی ترکیب۔

اصطلاح term

رُتبہ
دَوری

order
cyclic

رُتبہ تے دَوری گروہلکھو

کسی گروہ وچ عناصر د‏‏ی تعداد نو‏‏ں اس گروہ دا رتبہ کہیا جاندا ا‏‏ے۔ جے g عنصر ہو گروہ G دا ( )، تاں   گروہ G دا ذیلی گروہ ہوئے گا۔ جے r چھوٹا ترین صحیح عدد ہو جس دے لئی   (جتھ‏ے I شناخت عنصر اے ) تاں ایہ ذیلی‌گروہ   ہوئے گا تے اس گروہ نو‏‏ں g تو‏ں تولید شدہ دوری ذیلی‌گروہ کہیا جاندا ا‏‏ے۔ اس دوری ذیلی‌گروہ وچ عناصر د‏‏ی تعداد r اے تے اس گروہ دا رتبہ r ا‏‏ے۔ چونکہ ایہ گروہ عنصر g تو‏ں تولید شدہ اے، اس لئی r نو‏‏ں عنصر g دا رتبہ وی کہیا جاندا ا‏‏ے۔

خیال رہے کہ اُوپر

 

مثاللکھو

مجموعہ   د‏‏ی چھ تبدلکامل نيں:

f1=I 1, 2, 3
f2 1, 3, 2
f3 2, 1, 3
f4 2, 3, 1
f5 3, 1, 2
f6 3, 2, 1

جو گروہ   بناندی نيں۔ عنصر   ایہ دوری ذیلی‌گروہ   تولید کردا اے تے عنصر   دا رتبہ 3 ا‏‏ے۔

اصطلاح term

ہم‌مجموعہ
بےجوڑ
؟
معمول

coset
disjoint
identical
normal

cosetلکھو

گروہ G دا ذیلی‌گروہ H ہوئے۔ G دے کسی عنصر g دے لئی، مجموعہ تعریف کرو

 

مجموعہ   نو‏‏ں گروہ G دا اک کبھے ہممجموعہ کہیا جاندا ا‏‏ے۔ اسی طرح

 

کو گروہ G دا اک "سجے ہممجموعہ" کہیا جاندا ا‏‏ے۔

معمول ذیلی گروہلکھو

گروہ G دے ذیلی‌گروہ H نو‏‏ں معمول ذیلی‌گروہ کہیا جائے گا جے کسی وی   دے لئی

 

قضیہلکھو

جے متناہی گروہ G دا ذیلی‌گروہ H ہو، تاں تمام   دے لئی

 

جتھ‏ے علامت   تو‏ں مراد مجموعہ S وچ عناصر د‏‏ی تعداد ا‏‏ے۔

قضیہلکھو

جے متناہی گروہ G دا ذیلی‌گروہ H ہو، تاں ہممجموعہ   تے ہممجموعہ   یا تاں برابر (identical) نيں یا بے جوڑ نيں۔

مسلئہ اثباندیلکھو

جے متناہی گروہ G دا ذیلی‌گروہ H ہو، تاں صحیح عدد   نو‏‏ں صحیح عدد   (پورا) تقسیم کردا ا‏‏ے۔ یعنی ذیلی‌گروہ H دا مرتبہ تقسیم کردا اے گروہ G دے مرتبہ نو‏ں۔ اسنو‏ں لاگرانج مسئلہ اثباندی کہندے نيں۔

  • جے G متناہی گروہ ہو جس دا مرتبہ n ہو، تاں اس گروہ دے کسی وی عنصر   دے لئی  
  • جے G متناہی گروہ ہو جس دا مرتبہ n ہو تے n مفرد عدد ہو، تاں گروہ G دَوری ہوئے گا تے نتیجتاً مبدلی۔

ہور ویکھولکھو

سانچہ:ریاضی مدد