Integer semigroups associated with Dumont-Thomas numeration systems (Q2449271)

Summary: Given a primitive substitution, we define different binary operations on infinite subsets of the nonnegative integers. These binary operations are defined with the help of the Dumont-Thomas numeration system; that is, a numeration system associated with the substitution. We give conditions for these semigroups to have an identity element. We show that they are not finitely generated. These semigroups define actions on the set of positive integers. We describe the orbits of these actions. We also estimate the density of these sets as subsets of the positive integers.