# nLab commutative invertible magma

Contents

### Context

#### Algebra

higher algebra

universal algebra

# Contents

## Idea

There should be a commutative version of a invertible magma. That leads to the concept of a commutative invertible magma.

## Definition

A commutative invertible magma is a magma $(G,(-)\cdot(-):G\times G\to G)$ with a unary operation $(-)^{-1}:G \to G$ called the inverse such that

• $a \cdot (b \cdot b^{-1}) = a$

for all $a,b \in G$.

## Examples

• Every commutative loop is a commutative invertible unital magma.

• Every commutative invertible quasigroup is a commutative invertible magma.

• Every abelian group is a commutative invertible monoid.

• The empty magma is a commutative invertible magma.

Last revised on May 25, 2021 at 10:26:44. See the history of this page for a list of all contributions to it.