Моноидты нақтылау - Refinement monoid - Wikipedia

Жылы математика, а нақтылау моноидты Бұл коммутативті моноид М кез келген элементтер үшін а₀, а₁, б₀, б₁ туралы М осындай а₀+ a₁= b₀+ b₁, элементтер бар в₀₀, в₀₁, в₁₀, в₁₁ туралы М осындай а₀= c₀₀+ c₀₁, а₁= c₁₀+ c₁₁, б₀= c₀₀+ c₁₀, және б₁= c₀₁+ c₁₁.

Коммутативті моноид М деп айтылады конустық егер х+ж= 0 мұны білдіреді х=ж= 0, кез келген элементтер үшін х,ж туралы М.

Негізгі мысалдар

A қосылу-жарты сызық нөлге тең, егер ол болса ғана, нақтыланған моноид болып табылады тарату.

Кез келген абель тобы нақтылау моноидты болып табылады.

The оң конус G⁺ а ішінара тапсырыс берген абель тобы G тек егер болса, нақтыланған моноид болып табылады G болып табылады интерполяция тобы, соңғысы кез-келген элементтер үшін а₀, а₁, б₀, б₁ туралы G осындай а_мен ≤ б_j барлығына i, j <2, элемент бар х туралы G осындай а_мен ≤ x ≤ b_j барлығына i, j <2. Бұл, мысалы, жағдайда болады G болып табылады торға тапсырыс берді.

The изоморфизм түрі а Буль алгебрасы B буломдық алгебралардың изоморфты класы B. (Егер біз мұның а болғанын қаласақ орнатылды, логикалық алгебралармен шектелген теориялық дәреже біреуінен төмен B.) Буль алгебраларының изоморфизм типі, қосымшасымен анықталған${ displaystyle [X] + [Y] = [X есе Y]}$ (кез-келген буль алгебралары үшін) X және Y, қайда ${ displaystyle [X]}$ изоморфизм түрін білдіреді X), конустық нақтылау моноидты болып табылады.

Буль алгебраларына қатысты шаралар қолданылды

Үшін Буль алгебрасы A және коммутативті моноид М, карта μ : A → М Бұл өлшеу, егер μ (a) = 0 егер және егер болса a = 0, және μ (a ∨ b) = μ (a) + μ (b) қашан болса да а және б бөлінген (яғни, a ∧ b = 0), кез келген үшін а, б жылы A. Бұған қосымша айтамыз μ Бұл Іс-шара (кейін Роберт Лоусон Вот ), немесе V өлшемі, егер бәрі үшін болса в жылы A және бәрі х, у жылы М осындай μ (c) = x + y, бөлінген бар а, б жылы A осындай c = a ∨ b, μ (a) = x, және μ (b) = y.

Элемент e ауыстырылатын моноидта М болып табылады өлшенетін (құрметпен М), егер буль алгебрасы болса A және V өлшемі μ : A → М осындай μ (1) = e--- дейміз μ шаралар e. Біз мұны айтамыз М болып табылады өлшенетін, егер кез келген элементі болса М өлшенеді (қатысты М). Әрине, әрбір өлшенетін моноид конустық нақтыланған моноид болып табылады.

Ганс Доббертин 1983 жылы кез-келген конустық нақтылау моноидты ең көп дегенде ℵ болатындығын дәлелдеді₁ элементтері өлшенеді. Ол кез-келген элементтің ең көп мөлшерде екенін дәлелдеді есептелетін конустық нақтылау моноиды бірегей (изоморфизмге дейін) ең көп есептелетін буль алгебрасында бірегей V-өлшемімен өлшенеді және ол кез-келген конустық нақтылау моноидының өлшенетіндігі туралы мәселе көтерді. Бұған Фридрих Верунг 1998 жылы негативпен жауап берді. Қарама-қарсы мысалдар кез-келген түпнұсқалық мәні ℵ-ден үлкен немесе тең болуы мүмкін.₂.

Фон Нейманның тұрақты сақиналарының тұрақты теориясы

Үшін сақина (бірлікпен) R, FP (R) сыныбы түпкілікті құрылды проективті дұрыс R-модульдер. Эквивалентті түрде ФП объектілері (R) - форманың барлық модульдерінің тікелей жиынтығы Rⁿ, бірге n оң модуль ретінде қарастырылатын оң бүтін сан. Белгілеу ${ displaystyle [X]}$ объектінің изоморфизм түрі X FP-де (R). Содан кейін жиынтық V (R) ФП мүшелерінің барлық изоморфизм түрлері (R) анықталған қосымшамен қамтамасыз етілген ${ displaystyle [X] + [Y] = [X oplus Y]}$, конус тәрізді коммутативті моноид. Сонымен қатар, егер R болып табылады фон Нейман тұрақты, содан кейін V (R) нақтылау моноидты болып табылады. Онда бар тапсырыс-бірлік ${ displaystyle [R]}$. Біз мұны айтамыз V (R) кодтайды R-нің тұрақты емес теориясы.

