Hassan Kalim, Brahim Sadik

Deciding Linear Disjointness of Finitely Generated Differential Fields

Abstract:
We describe a method for proving the existence of a differential field over which two given differential subfields are linearly disjoint. In the affirmative case, they are linear disjoint over their intersection, which can be computed using characteristic sets. Our method is based on the correspondence between field extensions and ideals.

Keywords:
Characteristic sets, differential fields, linear disjointness.

MSC 2000: 12H05, 12Y05, 13P10