Gallai Decomposition of Ordered Groups: Subgroups, Quotients, and the N-free Case
Abstract
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 ρ, then every least strong module Sρ(e,g), g≠e, is a subgroup. For a partial order this subgroup is convex. Thus the robust modules through the identity of an ordered group form a canonical chain of convex subgroups, with each canonical factor H/H- prime, totally ordered, or equality-ordered. We characterize exactly the subgroups that are modules, show that they form a complete sublattice of the subgroup lattice, establish overlap and inheritance results for arbitrary subgroups, and prove compatibility with quotients by normal strong subgroups. For N-free ordered groups the prime factors disappear. Using the robust-module decomposition of cographs, we characterize all two-sided invariant N-free partial orders by reduced admissible two-coloured subgroup chains, with totally ordered and equality-ordered canonical factors; the order is determined by the first nontrivial factor of each element. We also determine how the canonical decomposition restricts to arbitrary subgroups, characterize finite width and prove width divisibility for subgroups, and show that every reduced two-coloured chain is realized by an N-free ordered abelian group whose canonical factors are isomorphic to ℤ.
Related
- Abelian quotients and orbit sizes for subgroups of linear groups
- Complete mappings stabilizing Sylow $2$-subgroups in central quotients of special linear groups
- Sphere decomposition for finite subgroups of 3-manifold mapping class groups
- A proof of the Erdős-Gallai cycle decomposition conjecture
- An irreducible decomposition of the Weil representation restricted to open compact subgroups
BibTeX
@misc{zaguia2026gallai,
title = {{Gallai Decomposition of Ordered Groups: Subgroups, Quotients, and the $N$-free Case}},
author = {Imed Zaguia},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.06220},
eprint = {2609.06220},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.06220},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Gallai Decomposition of Ordered Groups: Subgroups, Quotients, and the N-free Case
AU - Imed Zaguia
PY - 2026
DA - 2026/09/13
PB - arXiv
DO - 10.48550/arxiv.2609.06220
UR - https://arxiv.org/abs/2609.06220
AB - 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 ρ, then every least strong module S_ρ(e,g), g≠e, is a subgroup. For a partial order this subgroup is convex. Thus the robust modules through the identity of an ordered group form a canonical chain of convex subgroups, with each canonical factor H/H^- prime, totally ordered, or equality-ordered. We characterize exactly the subgroups that are modules, show that they form a complete sublattice of the subgroup lattice, establish overlap and inheritance results for arbitrary subgroups, and prove compatibility with quotients by normal strong subgroups. For N-free ordered groups the prime factors disappear. Using the robust-module decomposition of cographs, we characterize all two-sided invariant N-free partial orders by reduced admissible two-coloured subgroup chains, with totally ordered and equality-ordered canonical factors; the order is determined by the first nontrivial factor of each element. We also determine how the canonical decomposition restricts to arbitrary subgroups, characterize finite width and prove width divisibility for subgroups, and show that every reduced two-coloured chain is realized by an N-free ordered abelian group whose canonical factors are isomorphic to ℤ.
ER -