Ero sivun ”Binäärioperaatio” versioiden välillä

Binäärioperaatiolla on merkittävä osa useassa [[abstrakti algebra|abstraktin algebran]] rakenteessa. Esimerkiksi [[magma (matematiikka)|magma]] on pari <math>(A,*) \ </math>, missä ''A'' on joukko ja <math>* \ </math> on joukon ''A'' binäärioperaatio. Magman johdannaisissa rakenteissa binäärioperaatiolta vaaditaan lisää ominaisuuksia. Esimerkiksi [[puoliryhmä]] on magma, jonka binäärioperaatio on assosiatiivinen. Muita magmasta lähteviä rakenteita ovat esimerkiksi [[monoidi]], [[kvasiryhmä]], [[luuppi (algebra)|luuppi]] ja [[ryhmä (algebra)|ryhmä]]. [[Rengas (matematiikka)|Rengas]], [[kokonaisalue]] ja [[kunta]] ovat taas kolmikkoja <math>(A,+,*) \ </math>, missä ''A'' on joukko sekä <math>+ \ </math> ja <math>* \ </math> ovat joukon ''A'' binäärioperaatiota tietyin lisäehdoin.