Field compositum

Inside a common overfield, the compositum $L_1{L}_2$ is the smallest field containing both $L_1$ and $L_2$.

Finite extensions $L_1/K$ and $L_2/K$ are linearly disjoint when products of basis elements form a basis of their compositum. In particular,Extensions of coprime finite degrees are linearly disjoint.