Gallai Decomposition of Ordered Groups: Subgroups, Quotients, and the $N$-free Case
We study Gallai decomposition for groups equipped with two-sided invariant partial orders. The key algebraic step extends to arbitrary binary relations compatible with the group operation: if all left and right translations preserve a binary relation $\rho$, then every least strong module $S_{\rho}(\e,g)$, $g\ne\e$, is...