نمایش مبدأ برای نظریه جبری اعداد

[[پرونده:Disqvisitiones-800.jpg|جایگزین=کتاب Disquisitiones Arithmeticae از گاوس|بندانگشتی|عنوان صفحه اولین ویرایش کتاب Disquisitiones Arithmeticae، یکی از کار های بنیادین نظریه جبری اعداد مدرن، اثر [[کارل فریدریش گاوس|کارل فردریش گاوس]].]]
'''نظریه جبری اعداد''' {{انگلیسی|Algebraic Number Theory}} (یا '''نظریه اعداد جبری''')، شاخه ای از [[نظریه اعداد]] است که از تکنیک های [[جبر مجرد]] برای مطالعه [[عدد صحیح|اعداد صحیح]]، [[عدد گویا|اعداد گویا]] و تعمیمشان استفاده می کند. سؤالات نظریه اعدادی بر اساس خواص اشیاء جبری چون میدان [[عدد جبری|اعداد جبری]] و حلقه های اعداد صحیحشان، میدان های متناهی و میدان توابع بیان می شود. چنین خواصی مثل خاصیت تجزیه یکتایی یک حلقه، رفتار [[ایده‌آل (نظریه حلقه‌ها)|ایده‌آل‌ها]] و گروه های گالوای میدان ها می تواند مسائل مهم نظریه اعداد چون وجود جواب برای [[معادله سیاله|معادلات سیاله ای]] را حل کند. 

== تاریخچه نظریه جبری اعداد ==
=== [[دیوفانت|دیوفانتوس]] ===
آغاز نظریه جبری اعداد به [[معادلات سیاله ای]] (یا دیوفانتینی) بر می گردد،<ref>Stark, pp. 145–146.</ref> نام این معادلات به [[ریاضی‌دان|ریاضیدان]] اهل [[اسکندریه]] [[سده ۳ (میلادی)|قرن سوم میلادی]] یعنی [[دیوفانت|دیوفانتوس]] بر می گردد، که این معادلات را مطالعه کرده و روش هایی برای حل برخی از انواع معادلات سیاله ای (یا دیوفانتینی) توسعه داد. یک مسئله سیاله ای عادی به این شکل است که باید دو عدد صحیح مثل <math>\mathrm{x}</math> و <math>\mathrm{y}</math> چنان پیدا کنیم که جمعشان و جمع مربعاتشان به ترتیب برابر <math>\mathrm{A}</math> و <math>\mathrm{B}</math> باشد:
:<math>A = x + y \,</math>
:<math>B = x^2 + y^2. \,</math>
معادلات سیاله ای برای هزاران سال مطالعه شدند. به عنوان مثال، جواب معادله سیاله ای مربعی <math>\mathrm{x^{2} + y^{2} = z^{2}} \,</math> توسط سه تایی های فیثاغورسی داده شده که ابتداً [[تمدن بابل|بابلی ها]] (۱۸۰۰ قبل از میلاد) آن را حل کردند.<ref>Aczel, pp. 14–15.</ref> جواب های معادلات سیاله ای چون <math>26x + 65y = 13 \,</math> ممکن است با استفاده از [[الگوریتم اقلیدس]] پیدا شوند (قرن پنجم قبل از میلاد).<ref>Stark, pp. 44–47.</ref>

بزرگترین کار دیوفانتوس اثری بود به نام ''Arithmetica'' که تنها بخشی از آن باقی مانده است.

=== [[پیر دو فرما|فرما]] ===
[[قضیه آخر فرما]] اولین حدسی بود که توسط [[پیر دو فرما|پیر د فرما]] در ۱۶۳۷ زده شد. مشهور است که فرما آن را در حاشیه کتاب ''Arithmetica'' یادداشت کرد و در آنجا ادعا می کند که اثباتی برای آن دارد که به خاطر بزرگ بودنش در حاشیه کتاب جا نمی‌شود. تا سال ۱۹۹۵ با وجود تلاش های فراوان بسیاری از ریاضیدانان در طی ۳۵۸ سال هیچ اثباتی برای این حدس منتشر نشد. این مسئله حل نشده موجب تحریک توسعه نظریه جبری اعداد در [[سده ۱۹ (میلادی)|قرن نوزدهم]] میلادی شده و اثبات قضیه مدولاریتی را در [[سده ۲۰ (میلادی)|قرن بیستم]] رقم زد.

