Polish modules over subrings of ℚ
摘要
We give a method of producing a Polish module over an arbitrary subring of ℚ from an ideal of subsets of ℕ and a sequence in ℕ. The method allows us to construct two Polish ℚ-vector spaces, U and V, such that both U and V embed into ℝ but U does not embed into V and V does not embed into U,
where by an embedding we understand a continuous ℚ-linear injection. This construction answers a question of Frisch and Shinko [4]. In fact, our method produces a large number of Polish ℚ-vector spaces which are incomparable with respect to embeddings.