Назовём декартовым графом размерности

подмножество произведения

циклических групп с образующими

. На таком множестве

естественно действует свободный моноид направлений

:

прибавляет

к элементу

до тех пор, пока не получится элемент

, а если никогда не получится, останемся где были; с

аналогично, но

отнимается.
Пусть у нас есть некоторое множество

, на котором действует

. Что надо потребовать от этого действия (кроме транзитивности и очевидной «почти обратности»

и

:

,

), чтобы

была изоморфна некоторому декартову графу?**
(Подсказка, если непонятно, что может пойти не так)
Например, если все элементы бесконечной «спирали» вида

различны, её нельзя вложить в целочисленную решётку.
UPD: напомнили, что можно. Да, если рассматривать её отдельно, но вот в более сложном случае — не уверен.
* В граф можно превратить, выпустив из каждой точки по ребру для каждого «направления» из

.
** На самом деле я ещё не решил эту задачу, но выглядит она просто.