This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
(x, z) and
a
for all x, y, z E A, a E F. Algebra and Number Theory: An Integrated Approach. By Martyn R. Dixon. Leonid A. Kurdachenko and Igor Ya. Subbotin. Copyright© 2010 John Wiley & Sons, Inc.
226
BILINEAR FORMS
227
If a is an element of A, then consider the mappings a
=
=
In this case, these mappings are both linear functionals and using some wellestablished techniques and Proposition 5.1.3, we obtain the following result. 6.1.2. Proposition. Let A be a vector space over afield F and let
=
(OA,X) =0Fforallx E A;
(ii) ( -x, y) =
whenever
r)
= (
r,
for all <1>, \11, r E BiiF(A). Clearly the mapping 8: A x A ---+ F defined by the rule G(x, y) =OF for all x, y E A is bilinear, and from the definition we have
+8
=
Furthermore, put ( -
= a((3<1>),
and e
=
for all <1>, \II E BiiF (A), a, (3 E F. Consequently, all the conditions of Definition 4.1.4 are satisfied and the set BiiF(A) becomes a vector space over the field F.
228
ALGEBRA AND NUMBER THEORY: AN INTEGRATED APPROACH
6.1.3. Definition. Let A be a vector space over a field F and let be a bilinear form on A. Then, is called symmetric, if (x, y) = (y, x) for all elements x, y E A. Also is called skew symmetric or symplectic or alternating, if
6.1.4. Theorem. Let A be a vector space over a field F and let be a bilinear form on A. Suppose that char F =f. 2. Then, = <1>1 + <1>2 where <1>1 is a symmetric form and <1>2 is a symplectic form. This representation is unique. Proof. Put (x, y) =
+ and
4 = - .
We have
+ (y, x)
=
+
(x, y)
+
=
and
= -
Thus <1>3 is a symmetric bilinear form and <1>4 is symplectic. Furthermore,
+
Since char F
=f. 2, it follows that
BILINEAR FORMS
229
As we remarked above, the form ~<1>3 is symmetric and the form ~<1> 4 is symplectic so let
To prove uniqueness, suppose that = <1> 5 + <1>6, where <1> 5 is a symmetric form and <1>6 is a symplectic form. Then cP(x, y) =
+ <1>6(y, x)
=
Therefore,
=
<1>6(x, y)
= 2<1>s(x, y),
and
+ <1>6(x, y)-
= 2<1>6(X, y).
It follows that
which proves the uniqueness desired. Suppose now that the vector space A is finite dimensional. Let {a 1 , .•. , an} be a basis of A. If x, y are elements of A then, by Proposition 4.2.16, x = LI:o;j:o;n ;Jai and y = LI:o;r:o;n TJ 1a1 , where ;}, TJr E F, for 1 ::::; j, t ::::; n. If is a bilinear form on A, then
~ (E" <jaj. IE" q,a.) ~IE" (<jaj. IE" q,a,)
=
=
L L
(;Jaj, TJrar) =
L L
;}TJr
L L
;J(aj, TJ 1a1 )
I:o;j:o;n I:o;r:o;n
This equation shows that the value of (x, y) is completely determined by the coordinates of the elements x, y and the elements
230
ALGEBRA AND NUMBER THEORY: AN INTEGRATED APPROACH
6.1.5. Definition. Let A be a finite-dimensional vector space over a field F and let {a,, ... , an} be a basis of A. If
is called the matrix of
... ,
an}.
Here are some important properties of the matrix of a bilinear form. 6.1.6. Proposition. Let A be a finite-dimensional vector space over a field F and let {a,, ... , an} be a basis of A. If
(ii)
+ R is the matrix of the form
if
Proof. (i) We have
It follows that [a 11 + P}tl = S the basis {a,, ... , an}. (ii) We have
+R
It follows that [aa1tl =aS
Mn(F) is the matrix of a
E
E
Mn(F) is the matrix of
{a,, ... ,anl·
6.1.7. Corollary. Let A be a finite-dimensional vector space over a field F and let dimF(A) = n. Then, the vector space BiiF(A) is isomorphic to Mn(F). Proof. Let {a 1, ... , an} be a basis of A. Let
BILINEAR FORMS
Let R = [pjtJ
Define the mapping Ill: Ax
E Mn(F).
A~ F
231
as follows: If
x = Li::J:::n ~jaj andy= L!:::t:on TJ 1a1 are elements of A, then put
L L
W(x, y) =
~jT/tPjt·
l:Oj:Onl:::t:::n
We will show that Ill is bilinear. To this end, let z be another element of A, say z = L!:::j:::n l;jaj and let a E F. Then x + z = L!:::j:::n(~j + l;j)aj, and W(x
+ z, y) =
L L
(~j
+ l;j)T/tPjt
l::j::n l:::t::n
=
L L
~jT/tPjt
L L
+
+ z) =
Similarly, we can show that W(x, y
l;jT/tPjt = W(x, y)
W(x, y)
+ W(x, z).
+ W(z, y).
Furthermore,
ax= L!:::j:::n a~jaj, and
=a (
L L
l;jT/tPjt) = aW(x, y).
I ::j :::n I :Of :::n
We can show that W(x, ay) = aW(x, y) in a similar manner. By definition of Ill,
which shows that R is the matrix of Ill relative to the basis {a,, ... , an}. Hence the mapping r is surjective. Finally, let <1>, Ill be bilinear forms on A and letS= [aj 1 ], R = [pj 1 ] E Mn(F) be the matrices of and Ill relative to the basis {a 1 , ••. , an}. For each pair of elements x = L!:::j:::n ~jaj andy= L!:::t:::n TJ 1a" we have
L L
~jT/tajt and
W(x, y) =
L L
~jT/tPjt·
Suppose that r(
232
ALGEBRA AND NUMBER THEORY: AN INTEGRATED APPROACH
6.1.8. Theorem. Let A be a finite-dimensional vector space over a field F, and let {at, ... , an}, {bt, ... , bn} be bases of A. Suppose that is a bilinear form on A and letS= [aj 1 ], R = [Pjrl E Mn(F) denote the matrices of relative to the bases {at, ... , an} and {bt, ... , bn}, respectively. LetT= [ljr] E Mn(F) denote the transition matrix from {at, ... , an} to {bt, ... , bn }. Then R = T 1 ST. Proof. We have
=
L L
ljmltkajt
t~j~nt~t~n
=
L L
ljmajtltk·
t~j~nt~t~n
Let yt = [8j 1 ] E Mn(F) so that 8j 1 = t 1j, where 1 :S j, t :S n. We compute the product T 1 ST. Let T 1 ST = [Ymkl E Mn(F) and let ST = [,Bjrl E Mn(F). Then,
=
L L
t jmajtltk.
for 1 :S m, k :S n.
t~j~n t~t~n
Comparing this with Pmk we deduce that R = Tt ST, which proves the result. 6.1.9. Corollary. Let A be finite-dimensional vector space over afield F and let {at, ... , an}, {bt, ... , bn} be bases of A. Suppose that is a bilinear form on A and that S = [aj 1 ], R = [pj 1 ] E Mn(F) are the matrices of relative to the bases {at, ... , an} and {bt, ... , bn} respectively. Then rank(S) = rank(R). Proof. By Theorem 6.1.8, R = T 1 ST where T is the transition matrix from the first basis to the second. By Corollary 4.2.19, the matrix T is nonsingular, so Corollaries 4.3.10 and 4.3.11 together imply that rank(R) = rank(S).
We introduce the following concept based on these results. 6.1.10. Definition. Let A be a finite-dimensional vector space over a field F and let {at, ... , an} be a basis of A. Suppose is a bilinear form on A and Sis the matrix of relative to the basis {at, ... , an}, then rank(S) is called the rank of and will be denoted by rank( ). 6.1.11. Proposition. Let A be a finite-dimensional vector space over the field F and let be a bilinear form on A. If is symmetric (respectively skew symmetric), then the matrix of relative to any basis is symmetric (respectively
BILINEAR FORMS
233
skew symmetric). Conversely, suppose that the matrix of¢> relative to some basis is symmetric (respectively skew symmetric). Then ¢> is symmetric (respectively skew symmetric). Proof. Let {ai, ... , an} be an arbitrary basis of A and letS= [aj 1 ] E Mn(F) be the matrix of ¢> relative to this basis. If ¢> is symmetric (respectively skew symmetric) then a 11 = ¢>(a1 , a1) = ¢>(ar. a1 ) = a 11 (respectively a}r = ¢>(a1 , a1) = -¢>(a1 , a1 ) = -atJ), for 1 ::.:; j, t::.:; n, so Sis also symmetric (respectively antisymmetric). Conversely, let {ci, ... , cn} be a basis of A such that the matrix R = [PJr1 E Mn (F) of¢> relative to this basis is symmetric (respectively antisymmetric). For each pair of elements x = LI:::J:::n ~JCJ, y = LI:::r:::nJt 1] 1C1 , we have ¢(x, y) =
L L
~JIJrPJt =
L L
1Jr~}Pti = ¢(y, x),
and, respectively, ¢(x, Y) =
L L
=- (
~}1JrP}r =
L L
1Jr~j{-ptj)
L L 1Jr~}Pti) = -¢(y, x).
I::O}::On I:::t:::n
In the case of symmetric forms, the language of bilinear forms can be translated into the language of quadratic forms. 6.1.12. Definition. Let A be a finite-dimensional vector space over the field F and let ¢> be a bilinear form on A. The mapping f : A ---+ F defined by the rule f (x) = ¢> (x, x) is called the quadratic form associated with the bilinear form ¢>. By Theorem 6.1.4, ¢>=¢I + ¢z where ¢I is a symmetric form and ¢z is a symplectic form. Then ¢(x, x) =¢I (x, x) + ¢>z(x, x). As we observed above, if charF =I= 2, then ¢z(x, x) =OF. Therefore, it suffices to consider only quadratic forms associated with bilinear symmetric forms. Let {a I, ... , an} be a basis of the space A and let S = [aJr1 E Mn (F) be the matrix of¢> relative to this basis. For each element x = LI:::J:::n ~Jai, we have
f(x) = ¢(x, x) =
L L
~J~ra}r·
I:::}:::n I:::r:::n The matrix S = [a1r] is called the matrix of the quadratic formf relative to the basis {a I, ... , an}. The rule for changing the matrix of a quadratic form at the transition from one basis to another will still be the same as it was for bilinear forms, namely if {bi, ... , bn} is another basis and R is the matrix of f relative to this basis, then R = T 1 ST where T is the transition matrix from the first basis to the second.
234
ALGEBRA AND NUMBER THEORY: AN INTEGRATED APPROACH
EXERCISE SET 6.1
Write out a proof or give a counterexample. Show your work. 6.1.1. Let f: ffi. 3 -----+ ffi. 3 be a mapping defined by f((a, {3, y), (A., JL, v)) = aA. + f3JL. Is this mapping bilinear? 6.1.2. Let f: ffi. 3 -----+ ffi.3 be a mapping defined by f((a, {3, y), (A., JL, v)) = a A. + y v. Is this mapping bilinear? 6.1.3. Relative to the standard basis of the vector space A = Q3 we define a bilinear form using the matrix
( i ~ -~). -1
Find
2
-1
= (1, -2, 0), y = (0, -1, -2).
6.1.4. Relative to the standard basis of the vector space A = Q3 we define a bilinear form using the matrix
Find
Find
= (1, 1, 0), y = (0, 1, 2).
6.1.6. Let A= JF~, where lFs is a field of five elements. We define a bilinear form using the matrix
Find
BILINEAR FORMS
235
6.1.7. Relative to the standard basis of the vector space A = Q 5 , we define a bilinear form using the matrix
0 0 1 2
0 1
~
(1 0 0
!!).
1 2 2 2 1 0 0
Decompose this form into the sum of a symmetric and an alternating form. 6.1.8. Relative to the standard basis of the vector space A = Q 4 , we define a bilinear form using the matrix
Decompose this form into the sum of a symmetric and an alternating form. 6.1.9. Relative to the standard basis of the vector space A = JF~, we define a bilinear form using the matrix
Decompose this form into the sum of a symmetric and an alternating form. 6.1.10. Let A= JF~ where JF 3 is the field consisting of three elements. A bilinear form is given relative to the standard basis, as
G-~
n
Find the matrix of the form relative to the basis (1, 1,0), (0, 1, 1), (0, 0, 1). 6.2
CLASSICAL FORMS
In geometry, the important concept of an orthogonal basis has been introduced with the aid of the scalar product. This concept can be extended to a vector space, on which a bilinear form is defined, in the following way.
236
ALGEBRA AND NUMBER THEORY: AN INTEGRATED APPROACH
6.2.1. Definition. Let A be a vector space over a field F and let
(oaF ; )
correspond to the bilinear form <1>. Then
and
6.2.2. Definition. Let A be a vector space over a field F and let
6.2.3. Proposition. Let A be a vector space over a field F and let
J. M,
let a be an arbitrary
This shows that x - y, ax E J. M. Theorem 4.1. 7 implies that J. M is a subspace and similarly we can deduce also that M J. is a subspace. As we have already seen, the subs paces J. A and A J. can be different. However, the following result holds.
6.2.4. Theorem. Let A be a finite-dimensional vector space over a field F and let
BILINEAR FORMS
237
Proof. Let M = {a 1, ••• , an} be a basis of A and note that it is clearly the case that j_ A :::; j_ M. Let y E j_ M and let x = L, 1:::Oj =:on ~ j a j be an arbitrary element of A, where ~j E F, for 1 :::; j :::; n. Then,
Thus y
E j_A,
so j_A = j_M.
Let S = [ujtl
E
Mn(F) denote the matrix of
{a1, ... , an}. Let z = Ll:::oj:::on l;jaj be an arbitrary element of j_M, where l;j E
F, for 1 :::; j :::; n. Then
=
L
l;jUjk.
for 1 :::; k :::; n.
••• , l;n)
is a solution of the system
I:::Oj9
Thus, the n-tuple (t; 1 ,
U11X1 UJ2X1
+ U21X2 + · · · + UniXn + U22X2 + · · · + Un2Xn
=OF = OF
(6.1)
Conversely, every solution of Equation 6.1 gives the coordinates of some element of j_ M. We observe that the matrix of the system (Eq. 6.1) is S 1 • Let K : A ---+ Fn be the canonical isomorphism. By the above, K(j_ A) is the subspace of all solutions of the system (Eq. 6.1). From the results of Section 5.3, we deduce that dimF(K(j_ A)) = n - rank(S 1 ) and by Corollary 4.3.6, rank(S 1 ) = rank(S). Therefore, dimF(K(j_ A)) = n- rank(S) = n- rank(
238
ALGEBRA AND NUMBER THEORY: AN INTEGRATED APPROACH
Thus, the form
Thus, for a classical form left and right orthogonality coincide. We saw above that symmetric and symplectic forms are classical. Now we will prove that, in the case when char F i= 2, there are no classical forms other than these. We first prove this for nonsingular forms. 6.2.8. Lemma. Let A be a vector space over a field F and let
Let z be an arbitrary element of A and let
It follows, since
Let
+ v2, xJ) =
and
+
i= OF, i= OF.
BILINEAR FORMS
239
Hence, there is a v such that