Euclidean algorithm for a class of linear orders
Abstract
Borrowing inspiration from Marcone and Mont\'{a}lban's one-one correspondence between the class of signed trees and the equimorphism classes of indecomposable scattered linear orders, we find a subclass of signed trees which has an analogous correspondence with equimorphism classes of indecomposable finite rank discrete linear orders. We also introduce the class of \emph{finitely presented linear orders}-- the smallest subclass of finite rank linear orders containing , and and closed under finite sums and lexicographic products. For this class we develop a generalization of the Euclidean algorithm where the \emph{width} of a linear order plays the role of the Euclidean norm. Using this as a tool we classify the isomorphism classes of finitely presented linear orders in terms of an equivalence relation on their presentations using \emph{3-signed trees}.
Cite
@article{arxiv.2202.04282,
title = {Euclidean algorithm for a class of linear orders},
author = {Shashwat Agrawal and Amit Kuber and Esha Gupta},
journal= {arXiv preprint arXiv:2202.04282},
year = {2022}
}
Comments
26 pages