Օղակ (մաթեմատիկա)

Դիցուք $G$ բազմության վրա տրված են երկու գործողություն, որոնցից առաջինը անվանենք "գումարում", իսկ երկրորդը՝ "բազմապատկում"։

Համապատասխանաբար օգտվենք " + " և " $\cdot$ " նշաններից։

Սահմանում

Րիխարդ Դեդեկինդը` օղակների տեսության հիմնադիրներից մեկը:

$($ $G,$ $+,$ $\cdot$ $)$ համակարգը կոչվում է օղակ, եթե`

1. $($ $G,$ $+$ $)$ համակարգը տեղափոխելի խումբ է։

2. $($ $a$ $\cdot$ $b$ $)$ $\cdot$ $c$ = $a$ $\cdot$ $($ $b$ $\cdot$ $c$ $)$

3. $G$ - ում $\exists$ մի այնպիսի տարր` $1$, որ $\forall$ $a$ $\epsilon$ $G$-ի համար` $a$ $\cdot$ $1$ = $1$ $\cdot$ $a$ = $a$

4. $($ $a$ $+$ $b$ $)$ $\cdot$ $c$ = $a$ $\cdot$ $c$ + $b$ $\cdot$ $c$ և $a$ $\cdot$ $($ $b$ $+$ $c$ $)$ = $a$ $\cdot$ $c$ + $b$ $\cdot$ $c$

Եթե $G$ - ի բոլոր տարրերի համար տեղի ունի նաև $a$ $\cdot$ $b$ = $b$ $\cdot$ $a$ պայմանը, ապա օղակը կոչվում է տեղափոխելի(Աբելյան)։

Դաշտ

Տեղափոխելի օղակը կոչվում է դաշտ, եթե ցանկացած ոչ զրոական տարր ունի հակադարձ ըստ բազմապատկման, այսինքն՝

$($ $\forall$ $a$ $\neq$ $0$ $\exists$ $b$ $)$ $a$ $\cdot$ $b$ = $b$ $\cdot$ $a$ = $1$:

Դրույթներ

Առանց ապացույցի բերենք որոշ հայտնի դրույթներ` օղակների եւ դաշտերի վերաբերյալ`
ա) P օղակում a+x=0 հավասարումն ունի միակ լուծում, անկախ a-ի ընտրությունից: Այն նշանակվում է 0 եւ կոչվում է զրոյական տարր (սակայն այն տեղին չէ նույնացնել 0 թվի հետ):
բ) Եթե P օղակի մի կամ մի քանի տարրերի արտադրյալի մեջ գոնե մի արտադրիչը 0 է, ապա այդ արտադրյալը հավասար է զրոյի: Այնինչ` հակառակ պնդումն, ընդհանրապես ասած, ճիշտ չէ, այսինքն` հնարավոր է, որ a≠0 եւ b≠0, բայց` ab=0: այս պարագայում a,b $\epsilon$ P տարրերը կոչվում են զրոյի բաժանարարներ: