Arities and aritizabilities of group, monoid and groupoid theories

DOI10.1134/S1995080222060270MaRDI QIDQ2172895zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 19 September 2022

Published in Lobachevskii Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2112.11341

zbMATH Keywords

aritizabilityarityelementary theorygroupgroupoidmonoid

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) General structure theory for semigroups (20M10)

Abstract: We study applications of a general approach for arities and arizabilities of theories to group and monoid theories. It is proved that a theory of a group $G$ is aritizable if and only if $G$ is finite. It is shown that this criterion does not hold for monoids/groupoids: there is an infinite monoid/groupoid having a binary theory.

Recommendations

• Monads with arities and their associated theories
• scientific article; zbMATH DE number 3928977
• Groupoids with primitive normal and additive theory
• Bi-interpretability of some monoids with the arithmetic and applications
• Finite axiomatizability for equational theories of computable groupoids

Cites work

• scientific article; zbMATH DE number 4016876 (Why is no real title available?)
• Normality of Horn theories with a nonmaximal spectrum
• On distributions of countable models of disjoint unions of Ehrenfeucht theories

Cited in

(1)

• An isomorphism between monoids of external embeddings: About definability in arithmetic

This page was built for publication: Arities and aritizabilities of group, monoid and groupoid theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2172895)