Bir degeneratsiya tekisligi — chekli haqiqiy algebrada muayyan element bilan ko‘paytirishning rangi kamayadigan va buning natijasida ikki o‘lchovli yadro yoki annihilyator qismfazosi yuzaga keladigan chiziqli qismfazodir. Tadqiqot ushbu tekisliklarni struktura tenzori, chap va o‘ng ko‘paytirish operatorlari, avtomorfizm guruhlari va spektral invariantlar orqali tasniflashni maqsad qiladi. Shundan so‘ng Cayley–Dickson ikki baravar oshirish tuzilmasidan foydalanib, degeneratsiyalarning yuqori o‘lchamlarga qanday ko‘chirilishi o‘rganiladi.

Asosiy hisoblash falsafasi yakuniy ilmiy da’volarni faqat suzuvchi nuqtali taxminiy hisob-kitoblarga qoldirmaslik va imkon qadar aniq algebraik sertifikatlar yaratishdir. Yadroga mansublik, spektral qiymatlar, orbitaga mansublik va topologik da’volar polinom ayniyatlari, minimal polinomlar, Thom kodlashlari, Gröbner bazalari va Positivstellensatz sertifikatlari kabi chekli tekshirish obyektlariga aylantiriladi.

Tadqiqot, shuningdek, Algebraik Yuk deb ataladigan \(I(W)=(r,b,p,\Sigma,\Delta,\Pi)\) ko‘rinishidagi invariantlar paketini ta’riflaydi va bu paket ayrim diskret gauge modellarida qoldiq gauge rangi, spektr, massa oralig‘iga mos keluvchi miqdor va barqarorlik signaturasi kabi fizik talqinlar bilan bog‘lanishi mumkinligini ilgari suradi.

Biroq fizik qatlam nazariy modelga moslashtirishdir. Tadqiqot zarrachalar fizikasi tajribasi, kosmologik kuzatuv yoki dala ma’lumotlarini taqdim etmaydi. Shu sababli matematik tasnifning to‘g‘riligi bilan ushbu tasnif tabiatning fundamental fizik tuzilishini tushuntiradi degan kengroq talqinlar bir-biridan ajratilishi kerak.

Degeneratsiya Tekisligi Nima?

Degeneratsiya tekisligi — chekli o‘lchovli haqiqiy algebrada muayyan elementning chap yoki o‘ng ko‘paytirish operatori rangini yo‘qotishi natijasida hosil bo‘ladigan ikki o‘lchovli chiziqli qismfazodir. Tadqiqotda bu tuzilma nol bo‘luvchilar va annihilyatorlar orqali ta’riflanadi; algebraik ko‘paytmaning ayrim yo‘nalishlarda nolga tushishi tegishli ko‘paytirish operatorining yadrosi noldan farqli bo‘lishini anglatadi.

Chekli o‘lchovli haqiqiy algebra \(A\) tadqiqotda bilinear ko‘paytma

\[ \mu:A\times A\rightarrow A \]

bilan ta’riflanadi. O‘zgarmas \(a\in A\) elementi uchun chap ko‘paytirish operatori

\[ L_a(x)=\mu(a,x) \]

va o‘ng ko‘paytirish operatori

\[ R_a(x)=\mu(x,a) \]

ko‘rinishidadir. Agar noldan farqli \(x\) uchun \(L_a(x)=0\) bo‘lishi mumkin bo‘lsa, \(a\) nol bo‘luvchi bilan bog‘liq degeneratsiyani yuzaga keltiradi. Bu holda tegishli yadro

\[ \ker L_a \]

bevosita o‘rganilishi mumkin.

Struktura tenzori nega markaziy rol o‘ynaydi?

Tadqiqot algebraning butun ko‘paytirish qonunini tanlangan ortonormal bazada struktura tenzori orqali kodlaydi. Baza elementlari \(e_i\) uchun

\[ e_i e_j=\Gamma_{ij}^{k}e_k \]

ifodasidagi \(\Gamma_{ij}^{k}\) koeffitsiyentlar algebraning struktura doimiylaridir. Bir

\[ a=a^i e_i \]

elementining chap ko‘paytirish matritsasi ushbu tenzorni \(a\) bilan kontraksiya qilish orqali olinadi:

\[ M(a)_{kj}=\Gamma_{ij}^{k}a^i. \]