=== [[کارل فریدریش گاوس|گاوس]] ===
یکی از کار های بنیادین در نظریه جبری اعداد، کتابی با نام ''تحقیقاتی در حساب'' (با عنوان لاتین: '''''Disquisitiones Arithmeticae''''') است که به زبان لاتین<ref>[http://yalepress.yale.edu/yupbooks/book.asp?isbn=9780300094732 ''Disquisitiones Arithmeticae''] at Yalepress.yale.edu</ref> توسط کارل فردریش گاوس در ۱۷۹۸ نوشته شد، زمانی که او ۲۱ ساله بود و اولین چاپش مربوط به ۱۸۰۱ زمانی که او ۲۴ ساله بود صورت گرفت. در این کتاب، گاوس نتایج مختلف در نظریه اعداد را که توسط ریاضیدانانی چون [[پیر دو فرما|فرما]]، [[لئونارد اویلر|اویلر]]، [[ژوزف-لوئی لاگرانژ|لاگرانژ]] و [[لژاندر ۲۶۹۵۰|لژاندر]] بدست آمده بودند را گرد هم آورده و نتایج مهم جدیدی از خودش نیز بدان افزود. قبل از این که این کتاب منتشر شود، نظریه اعداد عمدتاً شامل مجموعه ای از قضایا و حدس های منزوی بود. گاوس کارهای پیشینیان خود را به همراه کار اصیل خویش گرد هم آورد و در یک چارچوب نظام مند، شکاف ها را پر کرده، اثبات های بی معنا را معنا بخشید و موضوع مورد نظر را به طرق مختلف گسترش داد.

کتاب ''Disquisitiones'' نقطه شروعی برای کار های دیگر ریاضیدانانی چون [[ارنست ادوارد کومر|ارنست کومر]]، [[یوهان پتر گوستاف لوژون دیریکله|پیتر گوستاف لوژون دیریکله]] و [[ریچارد ددکیند]] در [[سده ۱۹ (میلادی)|قرن نوزدهم]] بود. بسیاری از تفاسیری که توسط گاوس داده شده نشان از تحقیقات بیشتر او بود که برخی از آن ها منتشر نشده باقی ماندند. این تفاسیر نزد هم عصران وی حالت رمزی داشت؛ البته امروزه ما متوجه نکات او می شویم، به طور خاص نطفه مباحثی چون [[L-توابع]] و [[ضرب مختلط]].

===[[یوهان پتر گوستاف لوژون دیریکله|دیریکله]]=== 
پیتر گوستاف لژیونه دیریکله در دو مقاله در سال های ۱۸۳۸ و ۱۸۳۹ اولین فرمول های کلاس اعداد را برای فرم های مربعی اثبات کرد (بعد ها توسط دانشجویش به نام [[لئوپولد کرونکر]] این فرمول ها پالایش شدند). این فرمول که [[کارل گوستاو یاکوب یاکوبی|ژاکوبی]] از آن به نتیجه ای که "منتهای فراست بشریت را لمس می کند" یاد کرد، راهی را برای نتایج مشابه با توجه به میدان های عددی عمومی تر باز کرد.<ref name=Elstrodt>{{cite journal | last = Elstrodt | first = Jürgen | journal = Clay Mathematics Proceedings | title = The Life and Work of Gustav Lejeune Dirichlet (1805–1859) | work =  | publisher =  | year = 2007 | url = http://www.uni-math.gwdg.de/tschinkel/gauss-dirichlet/elstrodt-new.pdf | format = [[PDF]] | doi =  | accessdate = 2007-12-25 | archive-date = ۲۲ مه ۲۰۲۱ | archive-url = https://web.archive.org/web/20210522140235/https://www.uni-math.gwdg.de/tschinkel/gauss-dirichlet/elstrodt-new.pdf | url-status = dead }}</ref> بر اساس تحقیق او در مورد ساختار گروه عناصر معکوس پذیر میدان های مربعی، او قضیه یکه (عناصر معکوس پذیر) دیریکله را اثبات کرد که نتیجه بنیادینی در نظریه جبری اعدادست.<ref name=Kanemitsu>{{cite book| last = Kanemitsu| first = Shigeru|author2=Chaohua Jia| title=Number theoretic methods: future trends | url = https://archive.org/details/numbertheoreticm00alla| year=2002| publisher=Springer| location  = | isbn= 978-1-4020-1080-4| pages= [https://archive.org/details/numbertheoreticm00alla/page/n275 271]–274}}</ref>

او ابتدا از [[اصل لانه کبوتری]] که یک استدلال مقدماتی شمارشی است، در اثباتش از قضیه ای در تخمین سیاله ای استفاده کرد که بعد ها به نام او نامگذاری شد (قضیه تخمین دیریکله). او کمک های مهمی به [[قضیه آخر فرما]] با اثبات حالات <math>\mathrm{n = 5}</math> و <math>\mathrm{n = 14}</math> از قضیه آخر فرما و قانون تقابل درجه چهار (حالت درجه چهارم تعمیم [[قانون تقابل مربعی]]) کرده و آن را منتشر نمود.<ref name=Elstrodt/> مسئله [[مقسوم‌علیه|مقسوم علیه]] های دیریکله، که او برایش اولین نتایج را پیدا کرد، هنوز هم با وجود کمک هایی از سوی محققان دیگر یک مسئله حل نشده در نظریه اعداد می باشد.

=== [[ریچارد ددکیند|ددکیند]] ===
مطالعه ی ریچارد ددکیند بر روی کار های [[یوهان پتر گوستاف لوژون دیریکله|لژیونه دیریکله]] منجر شد به این که او بعد ها به مطالعه نظریه جبری اعداد و ایده‌آل ها بپردازد. در ۱۸۶۳، او درسنامه های لژیونه دیریکله در مورد نظریه اعداد را با نام ''Vorlesungen über Zahlentheorie'' ("درسنامه هایی در مورد نظریه اعداد") منتشر کرد که در مورد آن چنین نوشته اند:

<blockquote>
"گرچه که این کتاب بدون شک براساس درسنامه های دیریکله بنا شده است، و گرچه که خود ددکیند در کل عمر خود به آن کتاب دیریکله می گفت، خود این کتاب تماماً توسط ددکیند نوشته شده است، و بخش های عمده آن پس از مرگ دیریکله نوشته شده." (Edwards 1983)
</blockquote>

ویرایش های ۱۸۷۹ و 1894 ''Vorlesungen'' شامل اضافاتی مربوط به توضیح مفهوم ایده‌آل ها، که در نظریه حلقه ها نقش اساسی دارند می باشد. (کلمه "حلقه"، بعد ها توسط هیلبرت معرفی شده و در کار های ددکیند دیده نمی‌شود.) ددکیند یک ایده‌آل را به عنوان زیر مجموعه ای از اعداد می دید، که شامل اعداد صحیح جبری ای می شود که در معادلات [[چندجمله‌ای|چند جمله ای]] با ضرایب صحیح صدق می کنند. این مفهوم بدست هیلبرت و به‌خصوص [[امی نوتر]] بیشتر توسعه یافت. ایده‌آل ها، اعداد ایده‌آل [[ارنست ادوارد کومر]] را تعمیم می دهد، مفهومی (اعداد ایده‌آل) که کومر در تلاشش به هدف اثبات آخرین قضیه فرما در ۱۸۴۳ خلق کرد.

=== [[دیوید هیلبرت|هلیبرت]] ===
دیوید هیلبرت با رساله ''Zahlbericht'' (معنی تحت‌اللفظی آن می شود "گزارشی در مورد اعداد") خود در سال ۱۸۹۷، شاخه نظریه جبری اعداد را متحد ساخت. او همچنین مسئله مهم نظریه اعدادی که Waring در ۱۷۷۰ فرموله کرده بود را حل کرد. با قضیه متناهی بودن خود، از یک اثبات وجودی استفاده کرد که نشان می داد باید راه حل هایی برای این مسئله وجود داشته باشد، نه صرفاً مکانیسمی برای تولید جواب ها.<ref>Reid, Constance, 1996. ''Hilbert'', [[Springer Science and Business Media|Springer]], {{ISBN|0-387-94674-8}}.</ref>

او یک سری حدس ها در مورد نظریه کلاس میدانی (Class Field Theory) مطرح کرد. این مفاهیم بسیار تأثیرگذار بودند و نامش بر خدماتی که به این زمینه ها کرد ماندنی شد، مثل کلاس میدانی هیلبرت و نماد هیلبرت از نظریه کلاس میدانی موضعی. این نتایج اغلب در ۱۹۳۰، پس از کار با تیجی تاکاگی اثبات شدند.<ref>این کار، تاکاگی را به عنوان اولین ژاپنی در قامت یک ریاضیدان بین‌المللی مطرح ساخت</ref>

=== [[امیل آرتین|آرتین]] ===
امیل آرتین قانون تقابل آرتینی را در یک سری مقالات (۱۹۲۴؛ ۱۹۲۷؛ ۱۹۳۰) بنا نهاد. این قانون یک قضیه کلی در نظریه اعداد است که جایگاهی مرکزی در نظریه کلاس میدانی سرتاسری دارد.<ref>[[Helmut Hasse]], ''History of Class Field Theory'', in ''Algebraic Number Theory'', edited by Cassels and Frölich, Academic Press, 1967, pp. 266&#x2013;279</ref> عبارت "قانون تقابل" به خطی طولانی از احکام ملموس تر نظریه اعدادی اشاره می کند که این قانون (تقابل آرتینی) آن ها را تعمیم می دهد، از قانون تقابل مربعی و قوانین تقابل آیزنشتاین و کومر گرفته تا فرمول ضرب هیلبرت برای نماد نرم. نتیجه آرتین یک حل جزئی برای مسئله نهم هیلبرت ارائه داد.

=== نظریه مدرن ===
حدود ۱۹۵۵، ریاضیدانان ژاپنی به نام گورو شیمورا و یاتوکا تانیاما یک ارتباط ممکن بین دو شاخه به ظاهر کاملاً مجزای ریاضیات، یعنی خم های بیضوی و فرم های مدولار را مشاهده کردند. قضیه مدولاریتی حاصل (در آن زمان معروف به حدس تانیاما-شیمورا بود) بیان می کند که هر خم بیضوی مدولار است، یعنی به آن یک فرم مدولار یکتا را می توان نظیر کرد. 

ابتدا به این حدس توجهی نشد یا ریسک آن بالا در نظر گرفته می شد، ولی زمانی که آندره ویل برخی مدارک پشتیبانی کننده برای آن یافت، جدی تر تلقی شد، اما هنوز اثبات نشده بود، به گونه ای که این حدس "شگفت انگیز" خوانده شد<ref name="Singh">''Fermat's Last Theorem (book)'', [[Simon Singh]], 1997, {{ISBN|1-85702-521-0}}></ref> و به نام حدس تانیاما-شیمورا-ویل شناخته شد. سپس جزوی از [[برنامه لنگلندز]] قرار گرفت، این برنامه لیستی از حدس هایی بود که نیاز به اثبات یا رد داشتند. 

[[اندرو وایلز]] از ۱۹۹۳ تا ۱۹۹۴ اثبات قضیه مدولاریتی برای خم های بیضوی نیمه-پایا ارائه کرد، که همراه با قضیه Ribet، اثباتی برای قضیه آخر فرما ارائه می نمود. تقریباً همه ریاضیدانان زمانه پیش از آن اثبات هردو قضیه آخر فرما و قضیه مدولاریتی را حتی زمانی که مهم ترین پیشرفت ها در این زمینه ها حاصل می شد، یا غیر ممکن یا مجازاً غیر ممکن در نظر می گرفتند. وایلز، اولین بار اثبات خود را در ژوئن سال ۱۹۹۳ میلادی اعلام کرد.<ref name=nyt>{{cite news|last=Kolata|first=Gina|title=At Last, Shout of 'Eureka!' In Age-Old Math Mystery|url=https://www.nytimes.com/1993/06/24/us/at-last-shout-of-eureka-in-age-old-math-mystery.html|accessdate=21 January 2013|newspaper=The New York Times|date=24 June 1993}}</ref> اما به زودی مشخص شد که این نسخه از اثبات در نقاط کلیدی اش شکاف های بزرگی دارد. سپس وایلز با همکاری ریچارد تیلور این شکاف را تصحیح کرده و نتیجه نهایی پذیرفته شده در سپتامبر ۱۹۹۴ بیرون داده شد و به طور رسمی در ۱۹۹۵ منتشر شد. اثبات آن از بسیاری از تکنیک های [[هندسه]] جبری، نظریه جبری اعداد و بسیاری از انشعابات این دو شاخه از ریاضیات استفاده می کند. همچنین از سازه های [[هندسه جبری]] مدرن، چون رسته اسکیم ها و قضیه ایواساوا و تکنیک های قرن بیستمی که در دسترس فرما نبود نیز استفاده می کند.

== مفاهیم پایه ==
=== نقض تجزیه یکتا ===
یک خاصیت مهم [[حلقه (ریاضیات)|حلقه]] [[عدد صحیح|اعداد صحیح]]، ارضاء [[قضیه اساسی حساب]] است، یعنی هر عدد صحیح (مثبت) را می توان به صورت ضرب عوامل اولش تجزیه کرد، و این تجزیه در حد ترتیب عوامل یکتاست.  اما این خاصیت ممکن است برای [[حلقه اعداد صحیح جبری]] <math>O</math> از یک [[میدان اعداد جبری]] <math>K</math> دیگر برقرار نباشد. 

یک ''عنصر اول''، عنصری چون <math>p</math> از <math>O</math> است به طوری که اگر ضرب <math>ab</math> را عاد کند (بشمارد)، آنگاه یا <math>a</math> را عاد می کند یا <math>b</math> را. این خاصیت ارتباط نزدیکی با [[عدد اول|اول بودن اعداد صحیح]] دارد، چون هر عدد صحیح مثبتی که این خاصیت را ارضاء کند یا ۱ است یا عددی اول. با این حال، این خاصیت به طور اکید ضعیف تر است. به عنوان مثال ۲- عدد اول نیست، چون منفی است، اما یک عنصر اول است. اگر تجزیه به عناصر اول مجاز باشد، آنگاه حتی در اعداد صحیح هم تجزیه های مختلفی وجود خواهند داشت، مثل:

<center><math>6 = 2 \cdot 3 = (-2) \cdot (-3)</math></center>

در کل، اگر <math>u</math> یک عنصر معکوس پذیر باشد، یعنی عددی که در <math>O</math> معکوس ضربی دارد، آنگاه اگر <math>p</math> یک عنصر اول باشد،  <math>up</math> هم عنصری اول خواهد بود. اعدادی چون <math>p</math> و <math>up</math> را ''شریک'' یا ''مرتبط'' (associate) گویند. در اعداد صحیح، اعداد اول <math>p</math> و <math>-p</math> شریکند، اما تنها یکی از آن ها مثبت است. این که مثبت بودن اعداد اول را الزامی در نظر بگیریم، منجر به این می شود که عنصر یکتایی در بین مجموعه عناصر اول متناظر با آن (شریک با آن) انتخاب شود. با این حال، زمانی که <math>K</math> میدان اعداد گویا نباشد، مثبت بودن بی معنی خواهد بود. به عنوان مثال در اعداد صحیح گاوسی <math>\mathbf{Z}[i]</math>، اعداد <math>1+2i</math> و <math>-2+i</math> شریک هستند، چون اگر عدد اولی را در <math>i</math> ضرب کنیم به دومی می رسیم، اما راهی برای انتخاب میان یکی از آن ها وجود ندارد، از این دو عدد به معادله زیر می رسیم:

<center><math>5 = (1+2i)(1-2i) = (2+i)(2-i), \,</math></center>

که اثبات می کند در <math>\mathbf{Z}[i]</math>، امکان تجزیه یکتا در حد ترتیب عوامل وجود ندارد. به همین دلیل است که از تعریف تجزیه یکتایی که در دامنه های تجزیه یکتا (UFD ها) وجود دارد استفاده می کنند. .در یک UFD، تجزیه به عناصر اول در حد عناصر تجزیه پذیر و ترتیب یکتاست.  

به هر حال، حتی با این تعریف ضعیف تر، بسیاری از حلقه های اعداد صحیح در میدان های عددی جبری هم خاصیت تجزیه یکتایی را دارا نیستند. یک مانع به نام گروه کلاس ایده‌آل ها وجود دارد. زمانی که گروه کلاس ایده‌آل در یک میدان اعداد بدیهی باشد، این حلقه (حلقه اعداد صحیح جبری یا <math>O</math>) UFD است. زمانی که حلقه اعداد صحیح جبری مربوط به یک میدان عددی خاصیت تجزیه یکتایی نداشته باشد، تمایزی بین عنصر اول و عنصر تحویل ناپذیر شکل می گیرد. یک ''عنصر تحویل ناپذیر'' چون <math>x</math> عنصری است که اگر برای آن داشته باشیم <math>x = yz</math>، آنگاه یا <math>y</math> یا <math>z</math> معکوس پذیر خواهد بود. عناصری وجود دارند که نمی توان آن را دچار تجزیه بیشتری کرد. علتش این است که در حالی که تمام عناصر اول تحویل ناپذیرند، برخی عناصر تحویل ناپذیر وجود دارند که ممکن است اول نباشند. مثلاً، حلقه <math>\mathbf{Z}[\sqrt{-5}]</math> را در نظر بگیرید. در این حلقه، اعداد <math>2+\sqrt{-5}</math>، <math>3</math> و <math>2-\sqrt{-5}</math> تحویل ناپذیرند. این بدان معناست که عدد ۹ دو تجزیه به عناصر تحویل ناپذیر دارد:

<center><math>9 = 3^{2} = (2+\sqrt{-5})(2-\sqrt{-5})</math></center>

این معادله نشان می دهد که ۳ حاصلضرب <math>(2+\sqrt{-5})(2-\sqrt{-5})=9</math> را می شمارد. اگر ۳ یک عنصر اول بود، آنگاه <math>2+\sqrt{-5}</math> یا <math>2-\sqrt{-5}</math> را می شمرد، اما نمی شمارد، چون تمام عناصری که بر ۳ بخش پذیرند به شکل <math>3a+3b\sqrt{-5}</math> هستند. به طور مشابه <math>2+\sqrt{-5}</math> و <math>2-\sqrt{-5}</math> حاصلضرب <math>3^{2}</math> را می شمارد، اما هیچ کدام از این عناصر خود ۳ را عاد نمی‌کنند، بنابر این هیچ کدام اول نیستند. چون به هیچ روش نمی توان <math>3</math>، <math>2+\sqrt{-5}</math> و <math>2-\sqrt{-5}</math> را با هم مساوی کرد، در <math>\mathbf{Z}[\sqrt{-5}]</math> تجزیه یکتا نقض می شود. برعکس شرایطی که در مورد عناصر معکوس‌پذیر وجود دارد، که در آن یکتا بودن را می توان با تعریف ضعیف تری ترمیم کرد، در مورد نقض تجزیه یکتا نیاز به دیدگاه جدید تری وجود دارد.

=== تجزیه به [[ایده‌آل (نظریه حلقه‌ها)|ایده‌آل‌های]] اول ===
اگر <math>I</math> ایده‌آلی از <math>O</math> (حلقه اعداد جبری از میدان اعداد مورد نظر) باشد آنگاه همیشه تجزیه ای به شکل زیر برای <math>I</math> وجود خواهد داشت:

<center><math>I = \mathfrak{p}_1^{e_1} \cdots \mathfrak{p}_t^{e_t},</math></center>

که در آن هر <math>\mathfrak{p}_i</math> یک ایده‌آل اول بوده و این عبارت در حد ترتیب عوامل یکتا می باشد. این قوی ترین حالتی است که می توان تجزیه یکتایی را برای حلقه اعداد جبری یک میدان اعداد دلخواه تعریف کرد. به زبان نظریه حلقه ها، یعنی حلقه اعداد صحیح جبری تشکیل دامنه ددکیند می دهند.

زمانی که <math>O</math> یک UFD باشد، هر ایده‌آل اول توسط یک عنصر اول تولید می شود. در غیر این صورت، ایده‌آل های اولی وجود دارند که توسط عناصر اول تولید نمی‌شوند. به عنوان مثال در <math>\mathbf{Z}[\sqrt{-5}]</math>، ایده‌آل <math>(2, 1+\sqrt{-5})</math> یک ایده‌آل اول است که نمی توان آن را با یک عنصر تولید کرد. 

به طور تاریخی، ایده تجزیه ایده‌آل ها به ایده‌آل های اول، قبل از معرفی اعداد ایده‌آل توسط [[ارنست ادوارد کومر|ارنست کومر]] معرفی شد. این ها اعدادی هستند که در یک توسیع میدانی <math>E</math> از <math>K</math> قرار دارند. این [[توسیع میدانی]] را به نام میدان کلاس هیلبرت می شناسند. بر اساس قضیه ایده‌آل اصلی، هر ایده‌آل اول از <math>O</math> یک ایده‌آل اصلی از حلقه اعداد صحیح جبری <math>E</math> را تولید می کند. یک مولد از این ایده‌آل اصلی را عدد ایده‌آل می نامند. کومر ازین مفاهیم به عنوان جایگزینی برای نقض تجزیه یکتا در میدان های دوری استفاده کرد. این ها نهایتاً منجر شد که ریچارد ددکیند مفهوم ایده‌آل ها را معرفی کرده و تجزیه یکتایی ایده‌آل ها را به کمک آن اثبات کند. 

ایده‌آلی که در حلقه اعداد صحیح جبری یک میدان عددی اول باشد، ممکن است هنگام توسیع به میدان عددی بزرگتر دیگر اول نباشد. مثلاً، اعداد اول را در نظر بگیرید. ایده‌آل های متناظرشان یعنی <math>\mathbf{Z}p</math> در <math>\mathbf{Z}</math> اول اند. در حالی که زمانی که این ایده‌آل ها را به اعداد صحیح گاوسی توسعه می دهیم تا به <math>p\mathbf{Z}[i]</math> برسیم، ممکن است در آنجا اول باشند یا نباشند. به عنوان مثال، تجزیه <math>2=(1+i)(1-i)</math> نتیجه می دهد:

<center><math>2\mathbf{Z}[i] = (1 + i)\mathbf{Z}[i] \cdot (1 - i)\mathbf{Z}[i] = ((1 + i)\mathbf{Z}[i])^2;</math></center>

توجه کنید که <math>1+i=(1-i).i</math>، یعنی ایده‌آل های تولید شده توسط <math>1+i</math> و <math>1-i</math> یکی هستند. جواب کامل به این سؤال که چه ایده‌آلی هنگام توسعه به اعداد صحیح گاوسی اول باقی می ماند؟ توسط قضیه جمع مربعات فرما ارائه شد. این قضیه بیان میدارد: برای عدد اول فردی چون <math>p</math>، ایده‌آل <math>p\mathbf{Z}[i]</math> اول است اگر <math>p \equiv 3 \pmod{4}</math> و اول نیست اگر <math>p \equiv 1 \pmod{4}</math>. این قضیه به همراه مشاهده اول بودن <math>(1+i)\mathbf{Z}[i]</math> توصیف کاملی از ایده‌آل های اول در اعداد صحیح گاوسی را فراهم می آورد. تعمیم این نتیجه ساده به حلقه های کلی تر اعداد صحیح جبری، یک مسئله بنیادین در نظریه جبری اعدادست. نظریه میدان کلاسی (Class Field Theory)، هنگامی که <math>K</math> یک توسیع آبلی از <math>\mathbf{Q}</math> باشد (یعنی توسیع گالوایی که گروه گالوای آن آبلی باشد)، به این هدف نایل می آید.

=== گروه کلاس ایده‌آلی ===
تجزیه یکتا نقض می شود اگر و تنها اگر [[ایده‌آل (نظریه حلقه‌ها)|ایده‌آل‌های]] اول غیر اصلی وجود داشته باشند. گروه کلاس ایده‌آلی شیئیست که میزان نقض (انحراف از) اصلی بودن یک ایده‌آل را اندازه گیری می کند. تعریف گروه کلاس ایده‌آلی نیازمند بزرگ کردن مجموعه ایده‌آل های اعداد صحیح جبری است، چنان که ساختار گروهی بپذیرند. این عمل با تعمیم ایده‌آل ها به ایده‌آل های کسری امکان پذیر است. یک ایده‌آل کسری زیرگروهی جمعی چون <math>J</math> از <math>K</math> است که تحت ضرب توسط عناصر <math>O</math> بسته باشند، یعنی اگر <math>xJ \in O</math> آنگاه <math>xJ \subseteq J</math>. تمام ایده‌آل های <math>O</math> نیز ایده‌آل های کسری هستند. اگر <math>I</math> و <math>J</math> ایده‌آل های کسری باشند، آنگاه مجموعه <math>IJ</math> از ضرب تمام عناصر درون <math>I</math> و <math>J</math> نیز یک ایده‌آل کسریست. این عملیات مجموعه ایده‌آل های کسری غیرصفر را تبدیل به یک گروه می کند. همانی گروه، ایده‌آل <math>(1)=O</math> است و معکوس ایده‌آل کسری چون <math>J</math> یک [[خارج قسمت]] (تعمیم یافته) ایده‌آلی به صورت <math>J^{-1} = (O:J) = \{ x \in K:xJ \subseteq O\}</math> است. 

ایده‌آل های کسری اصلی، یعنی آن ها که به شکل <math>Ox</math> هستند که در آن <math>x\in K^{\times}</math>، تشکیل زیرگروهی از تمام ایده‌آل های غیر صفر کسری می دهند. خارج قسمت گروه ایده‌آل های کسری ناصفر توسط این زیر گروه را گروه کلاس ایده‌آلی گویند. دو ایده‌آل <math>I</math> و <math>J</math> نمایش دهنده ی یک عنصر از گروه کلاس ایده‌آلی هستند اگر و تنها اگر وجود داشته باشد عنصری مثل <math>x \in K</math> به طوری که <math>xI=J</math>. لذا، گروه کلاس ایده‌آلی دو ایده‌آل کسری را مساوی هم قرار می دهد اگر یکی از آن ها به اندازه ای از اصلی بودن فاصله داشته باشد که دیگری فاصله دارد. گروه کلاس ایده‌آلی به صورت <math>Cl K</math>، <math>Cl O</math> یا <math>Pic O</math> نمایش داده می شود (نماد آخر، این گروه را با گروه پیکارد در هندسه جبری یکی در نظر می گیرد). 

== منابع و ارجاعات ==
{{پانویس|۲|چپ‌چین=بله}}
{{پایان چپ‎چین}}
* {{cite book | title=Cohomology of Number Fields | volume=323 | series=Grundlehren der Mathematischen Wissenschaften | first1=Jürgen | last1=Neukirch | first2=Alexander | last2=Schmidt | first3=Kay | last3=Wingberg | publisher= Springer-Verlag  | year=2000 | isbn=978-3-540-66671-4 | zbl=0948.11001 | MR=1737196}}
{{پایان چپ‎چین}}
* {{یادکرد-ویکی
|پیوند = https://en.wikipedia.org/w/index.php?title=Algebraic_number_theory&oldid=889000610
|عنوان = Algebraic Number Theory
|زبان = انگلیسی
|بازیابی =  22 مارچ ۲۰۱9}}

== برای مطالعه بیشتر ==

=== متون مقدماتی ===
{{چپ‎چین}}
* Stein, William (2012). ''Algebraic Number Theory, A Computational Approach.'' Retrieved from https://wstein.org/books/ant/ant.pdf
* Ireland, Kenneth and Rosen, Michael (2013). ''A classical introduction to modern number theory'' (Vol. 84). Springer Science & Business Media. {{doi|10.1007/978-1-4757-2103-4}}
* [[Ian Stewart (mathematician)|Stewart, Ian]] and [[David Tall|Tall, David]] (2015). ''Algebraic number theory and Fermat's last theorem.'' CRC Press.
{{پایان چپ‎چین}}

=== متون متوسط ===
{{چپ‎چین}}
* Marcus, Daniel A. (1977). ''Number fields'' (Vol. 8). New York: Springer.
{{پایان چپ‎چین}}

=== متون تحصیلات تکمیلی ===
{{چپ‎چین}}
* {{Citation|editor-last=Cassels|editor-first=J. W. S.|editor-link=J. W. S. Cassels|editor2-last=Fröhlich|editor2-first=Albrecht|editor2-link=Albrecht Fröhlich|title=Algebraic number theory|year=1967|place=London|publisher=Academic Press|mr=0215665}}
* {{Citation|last=Fröhlich|first=Albrecht|author-link=Albrecht Fröhlich|last2=Taylor|first2=Martin J.|author2-link=Martin J. Taylor|title=Algebraic number theory|publisher=[[Cambridge University Press]]|year=1993|series=Cambridge Studies in Advanced Mathematics|volume=27|isbn=0-521-43834-9|mr=1215934}}
* {{Citation|last=Lang|first=Serge|author-link=Serge Lang|title=Algebraic number theory|edition=2|publisher= Springer-Verlag |year=1994|series=[[Graduate Texts in Mathematics]]|volume=110|place=New York|isbn=978-0-387-94225-4|mr=1282723}}
* {{cite book | first=Jürgen | last=Neukirch | title=Algebraic Number Theory | volume=322 | series=Grundlehren der Mathematischen Wissenschaften | publisher= Springer-Verlag  | year=1999 | isbn=978-3-540-65399-8 | zbl=0956.11021}}
{{پایان چپ‎چین}}
{{شاخه‌های اصلی ریاضیات}}
{{نظریه اعداد}}
[[رده:نظریه جبری اعداد]]
[[رده:شاخه‌های ریاضیات]]