Кіріспе

Математикада, Жан-Пьер Серре есімімен аталған Серре мағынасындағы жұқа жиын – алгебралық геометриядағы K өрісінде, белгілі бір дәрежеде "сирек кездесетін" рұқсат етілген амалдар арқылы құрастырылатын нақты бір топтама. Екі негізгі амал: полиномдық теңдеуді шешу, оның орындалуы мүмкін немесе орындалмауы мүмкін; K өрісінде әрқашан толық көбейтілмейтін полиномды шешу. Сондай-ақ, шектеулі біріктірулер жасауға да рұқсат етіледі.

Гилберттік өрістер

V-нің K үстіндегі гильберттік алгебралық сорты, егер V(K) жұқа болмаса: бұл V-нің бирационалдық инварианты. K гильберттік өрісі – K үстінде оң өлшемді гильберттік алгебралық сорт бар болса: егер K гильберттік болса, онда K үстіндегі проекциялық түзу гильберттік болады, сондықтан оны анықтама ретінде қабылдауға болады. Рационал сандар өрісі Q гильберттік, себебі Гильберттің ирредуктиблик теоремасының салдары ретінде Q үстіндегі проекциялық түзу гильберттік: шындығында, кез келген алгебралық сан өрісі гильберттік, қайтадан Гильберттің ирредуктиблик теоремасы бойынша. Жалпы алғанда, гильберттік өрістің шекті дәрежедегі кеңейтімі гильберттік болады және кез келген шекті түрде жасалған шексіз өріс гильберттік болады. және абелдік кеңейтулер. Егер N гильберттік өрістің Галуа кеңейтімі болса, онда N-нің өзі гильберттік болуы міндетті емес, бірақ Вайссауэрдің нәтижелері N-нің кез келген дұрыс шекті кеңейтімі гильберттік екенін көрсетеді. Бұл бағыттағы ең жалпы нәтиже – Харанның алмаз теоремасы. Осы және басқа да нәтижелер туралы талқылау Фрид-Жарденнің «Өріс арифметикасы» еңбегінде кездеседі. Гильберттік болу – алгебралық жабық болудан мүлдем өзгеше: мысалы, комплекс сандардың барлық жиындары жұқа. Олар, басқа жергілікті өрістермен (нақты сандар, p-адикалық сандар) бірге, гильберттік емес.