Խմբոիդ

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

Սահմանում

$M$ բազմությունը կոչվում է խմբոիդ (մագմա), եթե նրա վրա սահմանված է «$\cdot$» բինար հարաբերությունն այնպես, որ $\mathrm{\forall }a,b\in M$-ին համապատասխանում է մեկ այլ $a\cdot b$ տարր, որը նույնպես $M$-ից է։

$\mathrm{\forall }a,b\in M$ $a\cdot b\in M$

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

Գրականություն

• Կաղապար:Citation