24.11.2017 Views

Abelian Groups - László Fuchs [Springer]

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4 Separable <strong>Groups</strong> 505<br />

In the following result, C.T; Z/ denotes the group of continuous functions from<br />

the topological space T into the discrete group Z. We focus on the case when T is the<br />

set of rational numbers in an open interval of the real line (in the interval topology).<br />

Clearly, for every open interval .a; b/ with irrational endpoints a < b, thereisan<br />

isomorphism C..a; b/ \ Q; Z/ Š C.Q; Z/. The same holds if a D 1or b D1.<br />

Proposition 4.9 (Eda [2]). The group C.Q; Z/ is separable, and is isomorphic<br />

both to C.Q; Z/ @ 0<br />

and to C.Q; Z/ .@ 0/ .<br />

Proof. Let ı denote an irrational number, and let I n D .nCı; nC1Cı/\Q,i.e.the<br />

set of rational numbers in the given interval. Then Q D[ n2Z I n is a disjoint union,<br />

and therefore<br />

C.Q; Z/ D Y n2Z<br />

C.I n ; Z/ Š C.Q; Z/ Z :<br />

Let ı 0 > >ı i > be a decreasing sequence of positive irrational numbers<br />

converging to 0. Define<br />

J 0 D.. 1; ı 0 / [ .ı 0 ; 1// \ Q;<br />

J i D.. ı i ; ı iC1 / [ .ı iC1 ;ı i // \ Q 8i 2 N:<br />

We claim that the subgroup C 0 D ff 2 C.Q; Z/ j f .0/ D 0g is equal to<br />

˚i k. Hence C 0 D ˚i

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!