Կիսախումբ
Ուշադրություն, այս հոդվածն աղբյուրների կարիք ունի։ Դուք կարող եք օգնել նախագծին՝ գտնելով բերված տեղեկությունների հաստատումը վստահելի աղբյուրներում և ավելացնելով այդ աղբյուրներին հղումները հոդվածին։ Անհիմն հղումները ենթակա են հեռացման։ |
Կիսախումբը հանրահաշվական կառուցվածք է՝ բաղկացած բազմությունից, որի վրա սահմանված է ասոցիատիվ բինար գործողություն։ Կիսախմբից սերում է մոնոիդը, որում առկա է նաև միավոր տարրը։ Նրանից սերում է նաև խումբը, որում ցանկացած տարր հակադարձելի է։
Սահմանում[խմբագրել | խմբագրել կոդը]
բազմությունը կոչվում է կիսախումբ, եթե
1. ( փակ է "" գործողության նկատմամբ)
2. ( ասոցիատիվ է )