Мысалы, егер R Бұл бөлу сақинасы, содан кейін ФП мүшелері (R) дәл өлшемді құқық болып табылады векторлық кеңістіктер аяқталды R, және екі векторлық кеңістік бірдей болған жағдайда ғана изоморфты болады өлшем. Демек V (R) моноидқа изоморфты ${ displaystyle mathbb {Z} ^ {+} = {0,1,2, нүктелер }}$ әдеттегі қосымшамен қамтамасыз етілген барлық натурал сандардан.

Біршама күрделі мысалды келесідей түрде алуға болады. A матрицалық алгебра астам өріс F - формадағы сақиналардың ақырлы көбейтіндісі ${ displaystyle M_ {n} (F)}$, барлық шаршының сақинасы матрицалар бірге n жолдар мен жазбалар F, айнымалы натурал сандар үшін n. Матрицалық алгебралардың тікелей шегі F Бұл жергілікті матрицалық алгебра F. Әрбір жергілікті матрицалық алгебра фон Нейман тұрақты. Кез-келген жергілікті матрицалық алгебра үшін R, V (R) болып табылады оң конус деп аталатын өлшем тобы. Анықтама бойынша өлшем тобы - а ішінара тапсырыс берген абель тобы оның негізінде жатқан тапсырыс бағытталған, оның оң конусы нақтылау моноиды болып табылады, ал ол перфорациясыз, дегенді білдіретін әріп mx≥0 мұны білдіреді x≥0, кез-келген элемент үшін х туралы G және кез келген оң бүтін сан м. Кез келген қарапайым топ, яғни форманың ішінара реттелген абель тобы ${ displaystyle mathbb {Z} ^ {n}}$, өлшем тобы. Эффрос, Гендельман және Шен 1980 жылы өлшем топтарының дәл сол екенін дәлелдеді тікелей шектер өтпелі карталар оң гомоморфизм болып табылатын қарапайым топтардың. Бұл нәтиже 1976 жылы сәл өзгеше формада П.А. Гриль. Эллиотт 1976 жылы қарапайым топтардың кез келген есептелетін тікелей шектерінің оң конусы изоморфты болатындығын дәлелдеді V (R), кейбір жергілікті матрицалық сақина үшін R. Сонымен, Goodearl және Handelman 1986 жылы кез-келген өлшемді топтың оң конусы ℵ болатынын дәлелдеді₁ элементтері изоморфты V (R), кейбір жергілікті матрицалық сақина үшін R (кез-келген өрістен жоғары).

1998 жылы Веррунг оң конусты көрсетуге болмайтын тәртіп бірлігі бар өлшем топтары бар екенін дәлелдеді V (R), фон Нейманның тұрақты сақинасы үшін R. Берілген мысалдардың кез-келген маңыздылығы ℵ-ден үлкен немесе оған тең болуы мүмкін₂. Конус тәрізді нақтылау моноидты, ең көбі Whether₁ (немесе тіпті ℵ₀) элементтер ретінде ұсынылуы мүмкін V (R) үшін R фон Нейман тұрақты - бұл ашық мәселе.

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

• Х.Доббертин, Нақтылау моноидтары, Вонт моноидтары және Буль алгебралары, Математика. Энн. 265, жоқ. 4 (1983), 473-487.
• Х.Доббертин, Іс-шаралар және олардың тор теориясында қолданылуы, J. Pure Appl. Алгебра 43, жоқ. 1 (1986), 27-51.
• Е.Г. Эффрос, Д.Е. Handelman және C.-L. Шен, Өлшемдік топтар және олардың аффиналық көріністері, Amer. Дж. Математика. 102, жоқ. 2 (1980), 385–407.
• Г.А. Эллиотт, Жартылай қарапайым ақырлы өлшемді алгебралар тізбегінің индуктивті шектерін жіктеу туралы, Дж. Алгебра 38, жоқ. 1 (1976), 29-44.
• Қ.Р. Інжу, фон Нейманның тұрақты сақиналары және қосындыларды ыдыратудың тікелей мәселелері. Абелия топтары мен модульдері (Падова, 1994), 249–255, Математика. Қолданба, 343, Kluwer Acad. Publ., Dordrecht, 1995.
• Қ.Р. Интерполяциясы бар Goodearl, ішінара тапсырыс берілген абель топтары. Математикалық зерттеулер және монографиялар, 20. Американдық математикалық қоғам, Провиденс, RI, 1986. xxii + 336 б. ISBN  0-8218-1520-2
• Қ.Р. Гудирл, Фон Нейманның тұрақты сақиналары. Екінші басылым. Роберт Э. Кригер Publishing Co., Inc., Малабар, Фл., 1991. xviii + 412 б. ISBN  0-89464-632-X
• П.А. Гриль, Еркін коммутативті жартылай топтардың бағытталған колимиттері, J. Pure Appl. Алгебра 9, жоқ. 1 (1976), 73–87.
• Тарский, Кардинал алгебралары. Қосымша: изоморфизм типтерінің кардиналды өнімдері, Бьярни Йонссон және Альфред Тарски. Оксфорд университетінің баспасы, Нью-Йорк, 1949. xii + 326 б.
• Ф. Верунг, Интерполяциялық векторлық кеңістіктердің өлшенбейтін қасиеттері, Израиль Дж. Математика. 103 (1998), 177–206.