Published June 30, 2006 | Version v1
Journal article

Quadratic forms of projective spaces over rings

  • 1. Krasnoyarsk State University, Krasnoyarsk (Russian Federation)
  • 2. Northern International University, Magadan (Russian Federation)

Description

In the passage from fields to rings of coefficients quadratic forms with invertible matrices lose their decisive role. It turns out that if all quadratic forms over a ring are diagonalizable, then in effect this is always a local principal ideal ring R with 2 element of R*. The problem of the construction of a 'normal' diagonal form of a quadratic form over a ring R faces obstacles in the case of indices |R*:R*2| greater than 1. In the case of index 2 this problem has a solution given in Theorem 2.1 for 1+R*2 is a subset of R*2 (an extension of the law of inertia for real quadratic forms) and in Theorem 2.2 for 1+R2 containing an invertible non-square. Under the same conditions on a ring R with nilpotent maximal ideal the number of classes of projectively congruent quadratic forms of the projective space associated with a free R-module of rank n is explicitly calculated (Proposition 3.2). Up to projectivities, the list of forms is presented for the projective plane over R and also (Theorem 3.3) over the local ring F[[x,y]]/ with non-principal maximal ideal, where F=2F is a field with an invertible non-square in 1+F2 and |F*:F*2|=2. In the latter case the number of classes of non-diagonalizable quadratic forms of rank 0 depends on one's choice of the field F and is not even always finite; all the other forms make up 21 classes.

Availability note (English)

Available from http://dx.doi.org/10.1070/SM2006v197n06ABEH003782

Additional details

Publishing Information

Journal Title
Sbornik. Mathematics
Journal Volume
197
Journal Issue
6
Journal Page Range
p. 887-899
ISSN
1064-5616

INIS

Country of Publication
United States
Country of Input or Organization
International Atomic Energy Agency (IAEA)
INIS RN
41016479
Subject category
S97: MATHEMATICAL METHODS AND COMPUTING;
Descriptors DEI
MATHEMATICAL LOGIC; MATHEMATICAL SOLUTIONS; MATHEMATICAL SPACE; MATRICES; MOMENT OF INERTIA
Descriptors DEC
SPACE