Algèbres -adiques
À toute classe dans le groupe de Brauer d’un corps sont associés deux entiers, l’indice (degré d’un corps gauche représentant la classe) et l’exposant (ordre de la classe dans le groupe de Brauer). L’exposant divise l’indice, mais ne lui est pas nécessairement égal. Lorsque est un corps de nombres, c’est un théorème des années 1930 qu’exposant et indice coïncident. A. J. de Jong (Duke Math. J. 123 (2004) 71-94) a montré récemment qu’ils coïncident aussi lorsque est un corps de fonctions de...
This paper presents algorithms for quadratic forms over a formally real algebraic function field K of one variable over a fixed real closed field k. The algorithms introduced in the paper solve the following problems: test whether an element is a square, respectively a local square, compute Witt index of a quadratic form and test if a form is isotropic/hyperbolic. Finally, we remark on a method for testing whether two function fields are Witt equivalent.