**Մոդուլ օղակի վրա**, ընդհանուր հանրահաշվի հիմնական հասկացություններից մեկն է, հանդիսանալով երկու հանրահաշվական հասկացությունների ընդհանրացում՝ վեկտորային տարածության (փաստորեն դաշտում վեկտորական տարածութունը մոդուլ է) և աբելյան խմբի, (որը մոդուլ՝ ամբողջ թվերի օղակում) {\displaystyle \mathbb {Z} }).1

Կոմուտատիվ հանրահաշվի հիմքում է ընկած մոդուլի հասկացությունը, որը կարևոր դեր է խաղում մաթեմատիկայի տարբեր ոլորտներում, ինչպիսիք են

* հանրահաշվական երկրաչափություն
* հոմոլոգային հանրահաշիվ
* պատկերացումների տեսություն

Հիմնավորում
-----------

Վեկտորական տարածությունում սկալյարների բազմությունը կազմում է դաշտ և բազմապատկումը սկալյարով բավարարվում է մի քանի աքսոմներով, ինչպիսին, բազմապատման բաշխականությունը։ Մոդուլում է միայն պահանջվում, որպեսզի օղակ կազմեն սկալյարները ասոցիատիվ միավորի հետ, աքսիոմները նույնպես մնում են նույնը։

Մոդուլի տեսության զգալի մասը կազմած է փորձերից՝ նրանցով ընդհանրացնել վեկտորական տարածութան հայտնի հատկությունները, երբեմն դրա համար պետք է լինում մոդուլները սահմանափակվել «իրեն լավ ներկայացնող» օղակներով, ինչպիսին գլխավոր իդեալների տիրույթը։ Սակայն մոդուլը ամբողջությամբ կարգավորելն ավելի դժվար է, քան վեկտորայնի տարածությունը։Օրինակ, բազիս ոչ յուրաքանչյուր մոդուլում կարելի է ընտրել և նույնիսկ այն ազատ մոդուլներում, որում հնարավոր է, կարող են ունենալ մի քանի բազիս տարբեր թվերի էլեմենտներով (ոչ տեղափոխական օղակի դեպքում)։

Սահմանում
---------

```
Ենթադրենք  {\displaystyle R\ } —ը օղակ է (որպես կանոն, ընդունելով {\displaystyle 1\in R} միավոր տարրով տեղափոխական)։ R</math> R մոդուլը անվանում են {\displaystyle M\ } [[աբելյան խմբիաբելյան խմբի  {\displaystyle R\ } օղակի էլեմենտների բազմապատկման գործողություններով ։ 
```

{\displaystyle R\times M\to M,\quad (r,m)\mapsto rm,}
որը բավարարում է հետևյալ պայմաններին։

1) {\displaystyle \forall m\in M,\,\forall r\_{1},r\_{2}\in R\quad (r\_{1}r\_{2})m=r\_{1}(r\_{2}m),}
2) {\displaystyle \forall m\in M\quad 1m=m.}
3) {\displaystyle \forall m\_{1},m\_{2}\in M,\,\forall r\in R\quad r(m\_{1}+m\_{2})=rm\_{1}+rm\_{2},}
4) {\displaystyle \forall m\in M,\,\forall r\_{1},r\_{2}\in R\quad (r\_{1}+r\_{2})m=r\_{1}m+r\_{2}m.}
**Կիրառում։** Ոչ տեղափոխական ղաի դեպքում այդպիսի մոդուլին հաճախ անվանում են «ձախ»։ Ադ դեպքում Աջ անվանում են այնպիսի օբյեկտները, որի պայմանները 1) փոխարինված են հետևյալով

{\displaystyle \forall m\in M,\,\forall r\_{1},r\_{2}\in R\quad (r\_{1}r\_{2})m=r\_{2}(r\_{1}m),}

որ ավելի հարմար է բանաձևել, գրելով օղակի էլեմենտը մոդուլի էլեմենտից աջm։

{\displaystyle \forall m\in M,\,\forall r\_{1},r\_{2}\in R\quad m(r\_{1}r\_{2})=(mr\_{1})r\_{2},} այստեղից և տերմինաբանություն։

{\displaystyle R\ } տեղափոխական օղակի դեպքում աջ և ձախ մոդուլների սահմանումները համընկնում են և նրանց պարզապես անվանում են մոդուլ։ 

{\displaystyle R\ }ցանկացած օղակ կարելի է համարել ինքը իրեն մոդուլ (ոչ տեղափոխականի դեպքում այն հանդիսանում է նույնպես ինքն իրեն աջ մոդուլ)։

Կապակցված սահմանումներ և հատկություններ
---------------------------------------

* {\displaystyle M\_{R}\ } մոդուլի **Ենթամոդուլ** անվանում են {\displaystyle M\ } խմբի {\displaystyle B\ } ենթախումբ, փակված {\displaystyle R\ } տարրերի բազմապատկման վերաբերյալ, այսինքն այնպես, որ

{\displaystyle \forall b\in B,\ r\in R\ :rb\in B}.
* Եթե *R* օղակը դիտել ինքը իրեն մոդուլ, ապա նրա ենթամոդուլը հանդիսանում է ձախ իդեալ, եթե դիտել աջ մոդուլ, ապա աջ իդեալ, տեղափոխականի դեպքում աջ և ձախ իդեալների հասկացությունները համընկնում են։

