Feit–Thompson theorem
ریاضی میں، فیٹ تھامسن تھیوریم، یا اوڈ آرڈر تھیوریم، بیان کرتا ہے کہ اوڈ آرڈر کا ہر محدود گروپ قابل حل ہے۔ کے ذریعے ثابت کیا گیا۔ تاریخ نے قیاس کیا کہ ہر غیر ایبلین محدود سادہ گروہ کا یکساں ترتیب ہوتا ہے۔ سادہ گروہوں کے ارتقاء کے سنٹرلائزرز کو محدود سادہ گروہوں کی درجہ بندی کی بنیاد کے طور پر استعمال کرنے کی تجویز پیش کی گئی، جیسا کہ براؤر-فاؤلر تھیوریم سے پتہ چلتا ہے کہ صرف محدود سادہ گروہوں کی ایک محدود تعداد موجود ہے جس میں ارتقاء کا سنٹرلائزر دیا گیا ہے۔ عجیب ترتیب کے گروپ میں کوئی ارتقاء نہیں ہوتا ہے، اس لیے براؤر کے پروگرام کو انجام دینے کے لیے سب سے پہلے یہ ظاہر کرنا ضروری ہے کہ غیر چکور محدود سادہ گروپوں میں کبھی بھی عجیب ترتیب نہیں ہوتی ہے۔ یہ اس بات کو ظاہر کرنے کے مترادف ہے کہ عجیب ترتیب والے گروپ قابل حل ہیں، جسے فیٹ اور تھامسن نے ثابت کیا۔ برن سائیڈ کے قیاس آرائی پر حملہ سی اے گروپوں کا مطالعہ کرنے والے نے شروع کیا تھا۔ یہ ایسے گروپ ہیں جو ہر غیر معمولی عنصر کا سنٹرلائزر ابیلین ہے۔ ایک اہم مقالے میں انہوں نے دکھایا کہ عجیب ترتیب کے تمام سی اے گروپ قابل حل ہیں۔ (بعد میں انہوں نے تمام سادہ سی اے گروپوں کی درجہ بندی کی، اور زیادہ عام طور پر تمام سادہ گروپوں کی درجہ بندی اس طرح کی کہ کسی بھی ارتقاء کے مرکزی کار میں ایک عام 2-سائلو ذیلی گروپ ہوتا ہے، اس عمل میں جھوٹ کی قسم کے سادہ گروپوں کا ایک نظر انداز شدہ خاندان ڈھونڈتا ہے، جسے اب سوزوکی گروپ کہا جاتا ہے۔) سوزوکی کے کام کو سی این گروپوں کے خاندان تک بڑھایا ؛ یہ ایسے گروپ ہیں کہ ہر غیر معمولی عنصر کا سنٹرلائزر نیل پوٹینٹ ہے۔ انہوں نے دکھایا کہ عجیب ترتیب کا ہر سی این گروپ قابل حل ہے۔ ان کا ثبوت سوزوکی کے ثبوت سے ملتا جلتا ہے۔ یہ تقریبا 17 صفحات پر مشتمل تھی، جسے اس وقت گروپ تھیوری میں ثبوت کے لیے بہت لمبا سمجھا جاتا تھا۔ فیٹ-تھامسن تھیوریم کو اس عمل کے اگلے مرحلے کے طور پر سمجھا جا سکتا ہے: وہ ظاہر کرتے ہیں کہ عجیب ترتیب کا کوئی غیر چکور سادہ گروپ ایسا نہیں ہے کہ ہر مناسب ذیلی گروپ قابل حل ہو۔ اس سے ثابت ہوتا ہے کہ عجیب ترتیب کا ہر محدود گروپ حل کرنے کے قابل ہے، کیونکہ ایک کم سے کم جوابی مثال ایک سادہ گروپ ہونی چاہیے تاکہ ہر مناسب ذیلی گروپ حل کرنے کے قابل ہو۔ اگرچہ ثبوت سی اے تھیوریم اور سی این تھیوریم کی طرح ہی عمومی خاکہ کی پیروی کرتا ہے، لیکن تفصیلات بہت زیادہ پیچیدہ ہیں۔ آخری پیپر 255 صفحات پر مشتمل ہے۔ ثبوت کی اہمیت فیٹ تھامسن تھیوریم سے پتہ چلتا ہے کہ ارتقاء کے سنٹرلائزرز کا استعمال کرتے ہوئے محدود سادہ گروپوں کی درجہ بندی ممکن ہو سکتی ہے، کیونکہ ہر نانبیلین سادہ گروپ میں ارتقاء ہوتا ہے۔ بہت سی تکنیکیں جو انہوں نے اپنے ثبوت میں متعارف کروائیں، خاص طور پر مقامی تجزیہ کا خیال، درجہ بندی میں استعمال ہونے والے آلات میں مزید تیار کیا گیا۔ شاید ثبوت کا سب سے انقلابی پہلو اس کی لمبائی تھی: فیٹ تھامسن کے مقالے سے پہلے، گروپ تھیوری میں چند دلائل چند صفحات سے زیادہ لمبے تھے اور زیادہ تر کو ایک دن میں پڑھا جا سکتا تھا۔ ایک بار جب گروپ تھیوریسٹوں کو احساس ہوا کہ اتنے لمبے دلائل کام کر سکتے ہیں، تو کئی سو صفحات پر مشتمل کاغذات کا ایک سلسلہ ظاہر ہونا شروع ہوا۔ ان میں سے کچھ نے فیٹ تھامسن کے مقالے کو بھی چھوٹا کر دیا ؛ مائیکل ایشبیچر اور اسٹیفن ڈی اسمتھ کا کواستین گروپوں پر لکھا گیا مقالہ 1,221 صفحات پر مشتمل تھا۔ ثبوت پر نظر ثانی بہت سے ریاضی دانوں نے اصل فیٹ تھامسن ثبوت کے حصوں کو آسان بنایا ہے۔ تاہم یہ تمام اصلاحات کسی نہ کسی لحاظ سے مقامی ہیں ؛ دلیل کا عالمی ڈھانچہ اب بھی وہی ہے، لیکن دلائل کی کچھ تفصیلات کو آسان بنایا گیا ہے۔ آسان ثبوت دو کتابوں میں شائع کیا گیا ہے:، جس میں کردار کے نظریہ کے علاوہ ہر چیز کا احاطہ کیا گیا ہے، اور، جس میں کردار کے نظریہ کا احاطہ کیا گیا ہے۔ یہ نظر ثانی شدہ ثبوت اب بھی بہت سخت ہے، اور اصل ثبوت سے لمبا ہے، لیکن زیادہ آرام دہ انداز میں لکھا گیا ہے۔ ایک مکمل رسمی ثبوت، جس کی جانچ CoQ پروف اسسٹنٹ سے کی گئی تھی، کا اعلان ستمبر 2012 میں جارجز گونتھیئر اور مائیکروسافٹ ریسرچ اور انریا کے ساتھی محققین نے کیا تھا۔ ثبوت کا خاکہ فیٹ تھامسن تھیوریم کو براہ راست بیان کرنے کے بجائے، سوزوکی کے سی اے تھیوریم کو بیان کرنا اور پھر سی این تھیوریم اور اوڈ آرڈر تھیوریم کے لیے درکار کچھ توسیعات پر تبصرہ کرنا آسان ہے۔ ثبوت کو تین مراحل میں تقسیم کیا جا سکتا ہے۔ ہم جی کو سی اے کی شرط کو پورا کرنے والے عجیب ترتیب کا ایک غیر ایبلین (کم سے کم) سادہ گروپ ہونے دیتے ہیں۔ عجیب آرڈر پیپر کی مزید تفصیلی وضاحت کے لیے دیکھیں یا یا۔ مرحلہ 1۔ گروپ جی کے ڈھانچے کا مقامی تجزیہ سی اے کے معاملے میں یہ آسان ہے کیونکہ "اے کمیوٹس ود بی" کا تعلق غیر شناخت والے عناصر پر ایک مساوات کا تعلق ہے۔ لہذا عناصر مساوات کی کلاسوں میں تقسیم ہو جاتے ہیں، اس طرح کہ ہر مساوات کی کلاس زیادہ سے زیادہ ابیلین ذیلی گروپ کے غیر شناخت والے عناصر کا مجموعہ ہے۔ ان زیادہ سے زیادہ ابیلین ذیلی گروپوں کے نارملائزر بالکل جی کے زیادہ سے زیادہ مناسب ذیلی گروپ بن جاتے ہیں۔ یہ نارملائزر فروبینیوس گروپ ہیں جن کا کریکٹر تھیوری معقول حد تک شفاف ہے، اور کریکٹر انڈکشن سے متعلق ہیرا پھیری کے لیے اچھی طرح سے موزوں ہے۔ نیز، |G | کے پرائم ڈیوائزرز کے سیٹ کو پرائمز کے مطابق تقسیم کیا جاتا ہے جو |G | کے زیادہ سے زیادہ ابیلین ذیلی گروپوں کی الگ الگ کنجوگیسی کلاسوں کے آرڈرز کو تقسیم کرتے ہیں۔ کچھ ہال ذیلی گروپوں کی کنجوگیسی کلاسوں کے مطابق |G | کے پرائم ڈیوائزرز کو تقسیم کرنے کا یہ نمونہ (ایک ہال ذیلی گروپ وہ ہوتا ہے جس کا آرڈر اور انڈیکس نسبتا پرائم ہوتے ہیں) جو G کے زیادہ سے زیادہ ذیلی گروپوں سے مطابقت رکھتا ہے (کنجوگیسی تک) دونوں میں دہرایا جاتا ہے۔ فیٹ-ہال-تھامسن CN-تھیوریم کے ثبوت اور فیٹ-تھامسن طاق آرڈر تھیوریم کے ثبوت میں۔ ہر زیادہ سے زیادہ ذیلی گروپ M میں ایک مخصوص نیلپوٹینٹ ہال ذیلی گروپ Mσ ہوتا ہے جس میں M میں موجود نارملائزر ہوتا ہے، جس کی ترتیب ایک سیٹ σ (M) بنانے والے بعض پرائمز سے تقسیم ہوتی ہے۔ دو زیادہ سے زیادہ ذیلی گروہ کنجوگیٹ ہوتے ہیں اگر اور صرف اس صورت میں جب سیٹ σ (M) ایک جیسے ہوں، اور اگر وہ کنجوگیٹ نہ ہوں تو سیٹ σ (M) جداگانہ ہوں۔ G کی ترتیب کو تقسیم کرنے والا ہر پرائم کسی سیٹ σ (M) میں ہوتا ہے۔ لہذا G کی ترتیب کو تقسیم کرنے والے پرائمز کو زیادہ سے زیادہ ذیلی گروپوں کی کنجوگیسی کلاسوں کے مطابق مساوات کی کلاسوں میں تقسیم کیا جاتا ہے۔ سی این کیس کا ثبوت پہلے سے ہی سی اے کیس کے مقابلے میں کافی زیادہ مشکل ہے: اہم اضافی مسئلہ یہ ثابت کرنا ہے کہ دو مختلف سائلو ذیلی گروہ شناخت میں ایک دوسرے کو کاٹتے ہیں۔ عجیب ترتیب تھیوریم کے ثبوت کا یہ حصہ 100 سے زیادہ جریدے کے صفحات پر مشتمل ہے۔ ایک اہم قدم تھامسن انفرادیت تھیوریم کا ثبوت ہے، جس میں کہا گیا ہے کہ کم از کم 3 کے عام رینک کے ابیلین ذیلی گروپ ایک منفرد زیادہ سے زیادہ ذیلی گروپ میں موجود ہیں، جس کا مطلب ہے کہ جن پرائمز p کے لیے سائلو p-ذیلی گروپ زیادہ سے زیادہ 2 پر عام رینک رکھتے ہیں انہیں الگ سے غور کرنے کی ضرورت ہے۔ بینڈر نے بعد میں بینڈر کے طریقہ کار کا استعمال کرتے ہوئے انفرادیت تھیوریم کے ثبوت کو آسان بنایا۔ جبکہ CN-صورت میں، نتیجے میں زیادہ سے زیادہ ذیلی گروہ M اب بھی فروبینئس گروپ ہیں، زیادہ سے زیادہ ذیلی گروپ جو عجیب ترتیب تھیوریم کے ثبوت میں پائے جاتے ہیں انہیں اب اس ڈھانچے کی ضرورت نہیں ہے، اور ان کی ساخت اور باہمی تعامل کے تجزیے سے زیادہ سے زیادہ ذیلی گروپوں کی 5 ممکنہ اقسام پیدا ہوتی ہیں، جنہیں ٹائپ I، II، III، IV، V کہا جاتا ہے۔ ٹائپ I ذیلی گروپ "فروبینئس ٹائپ" کے ہوتے ہیں، جو فروبینئس گروپ کی معمولی عمومی شکل ہے، اور درحقیقت بعد میں ثبوت میں فروبینئس گروپ دکھائے جاتے ہیں۔ ان کا ڈھانچہ ایم ایف یو ہے جہاں ایم ایف سب سے بڑا عام نیلپوٹینٹ ہال ذیلی گروپ ہے، اور یو کا ایک ذیلی گروپ یو 0 ہے جس میں ایک ہی ایکسپوینٹ ہے جیسے کہ ایم ایف یو 0 ایک فروبینیوس گروپ ہے جس میں دانا ایم ایف ہے۔ ٹائپ II، III، IV، V تمام 3 مراحل والے گروپ ہیں جن کی ساخت MF U W1 ہے، جہاں MF U M کا ماخوذ ذیلی گروپ ہے۔ ٹائپ II، III، IV اور V میں ذیلی تقسیم کا انحصار ذیلی گروپ U کے ڈھانچے اور سرایت پر مندرجہ ذیل ہے: ٹائپ II: U غیر معمولی ابیلین ہے اور اس کا نارملائزر M میں موجود نہیں ہے۔ ٹائپ III: U غیر معمولی ابیلین ہے اور اس کا نارملائزر M میں موجود ہے۔ ٹائپ IV: U غیر ابیلین ہے۔ ٹائپ V: U معمولی ہے۔ زیادہ سے زیادہ ذیلی گروپوں کی دو کے علاوہ تمام کلاسیں ٹائپ I کی ہوتی ہیں، لیکن زیادہ سے زیادہ ذیلی گروپوں کی دو اضافی کلاسیں بھی ہو سکتی ہیں، ایک ٹائپ II کی، اور ایک ٹائپ II، III، IV، یا V کی۔ مرحلہ 2۔ اگر X CA گروپ G کے زیادہ سے زیادہ ابیلین ذیلی گروپ A کے نارملائزر H کا ایک ناقابل تلافی کردار ہے، جس کے دانے میں A نہیں ہے، تو ہم X کو G کے Y کردار پر آمادہ کر سکتے ہیں، جو ضروری نہیں کہ ناقابل تلافی ہو۔ G کی معروف ساخت کی وجہ سے، G کے شناختی عنصر کے علاوہ سب پر Y کے کردار کی اقدار کو تلاش کرنا آسان ہے۔ اس کا مطلب یہ ہے کہ اگر X1 اور X2 H اور Y1 اور Y2 کے ایسے دو ناقابل کٹوتی حروف ہیں جو متعلقہ محرک حروف ہیں، تو Y1 − Y2 مکمل طور پر متعین ہوتا ہے، اور اس کے معیار کا حساب لگانے سے پتہ چلتا ہے کہ یہ G کے دو ناقابل کٹوتی حروف کا فرق ہے (یہ بعض اوقات H کے حوالے سے G کے غیر معمولی حروف کے طور پر جانا جاتا ہے)۔ گنتی کی دلیل سے پتہ چلتا ہے کہ G کا ہر غیر معمولی ناقابل تلافی کردار G کے کچھ زیادہ سے زیادہ ابیلین ذیلی گروپ کے نارملائزر سے وابستہ ایک غیر معمولی کردار کے طور پر بالکل ایک بار پیدا ہوتا ہے۔ اسی طرح کی دلیل (لیکن ابیلین ہال کے ذیلی گروپوں کو نیلپوٹنٹ ہال کے ذیلی گروپوں سے تبدیل کرنا) CN-تھیوریم کے ثبوت میں کام کرتی ہے۔ تاہم، آڈ آرڈر تھیوریم کے ثبوت میں، ذیلی گروپوں کے حروف سے G کے حروف کی تعمیر کے لیے دلائل کہیں زیادہ نازک ہیں، اور کریکٹر انڈکشن کے بجائے کریکٹر رنگوں کے درمیان ڈیڈ آئسومیٹری کا استعمال کرتے ہیں، کیونکہ زیادہ سے زیادہ ذیلی گروپوں کی ساخت زیادہ پیچیدہ ہوتی ہے اور وہ کم شفاف طریقے سے سرایت کرتے ہیں۔ غیر معمولی حروف کے نظریہ کی جگہ ڈیڈ آئسومیٹری کو بڑھانے کے لیے حروف کے ایک مربوط سیٹ کے نظریہ نے لے لی ہے۔ تقریبا بولتے ہوئے، یہ نظریہ کہتا ہے کہ ڈیڈ آئسومیٹری کو اس وقت تک بڑھایا جا سکتا ہے جب تک کہ اس میں شامل گروپوں کی کوئی خاص عین ساخت نہ ہو۔ ڈیڈ، سیبلی اور پیٹرفلوی کی وجہ سے کردار کے نظریہ کے ایک آسان ورژن کو بیان کیا۔ مرحلہ 3. حتمی تضاد مرحلہ 2 کے ذریعے، ہمارے پاس سی اے گروپ جی کی کریکٹر ٹیبل کی مکمل اور درست وضاحت ہے۔ اس سے، اور اس حقیقت کا استعمال کرتے ہوئے کہ جی کی عجیب ترتیب ہے، |G | کے تخمینے حاصل کرنے اور اس مفروضے کے تضاد پر پہنچنے کے لیے کافی معلومات دستیاب ہیں کہ جی سادہ ہے۔ دلیل کا یہ حصہ سی این گروپ کیس میں بھی اسی طرح کام کرتا ہے۔ فیٹ تھامسن تھیوریم کے ثبوت میں، تاہم، یہ مرحلہ (ہمیشہ کی طرح) بہت زیادہ پیچیدہ ہے۔ کریکٹر تھیوری صرف مرحلہ 1 کے بعد باقی رہ جانے والی کچھ ممکنہ ترتیبات کو ختم کرتی ہے۔ سب سے پہلے وہ ظاہر کرتے ہیں کہ قسم I کے زیادہ سے زیادہ ذیلی گروہ تمام فروبینیوس گروپ ہیں۔ اگر تمام زیادہ سے زیادہ ذیلی گروپ ٹائپ I ہیں تو CN کیس کی طرح ایک دلیل سے پتہ چلتا ہے کہ گروپ G ایک عجیب ترتیب کا کم سے کم سادہ گروپ نہیں ہو سکتا، اس لیے اقسام II، III، IV یا V کے زیادہ سے زیادہ ذیلی گروپوں کی بالکل دو کلاسیں ہیں۔ باقی ثبوت میں سے زیادہ تر اب ان دو اقسام کے زیادہ سے زیادہ ذیلی گروپ S اور T اور ان کے درمیان تعلق پر مرکوز ہے۔ مزید کریکٹر تھیوریٹک دلائل سے پتہ چلتا ہے کہ وہ قسم IV یا V کے نہیں ہو سکتے۔ دونوں ذیلی گروپوں کا ایک عین مطابق ڈھانچہ ہوتا ہے: ذیلی گروپ S ترتیب pq × q × (pq-1)/(p-1) کا ہوتا ہے اور یہ ترتیب pq کے محدود فیلڈ کے بنیادی سیٹ کے تمام آٹومورفزم پر مشتمل ہوتا ہے جس کی شکل x → محور + b ہوتی ہے جہاں a کا معیار 1 ہوتا ہے اور σ محدود فیلڈ کا آٹومورفزم ہوتا ہے، جہاں p اور q الگ الگ پرائم ہوتے ہیں۔ زیادہ سے زیادہ ذیلی گروپ T کی ساخت ایک جیسی ہے جس میں p اور q الٹے ہیں۔ ذیلی گروہ S اور T قریب سے جڑے ہوئے ہیں۔ پی> کیو لیتے ہوئے، کوئی یہ ظاہر کر سکتا ہے کہ ایس آف آرڈر (پی کیو-1)/(پی-1) کا چکور ذیلی گروپ ٹی آف آرڈر (کیو پی-1)/(کیو-1) کے چکور ذیلی گروپ کے ذیلی گروپ سے منسلک ہے۔ (خاص طور پر، پہلا نمبر دوسرے کو تقسیم کرتا ہے، لہذا اگر فیٹ تھامسن کا قیاس درست ہے، تو یہ اس بات پر زور دے گا کہ ایسا نہیں ہو سکتا، اور اس کا استعمال اس مقام پر ثبوت کو ختم کرنے کے لیے کیا جا سکتا ہے۔ تاہم، قیاس اب بھی غیر ثابت ہے۔) گروپ G پر کریکٹر تھیوری کو لاگو کرنے کا نتیجہ یہ ہے کہ G کی مندرجہ ذیل ساخت ہے: پرائمز p> q ایسے ہیں کہ (pq-1)/(p-1) p-1 کے لیے کوپرائم ہے اور G کا ایک ذیلی گروپ ہے جو سیمی ڈائریکٹ پروڈکٹ پی یو کے ذریعے دیا گیا ہے جہاں P آرڈر pq کے ایک محدود فیلڈ کا اضافی گروپ ہے اور U اس کے نارم 1 کے عناصر ہیں۔ مزید برآں G کے پاس ایک ابیلین ذیلی گروپ Q ہے جس میں آرڈر پرائم سے p ہوتا ہے جس میں ایک عنصر y ہوتا ہے جس میں P0 Q کو معمول بناتا ہے اور (P0) y U کو معمول بناتا ہے، جہاں P0 آرڈر p کی محدود فیلڈ کا اضافی گروپ ہے۔ (p = 2 کے لیے اسی طرح کی ترتیب گروپ SL2 (2q) میں ہوتی ہے، جس میں پی یو اوپری مثلث میٹرکس کا ایک بوریل ذیلی گروپ ہے اور Q آرڈر 3 کا ذیلی گروپ ہے جس کے ذریعے پیدا ہوتا ہے۔) اس حتمی کیس کو ختم کرنے کے لیے، تھامسن نے جنریٹرز اور رلیشنز کے ساتھ کچھ خوفناک پیچیدہ ہیرا پھیری کا استعمال کیا، جنہیں بعد میں آسان بنایا گیا، جن کی دلیل کو دوبارہ پیش کیا گیا ہے۔ ثبوت ترتیب pq کے محدود فیلڈ میں عناصر a کے سیٹ کا اس طرح جائزہ لیتا ہے کہ a اور 2-a دونوں کا معیار 1 ہو۔ پہلے یہ چیک کریں کہ اس سیٹ میں 1 کے علاوہ کم از کم ایک عنصر ہے۔ پھر گروپ G میں جنریٹرز اور تعلقات کا استعمال کرتے ہوئے ایک مشکل دلیل سے پتہ چلتا ہے کہ سیٹ الٹا لینے کے تحت بند ہے۔ اگر a سیٹ میں ہے اور 1 کے برابر نہیں ہے تو کثیر الجہتی N (((1-a) x + 1)-1 کی ڈگری q ہے اور اس میں کم از کم p الگ الگ جڑیں ہیں جو Fp میں عناصر x کے ذریعہ دی گئی ہیں، اس حقیقت کا استعمال کرتے ہوئے کہ x → 1/(2-x) سیٹ کو خود سے نقشہ بناتا ہے، لہذا p ≤ q، مفروضہ p> q سے متصادم ہے۔ عجیب پن کا استعمال یہ حقیقت کہ گروپ G کی ترتیب عجیب ہے، ثبوت میں کئی جگہوں پر استعمال ہوتی ہے، جیسا کہ درج ذیل ہے۔ ہال-ہیگ مین تھیوریم عجیب ترتیب کے گروپوں کے لیے زیادہ تیز ہے۔ عجیب ترتیب کے گروپوں کے لیے، تمام غیر پرنسپل حروف پیچیدہ کنجوگیٹ جوڑوں میں پائے جاتے ہیں۔ پی-گروپوں کے بارے میں کئی نتائج صرف طاق پرائمز کے لیے ہوتے ہیں۔ اگر طاق ترتیب کے کسی گروپ میں درجہ 3 کا کوئی ابتدائی ابیلین ذیلی گروپ نہیں ہے، تو اس کا ماخوذ گروپ نیلپوٹینٹ ہے۔ (یہ یکساں ترتیب کے سمیٹرک گروپ S4 کے لیے ناکام ہوتا ہے۔) کریکٹر تھیوری پر مشتمل کئی دلائل چھوٹے پرائمز کے لیے ناکام ہو جاتے ہیں، خاص طور پر پرائم 2 کے لیے۔ محدود گروہوں کے بارے میں حوالہ جات کے نظریات