# Questions tagged [magmas]

Questions involving the algebraic structure called magma. Often used in combination with more general tags such as universal-algebra or the top-level tag ra.rings-and-algebras.

16
questions

0
votes

0
answers

78
views

### Commutator magma isomorphism

Define the commutator magma of a group to be the magma whose elements are the same as the group’s and whose operation is the group’s commutator.
What are the conditions for two finite groups to have ...

2
votes

1
answer

107
views

### Algebras determined by their globals

If $A= (A, f_1, f_2, ...f_n)$ is an algebra, then its global (sometimes referred to as complex algebras) $\mathcal{U}(A)$ is defined on the power set $\wp(A)$ in the usual way.
It is known that $\...

1
vote

0
answers

130
views

### How can I build free unital magmas?

N. Bourbaki formally defines the free magma $M(X)$ over a set $X$. However, it does not define the free unital magma over $X$, which I am denoting by $M^{\ast}(X)$ (maybe you know some more common ...

1
vote

2
answers

206
views

### Example of idempotent left quasigroups which are right-distributive but not left-distributive

I am looking for examples of the following algebraic structure: a set (X,.) which satisfy the axioms
(idempotent) x.x = x
(left quasigroup) the equation a.x = b has a unique solution denoted by x = ...

4
votes

0
answers

121
views

### A multiplication for distributive lattices via rowmotion

Let $L$ be a finite distributive lattice. In case $L$ is Boolean one can define a multiplication by $a*b:=(a \cup b) \setminus (a \cap b)=(a \cup b) \cap (a \cap b)^c$, where $(-)^c$ denotes the ...

2
votes

1
answer

148
views

### Principal ideal of a non-associative magma

The definitions of an ideal of an algebraic structure $A$ (as a substructure $I$ such that the product of $A$ and $I$ is a subset of $I$) do not involve associativity.
However, the definitions of a ...

24
votes

2
answers

677
views

### What's the maximum probability of associativity for triples in a nonassociative loop?

In a finite nonabelian group, the probability that two randomly chosen elements commute cannot exceed 5/8. One easy proof also makes it easy to find the smallest groups that attain this bound, namely ...

1
vote

0
answers

66
views

### Information on structure (CI-magma with (non surjective)homorphism) of chemical transformations

Thinking about the mathematical structure of chemical transformations, between all possible components (educts, products) it occurs to me, that this structure is a commutative-idempotent groupoid(=...

7
votes

1
answer

347
views

### For a new operation on a finite group of odd order giving a loop structure, when does this also gives a group

For finite groups $G$ of odd order, as $x \mapsto x^2$ is bijection (but no automorphism in general) then, we can define for each $g \in G$ the element $x^{1/2}$ by requiring $(x^{1/2})^2 = x$. Then ...

2
votes

0
answers

109
views

### Quasigroups extracted from the rational numbers and division

Consider a quasigroup $(Q,/)$, that is, Q is a 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 representants of ...

2
votes

1
answer

307
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 ...

9
votes

5
answers

988
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 = (M,...

31
votes

5
answers

8k
views

### How many binary operations are associative?

Let $X$ be a finite set of $n$ elements, and consider a binary operation $\odot: X \times X \rightarrow X$. There are $n^{n^2}$ such binary operations, as the $n \times n$ table entries can each
be ...

10
votes

2
answers

1k
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?

10
votes

1
answer

823
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 ...

6
votes

2
answers

1k
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 ...