The spectrum problem for abelian -groups and MV-algebras

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) MV-algebras (06D35) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Abstract: This paper deals with the problem of characterizing those topological spaces which are homeomorphic to the prime spectra of MV-algebras or Abelian l-groups. As a first main result, we show that a topological space

X

is the prime spectrum of an MV-algebra if and only if: (1)

X

is spectral, and (2) the lattice of compact open subsets of

X

is an epimorphic image of a lattice of "cylinder rational polyhedra" (a natural generalization of rational polyhedra) of some hypercube. As a second main result we extend our results to Abelian l-groups. That is, let

X

be a spectral space and

K (X)

the lattice of its compact open sets. The following are equivalent: (1)

X

is the spectrum of some Abelian l-group; (2)

X

is homeomorphic to

S p e c (K (X))

and

K (X) c u p i n f t y

is isomorphic to the lattice of the compact open sets of a local MV-algebra, where

i n f t y > x

for every

x i n K (X)

. Finally we axiomatize, in monadic second order logic, the lattices of cylinder rational polyhedra of dimension

1

and

2

.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: The spectrum problem for abelian \(\ell\)-groups and MV-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q776994)