Linearly disjoint
In mathematics, algebras A, B over a field k inside some field extension of k (e.g., universal field) are said to be linearly disjoint over k if the following equivalent conditions are met:
Note that, since every subalgebra of is a domain, (i) implies
is a domain (in particular reduced).