# Diassociative magma

From Groupprops

This article defines a property that can be evaluated for a magma, and is invariant under isomorphisms of magmas.

View other such properties

## Contents

## Definition

A magma is termed a **diassociative magma** if it satisfies the following equivalent conditions:

- For any (possibly equal) elements , the submagma of generated by and is associative.
- Any subset of the magma of size at most two is contained in a subsemigroup of the magma.
- For any word in two letters, and any two different ways of associating (parethensizing) that word, the value of the result of the two ways of parenthesizing is the same for any choice of values of elements in the magma to substitute for the letters. In other words, all identities that would follow from the associative law hold in the magma as long as there are only two distinct letters in the statement of the identity.

## Relation with other properties

### Property obtained by the opposite operation

Suppose is a magma and we define on by . Then, is a diassociative magma if and only if is a diassociative magma.

### Stronger properties

Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|

Semigroup | associativity holds on the whole magma | |FULL LIST, MORE INFO |

### Weaker properties

Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
---|---|---|---|---|

Left-alternative magma | Alternative magma|FULL LIST, MORE INFO | |||

Right-alternative magma | Alternative magma|FULL LIST, MORE INFO | |||

Alternative magma | |FULL LIST, MORE INFO | |||

Power-associative magma | powers are well-defined | |FULL LIST, MORE INFO | ||

Flexible magma | |FULL LIST, MORE INFO | |||

Magma in which cubes are well-defined | Alternative magma, Flexible magma, Left alternative magma, Power-associative magma, Right-alternative magma|FULL LIST, MORE INFO |