This is an old revision of the document!
Subfield
Definition
| $\langle F,+,*\rangle \in \mathrm{field}(F) $ |
| $\langle F',+',*'\rangle\in\mathrm{subfield}(\langle F,+,*\rangle) $ |
| $ 0,1\in F' $ |
| $x,y\in F'$ |
| $ x+y,\ x*y,\ x-y,\ x*y^{-1},\ x+'y,\ x*'y,\ x-'y,\ x*y^{-1'} \in F' $ |
Discussion
Reference
Wikipedia: Field
Context
Requirements