* **Հոմոմորֆիզմ** կամ {\displaystyle R}-**հոմոմորֆիզմ** {\displaystyle R} մոդուլի A-ն և B-ն անվանում են հոմոմորֆիզ խումբ {\displaystyle \phi :A\to B},որ համար իրագործելի է լրացուցիչ պայման {\displaystyle \phi (ra)=r\phi (a)\forall a\in A,r\in R}։ Այդպիսի բոլոր հոմոմորֆիզմների բազմությունները նշանակվում է {\displaystyle Hom\_{R}(A,\ B)} միջոցով. Այդ բազմության վրա կարելի է ներմուծել աբելյան խմբի կառուցվածքը, սահմանելով 0, - և + հետևյալ հավասարություններով

{\displaystyle 0a=0,\ (-\phi )a=-(\phi a),\ (\phi +\psi )a=\phi a+\psi a}։
դիտել **ֆակտորմոդուլ** {\displaystyle M/N}-ն ինչպես как множество M -ի էլեմենտների համարժեքության դասի բազմություն, որոշելով տարրերի միջև համարժեքության առնչությունը։ 

{\displaystyle a\sim b} այն և միայն այն ժամանակ, երբ {\displaystyle b-a} պատկանում է {\displaystyle N}
Ֆակտորմոդուլի էլեմենտները հաճախ նշանակում են ինչպես {\displaystyle [a]=\{a+n:n\in N\}=a+N}։ Գումարման և բազմապատկման գործողությունները որոշվում են {\displaystyle (a+N)+(b+N)=(a+b+N),r\cdot (a+N)=(r\cdot a+N)} բանաձևերով։

Օրինակներ
---------

* Ցանկացած աբելյան խումբ, մոդուլ ամբողջ թվերի օղակի վրա։
* Գծային տարածություն F գծային դաշտի վրա հանդիսանում է F-ի վրա մոդուլ։
* {\displaystyle V} գծային տարածություն, մոդուլ օղակի վրա իր ամբողջ {\displaystyle L(V)} գծային փոակերպումներով։
* Դիֆֆերենցիալ ձևեր M հարթ բազմազանությամբ մատակարարված M հարթ ֆունկցիաների բնական կառուցվածքով մոդուլ օղակի վրա։
* Եթե *I*-ն *R* օղակի ձախ իդեալն է, այն կլինի այդ նույն օղակի ձախ մոդուլը։ Հանգունորեն, աջ իդեալները կլինեն աջ մոդուլներ։

Մոդուլի տեսակներ
----------------

* վերջավործնված մոդուլ
* *Ցիկլային մոդուլներ*, մոդուլը կոչվում է ցիկլային, եթե այն առաջացել է մեկ տարրից։
* Ազատ մոդուլներ
* Պրոյեկտիվ մոդուլներ
* Ինեկտիվ մոդուլներ
* *Անվերածելի մոդուլներ*, մոդուլը կոչվում է անվերածելի, եթե այն չի կարելի վերածել երկու մոդուլների ուղիղ գումարի։
* *Լրիվ վերածելի մոդուլներ* , մոդուլներ, որոնք կարելի է վերածել անվերածելի ուղիղ գումարների։
* Պարզ մոդուլներ
* Կիսապարզ մոդուլներ
* Արտինովյան մոդուլներ
* Նետերովյա մոդուլներ

Պատմություն
-----------

Մոդուլների ամենապարզ օրինակները՝ աբելյան վերջավոր խմբեր, այսինքն՝ մոդուլ {\displaystyle \mathbb {Z} },երևան են եկել դեռ Գաուսի մոտ ինչպես բինարային քառակուսային ձևի խմբերի տեսակներ։
Առաջին անգամ 60-80 թվականներին է հանդիպում մոդուլի ընդհանուր հասկացությունը։ Նվիրված էր XIX դարում Դեդեկինդի և Կրոնեկերի աշխատությունները հանրահաշվական թվերի և հանրահաշվական ֆունկցիաների թվաբանական դաշտերին։ 
Մոտավորապես այդ ժամանակ անցկացնելով ասոցիատիվ վերջավոր չափանի հանրահաշվի հետազոտությունը մասնավորապես հանրահաշվի խմբերի վերջավոր խմբերը (Բ․ Պիրս Ֆ․ Ֆրոբենուս), բերեց ոչ տեղափոխական օղակների մի քանի իդալների ուսումնասիրության։
Մոդուլի տեսության նախասկիզբը զարգացվել է առավելապես ինչպես որոշ օղակի իդելաների տեսություն։ Ավելի ուշ Է․ Նյոթերի և Վ․Կրուլլի(W. Krull) աշխատություններում նկատվեց, շատ արդյունքները հարմար է ձևակերպել և ապացուցել ցանկացած մոդուլների տերմիներով և ոչ միայն իդեալներով։

Գրականություն
-------------

* *Ван дер Варден Б. Л.* Алгебра. — М.: Наука, 1975.
* *Зарисский О. Самюэль П.* Коммутативная алгебра. — М.: ИЛ, 1963. — Т. 1.
* *Ленг С.* Алгебра. — М.: Мир, 1967.