„Grupoid” változatai közötti eltérés

Az [[algebra|algebrában]] '''grupoid'''<ref>A grupoidokat egyes szerzők néha [[monoid]]oknak is nevezték, újabban azonban ezt a megnevezést inkább csak az úgynevezett [[egységelem]]es [[asszociatív]] grupoidra alkalmazzák.</ref> – más néven '''magma'''<ref>A [[Bourbaki-csoport|bourbakisták]] a „magma” terminust vezették be eredetileg a grupoidokra. A „grupoid” név talán az [[angol nyelv|angol]] „group-oid”, azaz „csoport-szerű” kifejezésből ered, és valószínűleg arra utal, hogy a grupoidok „olyanok, mint a [[csoport (matematika)|csoportok]] (csak jóval kevesebbet tudnak)”. A csoport nevű [[matematikai struktúra]] valóban a grupoid egy specializációja. Egyébként a grupoid nem csak a csoportok, hanem az összes egyműveletes struktúra primitív „prototípusát” is jelenti, de az egyműveletes struktúrák közül a csoport a legfontosabb és – úgy látszik – „legmagasabbrendűnek” tartott (és ezt fedezték fel elsőként az ilyen struktúrák között): a többi fontos egyműveletes struktúra (félcsoport, kvázicsoport) is a csoportról lett elkeresztelve.</ref> – alatt egy olyan egyműveletes [[Matematikai struktúra|algebrai struktúrát]] értünk, amelyben az egyetlen definiált [[művelet]] egy kétváltozós művelet.

 

 

== Definíció ==