Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
There should be an associative version of a commutative invertible magma. That leads to the concept of a commutative invertible semigroup.
A commutative invertible semigroup is a commutative semigroup $(G,(-)+(-):G\times G\to G)$ with a unary operation $-:G \to G$ called the inverse such that $a + b + (-b) = a$ for all $a,b \in G$.
A commutative invertible semigroup is a set $G$ with a binary operation $(-)-(-):G \times G \to G$ called subtraction such that:
For any element $a$ in a commutative invertible semigroup $G$, the element $a-a$ is called an identity element, and the element $(a-a)-a$ is called the inverse element of $a$. For all elements $a$ and $b$, addition of $a$ and $b$ is defined as $a-((b-b)-b)$.
Every abelian group is a commutative invertible semigroup.
The empty magma is a commutative invertible semigroup that is not an abelian group.
Every ring is a monoid object in commutative invertible semigroups.
Similarly, every (non-associative) unital $\mathbb{Z}$-algebra is an H-space object in commutative invertible semigroups.
invertible semigroup (non-commutative version)
commutative invertible magma (non-associative version)
commutative semigroup (non-invertible version)
abelian group (unital version)
Last revised on May 23, 2023 at 05:33:14. See the history of this page for a list of all contributions to it.