To learn more about bilinear forms, it is first necessary to learn more about free modules.

##### Definition I.2.1

For a finitely generated free $R$-module $M$ with basis $b_1, ..., b_n$, we call $n$ the *rank* of $M$ and denote this by $\operatorname{rk}M=n$.

##### Remark

Since we live over commutative rings, the rank is uniquely defined.

##### Definition I.2.2

Let $(M,b)$ be a bilinear module and $b_1, ..., b_k$ a system of elements of $M$. We can then construct the so-called *Gram-Matrix* with respect to $b$ of the system of elements as follows: \[G:=(g_{ij})_{ij}=b(b_i,b_j).\] The determinant of $G$ is also called the determinant of $b_1, ..., b_k$, and denoted by $d_b(b_1, ..., b_k)$.

##### Remark

Note that that a bilinear module with a Gram matrix $G$ is symmetric, if any only if, $G$ is a symmetric matrix, that is, if $G=G^t$. Similarly, it is screw-symmetric, if and only if, $G=-G^t$, and symplectic, if and only if, it is screw-symmetric and if in addition $G$ has $0$ as the only diagonal entry.

##### Remark

It is easy to see that the previously defined system of elements is linearly dependent if "their" determinant is not a zero divisor.

##### Definition I.2.3

Given a $n \times n$ matrix $G=(g_{ij})$ with entries in $R$, $\langle G \rangle = \langle G \rangle _R$ will denote the free bilinear module over $R$ with basis $b_1, ..., b_n$ and bilinear form $b(b_1, ..., b_n)=g_{ij}$.

##### Definition I.2.4

Two matrices $A,B \in R^{k \times k}_{symm}$ are called congruent, if there exists another matrix $S \in GL_k(R)$ such, that $B=S^tAS$.

##### Remark

Given two different bases of a finitely generated free bilinear module $(M,b)$ it is easy to see that the two different Gram matrices respective to the different bases are congruent to each other. It thus makes sense to speak of **the** Gram-Matrix of a bilinear module.

This last remark immediately leads to the definition of a very useful invariant of finitely generated free bilinear modules.

##### Definition I.2.5

The determinant of a finitely generated free bilinear module $(M,b)$ is the class modulo squares of units of the determinant of a Gram-Matrix of $(M,b)$.

##### Remark

In a general setting the determinant of a finitely generated free bilinear module lives in $R / R^{ * 2}$, the so-called quotient monoid, but in the case of a free bilinear space (R is finitely generated and projective) the quotient monoid is actually a quotient group: $R^* / R^{*2}$.

##### Example

Over a field the determinant of a bilinear space is either zero or an element of the quotient group.

##### Remark

To learn more about the groups of square classes and the quotient group, have a look at, for example, [JPS], page 14.

We now want to use the determinant as a tool to compute whether a finitely generated free module is non-degenerate or even regular. To do so, we obviously have to use $\widehat{b}$, thus we need to take a closer look at $M^*$, especially its basis:

##### Lemma

To each basis of a finitely generated free module there corresponds a unique dual basis.

##### Lemma

The Gram-Matrix of a finitely generated free bilinear module $(M,b)$ with respect to a given basis is equal to the transformation matrix representing $\widehat{b}$ with respect to the given basis and its dual basis.

With this lemmata we can formulate the following

##### Theorem I.2.6

A finitely generated free bilinear module $(M,b)$ is non-degenerate if and only if its determinant is not a zero-divisor (not represented by a zero divisor). The bilinear module $(M,b)$ is regular if and only its determinant is a unit (represented by a unit), or in other words, if and only if its Gram-Matrix is invertible.

## Literature:

- Symmetric Bilinear Forms by J. Milnor and D. Husemoller
- Arithmetic Theory of Quadratic Forms by R. Scharlau
- [JPS] Cours d'arithmétique by J.P. Serre

<< Introduction to Bilinear Forms Orthogonal Decompositions >>