{"id":"arxiv/2604.13989","url":"https://arxiv.org/abs/2604.13989","tags":["math.GR"],"score":0,"title":"Computing least common multiples in monoids with a finite Garside family","domain":"math.GR","source":"arxiv","authors":["Emir Melliti"],"reviews":0,"subject":"math.GR","summary":"Right-reversing is an algorithm used to compute least common multiples in monoids that admit a right-complemented presentation. The algorithm can either terminate and find a result, fail, or run indefinitely. The correctness of the algorithm can be proved with additional assumptions coming from Garside theory. In the same framework, we prove that a non-terminating run of the algorithm is necessarily cyclic. Stopping when a cycle is detected provides a way of computing a minimal Garside family.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-15","reactions":{}}