Lexicographic Pseudo MV-algebras

TL;DR

This paper characterizes lexicographic pseudo MV-algebras, showing they can be represented as intervals in lexicographic products and establishing categorical equivalences with $ ext{l}$-groups.

Contribution

It provides necessary and sufficient conditions for a pseudo MV-algebra to be lexicographic and demonstrates a categorical equivalence with $ ext{l}$-groups.

Findings

Characterization of lexicographic pseudo MV-algebras via lexicographic ideals

Representation as intervals in lexicographic products

Categorical equivalence with $ ext{l}$-groups

Abstract

A lexicographic pseudo MV-algebra is an algebra that is isomorphic to an interval in the lexicographic product of a linear unital group with an arbitrary $\ell$-group. We present conditions when a pseudo MV-algebra is lexicographic. We show that a key condition is the existence of a lexicographic ideal, or equivalently, a case when the algebra can be split into comparable slices indexed by elements of the interval $[0,u]$ of some unital linearly ordered group $(H,u)$. Finally, we show that fixing $(H,u)$, the category of $(H,u)$-lexicographic pseudo MV-algebras is categorically equivalent to the category of $\ell$-groups.