Bu o‘zgartirish muhim, chunki avvaliga nochiziqli yoki mavhum ko‘rinadigan ko‘paytirish muammosi matritsa rangi va yadroni hisoblash kabi chiziqli algebra masalalariga keltirilishi mumkin.

Shunday qilib, “bu algebrada qaysi elementlar degeneratsiya hosil qiladi?” degan savol “qaysi \(a\) qiymatlarida \(M(a)\) rangini yo‘qotadi?” tarzida qayta yozilishi mumkin.

Cayley–Dickson oilasida nima o‘zgaradi?

Cayley–Dickson tuzilmasi quyi o‘lchovli algebradan o‘lchovi ikki baravar katta yangi algebra hosil qiladi. Tadqiqot qo‘llagan bosqich ifodasida haqiqiy sonlar, kompleks sonlar, kvaternionlar va oktonionlar dastlabki to‘rtta bo‘linish bosqichini tashkil etadi. Sedenion bosqichidan boshlab esa nol bo‘luvchilar paydo bo‘lishi mumkin.

Bu farq tadqiqotning tasniflash dasturi uchun juda muhim. Nol bo‘luvchisi bo‘lmagan bo‘linish algebrasida noldan farqli elementning ko‘paytirish operatori noldan farqli yadroga ega bo‘lmaydi. Sedenionlar va undan yuqori Cayley–Dickson bosqichlarida esa yadro tuzilmalari paydo bo‘lgani sababli degeneratsiya qismfazolari va ularning tasnifi mazmunli bo‘ladi.

Braided doubling yondashuvi nima qiladi?

Tadqiqot standart Cayley–Dickson ikki baravar oshirish jarayonini kategoriya nazariyasi tilida qayta ifodalab, uni braiding operatori bilan birga ko‘rib chiqadi. Maqsad faqat keyingi algebraning ko‘paytirish jadvalini hosil qilish emas, balki mavjud yadro va degeneratsiya tuzilmalarining ikki baravar oshirish ostida qanday ko‘chirilishini o‘rganishdir.

Shu doirada quyi o‘lchovli bosqichdagi annihilyator qismfazosining yuqori bosqich algebrasiga joylashtirilishi va muayyan shartlarda yangi mustaqil yadro yo‘nalishlarining paydo bo‘lishi tahlil qilinadi.

Bu natija tasniflashni har bir o‘lchovda butunlay boshidan boshlash o‘rniga bosqichlar o‘rtasida struktura ma’lumotlarini ko‘chirish g‘oyasining asosini tashkil etadi.

Algebraik Yuk \(I(W)\) Nimani Tasniflaydi?

Algebraik Yuk \(I(W)\) degeneratsiya qismfazosining faqat o‘lchamini emas, balki chap-o‘ng annihilyator munosabatini, kon’yugatsiya xatti-harakatini, spektral tuzilishini, spektral oralig‘ini va ishora signaturasini birgalikda kodlaydigan invariantlar paketidir. Tadqiqotning maqsadi umumiy holatdagi degeneratsiya orbitalarini ushbu paket orqali farqlash mumkin bo‘lgan holga keltirishdir.

Tadqiqotda ta’riflangan paket quyidagicha:

\[ I(W)=(r,b,p,\Sigma,\Delta,\Pi). \]

Ushbu paketning muhim xususiyati baza tanloviga imkon qadar kam bog‘liq tasnifni ko‘zlashidir. Tadqiqot umumiy va silliq mintaqada bir xil to‘liq \(I(W)\) qiymatiga ega degeneratsiya tekisliklari bir xil avtomorfizm orbitasi bilan bog‘lanishi mumkinligini ilgari suradi. Yuqori simmetriyaga ega istisno mintaqalarda esa qo‘shimcha invariantlar talab qilinishi mumkinligi ochiq tan olinadi.

Kanonik shakl nega kerak?

Ikki matematik obyekt turli koordinatalarda juda boshqacha ko‘rinishi mumkin, ammo bir xil algebraik tuzilmani ifodalashi mumkin. Shu bois faqat koordinata qiymatlarini solishtirish ishonchli tasnif emas.

Tadqiqot ortogonal o‘zgartirishlar, avtomorfizmlar, Gram–Schmidt amallari va singulyar qiymatlar ajratmalari kabi vositalardan foydalanib, bir xil orbitaga tegishli misollarni standart vakillarga olib kelishni maqsad qiladi. Shu tariqa “bir xil algebraik tuzilma turli koordinatalarda qayta ko‘rinayaptimi?” degan savol kanonik taqqoslashga aylantiriladi.

