Częściowa groupoid - Partial groupoid

W algebry abstrakcyjnej , o częściowy groupoid (zwany również halfgroupoid , pargoid lub częściowe magma ) jest zbiorem obdarzony częściowej operacji binarnej .

Częściowa groupoid jest częściowo Algebra .

częściowa półgrupa

Częściowa groupoid nazywany jest częściowe półgrupa jeśli następujące prawo asocjacyjne posiada:${\ Displaystyle (M \ Circ)}$

Niech takie, że a , a następnie ${\ Displaystyle X, Y, Z \ G}$${\ Displaystyle x \ Circ r \ G}$${\ Displaystyle r \ Circ Z \ G}$

1. ${\ Displaystyle x \ Circ (r \ Circ z) \ G}$ wtedy i tylko wtedy gdy ${\ Displaystyle (x \ Circ Y) \ Circ Z \ G}$
2. i , jeśli (a ze względu na także, 1. ).${\ Displaystyle x \ Circ (r \ Circ z) = (x \ Circ Y) \ Circ Z}$${\ Displaystyle x \ Circ (r \ Circ z) \ G}$${\ Displaystyle (x \ Circ Y) \ Circ Z \ G}$

Referencje

Dalsza lektura

• ES Ljapin; AE Evseev (1997). Teoria częściowych działanie algebraiczne . Springer Holandia. ISBN  978-0-7923-4609-8 .

To algebra kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . v T mi