In algebra , il compositum due corpo commutativa E e F incluse in una terza commutativa L è il più piccolo sottocampo di L contenente sia E e F . Lo denotiamo EF .
Nell'ambito della teoria di Galois , abbiamo il seguente teorema:
Se k è un sottocampo comune a E ed F e se l' estensione E / k è Galois , allora:
(a) Serge Lang , Algebra ,1978[ dettaglio dell'edizione ]