Every reasonably sized matrix group has an injective homomorphism into the group of all bijections of the natural numbers. However, not every reasonably sized simple group has an injective homomorphism into .
Soient un corps valué et est une extension monogène finie de définie par , alors toute valuation de qui prolonge définit une pseudo-valuation de de noyau l’idéal . Nous savons associer à une famille de valuations de , appelée famille admissible, construite de façon explicite à partir de valuations augmentées et de valuations augmentées limites.Nous donnons une condition nécessaire et suffisante pour qu’une valuation de appartienne à la famille admissible associée à une pseudo-valuation...
On démontre ici un lemme de Hensel pour les opérateurs différentiels. On en déduit un théorème de factorisation pour des opérateurs différentiels à coefficients dans une extension liouvillienne transcendante d’un corps valué. On obtient en particulier un théorème de factorisation pour des opérateurs différentiels à coefficients dans une extension de par un nombre fini d’exponentielles et de logarithmes algébriquement indépendants sur .
We show that Conway's field of surreal numbers with its natural exponential function has the same elementary properties as the exponential field of real numbers. We obtain ordinal bounds on the length of products, reciprocals, exponentials and logarithms of surreal numbers in terms of the lengths of their inputs. It follows that the set of surreal numbers of length less than a given ordinal is a subfield of the field of all surreal numbers if and only if this ordinal is an ε-number. In that case,...