SYMMETRICOMPLETIONS AND PRODUCTS OF SYMMETRIC MATRICES

Similar documents
Mathematics for Cryptography

Homework #2 solutions Due: June 15, 2012

Predictive criteria for the representation of primes by binary quadratic forms

0 Sets and Induction. Sets

ON THE ORDER OF PRIMITIVE GROUPS*

Introduction to Matrices

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM

Constructing c-ary Perfect Factors

NUMBER FIELDS WITH PRESCRIBED /-CLASS GROUPS i

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

) = 1, ) = 2, and o( [ 11]

MULTIPLICATIVE SUBGROUPS OF FINITE INDEX IN A DIVISION RING GERHARD TURNWALD. (Communicated by Maurice Auslander)

ELEMENTARY LINEAR ALGEBRA

A matrix over a field F is a rectangular array of elements from F. The symbol

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Linear Algebra Homework and Study Guide

Course 2316 Sample Paper 1

A connection between number theory and linear algebra

Boston College, Department of Mathematics, Chestnut Hill, MA , May 25, 2004

Chapter 5. Modular arithmetic. 5.1 The modular ring

AUTOMORPHISM GROUPS OF ABELIAN p-groups

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Groups of Prime Power Order with Derived Subgroup of Prime Order

The genera representing a positive integer

BY MolmS NEWMAN (1011) (11

ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE

Math 109 HW 9 Solutions

ARITHMETIC PROGRESSIONS IN CYCLES OF QUADRATIC POLYNOMIALS

Algebraic structures I

ELEMENTARY LINEAR ALGEBRA

h Q h Ç h - In S.

RESEARCH ANNOUNCEMENTS PROJECTIONS OF C AUTOMORPHIC FORMS BY JACOB STURM 1

SUBSPACE LATTICES OF FINITE VECTOR SPACES ARE 5-GENERATED

DOUBLE CIRCULANT CONSTRUCTIONS OF THE LEECH LATTICE

Section VI.33. Finite Fields

William Stallings Copyright 2010

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.

Linear and Bilinear Algebra (2WF04) Jan Draisma

ELEMENTARY LINEAR ALGEBRA

HASSE-MINKOWSKI THEOREM

THE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS

Partial Sums of Powers of Prime Factors

POSriTVE DEFINITE MATRICES AND CATALAN NUMBERS

Class Groups of Complex Quadratic Fields

S. Lie has thrown much new light on this operation. The assumption

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

5 Group theory. 5.1 Binary operations

Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin

ECEN 5022 Cryptography

A Note on Indefinite Ternary Quadratic Forms Representing All Odd Integers. Key Words: Quadratic Forms, indefinite ternary quadratic.

Chapter 4. Matrices and Matrix Rings

CHAPTER 14. Ideals and Factor Rings

arxiv:math/ v1 [math.nt] 21 Sep 2004

Example. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z).

THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS

EXCERPT FROM ON SOME ACTIONS OF STABLY ELEMENTARY MATRICES ON ALTERNATING MATRICES

Linear conjunctive languages are closed under complement

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

The Outer Automorphism of S 6

Spectra of Semidirect Products of Cyclic Groups

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

PolynomialExponential Equations in Two Variables

Notes on Systems of Linear Congruences

Determinants: Introduction and existence

MA4H9 Modular Forms: Problem Sheet 2 Solutions

Letting be a field, e.g., of the real numbers, the complex numbers, the rational numbers, the rational functions W(s) of a complex variable s, etc.

GENERATING SETS KEITH CONRAD

RESEARCH ARTICLE. Linear Magic Rectangles

Part II. Number Theory. Year

20 The modular equation

Algebraic Structures Exam File Fall 2013 Exam #1

The Jacobi Symbol. q q 1 q 2 q n

Polygonal Numbers, Primes and Ternary Quadratic Forms

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009)

DETERMINANTAL DIVISOR RANK OF AN INTEGRAL MATRIX

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

Chapter 4 Finite Fields

