Գեղամյան, Գեղամ Դավիթի

Մաթեմատիկա

Աշխատությունը նվիրված է ժամանակակից հանրահաշվի կառուցվածքային խնդիրներից մեկի ուսումնասիրությանը՝ կենտրոնանալով ձախակողմյան մոդուլների, օղակների և դրանց միջուկային կառուցվածքների հատկությունների վրա։ Հետազոտության հիմնական նպատակն է բացահայտել այն հանրահաշվական պայմանները, որոնց դեպքում դիտարկվող կառուցվածքի միջուկը դառնում է տրիվիալ, ինչպես նաև պարզել այդ հատկության ազդեցությունը ամբողջ համակարգի ներքին կառուցվածքի, ենթամոդուլների, հոմոմորֆիզմների և համապատասխան հանրահաշվական օբյեկտների դասակարգման վրա։ Տրիվիալ միջուկի գաղափարը կարևոր դեր է խաղում հանրահաշվական արտապատկերումների և ներկայացումների ուսումնասիրության մեջ, քանի որ այն անմիջականորեն կապված է ինյեկտիվության, կառուցվածքային անկախության և տվյալ օբյեկտի ներքին հատկությունների պահպանման հետ։ Աշխատանքում խնդիրը դիտարկվում է աբստրակտ հանրահաշվի ընդհանուր մեթոդաբանության շրջանակում՝ կիրառելով օղակների և մոդուլների տեսության հասկացություններն ու կառուցվածքային մեթոդները։ Առանձին ուշադրություն է հատկացվում ձախ մոդուլի գաղափարին, երբ սկալյարների ազդեցությունը սահմանվում է համապատասխան օղակի ձախ կողմից։ Այսպիսի կառուցվածքների ուսումնասիրությունը հնարավորություն է տալիս ընդհանրացնել վեկտորական տարածությունների բազմաթիվ հատկություններ այն դեպքերի համար, երբ սկալյարների բազմությունը դաշտ չէ, այլ ավելի ընդհանուր հանրահաշվական օղակ։ Այդ ընդհանրացման պայմաններում առաջանում են նոր երևույթներ, քանի որ օղակում կարող են գոյություն ունենալ զրոյի բաժանարարներ, ոչ դարձելի տարրեր և այլ կառուցվածքային առանձնահատկություններ։ Հետևաբար մոդուլների կառուցվածքը կարող է լինել զգալիորեն ավելի բարդ, քան սովորական գծային հանրահաշվում ուսումնասիրվող վեկտորական տարածքներինը։ Հետազոտության կարևոր ուղղություն է ենթամոդուլների կառուցվածքի վերլուծությունը։ Ենթամոդուլները հնարավորություն են տալիս ուսումնասիրել ամբողջ մոդուլի ներքին կազմակերպվածությունը, առանձնացնել դրա կառուցվածքային բաղադրիչները և դիտարկել գործոնային մոդուլների ձևավորումը։ Տրիվիալ ենթամոդուլի կամ միջուկի առկայությունը որոշակի արտապատկերումների դեպքում կարող է նշանակել, որ տարբեր տարրեր չեն նույնացվում տվյալ հոմոմորֆիզմի ազդեցությամբ։ Այս հանգամանքը հնարավորություն է տալիս կապ հաստատել միջուկի կառուցվածքի և արտապատկերման ինյեկտիվության միջև։ Առանձին տեղ է զբաղեցնում հոմոմորֆիզմների ուսումնասիրությունը։ Մոդուլների միջև կառուցվածքը պահպանող արտապատկերումները ժամանակակից հանրահաշվի հիմնական գործիքներից են, քանի որ դրանց միջոցով հնարավոր է համեմատել տարբեր հանրահաշվական օբյեկտներ և բացահայտել դրանց միջև գոյություն ունեցող կառուցվածքային կապերը։ Հոմոմորֆիզմի միջուկը բաղկացած է այն տարրերից, որոնք արտապատկերվում են զրոյական տարրի վրա։ Եթե միջուկը տրիվիալ է, ապա արտապատկերումը պահպանում է տարրերի տարբերակելիությունը և հանդես է գալիս որպես ինյեկտիվ հոմոմորֆիզմ։ Այս հատկության ուսումնասիրությունը կարևոր է մոդուլների ներդրումների, ներկայացումների և իզոմորֆ կառուցվածքների բացահայտման տեսանկյունից։ Կարևորվում է նաև միջուկի և պատկերի փոխհարաբերության ուսումնասիրությունը։ Հոմոմորֆիզմների վերաբերյալ հիմնական կառուցվածքային սկզբունքները հնարավորություն են տալիս սկզբնական մոդուլի համապատասխան գործոնային կառուցվածքը կապել արտապատկերման պատկերի հետ։ Եթե միջուկը տրիվիալ է, այդ հարաբերակցությունը ստանում է առավել պարզ ձև և հնարավորություն է տալիս սկզբնական մոդուլը նույնացնել իր իզոմորֆ պատկերի հետ։ Այս հանգամանքը կարող է օգտագործվել ավելի բարդ հանրահաշվական կառուցվածքների ներսում մոդուլների ներդրման և դրանց ներկայացումների ուսումնասիրության ժամանակ։ Հետազոտության մեջ կարող է դիտարկվել նաև հավատարիմ ներկայացումների խնդիրը։ Երբ օղակի կամ այլ հանրահաշվական կառուցվածքի գործողությունը մոդուլի վրա ունի տրիվիալ միջուկ, գործողությունը կարող է պահպանել սկզբնական կառուցվածքի վերաբերյալ առավել ամբողջական տեղեկատվություն։ Նման ներկայացումների ուսումնասիրությունը կարևոր է օղակների տեսության մեջ, քանի որ հնարավորություն է տալիս աբստրակտ հանրահաշվական օբյեկտները ներկայացնել համապատասխան էնդոմորֆիզմների միջոցով։ Այս մոտեցմամբ մոդուլը հանդես է գալիս ոչ միայն որպես ինքնուրույն ուսումնասիրության օբյեկտ, այլև որպես այլ հանրահաշվական համակարգերի հատկությունների ուսումնասիրման գործիք։ Առանձին ուշադրություն է հատկացվում անիհիլյատորի հասկացությանը։ Մոդուլի անիհիլյատորը ներառում է օղակի այն տարրերը, որոնց գործողությունը զրոյացնում է մոդուլի համապատասխան տարրերը կամ ամբողջ մոդուլը։ Տրիվիալ անիհիլյատորի պայմանը կարևոր կառուցվածքային նշանակություն կարող է ունենալ, քանի որ այն ցույց է տալիս, որ օղակի ոչ զրոյական տարրերը չեն կորցնում իրենց ազդեցությունը ամբողջ մոդուլի վրա։ Այս հատկությունը սերտորեն կապված է հավատարիմ մոդուլների գաղափարի հետ և հնարավորություն է տալիս օղակի կառուցվածքը ուսումնասիրել դրա մոդուլային ներկայացումների միջոցով։ Հետազոտության մեջ կարող են քննության առնվել այն անհրաժեշտ և բավարար պայմանները, որոնց դեպքում համապատասխան անիհիլյատորը կամ միջուկը տրիվիալ է։ Կարևոր ուղղություն է պարզ, կիսապարզ և այլ հատուկ դասերի մոդուլների հետ հնարավոր կապերի ուսումնասիրությունը։ Մոդուլի ենթամոդուլային կառուցվածքի սահմանափակումները կարող են զգալիորեն պարզեցնել հոմոմորֆիզմների և միջուկների վարքը։ Օրինակ՝ այն դեպքերում, երբ հնարավոր ենթամոդուլների քանակը կամ կառուցվածքը խիստ սահմանափակ է, ոչ զրոյական հոմոմորֆիզմների միջուկների վերաբերյալ հնարավոր է ստանալ ավելի ուժեղ եզրակացություններ։ Նման արդյունքները կարող են օգտագործվել մոդուլների դասակարգման և տարբեր հանրահաշվական կատեգորիաների միջև հարաբերությունների ուսումնասիրության համար։ Առանձին նշանակություն ունի ճշգրիտ հաջորդականությունների կիրառումը։ Դրանք հնարավորություն են տալիս մեկ միասնական կառուցվածքի շրջանակում ներկայացնել մոդուլների, միջուկների և պատկերների միջև հարաբերությունները։ Կարճ ճշգրիտ հաջորդականությունների ուսումնասիրությունը կարող է ցույց տալ, թե ինչպես է տվյալ մոդուլը կառուցվում իր ենթամոդուլից և համապատասխան գործոնային մոդուլից։ Տրիվիալ միջուկի պայմաններում որոշ հաջորդականություններ պարզեցվում են, ինչն օգնում է բացահայտել մոդուլների ներդրման և իզոմորֆության պայմանները։ Այս մեթոդը հատկապես կարևոր է այն դեպքերում, երբ ուսումնասիրվող կառուցվածքները հնարավոր չէ արդյունավետորեն նկարագրել միայն առանձին տարրերի մակարդակում։ Հետազոտության մեթոդաբանական հիմքում ընկած են աբստրակտ հանրահաշվի կառուցվածքային և ապացուցողական մեթոդները։ Սահմանումների և հիմնական լեմմաների միջոցով ձևակերպվում են ուսումնասիրվող օբյեկտների հատկությունները, այնուհետև հաստատվում են դրանց միջև անհրաժեշտ և բավարար կապերը։ Կարող են կիրառվել հակասությունից ապացուցման, կառուցողական օրինակների, հակաօրինակների, հոմոմորֆիզմների և գործոնային կառուցվածքների մեթոդները։ Հատուկ նշանակություն ունեն այն օրինակները, որոնք ցույց են տալիս, թե ինչ է տեղի ունենում համապատասխան պայմաններից որևէ մեկի բացակայության դեպքում։ Հակաօրինակների միջոցով հնարավոր է հստակեցնել թեորեմների պայմանները և սահմանել ստացված արդյունքների կիրառելիության սահմանները։ Աշխատության տեսական նշանակությունը պայմանավորված է մոդուլների և օղակների կառուցվածքային հատկությունների միջև կապերի խորացված ուսումնասիրությամբ։ Միջուկի տրիվիալությունը առաջին հայացքից պարզ պայման է, սակայն այն կարող է ունենալ կարևոր հետևանքներ հոմոմորֆիզմների ինյեկտիվության, հավատարիմ ներկայացումների, անիհիլյատորների և մոդուլների ներքին կառուցվածքի համար։ Այդ հարաբերությունների համակարգված ուսումնասիրությունը նպաստում է մոդուլների տեսության ընդհանուր կառուցվածքային օրինաչափությունների բացահայտմանը։ Միաժամանակ ստացված արդյունքները կարող են կիրառվել հանրահաշվի հարակից ուղղություններում, որտեղ մոդուլները հանդես են գալիս որպես հիմնական կառուցվածքային գործիք։ Ընդհանուր առմամբ նյութը ներկայացնում է օղակների և մոդուլների տեսության շրջանակում միջուկների, ենթամոդուլների, հոմոմորֆիզմների և հավատարիմ ներկայացումների փոխհարաբերությունների տեսական ուսումնասիրություն՝ հատուկ ուշադրություն դարձնելով տրիվիալ միջուկի պայմաններին և դրանց կառուցվածքային հետևանքներին։ Այն կարող է օգտակար լինել աբստրակտ հանրահաշվի, օղակների տեսության, մոդուլների տեսության և հանրահաշվական կառուցվածքների տեսությամբ զբաղվող հետազոտողների, մաթեմատիկոսների, դասախոսների և բարձրագույն կրթության համապատասխան մասնագիտությունների ուսանողների համար։