_0-categoricity of semigroups

DOI10.1007/S00233-019-10002-7MaRDI QIDQ2334416zbMATH OpenOpenAlexFDO

Authors Victoria Gould, Thomas Quinn-Gregson

Publication date 7 November 2019

Published in Semigroup Forum (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

semidirect productsemigroups\(\aleph _0\)-categorical

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Categoricity and completeness of theories (03C35) General structure theory for semigroups (20M10)

Abstract: In this paper we initiate the study of $alep{h}_0$-categorical semigroups, where a countable semigroup $S$ is $alep{h}_0$-categorical if, for any natural number $n$, the action of its group of automorphisms Aut $S$ on $S^n$ has only finitely many orbits. We show that $alep{h}_0$-categoricity transfers to certain important substructures such as maximal subgroups and principal factors. We examine the relationship between $alep{h}_0$-categoricity and a number of semigroup and monoid constructions, namely direct sums, 0-direct unions, semidirect products and $mathcalP$-semigroups. As a corollary, we determine the $alep{h}_0$-categoricity of an $E$-unitary inverse semigroup with finite semilattice of idempotents in terms of that of the maximal group homomorphic image.

Recommendations

• \(\aleph_0\)-categoricity of semigroups. II.
• Two counterexamples in \(\aleph _ 0\)-categorical groups
• On \(\aleph_ 0\)-categorical class two groups
• scientific article; zbMATH DE number 663783
• scientific article; zbMATH DE number 3877157

Cites work

• scientific article; zbMATH DE number 5978431 (Why is no real title available?)
• scientific article; zbMATH DE number 4065058 (Why is no real title available?)
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3512087 (Why is no real title available?)
• scientific article; zbMATH DE number 1037664 (Why is no real title available?)
• scientific article; zbMATH DE number 1181276 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• scientific article; zbMATH DE number 5258249 (Why is no real title available?)
• scientific article; zbMATH DE number 3289424 (Why is no real title available?)
• scientific article; zbMATH DE number 3292843 (Why is no real title available?)
• scientific article; zbMATH DE number 3190329 (Why is no real title available?)
• $ℵ_0$-categoricity of linear orderings
• A theory of transformation monoids: combinatorics and representation theory
• Categoricity in Power
• Commutative semigroups that are nil of index 2 and have no irreducible elements
• Embedding theorems for proper inverse semigroups
• Groups, Semilattices and Inverse Semigroups
• Groups, Semilattices and Inverse Semigroups. II
• Homogeneity of inverse semigroups
• Homogeneous bands
• Idempotent Semigroups
• Introduction to Boolean Algebras
• On _0-categoricity of filtered Boolean extensions
• On homogeneous semilattices and their automorphism groups
• On the natural ordering of -classes and of idempotents in a regular semigroup
• On the structure of _0-categorical groups
• On ℵ₀-categorical nilrings. II
• Orthogonal sums of semigroups
• Structure of partially ordered sets with transitive automorphism groups
• The Number of Partitions of a Set
• \(\aleph _0\)-categoricity of semigroups
• \(\aleph_0\) -categoricity is not inherited by factor groups
• _0-categoricity and stability of rings
• \(\aleph_0\)-categoricity of groups
• \(\aleph_0\)-categoricity of two-sorted structures

Cited in

(7)

• \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• ℵ₀-categorical structures with arbitrarily fast growth of algebraic closure
• On 0-homology of categorical at zero semigroups.
• Automorphism–invariant measures on ℵ₀-categorical structures without the independence property
• \(\aleph_0\)-categoricity of semigroups. II.
• \(\aleph _0\)-categoricity of semigroups

This page was built for publication: \(\aleph _0\)-categoricity of semigroups

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