Aniq Algebraik Sertifikat Yondashuvi Nimani O‘zgartiradi?

Aniq algebraik sertifikat yondashuvi sonli algoritmning faqat taxminiy javob berishi o‘rniga natija bilan birga mustaqil ravishda tekshirilishi mumkin bo‘lgan chekli matematik guvoh ishlab chiqarishini ko‘zlaydi. Tadqiqotda suzuvchi nuqtali hisoblar nomzod yechimni topish uchun ishlatilishi mumkin bo‘lsa-da, yakuniy da’volar polinom ayniyatlari, algebraik sonlar yoki ildizni izolyatsiya qilish sertifikatlari bilan tasdiqlanishi talab qilinadi.

Bu farq ayniqsa nolga juda yaqin singulyar qiymatlarda muhimdir. Kompyuterning \(10^{-12}\) kattalikdagi sonni hosil qilishi bu qiymat matematik jihatdan aynan nol ekanini o‘z-o‘zidan ko‘rsatmaydi.

Tadqiqotning yechimi ikki bosqichli: sonli usul avval nomzod tuzilmani topishi mumkin; keyin nomzod aniq algebraik tasvirga aylantiriladi va bevosita tekshiriladi.

Yadro qanday sertifikatlanadi?

\(v\) vektorining yadroda ekanini da’vo qilish uchun asosiy tekshiruv

\[ L_a v=0 \]

tengligini aniq algebraik arifmetika bilan tekshirishdir. Bir nechta vektor uchun mustaqillik ham alohida tekshiriladi va yadro bazisi olinadi.

Manbada katta matritsalarda butun matritsani saqlamasdan ishlaydigan Lanczos yondashuvi ham muhokama qilinadi. Bu usulda

\[ A_a=L_a^{T}L_a \]

operatoridan foydalaniladi. Asosiy tenglik

\[ \ker(L_a)=\ker(L_a^{T}L_a) \]

bo‘lgani sababli, musbat yarim aniqlangan simmetrik operatorning nol xos qiymatlari orqali yadro qidirilishi mumkin.

Biroq tadqiqotning yakuniy yondashuvi sonli Ritz vektorini o‘z-o‘zidan sertifikat deb hisoblamaydi. Sonli nomzod bevosita

\[ \|L_a y\| \]

qoldig‘i bilan tekshirilishi va keyingi bosqichda aniq algebraik tasvirga aylantirilishi talab qilinadi.

Thom kodlash nima uchun kerak?

Agar xos qiymat yoki spektral oraliq algebraik son bo‘lsa, o‘nli taxmin o‘rniga uni belgilovchi polinom va ildizning boshqa haqiqiy ildizlar orasida qaysi biri ekanini aniqlovchi ishora ma’lumotlaridan foydalanish mumkin. Thom kodlashning vazifasi shundan iborat.

Shunday qilib, “spektral oraliq taxminan mana shu son” deyish o‘rniga, ushbu qiymat qaysi algebraik ildiz ekanini chekli ma’lumot bilan aniqlash mumkin.

Positivstellensatz sertifikati nega qo‘llanadi?

Ba’zi hollarda maqsad yechim mavjudligini emas, muayyan algebraik tizimning haqiqiy yechimi yo‘qligini isbotlashdir. Tadqiqot bunday salbiy da’volar uchun Krivine–Stengle Positivstellensatz ayniyatlaridan sertifikat sifatida foydalanishni taklif qiladi.

Bu yondashuvning afzalligi “qidiruv o‘tkazdim, lekin yechim topmadim” degan gapni “yechim mavjud bo‘la olmasligini algebraik ayniyat bilan tasdiqladim” degan gapdan ajratishidir.

Orbitaga mansublik nega murakkabroq masala?

Ikki degeneratsiya tuzilmasi bir xil avtomorfizm sinfiga mansub yoki mansub emasligini aniqlash faqat matritsa rangini hisoblashdan murakkabroq. Tadqiqot orbitaga mansublikni haqiqiy sonlarning ekzistensial nazariyasi bilan bog‘liq qaror masalasi sifatida shakllantiradi va uni \(\exists\mathbb{R}\) doirasida ko‘rib chiqadi.

