En álgebra abstracta , un grupoide parcial (también llamado medio grupo , pargoide o magma parcial ) es un conjunto dotado de una operación binaria parcial . [1] [2]
Un grupoide parcial es un álgebra parcial .
Semigrupo parcial
Un grupoide parcial se llama semigrupo parcial si se cumple la siguiente ley asociativa : [3]
Dejar tal que y , luego
- si y solo si
- y Si (y, debido a 1., también ).
Referencias
- ^ Evseev, AE (1988). "Una encuesta de grupoides parciales". En Ben Silver (ed.). Diecinueve artículos sobre semigrupos algebraicos . American Mathematical Soc. ISBN 0-8218-3115-1.
- ^ Folkert Müller-Hoissen; Jean Marcel Pallo; Jim Stasheff, eds. (2012). Associahedra, Tamari Lattices y estructuras relacionadas: Tamari Memorial Festschrift . Springer Science & Business Media. págs. 11 y 82. ISBN 978-3-0348-0405-9.
- ^ Shelp, RH (1972). "Un enfoque de semigrupo parcial para conjuntos parcialmente ordenados". Proc. London Math. Soc. (1972) págs. 3 a 24 (1) . London Mathematical Soc. págs. 46–58.
Otras lecturas
- ES Ljapin; AE Evseev (1997). La teoría de las operaciones algebraicas parciales . Springer Holanda. ISBN 978-0-7923-4609-8.