The unicity of real Picard-Vessiot fields

TL;DR

This paper proves the uniqueness of real Picard-Vessiot fields for differential modules over real differential fields, establishing a fundamental property in differential Galois theory.

Contribution

It provides a proof of the unicity of real Picard-Vessiot fields, a key aspect previously not fully established.

Findings

Real Picard-Vessiot fields are unique for differential modules over real differential fields.

The result enhances understanding of the structure of differential Galois groups in real settings.

The proof solidifies foundational aspects of real differential algebra.

Abstract

The unicity of real Picard-Vessiot fields for differential modules over a real differential field is proved.