More generally, two field extensions inside a common overfield are linearly disjoint field extensions when the multiplication map from their tensor product of fields into that overfield is injective. The following basis criterion is the finite-degree case.
Finite extensions and are linearly disjoint when products of basis elements form a basis of their compositum. In particular,Extensions of coprime finite degrees are linearly disjoint.
New to topics? Read the docs here!