A solution to the MV-spectrum Problem in size aleph one
Abstract
Denote by Id the lattice of all principal -ideals of an Abelian -group . Our main result is the following. Theorem. For every countable Abelian -group , every countable completely normal distributive 0-lattice and every closed 0-lattice homomorphism , there are a countable Abelian -group , an -homomorphism , and a lattice isomorphism such that . We record the following consequences of that result: (1) A 0-lattice homomorphism , between countable completely normal distributive 0-lattices, can be represented, with respect to the functor Id, by an -homomorphism of Abelian -groups iff it is closed. (2) A distributive 0-lattice of cardinality at most is isomorphic to some Id iff is completely normal and for all the set has a countable coinitial subset. This solves Mundici's MV-spectrum Problem for cardinalities up to . The bound is sharp. Item (1) is extended to commutative diagrams indexed by forests in which every node has countable height.All our results are stated in terms of vector lattices over any countable totally ordered division ring.
Keywords
Cite
@article{arxiv.2303.18137,
title = {A solution to the MV-spectrum Problem in size aleph one},
author = {Miroslav Ploscica and Friedrich Wehrung},
journal= {arXiv preprint arXiv:2303.18137},
year = {2023}
}