Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2505.01936 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915495851065344 |
|---|---|
| author | Brown, Jennifer Suárez, Ricardo |
| author_facet | Brown, Jennifer Suárez, Ricardo |
| contents | The finite condensation $\sim_F$ is an equivalence relation defined on a linear order $L$ by $x \sim_F y$ if and only if the set of points lying between $x$ and $y$ is finite. We define an operation $\cdot_F$ on linear orders $L$ and $M$ by $L \cdot_F M = \operatorname{o.t.}\left((LM)/\!\sim_F\right)$; that is, $L \cdot_F M$ is the order type of the lexicographic product of $L$ and $M$ modulo the finite condensation. The infinite order types $L$ such that $L / \! \sim_F\, \cong 1$ are $ω, ω^*,$ and $ζ$ (where $ω^*$ is the reverse ordering of $ω$, and $ζ$ is the order type of $\mathbb{Z}$). We show that under the operation $\cdot_F$, the set $R=\{1, ω, ω^*, ζ\}$ forms a left regular band. Further, each of the ordinal elements of $R$ defines, via left or right multiplication modulo the finite condensation, a weakly order-preserving map on the class of ordinals. We study these maps' effect on the ordinals of finite degree in Cantor normal form. In particular, we examine the extent to which one of these maps, sending $α$ to the order type of $α$ modulo the finite condensation, behaves similarly to a derivative operator on the ordinals of finite degree in Cantor normal form. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_01936 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Algebraic structures arising from the finite condensation on linear orders Brown, Jennifer Suárez, Ricardo Logic 06A05, 03E05 The finite condensation $\sim_F$ is an equivalence relation defined on a linear order $L$ by $x \sim_F y$ if and only if the set of points lying between $x$ and $y$ is finite. We define an operation $\cdot_F$ on linear orders $L$ and $M$ by $L \cdot_F M = \operatorname{o.t.}\left((LM)/\!\sim_F\right)$; that is, $L \cdot_F M$ is the order type of the lexicographic product of $L$ and $M$ modulo the finite condensation. The infinite order types $L$ such that $L / \! \sim_F\, \cong 1$ are $ω, ω^*,$ and $ζ$ (where $ω^*$ is the reverse ordering of $ω$, and $ζ$ is the order type of $\mathbb{Z}$). We show that under the operation $\cdot_F$, the set $R=\{1, ω, ω^*, ζ\}$ forms a left regular band. Further, each of the ordinal elements of $R$ defines, via left or right multiplication modulo the finite condensation, a weakly order-preserving map on the class of ordinals. We study these maps' effect on the ordinals of finite degree in Cantor normal form. In particular, we examine the extent to which one of these maps, sending $α$ to the order type of $α$ modulo the finite condensation, behaves similarly to a derivative operator on the ordinals of finite degree in Cantor normal form. |
| title | Algebraic structures arising from the finite condensation on linear orders |
| topic | Logic 06A05, 03E05 |
| url | https://arxiv.org/abs/2505.01936 |