Finite-dimensional differential-algebraic permutation groups
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915064199512064 |
|---|---|
| author | Freitag, James Jimenez, Léo Moosa, Rahim |
| author_facet | Freitag, James Jimenez, Léo Moosa, Rahim |
| contents | Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained. In particular, it is shown that every finite rank definably primitive permutation group is definably isomorphic to an algebraic permutation group living in the constants. Applications include the verification, in differentially closed fields, of the finite Morley rank permutation group conjectures of Borovik-Deloro and Borovik-Cherlin. Applying the results to binding groups for internality to the constants, it is deduced that if complete types $p$ and $q$ are of rank $m$ and $n$, respectively, and are nonorthogonal, then the $(m+3)$rd Morley power of $p$ is not weakly orthogonal to the $(n+3)$rd Morley power of $q$. An application to transcendence of generic solutions of pairs of algebraic differential equations is given. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2307_11220 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Finite-dimensional differential-algebraic permutation groups Freitag, James Jimenez, Léo Moosa, Rahim Logic 03C45, 14L30, 12H05, 12L12 Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained. In particular, it is shown that every finite rank definably primitive permutation group is definably isomorphic to an algebraic permutation group living in the constants. Applications include the verification, in differentially closed fields, of the finite Morley rank permutation group conjectures of Borovik-Deloro and Borovik-Cherlin. Applying the results to binding groups for internality to the constants, it is deduced that if complete types $p$ and $q$ are of rank $m$ and $n$, respectively, and are nonorthogonal, then the $(m+3)$rd Morley power of $p$ is not weakly orthogonal to the $(n+3)$rd Morley power of $q$. An application to transcendence of generic solutions of pairs of algebraic differential equations is given. |
| title | Finite-dimensional differential-algebraic permutation groups |
| topic | Logic 03C45, 14L30, 12H05, 12L12 |
| url | https://arxiv.org/abs/2307.11220 |