arXiv subjects

Cédric Milliet

Publications and source records attributed to Cédric Milliet.

5 recordsLinked to original sources

arXiv2019

$\rm NIP$, and ${\rm NTP}_2$ division rings of prime characteristic

Combining a characterisation by Bélair, Kaplan, Scanlon and Wagner of certain $\rm NIP$ valued fields of characteristic $p$ with Dickson's construction of cyclic algebras, we provide examples of noncommutative $\rm NIP$ division ring of characteristic $p$ and show that an $\rm NIP$ division ring of characteristic $p$ has finite dimension over its centre, in the spirit of Kaplan and Scanlon's proof that infinite $\rm NIP$ fields have no Artin-Schreier extension. The result extends to ${\rm NTP}_2$ division rings of characteristic $p$, using results of Chernikov, Kaplan and Simon. We also highlight consequences of our proofs that concern $\rm NIP$ or simple difference fields.

math.LO↗

arXiv2011

A remark on Cantor derivative

It is shown that, modulo an equivalence relation induced by finite correspondences preserving Cantor rank, the class of topological spaces is an integral semi-ring on which the Cantor derivative is precisely a derivation.

math.LO↗

arXiv2011

Small skew fields

Wedderburn showed in 1905 that finite fields are commutative. As for infinite fields, we know that superstable (Cherlin, Shelah) and supersimple (Pillay, Scanlon, Wagner) ones are commutative. In their proof, Cherlin and Shelah use the fact that a superstable field is algebraically closed. Wagner showed that a small field is algebraically closed, and asked whether a small field should be commutative. We shall answer this question positively in non-zero characteristic.

math.LO↗

arXiv2011

Fields and rings with few types

Let R be an associative ring with possible extra structure. R is said to be weakly small if there are countably many 1-types over any finite subset of R. It is locally P if the algebraic closure of any finite subset of R has property P. It is shown here that a field extension of finite degree of a weakly small field either is a finite field or has no Artin-Schreier extension. A weakly small field of characteristic 2 is finite or algebraically closed. Every weakly small division ring of positive characteristic is locally finite dimensional over its centre. The Jacobson radical of a weakly small ring is locally nilpotent. Every weakly small division ring is locally, modulo its Jacobson radical, isomorphic to a product of finitely many matrix rings over division rings.

math.LO↗

arXiv2011

On properties of (weakly) small groups

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here that in a weakly small group, subgroups which are definable with parameters lying in a finitely generated algebraic closure satisfy the descending chain conditions for their traces in any finitely generated algebraic closure. An infinite weakly small group has an infinite abelian subgroup, which may not be definable. A small nilpotent group is the central product of a definable divisible group with a definable one of bounded exponent. In a group with simple theory, any set of pairwise commuting elements is contained in a definable finite-by-abelian subgroup. First corollary : a weakly small group with simple theory has an infinite definable finite-by-abelian subgoup. Secondly, in a group with simple theory, a normal solvable group A of derived length n is contained in an A-definable almost solvable group of class n.

math.LO↗