97 research outputs found
Diophantine Undecidability of Holomorphy Rings of Function Fields of Characteristic 0
Let be a one-variable function field over a field of constants of
characteristic 0. Let be a holomorphy subring of , not equal to . We
prove the following undecidability results for : If is recursive, then
Hilbert's Tenth Problem is undecidable in . In general, there exist
such that there is no algorithm to tell whether a
polynomial equation with coefficients in \Q(x_1,...,x_n) has solutions in
.Comment: This version contains minor revisions and will appear in Annales de l
Institut Fourie
Factorizations of Elements in Noncommutative Rings: A Survey
We survey results on factorizations of non zero-divisors into atoms
(irreducible elements) in noncommutative rings. The point of view in this
survey is motivated by the commutative theory of non-unique factorizations.
Topics covered include unique factorization up to order and similarity, 2-firs,
and modular LCM domains, as well as UFRs and UFDs in the sense of Chatters and
Jordan and generalizations thereof. We recall arithmetical invariants for the
study of non-unique factorizations, and give transfer results for arithmetical
invariants in matrix rings, rings of triangular matrices, and classical maximal
orders as well as classical hereditary orders in central simple algebras over
global fields.Comment: 50 pages, comments welcom
Panorama of p-adic model theory
ABSTRACT. We survey the literature in the model theory of p-adic numbers since\ud
Denef’s work on the rationality of Poincaré series. / RÉSUMÉ. Nous donnons un aperçu des développements de la théorie des modèles\ud
des nombres p-adiques depuis les travaux de Denef sur la rationalité de séries de Poincaré,\ud
par une revue de la bibliographie
- …