حلقه صحیح‌ها

در ریاضیات، حلقه صحیح‌ها  از یک میدان عددی چون ، حلقه صحیح‌های جبری عضو  اند. یک عنصر صحیح جبری، ریشه‌ای از چندجمله‌ای تکین (چندجمله‌ای تک‌متغیره با ضریب پیشروی ۱) با ضرایب اعداد صحیح است: . این حلقه را اغلب با نمادهای  یا  نشان می‌دهند. از آنجا که هر عدد صحیح به  متعلق بوده و عنصر صحیحی از  است، حلقه  نیز همیشه زیرحلقه‌ای از  است.

حلقه اعداد صحیح  ساده‌ترین حلقه ممکن از صحیح‌ها است. در حقیقت  که در آن  میدان اعداد گویا است. و بر همین اساس در نظریه جبری اعداد برخی مواقع به عناصر  «صحیح‌های گویا» نیز گفته می‌شود.

ساده‌ترین مثال بعدی، حلقه صحیح‌های گاوسی  است که شامل اعداد مختلطی است که بخش حقیقی و موهومی آن اعداد صحیح می‌باشد. این حلقه، حلقه صحیح‌های میدان عددی  از اعداد مختلطی است که بخش‌های موهومی و حقیقی آن عضو اعداد گویا اند. این حلقه نیز همچون صحیح‌های گویا، یک حوزه اقلیدسی است.

حلقه صحیح‌ها از یک میدان عددی، مرتبه ماکسیمال یکتایی از آن میدان است. همچنین این حلقه همیشه حوزه ددکیند است.

ویژگی ها 
حلقه اعداد صحیح OK یک ماژول Z است که به طور متناهی تولید شده است. در واقع، این یک ماژول Z آزاد است، و بنابراین دارای یک پایه انتگرال است، که مبنای b1، ...، bn ∈ OK فضای Q-بردار K است، به طوری که هر عنصر x در OK را می توان به صورت منحصر به فرد نشان داد.

با ai ∈ Z.[5] رتبه n OK به عنوان یک ماژول Z آزاد برابر با درجه K بر Q است.

یادداشت‌ها

ارجاعات

منابع 

 
 
 
 

نظریه جبری اعداد
نظریه حلقه‌ها