Խմբոիդ

Վիքիպեդիայից՝ ազատ հանրագիտարանից

Աբստրակտ հանրահաշվում խմբակերպը կամ խմբոիդը (մագմա) հանրահաշվական կառուցվածքների հենքային տեսակն է։

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

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

\forall a,b \in M  a \cdot b \in M