7
$\begingroup$

Does anyone know, how is called a semigroup in which every equation $ax=b$ has only a finite set (maybe empty) of solutions?

$\endgroup$
2
  • 1
    $\begingroup$ Please give more motiviation and background for the question. $\endgroup$ Nov 17, 2011 at 16:12
  • 2
    $\begingroup$ @Martin: I now return to my old article in 1996 with K.Iordjev (you can see it in my homepage). I used such semigroups in it and now would know whether they are some own name. $\endgroup$ Nov 17, 2011 at 18:31

1 Answer 1

7
$\begingroup$

Pedro Silva and I introduced what we called finite geometric type for a finitely generated semigroup. The definition was that the in-degree of each vertex of the right Cayley graph be finite. An easy induction on the length of a shows this is equivalent to xa=b has finitely many solutions for any fixed a,b.

This should really be called right finite geometric type and so you should have left finite geometric type. Actually we probably should have used proper since for finitely generated semigroups it means the Cayley graph is a proper metric space.

Update. It is proved by Ellis in http://www.ams.org/journals/tran/2001-353-04/S0002-9947-00-02704-5/S0002-9947-00-02704-5.pdf that an infinite semigroup T has finite geometric type if and ony if $\beta T\setminus T$ is a right ideal where $\beta T$ is the Stone-Czech compactification of T.

$\endgroup$
7
  • $\begingroup$ Thank you, Benjamin. Could you give me the reference to to this article? $\endgroup$ Nov 17, 2011 at 17:50
  • 1
    $\begingroup$ @Boris, the relevant papers are: P. V. Silva and B. Steinberg, Extensions and subsemigroups of automatic monoids, Theoret. Comput Sci. 289 (2002), 727-754 and P. V. Silva and B. Steinberg, A geometric characterization of automatic monoids, Q. J. Math. 55 (2004), 333-356. I don't remember if both these papers have the notion or just the second one. They were both written around 2000 but took a while to appear. Of course it is quite possible that a name for this notion occurred long ago. In 2000 there was no MO and Google was not so good for finding these things. $\endgroup$ Nov 17, 2011 at 20:21
  • $\begingroup$ @Benjamin, once more thank you. I found this papers. $\endgroup$ Nov 17, 2011 at 20:45
  • $\begingroup$ Ben, why on earth finite geometric type is intersting? Never understood this. Can you find nice examples where FGT would help or can you explode any big problem with FGT stuff? $\endgroup$
    – Victor
    Apr 18, 2012 at 7:45
  • 1
    $\begingroup$ This condition is needed to make the Cayley graph locally finite. Without this there is no hope to try and work geometrically with monoid Cayley graphs. Also homological properties behave badly without it. The condition is a weak form of cancellativity and makes a monoid behave more like a group. But one can of course find ugly semigroups with FGT. $\endgroup$ Apr 18, 2012 at 10:23

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.