All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 33

Showing per page

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]...

Minimal 𝒮 -universality criteria may vary in size

Noam D. Elkies, Daniel M. Kane, Scott Duke Kominers (2013)

Journal de Théorie des Nombres de Bordeaux

In this note, we give simple examples of sets 𝒮 of quadratic forms that have minimal 𝒮 -universality criteria of multiple cardinalities. This answers a question of Kim, Kim, and Oh [KKO05] in the negative.

Currently displaying 1 – 20 of 33

Page 1 Next