Algebrinė struktūra: Skirtumas tarp puslapio versijų

Ištrintas turinys Pridėtas turinys
Adomasje (aptarimas | indėlis)
Nuoroda grupoidas
Adomasje (aptarimas | indėlis)
Pusgrupė apibrėžimas ir pavyzdys
Eilutė 10:
'''Grupoidas''' - tai [[aibė]], kurioje yra apibrėžtas vienas [[Uždarumas (matematika)|uždaras]] kompozicijos dėsnis<ref>{{cite web | url=https://www.terminai.lt/grupoidas/ | title=Grupoidas |author=<!--Not stated-->| date = <!--Not stated--> | website= Terminai.lt - tarptautinių žodžių žodynas | access-date= 2021 kovo 5}}</ref>. Daugiau jokių sąlygų grupoidui nėra - net [[Asociatyvumas|asociatyvumo]] sąlygos.
 
RealiųjųPavyzdžiui, realiųjų skaičių aibė su [[Atimtis|atimties]] kompozicija
<math>(\mathbb{R},-)</math>
yra grupoidas, nes atimties operacija nėra asociatyvi:
Eilutė 18:
=== Pusgrupė ===
{{plačiau|Pusgrupė}}
'''Pusgrupė''' - tai yra aibė, kurioje yra apibrėžtas uždaras asociatyvus kompozicijos dėsnis<ref>{{cite web | url=https://www.vle.lt/straipsnis/pusgrupe/ | title=Pusgrupė|author=<!--Not stated-->| date = <!--Not stated--> | website= Visuotinė lietuvių enciklopedija | access-date= 2021 kovo 5}}</ref>.
: <math>(a+b)+c=a+(b+c)</math>
 
Pavyzdžiui, natūraliųjų skaičių aibė be nulio sudėties atžvilgiu
Čia <math>a,b,c</math> – aibės elementai, <math>+</math> – kompozicijos dėsnis (bendrąja prasme, nebūtinai sudėtis)
<math>(\mathbb{N}^+,+)</math>
yra pusgrupė, nes sudėties operacija yra asociatyvi:
: <math>(a+b)+c = a+(b+c)</math>,
<math> a,b,c \in\mathbb{N}^+</math>,
ir ši struktūra neturi neutralaus elemento.
 
=== Monoidas ===