Displaying 401 – 420 of 1236

Showing per page

Local-global principle for quadratic forms over fraction fields of two-dimensional henselian domains

Yong HU (2012)

Annales de l’institut Fourier

Let R be a 2-dimensional normal excellent henselian local domain in which 2 is invertible and let L and k be its fraction field and residue field respectively. Let Ω R be the set of rank 1 discrete valuations of L corresponding to codimension 1 points of regular proper models of Spec R . We prove that a quadratic form q over L satisfies the local-global principle with respect to Ω R in the following two cases: (1) q has rank 3 or 4; (2) q has rank 5 and R = A [ [ y ] ] , where A is a complete discrete valuation ring with...

Local-global principle for Witt equivalence of function fields over global fields

Przemyslaw Koprowski (2002)

Colloquium Mathematicae

We examine the conditions for two algebraic function fields over global fields to be Witt equivalent. We develop a criterion solving the problem which is analogous to the local-global principle for Witt equivalence of global fields obtained by R. Perlis, K. Szymiczek, P. E. Conner and R. Litherland [12]. Subsequently, we derive some immediate consequences of this result. In particular we show that Witt equivalence of algebraic function fields (that have rational places) over global fields implies...

L'octogone régulier et la signature des formes quadratiques entières non singulières

Catherine Bailly, Maria de Jesus Cabral (2003)

Annales de l’institut Fourier

La formule généralisant la loi de réciprocité quadratique de Legendre et exprimant le reste par huit de la signature d'une forme quadratique entière non dégénérée à l'aide d'une somme de Gauss est attribuée par Milnor à Milgram, la faisant remonter à Braun. Le formalisme de Witt la réduit au cas de dimension 1 que Chandrasekharan attribue à Cauchy et Kronecker. Braun soulignait que les preuves de ces formules nécessitent des moyens d'analyse. Une propriété métrique de l'octogone...

Mappings of degree 5, part I

M. Maciejewski, A. Prószyński (2009)

Colloquium Mathematicae

The class of linear (resp. quadratic) mappings over a commutative ring is determined by a set of equation-type relations. For the class of homogeneous polynomial mappings of degree m ≥ 3 it is so over a field, and over a ring there exists a smallest equationally definable class of mappings containing the preceding one. It is proved that generating relations determining that class can be chosen to be strong relations (that is, of the same form over all commutative rings) if{f} m ≤ 5. These relations...

Matching local Witt invariants

Przemysław Koprowski (2005)

Acta Mathematica Universitatis Ostraviensis

The starting point of this note is the observation that the local condition used in the notion of a Hilbert-symbol equivalence and a quaternion-symbol equivalence — once it is expressed in terms of the Witt invariant — admits a natural generalisation. In this paper we show that for global function fields as well as the formally real function fields over a real closed field all the resulting equivalences coincide.

Matrix of ℤ-module1

Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama (2015)

Formalized Mathematics

In this article, we formalize a matrix of ℤ-module and its properties. Specially, we formalize a matrix of a linear transformation of ℤ-module, a bilinear form and a matrix of the bilinear form (Gramian matrix). We formally prove that for a finite-rank free ℤ-module V, determinant of its Gramian matrix is constant regardless of selection of its basis. ℤ-module is necessary for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattices [22]...

Currently displaying 401 – 420 of 1236