Orbits of Maximal Vector Spaces


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

Let Vbe a standard computable infinite-dimensional vector space over the field of rationals. The lattice\( \mathfrak{L} \)(V) of computably enumerable vector subspaces of Vand its quotient lattice modulo finite dimension,\( \mathfrak{L} \)*(V), have been studied extensively. At the same time, many important questions still remain open. In 1998, R. Downey and J. Remmel posed the question of finding meaningful orbits in\( \mathfrak{L} \)*(V) [4, Question 5.8]. This question is important and difficult and its answer depends on significant progress in the structure theory for the lattice\( \mathfrak{L} \)*(V), and also on a better understanding of its automorphisms. Here we give a necessary and sufficient condition for quasimaximal (hence maximal) vector spaces with extendable bases to be in the same orbit of\( \mathfrak{L} \)*(V). More specifically, we consider two vector spaces, V1and V2, which are spanned by two quasimaximal subsets of, possibly different, computable bases of V. We give a necessary and sufficient condition for the principal filters determined by V1and V2in\( \mathfrak{L} \)*(V) to be isomorphic. We also specify a necessary and sufficient condition for the existence of an automorphism Φ of\( \mathfrak{L} \)*(V) such that Φ maps the equivalence class of V1to the equivalence class of V2. Our results are expressed using m-degrees of relevant sets of vectors. This study parallels the study of orbits of quasimaximal sets in the lattice ε of computably enumerable sets, as well as in its quotient lattice modulo finite sets, ε*, carried out by R. Soare in [13]. However, our conclusions and proof machinery are quite different from Soare’s. In particular, we establish that the structure of the principal filter determined by a quasimaximal vector space in\( \mathfrak{L} \)*(V) is generally much more complicated than the one of a principal filter determined by a quasimaximal set in ε*. We also state that, unlike in ε*, having isomorphic principal filters in\( \mathfrak{L} \)*(V) is merely a necessary condition for the equivalence classes of two quasimaximal vector spaces to be in the same orbit of\( \mathfrak{L} \)*(V).

About the authors

R. D. Dimitrov

Department of Mathematics, Western Illinois University

Author for correspondence.
Email: rd-dimitrov@wiu.edu
United States, Macomb, IL, 61455

V. Harizanov

Department of Mathematics, George Washington University

Author for correspondence.
Email: harizanv@gwu.edu
United States, Washington, DC, 20052

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2016 Springer Science+Business Media New York