Sous-corps

[ Definition ]
Soit \(K'\setminus K\) un sous-ensemble d’un corps \((K, +, \times)\). On dit que la partie \(K'\) est un sous-corps du corps \(K\) si et seulement si :

  1. \(K'\) est un sous-anneau de l’anneau \((K,+,\times)\) ;

  2. l’inverse de tout élément non-nul de \(K'\) est dans \(K'\).

En savoir plus