Кіріспе

Математикада, әсіресе коммутативтік алгебрада, бөлшекті идеал тұжырымдамасы интегралды домендер контекстінде енгізіледі және Дедекинд домендерін зерттеуде ерекше пайдалы. Бір қырынан, интегралды доменнің бөлшекті идеалдары – бөлшегі бар идеалдарға ұқсас. Егер бөлшекті идеалдар мен обычный сақина идеалдары бірдей талқыланып жатса, соңғыларын түсініктілік үшін кейде интегралдық идеалдар деп атайды.

Дедекинд домендері

Дедекинд домендерінде жағдай әлдеқайда қарапайым. Атап айтқанда, нөлдік емес кез келген бөлшектік идеал кері өршіл. Шындығында, осы қасиет Дедекинд домендерін сипаттайды: интегралды домен, егер және тек қана нөлдік емес кез келген бөлшектік идеал кері өршіл болса, Дедекинд домені болып табылады. Дедекинд доменіндегі бөлшектік идеалдар жиыны деп белгіленеді. Бөлшектік идеалдардың негізгі бөлшектік идеалдардың кіші тобына қатысты бөлу тобы – Дедекинд доменінің маңызды инварианты, идеалдық класс тобы деп аталады.

Сандық өрістер

Сандық өрістердің ерекше жағдайы үшін (мысалы, ) байланысты сақина бар, ол сақина деп аталады – сандық өрістің бүтін сандарының сақинасы. Мысалы, егер квадраттық еркін және бірге сәйкес болса. Осы сақиналардың маңызды қасиеті – олар Дедекинд домендері болып табылады. Сондықтан бөлшектік идеалдар теориясын сандық өрістердің бүтін сандарының сақиналары үшін сипаттауға болады. Шындығында, кластық өріс теориясы – осындай кластық сақиналардың топтарын зерттеу болып табылады.

Қатысушы құрылымдар

Сандар өрісінің бүтін сандар сақинасы үшін бөлшекті идеалдар тобы топ құрайды және ол топпен белгіленеді, ал негізгі бөлшекті идеалдардың кіші тобы белгіленеді. Идеалдар класы тобы – бөлшекті идеалдарды негізгі бөлшекті идеалдарға қатысты модуль бойынша қарастыру арқылы алынатын топ, яғни

және оның кластық саны – осы топтың реті. Кейбір жағынан, кластық сан бүтін сандар сақинасының бірегей жіктеу доменінен (UFD) қаншалықты "алыс" екенін көрсетеді. Өйткені егер және тек қана егер болса, онда – UFD.