# Right-alternative 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 **right-alternative magma** if it satisfies the following identity:

## Relation with other properties

### Property obtained by the opposite operation

If we consider a magma and now define on by , then is a right-alternative magma if and only if is a left-alternative magma.

### Stronger properties

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

Alternative magma | both right- and left-alternative | |||

Diassociative magma | submagma generated by any two elements is associative | Alternative magma|FULL LIST, MORE INFO | ||

Semigroup | associativity holds universally | Alternative magma, Diassociative magma|FULL LIST, MORE INFO |

### Weaker properties

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

Magma in which cubes are well-defined | |FULL LIST, MORE INFO |

### Incomparable properties

Property | Meaning | Proof of one non-implication | Proof of other non-implication | Notions stronger than both | Notions weaker than both |
---|---|---|---|---|---|

Left-alternative magma | Alternative magma, Diassociative magma|FULL LIST, MORE INFO | Magma in which cubes are well-defined|FULL LIST, MORE INFO | |||

Flexible magma | Diassociative magma|FULL LIST, MORE INFO | Magma in which cubes are well-defined|FULL LIST, MORE INFO |