Uniquely 2-divisible magma

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

Definition

A magma (set with a binary operation) is said to be uniquely 2-divisible if the square map $x\mapsto x*x$ is a bijection on it, or in other words, every element has a unique squareroot.

Relation with other properties

Stronger properties

• B-loop