En algèbre, le compositum de deux corps commutatifs E et F inclus dans un troisième corps commutatif L est[1] le plus petit sous-corps de L contenant à la fois E et F. On le note EF.

Dans le cadre de la théorie de Galois, on dispose du théorème suivant[2] :

Si k est un sous-corps commun à E et F et si l'extension E/k est galoisienne, alors :

Notes et références

modifier
  1. Lang 1978, p. 163
  2. Lang 1978, p. 196-197

(en) Serge Lang, Algebra, [détail de l’édition]