Page 1 Next

Displaying 1 – 20 of 96

Showing per page

PAC fields over number fields

Moshe Jarden (2006)

Journal de Théorie des Nombres de Bordeaux

We prove that if K is a number field and N is a Galois extension of which is not algebraically closed, then N is not PAC over K .

P-adic root isolation.

Thomas Sturm, Volker Weispfenning (2004)

RACSAM

We present an implemented algorithmic method for counting and isolating all p-adic roots of univariate polynomials f over the rational numbers. The roots of f are uniquely described by p-adic isolating balls, that can be refined to any desired precision; their p-adic distances are also computed precisely. The method is polynomial space in all input data including the prime p. We also investigate the uniformity of the method with respect to the coefficients of f and the primes p. Our method thus...

Perspective historique sur les rapports entre la théorie des modèles et l’algèbre. Un point de vue tendancieux

Daniel Lascar (1998)

Revue d'histoire des mathématiques

Je vais traiter, d’un point de vue personnel, la naissance et les premiers développements de la théorie des modèles pendant la période qui s’étend de sa naissance vers 1870, avec les travaux de Peirce, jusqu’au théorème de Morley vers 1965. J’insisterai particulièrement sur l’aspect « algèbre universelle » et j’essaierai de dégager comment la notion de définissabilité a fait évoluer cette théorie jusqu’à une science complexe pouvant apporter de nouvelles idées au reste des mathématiques.

Picard-Vessiot theory in general Galois theory

Hiroshi Umemura (2011)

Banach Center Publications

We give a transparent proof that difference Picard-Vessiot theory is a part of the general difference Galois theory. We apply the proof to iterative q-difference Picard-Vessiot theory to show that Picard-Vessiot theory for iterative q-difference field extensions is in the scope of the general Galois theory of Heiderich. We also show that Picard-Vessiot theory is commutative in the sense that studying linear difference-differential equations, no matter how twisted the operators are, we cannot encounter...

Currently displaying 1 – 20 of 96

Page 1 Next