Exercise · ZW-ORDERED-FIELD-009 · ★★★ Advanced
Why can the finite field \(\mathbb Z/p\) (\(p\) prime) not be made an ordered field?
Choose one option.
Show answer
- A. Because \(1+1+\cdots+1=0\) contradicts \(1>0\)
Exercise · ZW-ORDERED-FIELD-009 · ★★★ Advanced
Choose one option.
In an ordered field \(1>0\) and every sum \(1+\cdots+1\) is positive; in \(\mathbb Z/p\), adding \(p\) ones gives \(0\).
An ordered field is a field \(F\) with a total order \(<\) compatible with addition and with multiplication by positive elements.