Shu sababli tadqiqot “hamma narsani oson hisoblash mumkin” degan da’voni ilgari surmaydi. Aksincha, sertifikatni tekshirish sertifikatni yaratishdan ancha oson bo‘lishi mumkinligini ta’kidlaydi.

Algebraik Tasnif Gauge Guruhlari bilan Qanday Bog‘lanadi?

Tadqiqot algebraik degeneratsiya ma’lumotlarini gauge fizikasiga bevosita eksperimental o‘lchov sifatida emas, balki ta’riflangan diskret ta’sir funksiyasi ichidagi nazariy lug‘at sifatida bog‘laydi. Bu modelda \(L_a^{T}L_a\) operatorining spektri fluktuatsiya modlariga mos keladigan tarzda talqin qilinadi; biroq bu moslashtirish model taxminlariga bog‘liq.

Tadqiqotning diskret ta’siri umumiy ko‘rinishda

\[ S(a,x)=\frac{1}{2}\langle L_a x,L_a x\rangle+V(a,x) \]

deb yoziladi.

Potensial \(V(a,x)\) ikkinchi darajali hadni o‘z ichiga olmaydigan qilib tanlanganda, \(x=0\) nuqtasidagi Hessian

\[ \operatorname{Hess}_x S(a,0)=L_a^{T}L_a=A_a \]

bo‘ladi.

Bu tenglik tadqiqotning fizik lug‘ati markazida turadi. \(A_a\) matritsasining nol modlari qoldiq simmetriya yo‘nalishlari bilan, musbat spektri qo‘zg‘alish modlari bilan, eng kichik musbat spektral qiymat esa model ichidagi massa oralig‘i miqdori bilan bog‘lanadi.

Tadqiqot, shuningdek, \(I(W)\) bilan emergent gauge Lie algebrasining duali o‘rtasida umuman olganda yagona bo‘lmagan moslashtirishni ta’riflaydi. Manba taklif qilgan talqinda \(r\) qoldiq gauge rangiga, \(\Delta\) massa oralig‘iga oid ko‘rsatkichga va \(\Pi\) mahalliy barqarorlik ma’lumotiga bog‘lanadi.

Bu tuzilma matematik model ichida izchillik yaratishni maqsad qiladi; haqiqiy zarracha massalari, Standart Model gauge guruhi yoki o‘lchangan fizik doimiylar ushbu tadqiqot tomonidan yakka holda eksperimental tarzda keltirib chiqarilgan degani emas.

Topologik miqdorlar qanday ajratiladi?

Tadqiqot haqiqiy va kompleks topologik tuzilmalar bir xil miqdordek ishlatilmasligi kerakligini alohida ta’kidlaydi. Haqiqiy vektor dastalarining sikllar bo‘yicha holonomiyasi \(\mathbb{Z}_2\) turidagi Stiefel–Whitney ma’lumotlari bilan bog‘liq bo‘lsa, butun son qiymatli Chern sinflari qo‘shimcha kompleks tuzilmani talab qiladi.

Shu sababli Chern sonini hisoblash uchun faqat spektral ma’lumot yetarli emas. Tegishli qismfazo mos almost-complex tuzilishga ega ekani ham alohida tasdiqlanishi kerak.

Tadqiqot nimani qo‘llab-quvvatlaydi, nimani qo‘llab-quvvatlamaydi?

Qo‘llab-quvvatlaydigan doira: chekli haqiqiy algebralarda ko‘paytirish operatorlari yadrolari va degeneratsiya tuzilmalarini chiziqli va algebraik vositalar bilan o‘rganish; invariantlar orqali tasniflash; kanonik vakil hosil qilish; natijalarni aniq sertifikat formatlariga aylantirish; Cayley–Dickson ikki baravar oshirish ostidagi strukturaviy munosabatlarni kuzatish.

Qo‘llab-quvvatlamaydigan kengroq da’vo: haqiqiy olam faqat shu diskret algebraik tizim tomonidan boshqarilishining eksperimental isboti. Preface bo‘limidagi “olamning ichki grammatikasi”, “fizik haqiqatning deterministic manbai” kabi kuchli iboralar tadqiqot muallifining dasturiy talqinlaridir; ular matematik tasnif teoremalarining o‘z-o‘zidan eksperimental natijasi emas.

Tadqiqot Usuli va Natijalari

