Անվան այլ կիրառումների համար տե՛ս՝ Մագմա (այլ կիրառումներ)

Աբստրակտ հանրահաշվում խմբոիդը (նաև կոչվում է խմբակերպ, մագմա կամ բինար[1]), հանրահաշվական կառուցվածքի հենքային տեսակ է։ Խմբոիդը կազմված է բազմությունից և մեկ փակ բինար գործողությունից։

Սահմանում խմբագրել

  բազմությունը կոչվում է խմբոիդ (մագմա), եթե նրա վրա սահմանված է « » բինար հարաբերությունն այնպես, որ  -ին համապատասխանում է մեկ այլ   տարր, որը նույնպես  -ից է։

   

Եթե « »-ը մասնակի գործողություն է, ապա այն կոչվում է մասնակի խմբոիդ[2][2][3]։

Ծանոթագրություններ խմբագրել

  1. Bergman, Clifford (2011), Universal Algebra: Fundamentals and Selected Topics, CRC Press, ISBN 978-1-4398-5130-2
  2. 2,0 2,1 Müller-Hoissen, Folkert; Pallo, Jean Marcel; Stasheff, Jim, eds. (2012), Associahedra, Tamari Lattices and Related Structures: Tamari Memorial Festschrift, Springer, էջ 11, ISBN 978-3-0348-0405-9
  3. Evseev, A. E. (1988), «A survey of partial groupoids», in Silver, Ben (ed.), Nineteen Papers on Algebraic Semigroups, American Mathematical Society, ISBN 0-8218-3115-1.

Գրականություն խմբագրել