موضوع مقاله: نظریه جبری اعداد | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # نظریه جبری اعداد | مقدمه: نظریه جبری اعداد (یا نظریه اعداد جبری)، شاخه ای از نظریه اعداد است که از تکنیک های جبر مجرد برای مطالعه اعداد صحیح، اعداد گویا و تعمیمشان استفاده می کند. | ## بخش 1: نظریه جبری اعداد | سؤالات نظریه اعدادی بر اساس خواص اشیاء جبری چون میدان اعداد جبری و حلقه های اعداد صحیحشان، میدان های متناهی و میدان توابع بیان می شود. چنین خواصی مثل خاصیت تجزیه یکتایی یک حلقه، رفتار ایده‌آل‌ها و گروه های گالوای میدان ها می تواند مسائل مهم نظریه اعداد چون وجود جواب برای معادلات سیاله ای را حل کند. تاریخچه نظریه جبری اعداد دیوفانتوس آغاز نظریه جبری اعداد به معادلات سیاله ای (یا دیوفانتینی) بر می گردد،Stark, pp. نام این معادلات به ریاضیدان اهل اسکندریه قرن سوم میلادی یعنی دیوفانتوس بر می گردد، که این معادلات را مطالعه کرده و روش هایی برای حل برخی از انواع معادلات سیاله ای (یا دیوفانتینی) توسعه داد. یک مسئله سیاله ای عادی به این شکل است که باید دو عدد صحیح مثل و چنان پیدا کنیم که جمعشان و جمع مربعاتشان به ترتیب برابر و باشد: معادلات سیاله ای برای هزاران سال مطالعه شدند. به عنوان مثال، جواب معادله سیاله ای مربعی توسط سه تایی های فیثاغورسی داده شده که ابتداً بابلی ها (۱۸۰۰ قبل از میلاد) آن را حل کردند.Aczel, pp. جواب های معادلات سیاله ای چون ممکن است با استفاده از الگوریتم اقلیدس پیدا شوند (قرن پنجم قبل از میلاد).Stark, pp. مشهور است که فرما آن را در حاشیه کتاب Arithmetica یادداشت کرد و در آنجا ادعا می کند که اثباتی برای آن دارد که به خاطر بزرگ بودنش در حاشیه کتاب جا نمی‌شود. تا سال ۱۹۹۵ با وجود تلاش های فراوان بسیاری از ریاضیدانان در طی ۳۵۸ سال هیچ اثباتی برای این حدس منتشر نشد. این مسئله حل نشده موجب تحریک توسعه نظریه جبری اعداد در قرن نوزدهم میلادی شده و اثبات قضیه مدولاریتی را در قرن بیستم رقم زد. در این کتاب، گاوس نتایج مختلف در نظریه اعداد را که توسط ریاضیدانانی چون فرما، اویلر، لاگرانژ و لژاندر بدست آمده بودند را گرد هم آورده و نتایج مهم جدیدی از خودش نیز بدان افزود. قبل از این که این کتاب منتشر شود، نظریه اعداد عمدتاً شامل مجموعه ای از قضایا و حدس های منزوی بود. گاوس کارهای پیشینیان خود را به همراه کار اصیل خویش گرد هم آورد و در یک چارچوب نظام مند، شکاف ها را پر کرده، اثبات های بی معنا را معنا بخشید و موضوع مورد نظر را به طرق مختلف گسترش داد. بسیاری از تفاسیری که توسط گاوس داده شده نشان از تحقیقات بیشتر او بود که برخی از آن ها منتشر نشده باقی ماندند. این تفاسیر نزد هم عصران وی حالت رمزی داشت؛ البته امروزه ما متوجه نکات او می شویم، به طور خاص نطفه مباحثی چون L-توابع و ضرب مختلط. دیریکله پیتر گوستاف لژیونه دیریکله در دو مقاله در سال های ۱۸۳۸ و ۱۸۳۹ اولین فرمول های کلاس اعداد را برای فرم های مربعی اثبات کرد (بعد ها توسط دانشجویش به نام لئوپولد کرونکر این فرمول ها پالایش شدند). این فرمول که ژاکوبی از آن به نتیجه ای که "منتهای فراست بشریت را لمس می کند" یاد کرد، راهی را برای نتایج مشابه با توجه به میدان های عددی عمومی تر باز کرد. بر اساس تحقیق او در مورد ساختار گروه عناصر معکوس پذیر میدان های مربعی، او قضیه یکه (عناصر معکوس پذیر) دیریکله را اثبات کرد که نتیجه بنیادینی در نظریه جبری اعدادست. او ابتدا از اصل لانه کبوتری که یک استدلال مقدماتی شمارشی است، در اثباتش از قضیه ای در تخمین سیاله ای استفاده کرد که بعد ها به نام او نامگذاری شد (قضیه تخمین دیریکله). او کمک های مهمی به قضیه آخر فرما با اثبات حالات و از قضیه آخر فرما و قانون تقابل درجه چهار (حالت درجه چهارم تعمیم قانون تقابل مربعی) کرده و آن را منتشر نمود. مسئله مقسوم علیه های دیریکله، که او برایش اولین نتایج را پیدا کرد، هنوز هم با وجود کمک هایی از سوی محققان دیگر یک مسئله حل نشده در نظریه اعداد می باشد. ددکیند مطالعه ی ریچارد ددکیند بر روی کار های لژیونه دیریکله منجر شد به این که او بعد ها به مطالعه نظریه جبری اعداد و ایده‌آل ها بپردازد. (کلمه "حلقه"، بعد ها توسط هیلبرت معرفی شده و در کار های ددکیند دیده نمی‌شود.) ددکیند یک ایده‌آل را به عنوان زیر مجموعه ای از اعداد می دید، که شامل اعداد صحیح جبری ای می شود که در معادلات چند جمله ای با ضرایب صحیح صدق می کنند. ایده‌آل ها، اعداد ایده‌آل ارنست ادوارد کومر را تعمیم می دهد، مفهومی (اعداد ایده‌آل) که کومر در تلاشش به هدف اثبات آخرین قضیه فرما در ۱۸۴۳ خلق کرد. هلیبرت دیوید هیلبرت با رساله Zahlbericht (معنی تحت‌اللفظی آن می شود "گزارشی در مورد اعداد") خود در سال ۱۸۹۷، شاخه نظریه جبری اعداد را متحد ساخت. با قضیه متناهی بودن خود، از یک اثبات وجودی استفاده کرد که نشان می داد باید راه حل هایی برای این مسئله وجود داشته باشد، نه صرفاً مکانیسمی برای تولید جواب ها.Reid, Constance, 1996. | ## بخش 2: نظریه جبری اعداد | این مفاهیم بسیار تأثیرگذار بودند و نامش بر خدماتی که به این زمینه ها کرد ماندنی شد، مثل کلاس میدانی هیلبرت و نماد هیلبرت از نظریه کلاس میدانی موضعی. این نتایج اغلب در ۱۹۳۰، پس از کار با تیجی تاکاگی اثبات شدند.این کار، تاکاگی را به عنوان اولین ژاپنی در قامت یک ریاضیدان بین‌المللی مطرح ساخت آرتین امیل آرتین قانون تقابل آرتینی را در یک سری مقالات (۱۹۲۴؛ ۱۹۲۷؛ ۱۹۳۰) بنا نهاد. 266–279 عبارت "قانون تقابل" به خطی طولانی از احکام ملموس تر نظریه اعدادی اشاره می کند که این قانون (تقابل آرتینی) آن ها را تعمیم می دهد، از قانون تقابل مربعی و قوانین تقابل آیزنشتاین و کومر گرفته تا فرمول ضرب هیلبرت برای نماد نرم. نظریه مدرن حدود ۱۹۵۵، ریاضیدانان ژاپنی به نام گورو شیمورا و یاتوکا تانیاما یک ارتباط ممکن بین دو شاخه به ظاهر کاملاً مجزای ریاضیات، یعنی خم های بیضوی و فرم های مدولار را مشاهده کردند. قضیه مدولاریتی حاصل (در آن زمان معروف به حدس تانیاما-شیمورا بود) بیان می کند که هر خم بیضوی مدولار است، یعنی به آن یک فرم مدولار یکتا را می توان نظیر کرد. سپس جزوی از برنامه لنگلندز قرار گرفت، این برنامه لیستی از حدس هایی بود که نیاز به اثبات یا رد داشتند. اندرو وایلز از ۱۹۹۳ تا ۱۹۹۴ اثبات قضیه مدولاریتی برای خم های بیضوی نیمه-پایا ارائه کرد، که همراه با قضیه Ribet، اثباتی برای قضیه آخر فرما ارائه می نمود. تقریباً همه ریاضیدانان زمانه پیش از آن اثبات هردو قضیه آخر فرما و قضیه مدولاریتی را حتی زمانی که مهم ترین پیشرفت ها در این زمینه ها حاصل می شد، یا غیر ممکن یا مجازاً غیر ممکن در نظر می گرفتند. سپس وایلز با همکاری ریچارد تیلور این شکاف را تصحیح کرده و نتیجه نهایی پذیرفته شده در سپتامبر ۱۹۹۴ بیرون داده شد و به طور رسمی در ۱۹۹۵ منتشر شد. اثبات آن از بسیاری از تکنیک های هندسه جبری، نظریه جبری اعداد و بسیاری از انشعابات این دو شاخه از ریاضیات استفاده می کند. همچنین از سازه های هندسه جبری مدرن، چون رسته اسکیم ها و قضیه ایواساوا و تکنیک های قرن بیستمی که در دسترس فرما نبود نیز استفاده می کند. مفاهیم پایه نقض تجزیه یکتا یک خاصیت مهم حلقه اعداد صحیح، ارضاء قضیه اساسی حساب است، یعنی هر عدد صحیح (مثبت) را می توان به صورت ضرب عوامل اولش تجزیه کرد، و این تجزیه در حد ترتیب عوامل یکتاست. اما این خاصیت ممکن است برای حلقه اعداد صحیح جبری از یک میدان اعداد جبری دیگر برقرار نباشد. یک عنصر اول، عنصری چون از است به طوری که اگر ضرب را عاد کند (بشمارد)، آنگاه یا را عاد می کند یا را. این خاصیت ارتباط نزدیکی با اول بودن اعداد صحیح دارد، چون هر عدد صحیح مثبتی که این خاصیت را ارضاء کند یا ۱ است یا عددی اول. اگر تجزیه به عناصر اول مجاز باشد، آنگاه حتی در اعداد صحیح هم تجزیه های مختلفی وجود خواهند داشت، مثل: در کل، اگر یک عنصر معکوس پذیر باشد، یعنی عددی که در معکوس ضربی دارد، آنگاه اگر یک عنصر اول باشد، هم عنصری اول خواهد بود. این که مثبت بودن اعداد اول را الزامی در نظر بگیریم، منجر به این می شود که عنصر یکتایی در بین مجموعه عناصر اول متناظر با آن (شریک با آن) انتخاب شود. به عنوان مثال در اعداد صحیح گاوسی ، اعداد و شریک هستند، چون اگر عدد اولی را در ضرب کنیم به دومی می رسیم، اما راهی برای انتخاب میان یکی از آن ها وجود ندارد، از این دو عدد به معادله زیر می رسیم: که اثبات می کند در ، امکان تجزیه یکتا در حد ترتیب عوامل وجود ندارد. به همین دلیل است که از تعریف تجزیه یکتایی که در دامنه های تجزیه یکتا (UFD ها) وجود دارد استفاده می کنند. به هر حال، حتی با این تعریف ضعیف تر، بسیاری از حلقه های اعداد صحیح در میدان های عددی جبری هم خاصیت تجزیه یکتایی را دارا نیستند. زمانی که گروه کلاس ایده‌آل در یک میدان اعداد بدیهی باشد، این حلقه (حلقه اعداد صحیح جبری یا ) UFD است. زمانی که حلقه اعداد صحیح جبری مربوط به یک میدان عددی خاصیت تجزیه یکتایی نداشته باشد، تمایزی بین عنصر اول و عنصر تحویل ناپذیر شکل می گیرد. یک عنصر تحویل ناپذیر چون عنصری است که اگر برای آن داشته باشیم ، آنگاه یا یا معکوس پذیر خواهد بود. علتش این است که در حالی که تمام عناصر اول تحویل ناپذیرند، برخی عناصر تحویل ناپذیر وجود دارند که ممکن است اول نباشند. این بدان معناست که عدد ۹ دو تجزیه به عناصر تحویل ناپذیر دارد: این معادله نشان می دهد که ۳ حاصلضرب را می شمارد. اگر ۳ یک عنصر اول بود، آنگاه یا را می شمرد، اما نمی شمارد، چون تمام عناصری که بر ۳ بخش پذیرند به شکل هستند. | ## بخش 3: نظریه جبری اعداد | به طور مشابه و حاصلضرب را می شمارد، اما هیچ کدام از این عناصر خود ۳ را عاد نمی‌کنند، بنابر این هیچ کدام اول نیستند. برعکس شرایطی که در مورد عناصر معکوس‌پذیر وجود دارد، که در آن یکتا بودن را می توان با تعریف ضعیف تری ترمیم کرد، در مورد نقض تجزیه یکتا نیاز به دیدگاه جدید تری وجود دارد. تجزیه به ایده‌آل‌های اول اگر ایده‌آلی از (حلقه اعداد جبری از میدان اعداد مورد نظر) باشد آنگاه همیشه تجزیه ای به شکل زیر برای وجود خواهد داشت: که در آن هر یک ایده‌آل اول بوده و این عبارت در حد ترتیب عوامل یکتا می باشد. این قوی ترین حالتی است که می توان تجزیه یکتایی را برای حلقه اعداد جبری یک میدان اعداد دلخواه تعریف کرد. به عنوان مثال در ، ایده‌آل یک ایده‌آل اول است که نمی توان آن را با یک عنصر تولید کرد. به طور تاریخی، ایده تجزیه ایده‌آل ها به ایده‌آل های اول، قبل از معرفی اعداد ایده‌آل توسط ارنست کومر معرفی شد. بر اساس قضیه ایده‌آل اصلی، هر ایده‌آل اول از یک ایده‌آل اصلی از حلقه اعداد صحیح جبری را تولید می کند. کومر ازین مفاهیم به عنوان جایگزینی برای نقض تجزیه یکتا در میدان های دوری استفاده کرد. این ها نهایتاً منجر شد که ریچارد ددکیند مفهوم ایده‌آل ها را معرفی کرده و تجزیه یکتایی ایده‌آل ها را به کمک آن اثبات کند. ایده‌آلی که در حلقه اعداد صحیح جبری یک میدان عددی اول باشد، ممکن است هنگام توسیع به میدان عددی بزرگتر دیگر اول نباشد. در حالی که زمانی که این ایده‌آل ها را به اعداد صحیح گاوسی توسعه می دهیم تا به برسیم، ممکن است در آنجا اول باشند یا نباشند. به عنوان مثال، تجزیه نتیجه می دهد: توجه کنید که ، یعنی ایده‌آل های تولید شده توسط و یکی هستند. جواب کامل به این سؤال که چه ایده‌آلی هنگام توسعه به اعداد صحیح گاوسی اول باقی می ماند؟ این قضیه بیان میدارد: برای عدد اول فردی چون ، ایده‌آل اول است اگر و اول نیست اگر . این قضیه به همراه مشاهده اول بودن توصیف کاملی از ایده‌آل های اول در اعداد صحیح گاوسی را فراهم می آورد. تعمیم این نتیجه ساده به حلقه های کلی تر اعداد صحیح جبری، یک مسئله بنیادین در نظریه جبری اعدادست. گروه کلاس ایده‌آلی تجزیه یکتا نقض می شود اگر و تنها اگر ایده‌آل‌های اول غیر اصلی وجود داشته باشند. گروه کلاس ایده‌آلی شیئیست که میزان نقض (انحراف از) اصلی بودن یک ایده‌آل را اندازه گیری می کند. تعریف گروه کلاس ایده‌آلی نیازمند بزرگ کردن مجموعه ایده‌آل های اعداد صحیح جبری است، چنان که ساختار گروهی بپذیرند. یک ایده‌آل کسری زیرگروهی جمعی چون از است که تحت ضرب توسط عناصر بسته باشند، یعنی اگر آنگاه . اگر و ایده‌آل های کسری باشند، آنگاه مجموعه از ضرب تمام عناصر درون و نیز یک ایده‌آل کسریست. همانی گروه، ایده‌آل است و معکوس ایده‌آل کسری چون یک خارج قسمت (تعمیم یافته) ایده‌آلی به صورت است. ایده‌آل های کسری اصلی، یعنی آن ها که به شکل هستند که در آن ، تشکیل زیرگروهی از تمام ایده‌آل های غیر صفر کسری می دهند. خارج قسمت گروه ایده‌آل های کسری ناصفر توسط این زیر گروه را گروه کلاس ایده‌آلی گویند. دو ایده‌آل و نمایش دهنده ی یک عنصر از گروه کلاس ایده‌آلی هستند اگر و تنها اگر وجود داشته باشد عنصری مثل به طوری که . لذا، گروه کلاس ایده‌آلی دو ایده‌آل کسری را مساوی هم قرار می دهد اگر یکی از آن ها به اندازه ای از اصلی بودن فاصله داشته باشد که دیگری فاصله دارد. | ## جمع‌بندی | گروه کلاس ایده‌آلی به صورت ، یا نمایش داده می شود (نماد آخر، این گروه را با گروه پیکارد در هندسه جبری یکی در نظر می گیرد).