Կիսախումբ

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

Կիսախումբը հանրահաշվական կառուցվածք է՝ բաղկացած բազմությունից, որի վրա սահմանված է ասոցիատիվ բինար գործողություն։ Կիսախմբից սերում է մոնոիդը, որում առկա է նաև միավոր տարրը։ Նրանից սերում է նաև խումբը, որում ցանկացած տարր հակադարձելի է։

Սահմանում[խմբագրել | խմբագրել կոդը]

բազմությունը կոչվում է կիսախումբ, եթե

1. ( փակ է "" գործողության նկատմամբ)
2. ( ասոցիատիվ է )