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\mathcal F' $ |
Discussion
Reference
Wikipedia: Field
Context
Requirements
