**0**

votes

**0**answers

49 views

### Quasigroups extracted from the rational numbers and division

Consider a quasigroup $(Q,/)$, that is, Q is any set and for $\forall a,b\in Q$ there are unique solutions to the equations $x/a=b$ and $a/y=b$. How to find a maximal set of independent identities of ...

**2**

votes

**1**answer

254 views

### Reference request for generalization of groups with out identity element?

In other words what do we call a magma which is associative and has divisibility property but not existence of identity? Or a groupoid when it loses the identity property?
A reference on such ...

**3**

votes

**4**answers

452 views

### On the notion of partial semigroup

A partial binary operation on a set $X$ is just a (partial) function $\varphi: X \times X \rightharpoonup X$ (I'm using \rightharpoonup for partial maps), and a partial magma is a pair $\mathbb M = ...

**5**

votes

**1**answer

487 views

### What is the origin of the term magma?

Wikipedia credits Bourbaki with coining it, but doesn't provide a source. Does anyone happen to know the motivation for using this term?

**8**

votes

**1**answer

483 views

### Magma “actions” (or alternatively, “What is the Yoneda lemma for magmas?”)

Arguably the most import thing about groups, semigroups and more generally categories, is that they can act on sets (or even collections of sets in the case of a category). This is the basis for all ...

**3**

votes

**2**answers

817 views

### Free commutative magma over a set

BOURBAKI, inside his book on ALGEBRA defines and provides explicit constructions concerning the concepts of free magma, free monoid (and implicitly free semi-group) and free group, and as well free ...