ELEMENTARY LINEAR ALGEBRA

THE LIND-LEHMER CONSTANT FOR 3-GROUPS. Stian Clem 1 Cornell University, Ithaca, New York

Tomáš Madaras Congruence classes

A SHARP RESULT ON m-covers. Hao Pan and Zhi-Wei Sun

1. Introduction. Let P and Q be non-zero relatively prime integers, α and β (α > β) be the zeros of x 2 P x + Q, and, for n 0, let

Algebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

On non-hamiltonian circulant digraphs of outdegree three

Represented Value Sets for Integral Binary Quadratic Forms and Lattices

The following two problems were posed by de Caen [4] (see also [6]):

ON SYMMETRIC SETS OF UNIMODULAR SYMMETRIC MATRICES

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

Name: Solutions Final Exam

32 Divisibility Theory in Integral Domains

12x + 18y = 30? ax + by = m

Discrete Math, Second Problem Set (June 24)

Commutative Rings and Fields

Wilson s Theorem and Fermat s Little Theorem

THE JACOBI SYMBOL AND A METHOD OF EISENSTEIN FOR CALCULATING IT

Transcription:

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 186, December 1973 SYMMETRICOMPLETIONS AND PRODUCTS OF SYMMETRIC MATRICES BY MORRIS NEWMAN ABSTRACT. We show that any vector of n relatively prime coordinates from a principal ideal ring R may be completed to a symmetric matrix of SL(n, R), provided that n a 4. The result is also true for n = 3 if R is the ring of integers Z. This implies for example that if F is a field, any matrix of SL(n, F) is the product of a fixed number of symmetric matrices of SL(r, F) except when n = 2, F = GF(3), which is a genuine exception. Introduction-. It is known that any matrix over a field may be expressed as the product of two symmetric matrices over that field (see [l], [3]). This classical result has been taken up again by. Taussky (see [4], [5]) who considered the problem of factoring an integral matrix into the product of two integral symmetric matrices, and showed among other things that such a factorization is not always possible; for example the matrix [~58 g] is not the product of two integral symmetric matrices. An interesting problem is to determine whether some result of this kind remains true when the matrices are restricted to lie in SL(n, R), where R is a principal ideal ring. We prove for example that if F is a field, then any matrix of SL(n, F) is the product of a fixed number of symmetric matrices of SL(n, F), except when n = 2, F = GF(3). This case is a genuine exception: there are matrices of SL(2, GF(3)) which are not expressible as the product of finitely many symmetric matrices of SL(2, GF(3)). This paper is in two sections. In the first, we derive a number of results on completing rectangular arrays over R to unimodular symmetric matrices over R. In the second, we use these results to derive theorems of the type quoted above on factorization of matrices into products of symmetric matrices. The results of the first section are analogous to the classical ones on completion of rectangular arrays to unimodular matrices, but are naturally more difficult because of the added requirement of symmetry. These results should be useful in other applications. The results of the second section suggest some interesting open problems, which are discussed at the end of the paper. Received by the editors March 2, 1973. AMS (MOS) subject classifications (197). Primary 15A36, 15A21. Key words and phrases. Principal ideal rings, fields, symmetric matrices, unimodular matrices, symmetric completion. Copyright. 1(m Am km Mathem,tM Soclety 191

192 MORRIS NEWMAN For a general reference on matrices over R see [l] or [2]. Symmetric completions. The first (and most important) result of this section is the following: Theorem 1. Let R be a principal of R such that (ax, a2,, a ) = 1, atza" suppose ideal ring. Let ax, a2,, an be elements symmetric matrix A esl(«, R) with first row (a,, a2,, a ). Proof. be determined that n > 4. Then there is a By the theorem of the Smith normal form, a matrix U e SL(tz - 1, R) may such that (a2, a3,, an) = (b,,, Ci)U, where b R and (ax, b) = 1. Put M = (1) -i- U e SL(t2, R). Suppose there is a symmetric matrix B e SL(t2, R) such that the first row of ß is (ay b,,, ). Put A = MTBM. Then A is also symmetric and belongs to SL(t2, R). Furthermore, the first row of A is (ay a2,., an). It is sufficient therefore to take (ax, a2,..., an) = (a, b,,., ), where (a, b) = 1, and to show that (a, b,, ) may be completed to a symmetric matrix of SL(4, R). Determine a, b so that aa + bb =1. Then it is readily verified that the matrix "a b - b 1 A=, 1 b b' -a'(bb' + l) is symmetric and belongs to SL(4, R). This completes the proof. The case 72 = 2 is a genuine exception, since (a, b) may be completed to a symmetric matrix of SL(2, R) ii and only if b + 1 = mod a. For n = 3, however, the theorem remains true when R is taken to be the ring of integers Z. Whether the theorem still holds in this case for an arbitrary principal open question. We now prove ideal ring R is an Theorem 2. Suppose that a, b are arbitrary relatively prime integers. Then the row (a, b, ) may always be completed to a symmetric matrix of SL(3, Z). Proof. Suppose first that a =. Then b = ± 1, and "O b b -1 is the desired completion.

SYMMETRIC COMPLETIONS AND SYMMETRIC MATRICES 193 Now suppose that a 4. Put 'a b b x y y 2 x, y, z integers. Then A SL(3, Z) if and only if (1) iax-b2)z = ay2 + 1. The discussion proceeds by cases. Suppose first that a >. I. a = 1 mod 4. Choose x = b2 + 1 mod 4, so that x = Aw + b2 + l! Then ax-b2 - Aaw + (a - l)è2 + fl. By Dirichlet's theorem, w may be determined so that p = ax - b = Aaw + ia -l)b + a is prime, since (4fl, (fl - l)b2 + a) = 1. Furthermore, p 1 mod 4. Now (-a//)) = (a/p) = ip/a) = (-I/a) = 1, since p = a = 1 mod 4, p =-b2 mod fl. (Here and in what follows (a/p) is the Legendre-Jacobi symbol.) It follows that y may be chosen so that (1) has a solution. II. fl = 3 mod 4. Put x = - t, z - -w. (2) {at + b2)w = ay2 + 1. Then (1) becomes As in case I, determine t so that p = at + b is prime. Then ( a/p) = ip/a) = 1, since a = 3 mod 4, p =b mod a. It follows that y may be chosen so that (2) has a solution, and hence so that (1) has a solution. HI. a even. Then b must be odd. Take t - Aw in (2) and choose w so that p - at + b2 = Aaw + b2 is prime. Then p = 1 mod 8. Put a = 2cn, «odd. Then since here also. (_fl/p) = (a/p) = (2 Vp) = in/p) = (p/n) = 1, p = 1 mod 8, p = b mod n. It follows as before that (1) has a solution Now suppose that a <. Put fl = - c, c >. Then (1) becomes (3) {ex + b )z = cy - 1. IV. c oav. Choose x = c(l - è2) mod 4, x = Aw + c(l - b2). Then cx + b2 = Acw + c2(l - b2) + 2.

194 MORRIS NEWMAN Choose w so that p = ex + b2-4cw + c2(l- b2) + b2 is prime. Furthermore, p s 1 mod 4. Then since (c/p) = (p/c) = 1, p = 1 mod 4, p = b mod c. It follows that (3), and hence (1), has a solution. V. c et>e72. Then 2> is odd. Take x = 4w, and determine w so that p = ex + b2 = 4cw + b2 is prime. Then p = 1 mod 8. Put c = 2e«, re odd. Then (c/p)^(2en/p) = (n/p) = (p/n)=l, since p = 1 mod 8, p = b mod 72. Thus (3), and hence (1), has a solution. This completes the proof. When R = F, a field, the situation is naturally simpler. In fact it is easy to prove Theorem 3. Let A be a symmetric p x p matrix over F, B a p x a matrix over F. Suppose that the rank of B is p, and that p < q. Then a symmetric q x q matrix C over F may be determined so that "a b" BT C e SL U F), 72 = p + q. Proof. Let U e SL(p, F), V e SL(qt F) be such that UBV = (D ), where D is a p x p matrix. Since B is of rank p, D is nonsingular. Put [U "I Tí/7" " fuau7 UBV 1 o vtj _o vj [ytbti/7' v-tcvj Then M e SL(n, F) it and only if N e SL(n, F), and so it suffices to choose B in the normal form given above; namely, B = (D ). Now put C = [Q jj,], where W is (? - p) x (? _ p) an i so is nonvacuous since q > p. Then M = D' D W detl>t J det M = W = + det W(det D)2. Thus to make det M = 1, it suffices to choose W = (+ (det D)_2) + l q-p-l'

SYMMETRIC COMPLETIONS AND SYMMETRIC MATRICES 195 This completes the proof. Products of symmetric matrices. We now consider the problem of expressing a matrix as the product of symmetric matrices. We first prove Theorem 4. Let R be a euclidean ring, and suppose that n > 2. Then SL(n, R) may be generated by symmetric matrices. Thus every matrix of SL(n, R) is the product of finitely many symmetric matrices belonging to SL(n, R). Proof. It is known (see [2]) that SL(n, R) may be generated by the matrices S(p) [::] P~ + / n p. R, and i o P = L(-l) «-I 1 OJ We note first that 1 o" 1-1 p-1-1 which implies that S(p) is the product of 2 symmetric matrices of SL(n, R), provided that n > 3. Next, we show by induction that, for n > 3, P is the product of 2n - 4 symmetric matrices P3 = of SL(n, R). For n = 3, we have 1 1-1 -1 1 " -1-1 so that P, is indeed the product of 2.3-4 = 2 symmetric matrices of SL(3, R). Now suppose that for n - 1 > 3 we have shown that Pn_ j is the product of 2(n -l)-4 = 2n-6 symmetric matrices of SL(n - 1, R). Then certainly (1)+ P _i is the product of 2n - 6 symmetric matrices of SL(n, R). Furthermore, Pß = {(1) + P _j!t, where T = [ ' ] + /n_2; and T = 1 1 + / fi-3-1 1 + I \ -1-1

196 MORRIS NEWMAN is the product of 2 symmetric matrices of SL(re, R). We conclude by the induction hypothesis that Pn is the product of 2«- 6 + 2 = 2n - 4 symmetric matrices of SL(re, R). The induction is thus complete, and we have shown that we may select a symmetric set of generators of SL(re, R). This completes the proof. An appropriate remark at this point is the following: Let G be any matrix group which is closed under transposition, G* the subgroup of G generated by the symmetric matrices of G. Then G* is a normal subgroup of G. For if A is any element of G, then G* is generated by the symmetric matrices S oí G, and A~XG*A is generated by the matrices A'^SA, S symmetric. We have A'lSA = (ATA)'l(ATSA) G*, which implies that A~1G*A = G*. We now show S = A'1\(ASAT)(AAT)'1]A ea'1g*a, Theorem 5. Let R be a principal ideal ring and suppose that n > 3. // every element of SL(re - 1, R) is the product of at most k symmetric matrices of SL(tz 1, R), then every element of SL(n, R) is the product of at most k + 3 symmetric matrices of SL(re, R). Proof. Let A be any element of SL(n, R) and put A~l = B = (b{j) e SL(re, R). By Theorem 1, there is a symmetric matrix S e SL(n, R) whose first row is (hn, b12,, bln). Then where A j e SL(n - 1, R). SA m [ß*i\ iß /J Lo j Suppose now that js,=. Then we may write ß = by, where y has relatively prime entries. By Theorem 1 there is a symmetric matrix M = [y N j suchthat MeSL(n, R). Furthermore, [ß I '[by/j y1 y N y byy + N which is symmetric. It follows that [% ] is the product of at most 3 symmetric matrices of SL(re, R). Thus if Ax e SL(re - 1, R) is the product of at most k

SYMMETRI COMPLETIONS AND SYMMETRIC MATRICES 197 symmetric matrices of SL(n - 1, R), then [Q A] is the product of at most k symmetric matrices of SL(n, R), and A is the product of at most k + 3 symmetric matrices of SL(n, R). This completes the proof. When R = Z, the restriction that n > 3 may be replaced by n > 2, by virtue of Theorem 2. As a corollary, we have Corollary 1. Suppose that every matrix of SL(3, R) is the product of at most k symmetric matrices of SL(3, R). Then every matrix of SL(n, R) is the product of at most 3n + k 9 symmetric matrices of SL(n, R), where n > 3. Let A e SL(3, F), where F is any field. Put A-1 = ß = (fc ) e SL(3, F). By Theorem 3, there is a symmetric matrix S SL(3, F) whose first row is ( 11» i2» 13)- Then as in the proof of Theorem 5 we have that SA Iß 'J Lo C-T where C e SL(2, F). Again as in the proof of Theorem 5, but using Theorem 3 instead of Theorem 1, we may conclude that [a,] is the product of at most 2 symmetric matrices of SL(3, F). Thus we need only consider [J ]. Put If c =, if c4, C =nesl(2, F). r-a è -1 ra o i p bll c = [O 1/aJ [ 1/aJ LO 1 J ' cfif"1 ip''i «. _1 2/aJ _ 1/«J L I J Hence we may confine our attention to [Q j], F. so that We have the identity 1 1 b 1-1 1 1 1 r-i j F. = a/c, a., j F. 1 1-1J

198 MORRIS NEWMAN is the product of 2 symmetric matrices product of at most 4 symmetric matrices 1 1 b 1 of SL(3, F). It follows that [J -1 is the of SL(3, F), and hence that A is the product of at most 7 symmetric matrices of SL(3, F). Together with the preceding corollary this implies Theorem 6. Let F be a field, and suppose that re > 3. Then every matrix of SL(re, F) is the product of at most 3«- 2 symmetric matrices of SL(re, F). The case re = 2 is exceptional. We first prove Theorem 7. Let F be any field except GF(3). Then every element of SL(2, F) is the product of at most 5 symmetric elements of SL(2, F). Proof. Let A = [a *] be any matrix of SL(2, F). As in the proof of Theorem 6, A is the product of at most 2 symmetric matrices of SL(2, F) and a matrix of of the form [J J], b e F. We may therefore confine our attention and Since F = GF(3), there is a nonzero element 18 o i p b-i p ßb "j. 1//SJ [o lj _ 1/(8.1 y i+y" j8 /Se 1/ißJ to this matrix. ß oí F such that ß2 /= 1. Then * j8è +y/fs L> We now choose y e F so that /3Z> + y/ß = /Sy, y = ß2b/(ß2-1). The choice is possible since ß2 = 1. Thus [J *] has been expressed as the product of 3 symmetric elements of SL(2, F), and it follows that A is the product of at most 5 symmetric elements of SL(2, F). This completes the proof. -CJ-[.:::] The case F = GF(3) is a genuine exception. If then the symmetric elements of SL(2, F) are given by ± I, ± A, ± B. Furthermore, since A2 = ß2 = _/f Aß = - AB, the subgroup of SL(2, F) generated by its symmetric elements is of order 8 and consists of ± /, i A, ± B, ± AB. Since AB = [_ j J], we may conclude for example that the following is valid:

SYMMETRICOMPLETIONS AND SYMMETRIC MATRICES 199 Theorem 8. Let F = GF(3). Then [J }] z's never the product of symmetric matrices of SL(2, F). The group T = SL(2, Z) leads to some interesting considerations. As is evident from Theorem 8, it will not be possible to express every element of F as the product of symmetric elements of T, and it is of interest to determine just when this can be done. For this purpose, we collect some information about T and its commutator subgroup T'. T is generated by the elements T = [_j ], S = [J J] with defining relations (A) ATAT = ATTA = T. I"1 is generated by the elements T = (ST)3 = - /. Every element A of T satisfies and is a free group. r/t is cyclic of order 12, and a complete set of coset representatives for T modulo r' is given by (- S)k, < k < 11. (See [2] for these and other facts about I\) We first prove Lemma 1. Suppose that A is symmetric, A T. Then either A or - A {but not both) belongs to V. Proof. Certainly not both A and - A can belong to T, since - / does not belong to T (T is free and - / is of period 2). We have A = [ *], say, where ac - b2 = 1. Let e * sgn a (a cannot be ). Then the matrix ea is a 2x2 integral symmetric positive definite matrix of determinant 1. Since the class number of matrices of this type with respect to T congruence transformations by elements of T is 1, we must have ea = BB, B er. Now BT = TB~lT-1, by (4). Hence ea = BTB~lT~l, which is a commutator, and so belongs to T. This completes On the basis of this lemma, we now prove the proof. Theorem 9. Let T* be the subgroup of V generated of T. Then T* = {- /, T ], the subgroup of T generated by all symmetric matrices by - I and the elements of T. r* z's fl normal subgroup of T, and V/T* is cyclic of order 6. A complete set of coset representatives for Y modulo T* is given by Sk, < k < 5. Proof. Suppose that A e T*. Then A is the product of finitely many symmetric elements of T, and the previous lemma implies that either A or - A belongs to r'. Hence A e j- /, V'\ and so T* C j- /, T'l. Now suppose that A {- /, I"1 }. Because of (5) and the fact that - / is symmetric,!- /, T } is generated

2 MORRIS NEWMAN by symmetric matrices of T. Hence A must be the product of finitely many symmetric matrices of T, and so must belong to T*. Thus j- /, T j C I"1*, and it follows that r* = {- /, r'j. Since r*/t is a subgroup of index 2 of T/T, and V/T is cyclic of order 12, r*/t is cyclic of order 6. The fact about the coset representatives follows from the fact that (- S), < k < 11, forms a complete set of coset representatives for r modulo T. This completes the proof. From this theorem we can conclude for example that Theorem 1. None of the matrices _-i oj' _o d' L-i J zs the product of finitely many symmetric matrices of V. Proof. None of the matrices ± T, ± S, ± ST belongs to T. Some open questions. An interesting open problem is whether or not any element of SL(re, R) is the product of a fixed number of symmetric elements of SL(re, R), where R is any principal ideal ring. By Theorem 5 it is sufficient to consider re = 4 for arbitrary R and «= 3 for R = Z. Another interesting open problem is whether Theorem 1 remains true for re = 3 and any principal ideal ring R, since the proof of Theorem 2 makes use of Dirichlet's theorem on primes in arithmetic progressions and the quadratic reciprocity law, neither of which is available in the general case. Addendum. Richard T. Bumby has settled the second of the open questions mentioned above: that is, he has proved that Theorem 1 remains true for re = 3 and R any principal ideal ring. His proof consists of the observation that if a, b ate any relatively prime elements of R, and a, b ate elements of R such that aa' + bb' = 1, then the row (a, b, ) has the completion 'ab b -1 a'b-b' a'b-b' -aa'2-b'2m REFERENCES 1. C. C. MacDuffee, The theory of matrices, Chelsea, New York, 1946. 2. M. Newman, Integral matrices, Academic Press, New York, 1972.

SYMMETRIC COMPLETIONS AND SYMMETRIC MATRICES 21 3. O. Taussky, The role of symmetric matrices in the study of general matrices, Linear Algebra and Appl. 5 (1972), 147-154. 4. -, The factorization of an integral matrix into a product of two integral symmetric matrices. I, Acta Arith. (to appear). 5. -, The factorization of an integral matrix into a product of two integral symmetric matrices. II, Comm. Pure Appl. Math, (to appear). MATHEMATICS DIVISION, NATIONAL BUREAU OF STANDARDS, WASHINGTON, D. C. 2234