 the most remarkable properties of strongly normal extensions is the Galois correspondence (from [@Kolchin Chapter VI, Section 4]).

Assume that $(\mathbf C(M),\mathfrak X_{\mathcal F})\to (\mathbf C(P),\mathfrak X_{\mathcal F'})$ is strongly normal with group of automorphisms $G$. Then, there is a bijection between the set of intermediate differential field extensions and algebraic subgroups of $G$. To each intermediate differential field extension, it corresponds the group of automorphisms that fix such an extension point-wise. To each subgroup of automorphisms it corresponds its subfield of fixed elements.

The Picard–Vessiot bundle of an invariant $\boldsymbol{\mathcal F}$-connection
------------------------------------------------------------------------------

Let us consider an irreducible principal $G$-bundle $\pi\colon (P,\mathcal F') \to (M,\mathcal F)$ endowed with an invariant $\mathcal F$-connection $\mathcal F'$. We assume that $\mathcal F$ has no rational first integrals. A result of Bonnet (see [@Bonnet Theorem 1.1]) ensures that for a very generic point in $M$ the leaf passing through such point is Zariski dense in $M$. Let us consider such a Zariski-dense leaf $\mathcal L$ of $\mathcal F$ in $M$. Let us consider any leaf $\mathcal L'$ of $\mathcal F'$ in $P$ that projects by $\pi$ onto $\mathcal L$. Its Zariski closure is unique in the following sense:

\[uniqueness\]Let $\mathcal L'$ and $\mathcal L''$ two leaves of $\mathcal F'$ whose projections by $\pi$ are Zariski dense in $M$. Then, there exist an element $g\in G$ such that $\overline{\mathcal L'} \cdot g = \overline{\mathcal L''}$.

By construction, there is some $x\in\pi(\mathcal L')\cap\pi(\overline{\mathcal L''})$. Let us consider $p\in \pi^{-1}(\{x\})\cap \mathcal L'$ and $q\in\pi^{-1}(\{x\})\cap \overline{\mathcal L''}$. Since $p$ and $q$ are in the same fiber, there is a unique element $g\in G$ such that $p\cdot g = q$. By the $G$-invariance of the connection $\mathcal L'\cdot g$ is the leaf
the most remarkable properties of strongly normal propagation is the Galois symmetry (from [ @Kolchin Chapter   VI, Section   4 ]). 

 Assume that $ (\mathbf C(M),\mathfrak X_{\mathcal F})\to (\mathbf C(P),\mathfrak X_{\mathcal F'})$ is strongly normal with group of automorphisms   $ G$. Then, there be a bijection between the set of intermediate differential playing field annex and algebraic subgroups of   $ G$. To each average differential sphere extension, it represent the group of automorphisms that fix such an extension decimal point - wise. To each subgroup of automorphisms it correspond its subfield of fixed elements. 

 The Picard – Vessiot bundle of an invariant $ \boldsymbol{\mathcal F}$-connection 
 ------------------------------------------------------------------------------ 

 Let us see an irreducible principal $ G$-bundle $ \pi\colon (P,\mathcal F') \to (M,\mathcal F)$ endowed with an invariant $ \mathcal F$-connection $ \mathcal F'$. We wear that $ \mathcal F$ has no rational first integral. A result of Bonnet (learn [ @Bonnet Theorem   1.1 ]) ensures that for a very generic point in $ M$ the leaf passing through such distributor point is Zariski dense in $ M$. Let us consider such a Zariski - dense leaf $ \mathcal L$ of $ \mathcal F$ in   $ M$. Let us consider any leaf $ \mathcal L'$ of $ \mathcal F'$ in $ P$ that projects by $ \pi$ onto $ \mathcal L$. Its Zariski closure is unique in the following sense: 

 \[uniqueness\]Let $ \mathcal L'$ and $ \mathcal L''$ two leaves of $ \mathcal F'$ whose projections by $ \pi$ are Zariski dense in   $ M$. Then, there exist an element $ g\in G$ such that $ \overline{\mathcal L' } \cdot g = \overline{\mathcal L''}$. 

 By construction, there is some $ x\in\pi(\mathcal L')\cap\pi(\overline{\mathcal L''})$. Let us consider $ p\in \pi^{-1}(\{x\})\cap \mathcal L'$ and $ q\in\pi^{-1}(\{x\})\cap \overline{\mathcal L''}$. Since $ p$ and $ q$ are in the same roughage, there is a unique chemical element $ g\in G$ such that $ p\cdot g = q$. By the $ G$-invariance of the connection $ \mathcal L'\cdot g$ is the leaf
 thf most remarkable properuies of strongly uirmal xxtensikns is tfe Galois correspondence (frol [@Jolchun Chapter VI, Section 4]).

Asrume that $(\mathbf X(M),\mauhfrak X_{\mathcal F})\vk (\mathbn C(P),\mzbhfran X_{\mathcal F'})$ is strongly tormal with grmuo lf automorphisms $G$. Then, there is a byjectiom hetween the sej of pneermsdiate differential field extensiohs and elgebraic subgrpups of $G$. To each intermediwte fifferential field extension, ut cjeresponds thd group of automorphisjs that fix such an extension puint-wnse. To each sybggmup of autonorphpsms it corresponds ids subfoeld of fixed clemeits.

Tye Picard–Vessiot bundne of an invariant $\boldsymbml{\jathcal F}$-connectiin
------------------------------------------------------------------------------

Oet uv cotsidde av idrxdudible oriicipal $G$-bunsle $\pi\colon (P,\mathcal F') \to (M,\matncwo F)$ endowed wjth an igvariant $\mathcal F$-connection $\mathcal F'$. Fe zssume that $\mathcal F$ hqs no rational first lntegrals. A result of Bonnet (see [@Bonnet Theorem 1.1]) ensures thdt foc x vtrn ewnfric point in $M$ the leaf passing through such loonn is Zariski densc in $M$. Let us consodfr fuch a Zariskk-dense lezf $\mathcal L$ of $\mahhcal F$ in $M$. Oet us cogsidrr any leaf $\mathcal L'$ of $\marhcal F'$ in $P$ rhat projects by $\pn$ onto $\mathccl L$. Ijs Zaroski closure is unique nn the following dense:

\[uniqhdness\]Let $\mathcal L'$ sng $\mathcal L''$ two leaves of $\iathcal F'$ whoxe projdctipns by $\pi$ are Zagiski dense in $M$. Then, thege exnst at element $h\in G$ such that $\overline{\mathcal L'} \cdot g = \ovetlite{\mdthcal L''}$.

Yy conxtruction, thewe is some $x\in\ki(\mathcal L')\cap\oi(\overline{\jathcal L''})$. Let us cjnsider $p\in \ph^{-1}(\{d\})\cap \mathcal L'$ and $q\yn\pi^{-1}(\{z\})\cap \overlivd{\mathcal L''}$. Sinve $p$ and $q$ are in tye same fiber, therc is x unique element $g\ib G$ such that $p\vdog g = e$. Uy thq $G$-invariance of ghe vonneztion $\mathccl L'\cdpt g$ is the leaf
the most remarkable properties of strongly normal the correspondence (from Chapter VI, Section X_{\mathcal (\mathbf C(P),\mathfrak X_{\mathcal is strongly normal group of automorphisms $G$. Then, there a bijection between the set of intermediate differential field extensions and algebraic subgroups $G$. To each intermediate differential field extension, it corresponds the group of automorphisms fix an point-wise. each subgroup of automorphisms it corresponds its subfield of fixed elements. The Picard–Vessiot bundle of an $\boldsymbol{\mathcal F}$-connection ------------------------------------------------------------------------------ Let us consider an irreducible $G$-bundle $\pi\colon (P,\mathcal F') (M,\mathcal F)$ endowed with an $\mathcal $\mathcal F'$. assume $\mathcal has no rational integrals. A result of Bonnet (see [@Bonnet Theorem 1.1]) ensures that for a very generic point in the leaf such point Zariski in Let us consider Zariski-dense leaf $\mathcal L$ of $\mathcal Let us consider any leaf $\mathcal L'$ of F'$ in that projects by $\pi$ onto $\mathcal Its Zariski closure is unique in the following \[uniqueness\]Let $\mathcal L'$ and $\mathcal L''$ two leaves of $\mathcal F'$ whose projections by $\pi$ dense in $M$. Then, exist an element G$ that L'} g = L''}$. By construction, there is some $x\in\pi(\mathcal L')\cap\pi(\overline{\mathcal L''})$. Let us $p\in \pi^{-1}(\{x\})\cap \mathcal L'$ and $q\in\pi^{-1}(\{x\})\cap \overline{\mathcal L''}$. Since $p$ are the same fiber, is a unique element G$ that $p\cdot g = the of L'\cdot is leaf
 the most remarkable propertiEs of strongLy norMal ExtEnSionS is tHe Galois corresPOndeNce (from [@Kolchin Chapter Vi, SectIoN 4]).

assuME tHat $(\maThbf C(M),\mAThFRAk X_{\MaThCal f})\tO (\MaThbf C(p),\maThfrak X_{\Mathcal F'})$ is StrOnGly normal witH GrOup of automOrpHisms $G$. Then, thEre Is a bijEcTioN BetweEn tHe set Of inteRMediatE differenTiAL field EXtensioNS AnD algEbraic subgroups of $g$. to EAch intermediatE diffeReNTiAL FieLd eXtension, it CoRrespONds the gROuP OF AutOMorphisms that Fix such an exTEnsIon poiNt-WisE. to each SubgrOuP Of aUtomorphismS it cOrrespondS its suBField of FIxed eleMents.

THe PIcaRd–VeSSiOt BunDlE Of aN InVarIAnt $\BoldsymbOl{\MaThcal f}$-conNECTIon
------------------------------------------------------------------------------

LEt uS conSider An irreducible PriNcipAL $G$-bUndle $\Pi\colOn (P,\mAtHcal F') \To (M,\matHcal F)$ EnDowed with an invaRianT $\mathcal F$-ConNeCtiOn $\MathcAL F'$. We asSumE thAt $\mathcAl F$ has nO RatIoNAL FiRst integrals. A resulT oF bOnNet (see [@BoNnet ThEOrEm 1.1]) ENsures thAt For A verY GEneriC poiNT iN $M$ the leaF passiNG tHrOugh sucH pOint is zaRisKi dEnse iN $m$. Let Us consIder such A ZariSKi-dense leaf $\matHCal L$ of $\mathcal f$ In $m$. lEt US conSidEr any leaf $\maThcaL l'$ of $\mAthcAL F'$ In $P$ THat prOjectS bY $\Pi$ ONto $\mathcal L$. Its ZarisKi ClosurE is unIque in the follOwing sense:

\[UNIQueness\]LEt $\maTHcAL L'$ and $\mathcal L''$ tWo leaVes of $\mathcAL F'$ whose pRojecTions by $\pI$ are ZarisKI Dense in $M$. theN, thEre ExiST An Element $g\in G$ suCH That $\OvErline{\mAthCal L'} \cdoT g = \oVerLinE{\maThCal L''}$.

By conStructioN, tHeRe Is SomE $x\in\pI(\Mathcal L')\CaP\pi(\OvErlIne{\maTHcal L''})$. LEt us cOnsiDeR $p\IN \pi^{-1}(\{X\})\cap \matHCaL l'$ And $q\In\Pi^{-1}(\{X\})\cap \OveRlIne{\maThcaL l''}$. SiNce $p$ and $Q$ are in the SamE FibeR, tHeRe is a unIque element $g\iN G$ Such that $p\cDoT g = q$. by the $G$-INVariance Of the connection $\mathcal L'\CDot g$ is tHe lEaf
 the most remarkable prope rties of s trong lynor ma l ex tens ions is the Ga l oiscorrespondence (from [ @Kolc hi n  Cha p te r VI,  Sectio n  4 ] ) .
As su meth a t$(\ma thb f C(M), \mathfrakX_{ \m athcal F})\t o  ( \mathbf C( P), \mathfrak X_ {\m athcal  F '}) $  is s tro nglynormal with g roup of a ut o morphi s ms $G$. T he n, t here is a bijecti o nb etween the set  of in te r me d i ate  di fferential  f ielde xtensio n sa n d  al g ebraic subgro ups of $G$. Toeach i nt erm e diatediffe re n tia l field ext ensi on, it co rrespo n ds theg roup of  autom orp his ms t h at  f ixsu c h a n  e xte n sio n point- wi se . Toeach s u b grou p o f au tomor phisms it cor res pond s  it s sub field  offi xed e lement s.

T he  Picard–Vessiot  bun dle of an  in va ria nt  $\bo l dsymbo l{\ mat hcal F} $-conne c tio n- - - -- ------------------ -- - - -- -------- ------ - -- -- - -------- -- --- ---- - - ----- ---- - 
Let us c onside r  a nirreduc ib le pri nc ipa l $ G$-bu n dle$\pi\c olon (P, \math c al F') \to (M, \ mathcal F)$ e n do w e dw ithaninvariant $ \mat h calF$-c o nn ect i on $\ mathc al F' $ . We assume that $\ ma thcalF$ ha s no rational  first int e g r als. A r esul t  o f  Bonnet (see [ @Bonn et Theorem 1.1]) en sures  that fo r a veryg e neric po int  in  $M $ t h e  l eaf passing t h r ough  s uch poi ntis Zari ski  de nse  in  $ M$. Let u s consid er  s uc ha Z arisk i -dense l ea f $ \m ath cal L $  of $\ mathc al F $in $M$ . Let u s  c o n side ran y le af$\ mathc al L ' $ o f $\mat hcal F'$in$ P$ t ha tproject s by $\pi$ on to  $\mathcal  L $.Its Za r i ski clos ure is unique in the fo l lowingsen se:
\[un iqueness\ ]Le t $\ma thc a l L'$and $\ mathc al  L' ' $  twol e av esof  $\mathcal F '$whose  p roje ctionsby $\pi$ are Zaris k i d ense in $M$.The n, t h e re  ex i st anel e men t $g\in G$ such t hat $\over li n e{ \mathcal L ' } \ cd ot g =\overli ne{\m a thcal L ''}$.

By  construc ti on,t h ere  is some $ x\in\pi( \mathcalL ')\ca p \p i(\ov erl ine{\m at hca l L'' })$. L e t u s con sider$p \in \p i^{-1 }( \{x\})\c ap \mathcal L'$ and $q\ in\pi^ {-1}( \{x \})\cap \ ove r lin e{\mathca l L' '}$. Since  $p $ a nd $q $ a r e inthes am e f i ber,ther e  is a uni q ue  el e m en t $g\in G$s u c h t hat $ p\c d ot g =  q$.  By the $G$-invar i ance of the co nnec t i on$\m a thca lL'\cdot g$ isthe  l e a f
 the_most remarkable_properties of strongly normal_extensions is_the_Galois correspondence_(from_[@Kolchin Chapter VI, Section 4]).

Assume_that $(\mathbf C(M),\mathfrak_X_{\mathcal F})\to (\mathbf C(P),\mathfrak_X_{\mathcal F'})$ is_strongly_normal with group of automorphisms $G$. Then, there is a bijection between the set of_intermediate_differential field_extensions_and_algebraic subgroups of $G$. To each_intermediate differential field extension, it_corresponds the_group of automorphisms that fix such an extension_point-wise._To each subgroup_of automorphisms it corresponds its subfield of fixed elements.

The_Picard–Vessiot bundle of an invariant $\boldsymbol{\mathcal_F}$-connection
------------------------------------------------------------------------------

Let us consider_an_irreducible_principal $G$-bundle $\pi\colon (P,\mathcal_F') \to (M,\mathcal F)$ endowed with_an invariant $\mathcal F$-connection $\mathcal F'$._We assume that $\mathcal F$ has no_rational first integrals. A result of_Bonnet (see [@Bonnet Theorem 1.1]) ensures_that for_a very generic point in_$M$ the leaf_passing through_such point is_Zariski dense in $M$. Let us_consider such a_Zariski-dense leaf $\mathcal L$ of $\mathcal_F$_in $M$. Let us_consider_any_leaf $\mathcal_L'$ of $\mathcal_F'$_in $P$_that_projects by $\pi$ onto $\mathcal L$._Its_Zariski closure is unique in the following_sense:

\[uniqueness\]Let $\mathcal L'$ and_$\mathcal_L''$ two leaves of_$\mathcal F'$ whose projections by_$\pi$ are Zariski dense in $M$. Then,_there exist_an element_$g\in G$ such that $\overline{\mathcal L'} \cdot g = \overline{\mathcal L''}$.

By_construction, there is some $x\in\pi(\mathcal L')\cap\pi(\overline{\mathcal_L''})$. Let us consider_$p\in \pi^{-1}(\{x\})\cap_\mathcal_L'$ and $q\in\pi^{-1}(\{x\})\cap_\overline{\mathcal_L''}$. Since_$p$ and $q$ are in the same_fiber, there_is a unique element $g\in G$_such that $p\cdot g_=_q$. By the $G$-invariance of the_connection $\mathcal L'\cdot g$ is the_leaf