Grupoid
Z Wikipedii
Grupoid (rzad. magma) – zbiór z określonym na nim dowolnym działaniem dwuargumentowym.
[edytuj] Definicja
Parę uporządkowaną nazwiemy grupoidem, jeżeli:
- G jest dowolnym zbiorem
- jest działaniem dwuargumentowym w G, tzn. funkcja , oznaczanym często
[edytuj] Przykłady
- Każda grupa jest grupoidem,
- Każda półgrupa jest grupoidem,
- Każdy monoid jest grupoidem,
- Zbiór liczb naturalnych z działaniem potęgowania jest grupoidem, tzn. , gdzie
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki,
- teoria grup,
- teoria pierścieni,
- monoid,
- półgrupa,
- grupa,
- pierścień,
- ciało.