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

Эстәлек юйылған Эстәлек өҫтәлгән
8 юл:
 
== Формаль билдәләмәләр ==
<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> тип атала, әгәр түбәндәге аксиомалар үтәлһә: