Алғашқы элементтер теоремасы - Primitive element theorem - Wikipedia

Жылы өріс теориясы, алғашқы элемент теоремасы немесе Артиннің алғашқы элементтер туралы теоремасы сипаттайтын нәтиже болып табылады ақырғы дәреже өрісті кеңейту бір данамен жасалған қарабайыр элемент, немесе қарапайым кеңейтімдер. Онда аралық өрістер шектеулі көп болған жағдайда ғана ақырлы кеңейту қарапайым екендігі айтылады. Атап айтқанда, ақырлы бөлінетін кеңейтімдері қарапайым, соның ішінде алгебралық сандар өрістері екі өріс те шектеулі болатын рационал сандар мен кеңейтімдер үстінен.

Терминология

Келіңіздер болуы а өрісті кеңейту. Элемент Бұл қарабайыр элемент үшін қашан

Егер мұндай қарабайыр элемент болса, онда а деп аталады қарапайым кеңейту. Егер өрісті кеңейту ақырғы дәрежеде , содан кейін әрбір элемент х туралы E түрінде жазуға болады

қайда барлығына мен, және бекітілген Яғни, егер Бұл қарапайым кеңейту дәрежесі n, бар жиынтығы осындай

үшін негіз болып табылады E сияқты векторлық кеңістік аяқталды F.

Мысал

Егер біреу рационал сандар екі иррационал сандар және кеңейту өрісін алу үшін туралы дәрежесі 4, бұл кеңейтуді қарапайым, мағынасын көрсетуге болады жалғыз үшін . Қабылдау , дәрежелері 1, α , α2, α3 ретінде кеңейтуге болады сызықтық комбинациялар 1, , , бүтін коэффициенттермен. Мұны біреу шеше алады сызықтық теңдеулер жүйесі үшін және аяқталды , Мысалға . Бұл α шынымен де қарабайыр элемент екенін көрсетеді:

Тағы бір аргумент 1-тің тәуелсіздігін атап өту, , , ақылға қонымды; бұл α құрған ішкі өріс мүмкін емес екенін көрсетеді немесе немесе , берілген 2 дәрежелі барлық ішкі өрістерді сарқып Галуа теориясы. Сондықтан, бүкіл өріс болуы керек.

Классикалық алғашқы элементтер теоремасы

Келіңіздер болуы а бөлінетін кеңейту ақырғы дәреже кейбіреулер үшін ; яғни кеңейту қарапайым және қарабайыр элемент.

Бар екендігі туралы мәлімдеме

Теорияны түсіндіру теориясының тұжырымдалуымен өзгерді Эмиль Артин, шамамен 1930. Галуа заманынан бастап, алғашқы элементтердің рөлі а болды бөлу өрісі бір элементтің көмегімен жасалады. Мұндай элементті таңдау Артинмен емдеу кезінде айналып өтті.[1] Сонымен бірге, осындай элементті құру туралы ойлар шегінді: теорема ан болады болмыс теоремасы.

Артиннің келесі теоремасы классикалық орын алады алғашқы элемент теоремасы.

Теорема

Келіңіздер ақырғы дәреже өрісті кеңейту. Содан кейін кейбір элемент үшін егер тек аралық өрістер бар болса ғана Қ бірге .

Теореманың қорытындысы - бұл дәстүрлі мағынадағы алғашқы элемент теоремасы (мұнда бөліну әдетте үнсіз қабылданған):

Қорытынды

Келіңіздер ақырғы дәреже бөлінетін кеңейту. Содан кейін кейбіреулер үшін .

Қорытындыға қатысты алгебралық сандар өрістері, яғни рационал сандардың ақырлы кеңейтімдері Q, бері Q бар сипаттамалық 0, демек, барлық ақырғы кеңейту аяқталды Q бөлінетін.

Қарсы мысалдар

Бөлінбейтін кеңейту үшін туралы тән б, дегенмен, қарабайыр элементтің дәрежесі қарастырылған [E : F] болып табылады p: шын мәнінде, тривиальды емес аралық өрістер болуы мүмкін емес, өйткені олардың дәрежелері қарапайым факторлар болады б.

Қашан [E : F] = б2, қарабайыр элемент болмауы мүмкін (бұл жағдайда шексіз аралық өрістер бар). Ең қарапайым мысал , екі анықталмағандағы рационалды функциялар өрісі Т және U үстінен ақырлы өріс бірге б элементтері және . Шындығында кез келген α = үшін ж(T, U) in E, элемент αб жатыр F, сондықтан α -ның түбірі , және α қарабайыр элемент (дәреже) бола алмайды б2 аяқталды F), бірақ оның орнына F(α) - бұл тривиальды емес аралық өріс.

Конструктивті нәтижелер

Әдетте, ақырлы бөлінетін кеңейтуге арналған барлық қарабайыр элементтер жиынтығы E / F ақырғы жиынтықтың толықтырушысы болып табылады F-бөлімдеріE, яғни аралық өрістер. Бұл мәлімдеме жағдай үшін ештеңе айтпайды ақырлы өрістер, ол үшін генераторды табуға арналған есептеу теориясы бар мультипликативті топ өрістің (а циклдік топ ), қайсысы фортиори қарабайыр элемент. Қайда F шексіз, а көгершін қағазы дәлелдеу техникасы екі элемент тудыратын сызықтық ішкі кеңістікті қарастырады және сызықтық комбинациялардың тек шексіз көп екенін дәлелдейді

бірге c жылы F, екі элементтен тұратын ішкі өрісті құра алмайтын:

сияқты бөлінетін кеңейту болып табылады, егер қарапайым емес ендіру бар оның шектеулері дегенді білдіретін сәйкестік болып табылады және сондай-ақ . Бұл өрнек c қабылдай алады әр түрлі мәндер. Барлық қалған мәні үшін содан кейін .

Бұл Артиннің нәтижесі классикалық нәтижені қалай көрсететінін көрсету тәсілі және ерекше санның шегі ретінде дерлік. c нәтижелер аралық өрістер саны бойынша (бұл сан Галуа теориясымен шектелетін нәрсе және априори). Сондықтан, бұл жағдайда сынақ пен қателік алғашқы элементтерді табудың практикалық әдісі болып табылады.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Израиль Клейнер, Абстрактілі алгебра тарихы (2007), б. 64.

Сыртқы сілтемелер