نظریه جبری اعداد
نظریه جبری اعداد، حساب اعداد صحیح را به حلقههای اعداد صحیح جبری در داخل توسیعهای متناهی اعداد گویا گسترش میدهد، جایی که ممکن است تجزیه یکتا برقرار نباشد اما در سطح ایدهآلها بازیابی میشود.
Definition
نظریه جبری اعداد مطالعه میدانهای عددی (توسیعهای متناهی اعداد گویا) و حلقههای اعداد صحیح آنها است که از ابزارهای جبر جابجایی و نظریه گالوا برای درک حسابی تجزیه، یکاها و توسیعهای میدانی استفاده میکند.
Scope
این حوزه شامل میدانهای عددی و حلقههای اعداد صحیح آنها، تجزیه ایدهآلها به ایدهآلهای اول، گروه کلاسی ایدهآل که میزان عدم وجود تجزیه یکتا را اندازهگیری میکند، قضیه یکاهای دیریکله، شاخهبندی و رفتار اعداد اول در توسیعها، نظریه گالوا میدانهای عددی، و نظریه میدان ردهای که توسیعهای آبلی را بر حسب دادههای حسابی توصیف میکند، میشود.
Sub-topics
Core questions
- چه چیزی جایگزین تجزیه یکتا در حلقه اعداد صحیح جبری میشود و چگونه ایدهآلهای اول آن را بازیابی میکنند؟
- میزان عدم وجود تجزیه یکتا، که توسط گروه کلاسی ایدهآل اندازهگیری میشود، چقدر است و آیا همیشه متناهی است؟
- یکاهای یک حلقه اعداد صحیح چگونه رفتار میکنند و رتبه آنها چقدر است؟
- اعداد اول گویا چگونه در یک توسیع شکافته، شاخهبندی یا بیاثر میمانند و نظریه گالوا چگونه این را کنترل میکند؟
Key theories
- تجزیه یکتای ایدهآلها
- در یک دامنه ددکیند مانند حلقه اعداد صحیح یک میدان عددی، هر ایدهآل غیرصفر به طور یکتا به ایدهآلهای اول تجزیه میشود و نقش ساختاری قضیه اساسی حساب را بازیابی میکند.
- متناهی بودن عدد کلاسی و قضیه یکاهای دیریکله
- گروه کلاسی ایدهآل متناهی است و گروه یکاها به طور متناهی تولید شده با رتبهای که توسط تعداد تعبیههای حقیقی و مختلط تعیین میشود، دو سنگ بنای که توسط هندسه اعداد به سبک مینکوفسکی بنا نهاده شدهاند.
- نظریه میدان ردهای
- توسیعهای آبلی یک میدان عددی توسط خارجقسمتهای گروههای کلاسی ایدهآل تعمیمیافته طبقهبندی میشوند و تقابل مربعی را به قانون تقابل نگاشت آرتین تعمیم میدهند.
Clinical relevance
حلقههای اعداد صحیح و حساب ایدهآلها ستون فقرات جبری رمزنگاری مدرن را فراهم میکنند، از جمله طرحهای مبتنی بر شبکه و شبکه ایدهآل که برای امنیت پساکوانتومی در نظر گرفته شدهاند، و زیربنای غربال میدان عددی، سریعترین الگوریتم شناخته شده تجزیه عمومی، هستند.
History
این حوزه از معرفی اعداد ایدهآل توسط کومر در حدود سال ۱۸۴۷ برای ترمیم تجزیه یکتا در میدانهای سیکلوتومیک، با انگیزه قضیه آخر فرما، رشد کرد. ددکیند اینها را در دهه ۱۸۷۰ به عنوان ایدهآلها بازنویسی کرد، مینکوفسکی روشهای هندسی را اضافه کرد، و هیلبرت، تاکاگی و آرتین نظریه میدان ردهای را در اوایل قرن بیستم بنا نهادند.
Key figures
- Ernst Kummer
- Richard Dedekind
- Leopold Kronecker
- Emil Artin
Related topics
Seminal works
- neukirch1999
Frequently asked questions
- چرا تجزیه یکتا همیشه برای اعداد صحیح جبری برقرار نیست؟
- در بسیاری از حلقههای اعداد صحیح، یک عنصر میتواند به روشهای واقعاً متفاوتی به عوامل تحویلناپذیر تجزیه شود؛ راه حل این است که به جای عناصر، ایدهآلها را تجزیه کنیم، جایی که یکتایی همیشه بازیابی میشود.
- عدد کلاسی چیست؟
- این مرتبه گروه کلاسی ایدهآل است، یک عدد متناهی که دقیقاً نشان میدهد یک حلقه اعداد صحیح چقدر از داشتن تجزیه یکتا فاصله دارد؛ دقیقاً زمانی برابر با یک است که تجزیه یکتا باشد.