Částečný groupoid - Partial groupoid

v abstraktní algebra, a částečný grupoid (také zvaný poloskupina, pargoidnínebo částečné magma) je sada obdařená a částečný binární operace.^[1]^[2]

Částečný grupoid je a částečná algebra.

Částečná poloskupina

Částečný grupoid ${ displaystyle (G, circ)}$ se nazývá a částečná poloskupina pokud následující asociační právo drží:^[3]

Nechat ${ displaystyle x, y, z v G}$ takhle ${ displaystyle x circle y v G}$ a ${ displaystyle y circ z v G}$ , pak

${ displaystyle x circ (y circ z) v G}$ kdyby a jen kdyby ${ displaystyle (x circ y) circ z v G}$
a ${ Displaystyle x Circ (y Circ z) = (X Circ y) Circ z}$ -li ${ displaystyle x circ (y circ z) v G}$ (a kvůli 1. také ${ displaystyle (x circ y) circ z v G}$ ).

^ Evseev, A. E. (1988). "Průzkum částečných grupoidů". V Ben Silver (ed.). Devatenáct článků o algebraických poloskupinách. American Mathematical Soc. ISBN 0-8218-3115-1.
^ Folkert Müller-Hoissen; Jean Marcel Pallo; Jim Stasheff, eds. (2012). Associahedra, Tamari Lattices a související struktury: Tamari Memorial Festschrift. Springer Science & Business Media. str.11 a 82. ISBN 978-3-0348-0405-9.
^ Shelp, R. H. (1972). "Částečný poloskupinový přístup k částečně objednaným sadám". Proc. London Math. Soc. (1972) s3-24 (1). London Mathematical Soc. str. 46–58.

E.S. Ljapin; A.E. Evseev (1997). Teorie částečných algebraických operací. Springer Nizozemsko. ISBN 978-0-7923-4609-8.

Tento algebra související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.