×

Internal monoids and groups in the category of commutative cancellative medial magmas. (English) Zbl 1358.08002

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.

MSC:

08C05 Categories of algebras
20N02 Sets with a single binary operation (groupoids)
08C15 Quasivarieties

References:

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.