Semigroup intersection problems in the Heisenberg groups

@article{Dong2022SemigroupIP,
  title={Semigroup intersection problems in the Heisenberg groups},
  author={Rui-Tao Dong},
  journal={ArXiv},
  year={2022},
  volume={abs/2209.13343}
}
We consider two algorithmic problems concerning sub-semigroups of Heisenberg groups and, more generally, two-step nilpotent groups. The first problem is Intersection Emptiness , which asks whether a finite number of given finitely generated semigroups have empty intersection. This problem was first studied by Markov in the 1940s. We show that Intersection Emptiness is PTIME decidable in the Heisenberg groups H n ( K ) over any algebraic number field K , as well as in direct products of Heisenberg… 

Figures from this paper