Cayley–Dickson Bosqichlarida Nol Bo‘luvchilar Qayerda Paydo Bo‘ladi?

Tadqiqot qo‘llagan Cayley–Dickson ierarxiyasida haqiqiy sonlar, kompleks sonlar, kvaternionlar va oktonionlar bo‘linish algebralari sifatida ishlasa, sedenion bosqichi va undan keyin nol bo‘luvchilar paydo bo‘lishi mumkin. Bu o‘zgarish noldan farqli yadrolar va demak degeneratsiya qismfazolari tizimli ravishda tasniflanishi mumkin bo‘lgan rejimga o‘tishni anglatadi.

\(n\)-o‘lchovli algebrada ikki o‘lchovli yadro uchun asosiy rang sharti

\[ \dim\ker L_a\geq 2 \]

bo‘lgani sababli, rank-nullity teoremasiga ko‘ra ekvivalent ravishda

\[ \operatorname{rank}(L_a)\leq n-2 \]

deb yozish mumkin.

Tadqiqot ushbu chiziqli shartni determinantal geometriya bilan birlashtirib, tegishli rang yetishmovchiligi mintaqalarini algebraik xilma-xilliklar va stratifikatsiyalar sifatida ko‘rib chiqadi.

Usullar zanjiri

Spektral ekvivalentlik natijasi

Tadqiqotdagi eng asosiy va ishonchli matematik qadamlardan biri quyidagi ekvivalentlikdir:

\[ \ker(M)=\ker(M^{T}M). \]

Chunki \(Mv=0\) bo‘lsa, ravshanki \(M^{T}Mv=0\) bo‘ladi. Teskari yo‘nalishda

\[ v^{T}M^{T}Mv=\|Mv\|_2^2 \]

bo‘lgani uchun \(M^{T}Mv=0\) tengligi \(\|Mv\|_2=0\) va demak \(Mv=0\) natijasini beradi.

Bu ekvivalentlik simmetrik va musbat yarim aniqlangan \(M^{T}M\) operatorida Lanczosga o‘xshash spektral usullardan foydalanish uchun matematik asos yaratadi.

Sonli nomzod bilan matematik sertifikat o‘rtasidagi farq

Matnning dastlabki hisoblash bo‘limlarida deterministik Lanczos, zich SVD, yuqori aniqlikdagi arifmetika va LLL rekonstruksiyasi kabi sonli/aralash usullar qo‘llanadi. Asarning keyingi va epilog bo‘limlarida esa yakuniy qabul siyosati yanada qat’iylashgani ko‘rinadi: suzuvchi nuqtali qiymatlar faqat nomzod yaratish uchun ishlatilishi, natija to‘liq algebraik sertifikatga aylantirilmaguncha yakuniy da’vo hisoblanmasligi kerak.

Shu sababli tadqiqotning yakuniy metodologik xabari “sonli hisoblashdan foydalanma” emas. Xabar — sonli natijani tekshiriladigan aniq obyektga aylantirmasdan uni yakuniy ilmiy sertifikat sifatida qabul qilmaslikdir.

Umumiy orbitalarni tasniflash

Tadqiqot mos umumiy holatdagi degeneratsiya tekisliklari uchun Algebraik Yuk paketi avtomorfizm orbitalarini ajratishini ko‘zlaydigan orbita-ajratish teoremasini taqdim etadi. Biroq barcha nuqtalar umumiy holatda emasligi ham tan olinadi.

Yuqori simmetriyali yoki spektral jihatdan maxsus istisno lokuslarda stabilizator guruhlari kattalashishi va ayni asosiy invariantlar orbitalarni mustaqil ravishda ajratish uchun yetarli bo‘lmasligi mumkin. Bu mintaqalar alohida singulyarlik va bifurkatsiya muammosi sifatida ko‘rib chiqiladi.

Hisoblash murakkabligi

Manbada aniq chiziqli algebra va determinantga asoslangan ayrim amallar uchun kubik matritsa xarajatlari muhokama qilinsa-da, umumiyroq algebraik qaror muammolarida ancha yuqori murakkablik tan olinadi.

Xususan, orbitaga mansublik haqiqiy algebraik mavjudlik masalasi shaklida ifodalanganda o‘zgaruvchilar soniga nisbatan bir-eksponentsial turdagi nazariy chegaralar paydo bo‘lishi mumkin. Gröbner bazasi va Positivstellensatz sertifikatini yaratish ham yomon holatda qimmat bo‘lishi mumkin.

