Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, A. Khélif, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) L'exposé de Francisco Miraglia prévu le 30 janvier est annulé - Université de Sao Paulo, Brésil,
Titre Abstract Algebraic Theory of Quadratic Forms and Rings
Horaire15:10 à 16:10
Abstract (joint work with M. Dickmann):

Let A be a commutative unitary semi-real (– 1 is not a sum of squares) ring in which 2 is a unit; let T = A2 or a proper preorder of A. We shall describe first order axioms such that if the pair (A, T) is a model of these statements, then there is a special group, $G_T(A)$, naturally associated to (A, T), faithfully coding the T-theory of diagonal quadratic forms with unit coefficients in A. Under mild restrictions, these axioms are necessary and sufficient for $G_T(A)$ to faithfully code representation and T-isometry of non-singular diagonal quadratic forms with coefficients in A.

We shall present important classes of rings satisfying these axioms and extract significant results concerning the behavior of quadratic form theory over these classes of rings. The needed concepts will be presented during the talk, which contains only part of the results that appeared in:

M. Dickmann, F. Miraglia, Faithfully Quadratic Rings, Memoirs of the AMS, 1128, (November 2015).
AdresseSophie Germain