Algebraic analysis

Algebra Level 5

Define C Q C_\mathbb{Q} to be the ring of Cauchy sequences in Q \mathbb{Q} (Where in the ring of sequences in Q \mathbb{Q} , addition and multiplication are usual sequence addition and multiplication) and define Z Q Z_\mathbb{Q} to be the ideal in C Q C_\mathbb{Q} of sequences that converge to 0 0 . Are all elements of the field C Q / Z Q C_\mathbb{Q}/ Z_\mathbb{Q} algebraic over { { q } n > 0 + Z Q q Q } \{ \{q\}_{n>0} + Z_\mathbb{Q} | q \in \mathbb{Q} \} (a subfield of cosets represented by constant sequences)?

No Yes

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Jonathan Dunay
Feb 11, 2018

No. C Q / Z Q R C_\mathbb{Q}/ Z_\mathbb{Q} \cong \mathbb{R} and { { q } n > 0 + Z Q q Q } Q \{ \{q\}_{n>0} + Z_\mathbb{Q} | q \in \mathbb{Q} \} \cong \mathbb{Q} . But R \mathbb{R} is not an algebraic extension of Q \mathbb{Q} .

Alexander Gibson
Feb 16, 2018

Adding to Jonathans solution, R \mathbb R is isomorphic to C Q / Z Q {C_\mathbb Q}/{\mathbb Z_\mathbb Q} because there is a surjective homomorphism f f from C Q C_\mathbb Q to R \mathbb R whose kernel is Z Q \mathbb Z_\mathbb Q . f f exists because the completion of Q \mathbb Q is R \mathbb R and thus by the first isomorphism theorem there is an isomorphism from C Q / Z Q {C_\mathbb Q}/{\mathbb Z_\mathbb Q} to R \mathbb R

Yeah. In fact, the point of the problem was to bring up this construction of a complete ordered field given the field of rational numbers (of course, you need to give C Q / Z Z C_\mathbb{Q}/Z_\mathbb{Z} the structure of a total order when doing this using the total order on the rational numbers).

Jonathan Dunay - 3 years, 3 months ago

Log in to reply

Do you know whether there's some simplified way of proving R \mathbb R is a field using this construction?Like some proof that C Z C_\mathbb Z is a maximal ideal?I presume not because most proofs that equivalence classes of cauchy sequences form a field involve actually dealing with limits.

Alexander Gibson - 3 years, 3 months ago

Log in to reply

I feel like if you are dealing with C Q C_\mathbb{Q} and Z Q Z_\mathbb{Q} , at some point you need to deal with epsilons, even if you are showing something like the statment that Z Q Z_\mathbb{Q} is a maximal ideal in C Q C_\mathbb{Q} .

Jonathan Dunay - 3 years, 3 months ago

I was in a hurry not all elements in R are algebraic over Q. Example pi.

Srikanth Tupurani - 2 years, 1 month ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...