Buning aksiga, tayyor sertifikatni tekshirish ko‘p hollarda sertifikatni birinchi marta yaratishdan osonroqdir. Tadqiqotning “auditable mathematics” yondashuvining asosiy afzalliklaridan biri shudir.

Takror ishlab chiqarish mumkinligi yondashuvi

Tadqiqot har bir hisoblash uchun faqat yakuniy natijani emas, balki natijani qayta tekshirishga imkon beradigan artifact paketini ham taklif qiladi. Bu paket odatda struktura doimiylari, boshlang‘ich element, nullspace sertifikati, xarakteristik polinom, Thom kodlashlari, spektral oraliq ma’lumoti, signatura sertifikati va deterministik tekshirish skriptini o‘z ichiga oladi.

Maqsad uchinchi tomon butun tadqiqot zanjirini muallif dasturiga ishonib qabul qilishi emas, balki yakuniy algebraik da’voni mustaqil ravishda qayta tekshira olishi hisoblanadi.

Asosiy cheklovlar

Bu cheklovlar tadqiqot qiymatini yo‘qqa chiqarmaydi; ular qaysi da’vo aniq matematik tasnif natijasi, qaysi biri algoritmik qo‘llanuvchanlik da’vosi va qaysi biri fizik talqin ekanini to‘g‘ri darajada saqlashga yordam beradi.

Manba va Usul Haqida Izoh

Asl tadqiqot: Algebraic Symmetries, Gauge Groups, and Their Mutual Classifications

PDFdagi muallif nomi: Charlie Tibedo.

SSRN bibliografik qaydi: Charles Tibedo, Independent.

Sana: PDFda June 2026; SSRN qayd sanasi 10 June 2026 va SSRNga yuklangan sana 19 June 2026.

Manba turi: 97 sahifalik nazariy matematika / matematik fizika tadqiqot matni.

Platforma: SSRN.

SSRN Abstract ID: 6941718.

Zenodo DOI: 10.5281/zenodo.20647456.

SSRN DOI: 10.2139/ssrn.6941718.

Taqriz holati: Bibliografik tekshiruvda ayni sarlavhaning taqrizli jurnalda chop etilgan alohida version of record qaydi aniqlanmadi. Shu sababli tadqiqot Verianla’da taqrizdan o‘tgan yakuniy maqola sifatida taqdim etilmaydi.

Litsenziya/mualliflik huquqi: SSRN qaydida “All rights reserved. No reuse allowed without permission” deb ko‘rsatilgan. Ushbu Verianla matni asl manba matnining tarjimasi, qisqartirilgan qayta yozuvi yoki rasmlarining nusxasi emas; u ilmiy tushunchalar va da’volarning mustaqil turkcha tushuntirishidir.

Markaziy usul: Struktura tenzori formulasi, chap/o‘ng ko‘paytirish operatorlari, determinantal geometriya, Cayley–Dickson ikki baravar oshirish tuzilmasi, avtomorfizm orbitalari, normal shakllar, spektral invariantlar, algebraik sonlar maydonlari, Thom kodlashlari, Positivstellensatz va aniq tekshirish sertifikatlari.

Asosiy talqin chegarasi: Tadqiqotning algebraik tasnif va tekshiriladigan hisoblash natijalari bilan ularning gauge fizikasi bo‘yicha model ichidagi talqini alohida darajalardir. Gauge guruhi, massa oralig‘i va topologik kuzatiluvchanlik bog‘lanishlari eksperimental o‘lchov natijasi sifatida taqdim etilmasligi kerak.

Manba ichidagi bibliografik/tahririy nomuvofiqliklar: Sarlavha sahifasidagi muallif nomi bilan SSRN qaydidagi nom shakli farq qiladi; tadqiqot ichida boshqa bir treatise nomi bilan ham tilga olinadi; ayrim o‘zaro havolalarda o‘rinbosar iboralar mavjud. Bu unsurlar maqolaning asosiy matematik ta’riflaridan alohida baholangan.

Vizual foydalanish izohi: Manba ochiq litsenziyali bo‘lmagani uchun asl shakllardan bevosita foydalanilmasligi kerak. Verianla uchun tayyorlanadigan vizuallar faqat faktik algebraik munosabatlarga tayangan mustaqil sxemalar bo‘lishi kerak.