Exercise 1.8

Exercise 8: Prove that no order can be defined in the complex field that turns it into an ordered field.

Answers

By proposition 1.18d, an ordering < that makes an ordered field would have to satisfy 1 = i 2 > 0 , contradicting 1 > 0 .

User profile picture
2023-08-07 00:00
Comments

Proof. Assume is an ordered field. By Proposition 1.18 ( d ) , if x 0 , x 2 > 0 . By Theorem 1.27, i 0 , but by Theorem 1.28, i 2 = 1 < 0 , which is a contradiction. □

User profile picture
2023-09-01 19:11
Comments