Ялан (алгебра): өлгөләр араһындағы айырма

Эстәлек юйылған Эстәлек өҫтәлгән
10 юл:
<math>F</math> күмәклегендә алгебра, ҡабатлауҙың ҡушыуға ҡарата [[дистрибутивлыҡ]] үҙсәнлеге үтәлгәндәге, <math>\boldsymbol{0}</math> [[нейтраль элемент]] менән <math>F</math> күмәклегендә <math>+</math> буйынса [[Абель төркөмө|коммутатив төркөм]] һәм нулдән айырмалы <math>F \setminus \{ \boldsymbol{0} \}</math> элементтар өҫтөндә ҡабатлау буйыса коммутатив төркөм төҙөүсе.
 
Юғарыла килтерелгән билдәләмәне асыҡлағанда, <math>F</math> күмәклеге унда индерелгән <math>+</math> ҡушыу һәм <math>*</math> ҡабатлау алгебраик операциялары менән (<math>+\colon F\times F\to F,\quad *\colon F\times F\to F</math>, йәғни <math>\forall a,b\in F\quad өсөн (a+b)\in F,\;a*b\in F</math>) '''ялан''' <math>\left\langle F,+,*\right\rangle</math> '''ялан''' тип атала, әгәр түбәндәге аксиомалар үтәлһә:
# Ҡушыуҙың коммутативлығы: <math> \forall a,b\in F\quad a+b=b+a </math>.
# Ҡушыуҙың ассоциативлығы: <math>\forall a,b,c\in F\quad (a+b)+c=a+(b+c)</math>.