Internal monoids and groups in the category of commutative cancellative medial magmas (Q2520537): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 09:26, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Internal monoids and groups in the category of commutative cancellative medial magmas |
scientific article |
Statements
Internal monoids and groups in the category of commutative cancellative medial magmas (English)
0 references
15 December 2016
0 references
Groupoids, i.e., algebras \((A,\oplus )\) with one binary operation \(\oplus\), are considered under the name ``magmas''. If \(\oplus\) is commutative, cancellative and medial (the last one means \((x\oplus y)\oplus (z\oplus w)=(x\oplus z)\oplus (y\oplus w)\)) the magma \((A,\oplus )\) is called a ccm-magma. Several examples of ccm-magmas are presented. The authors study the category of ccm-magmas. This category is weakly Mal'tsev. The existence of an internal monoid structure \(A\times A \to A \leftarrow 1\) is characterized for a given object \((A,\oplus )\) and for every choice of a unit element. Some properties of internal relations are studied.
0 references
midpoint algebra
0 references
commutative monoid
0 references
abelian group
0 references
cancellation law
0 references
medial law
0 references
quasigroup
0 references
internal monoid
0 references
internal group
0 references
internal relation
0 references
weakly Mal'tsev category
0 references