面白い問題おしえて〜な 39問目

>>42
A=(0,1)からB=(非負整数)^Nへの射像φを
φ(a)_i = [ 2^i a ]
で定める
φの像は[ ( bi) | bi ⊂ Z ∩ [0,2^i) }である
BからC={ c | c はQの可法群の部分群 }への射像ψを
ψ(b) = { q∈Q | pi^bi q ∈ Z }
で定める、ただしpiはi番目の素数である
この時φもψも順序を保つ射像で単射であるから(0,1)とX=im(ψφ)は順序同型である