COMPOSITIO MATHEMATICA

Similar documents
COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze

Séminaire Équations aux dérivées partielles École Polytechnique

SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze

JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

Rendiconti del Seminario Matematico della Università di Padova, tome 88 (1992), p

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES. Sheaves and Cauchy-complete categories

A note on the generic solvability of the Navier-Stokes equations

SÉMINAIRE DE PROBABILITÉS (STRASBOURG)

ANNALES DE L I. H. P., SECTION A

ANNALES DE L I. H. P., SECTION A

ANNALES DE LA FACULTÉ DES SCIENCES DE TOULOUSE

Séminaire de Théorie spectrale et géométrie

Rendiconti del Seminario Matematico della Università di Padova, tome 92 (1994), p

Groupe de travail d analyse ultramétrique

ANNALES DE L INSTITUT FOURIER

SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze

TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES. A note on the generalized reflexion of Guitart and Lair

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

On the existence of solutions of the Darboux problem for the hyperbolic partial differential equations in Banach spaces

ANNALES DE L I. H. P., SECTION C

TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES. Closed categories and Banach spaces

JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX

ANNALES DE L I. H. P., SECTION C

RAIRO INFORMATIQUE THÉORIQUE

COMPOSITIO MATHEMATICA

JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX

COMPOSITIO MATHEMATICA

SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze

ANNALES DE L I. H. P., SECTION B

Séminaire d analyse fonctionnelle École Polytechnique

COMPOSITIO MATHEMATICA

JOURNÉES ÉQUATIONS AUX DÉRIVÉES PARTIELLES

REVUE FRANÇAISE D INFORMATIQUE ET DE

COMPOSITIO MATHEMATICA

ANNALES DE L I. H. P., SECTION A

Séminaire Équations aux dérivées partielles École Polytechnique

INFORMATIQUE THÉORIQUE ET APPLICATIONS

JOURNÉES ÉQUATIONS AUX DÉRIVÉES PARTIELLES

ANNALES DE L I. H. P., SECTION B

ANNALES MATHÉMATIQUES BLAISE PASCAL

Rendiconti del Seminario Matematico della Università di Padova, tome 58 (1977), p

JOURNÉES ÉQUATIONS AUX DÉRIVÉES PARTIELLES

RICHARD HAYDON Three Examples in the Theory of Spaces of Continuous Functions

COMPOSITIO MATHEMATICA

ANNALES DE L I. H. P., SECTION A

RAIRO MODÉLISATION MATHÉMATIQUE

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

Groupe de travail d analyse ultramétrique

JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX

Séminaire Équations aux dérivées partielles École Polytechnique

COMPOSITIO MATHEMATICA

Séminaire Dubreil. Algèbre et théorie des nombres

COMPOSITIO MATHEMATICA

SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze

A maximum principle for optimally controlled systems of conservation laws

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

REVUE FRANÇAISE D INFORMATIQUE ET DE

ANNALES DE L I. H. P., SECTION A

TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES. Closed categories and topological vector spaces

The center of the convolution algebra C u (G) Rendiconti del Seminario Matematico della Università di Padova, tome 52 (1974), p.

Local Lyapunov exponents and a local estimate of Hausdorff dimension

ANNALES DE L I. H. P., SECTION A

ANNALES DE L INSTITUT FOURIER

JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX

SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze

COMPOSITIO MATHEMATICA

COMPOSITIO MATHEMATICA

JOURNAL DE THÉORIE DES NOMBRES DE BORDEAUX

COMPOSITIO MATHEMATICA

RÜDIGER VERFÜRTH A note on polynomial approximation in Sobolev spaces

ANNALES DE L I. H. P., SECTION C

ANNALES DE L INSTITUT FOURIER

SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze

The stochastic logistic equation : stationary solutions and their stability

ANNALES DE L I. H. P., SECTION C

SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze

Séminaire Brelot-Choquet-Deny. Théorie du potentiel

INFORMATIQUE THÉORIQUE ET APPLICATIONS

Série Mathématiques. C. RADHAKRISHNA RAO First and second order asymptotic efficiencies of estimators

RAIRO MODÉLISATION MATHÉMATIQUE

ANNALES DE L I. H. P., SECTION B

RAIRO MODÉLISATION MATHÉMATIQUE

Série Mathématiques. Annales scientifiques de l Université de Clermont-Ferrand 2, tome 95, série Mathématiques, n o 26 (1990), p.

ANNALES DE L I. H. P., SECTION C

COMPOSITIO MATHEMATICA

ANNALES. Université Paul Sabatier, Toulouse, 2010, tous droits réservés.

ANNALES DE L I. H. P., SECTION A

Transcription:

COMPOSITIO MATHEMATICA H. S. THURSTON On factoring a matric polynomial with scalar coefficients Compositio Mathematica, tome 6 (1939), p. 235-238 <http://www.numdam.org/item?idcm_1939 6 235_0> Foundation Compositio Mathematica, 1939, tous droits réservés. L accès aux archives de la revue «Compositio Mathematica» (http: //http://www.compositio.nl/) implique l accord avec les conditions générales d utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/

1), On factoring a matric polynomial coefficients by H. S. Thurston University of Alabama with scalar 1. Introduction. In a paper published about four years ago 1), A. Hermann stated the following theorem: If fl is the numbers o f characteristic values of a matrix A, then any polynomial qf degree t, with simple zeros, breaks up in ty-1 ways into a product of t linear factors in the ring R(A ). The purpose of this note is to call attention to the fact that in the proof of the theorem all ways of factoring were not taken into consideration, and to show that the total number of ways is (t!),u-l. 2. Determination of factors. Let the minimum equation of a given matrix A be y(à ) nl(â-cti)vi 0. Corresponding to. the,u distinct roots oci, there exist,u linearly independent, non-zero matrices ei in the ring R(A), satisfying the relations These are called the principal idempotent elements 2) of A. Now let F(Â) be any polynomial with scalar coefficients having simple zeros SI S2..., s t. Choosing any u of these zeros (repetitions being permitted), Si1,..., Si, the function is a root of F(X) 0. If each subscript ik is increased by i (i 1, 2,..., t - and reduced modulo 1, we obtain a matrix Xi(A ) which is also a root of F(X ) 0, and is called by Hermann the i-th conjugate of Xo. The matrices Xi are commutative and it is readily seen that their elementary symmetric functions are 1) A. HERMANN, tiber Matrixgleichungen und die Zerlegung von Polynomen in Linearfactoren [Compositio Mathematica 1 (1934), 2842013302]. 2) J. H. M. WEDDERBURN, Lectures on Matrices [Amer. Math. Soc. Publications (1934)], 29.

1)u-1 2)(Â 2)"- 236 the corresponding elementary symmetric of F(Â) 0. Hence functions of the roots As the total number of matrices X(A) thus formed is e. and as each factorization of F(X ) requires t of them, Hermann concludes that there are t/-l-l ways of factoring P(X) in the ring R(A ). For convenience we shall denote the matrix Xo symbolically by (Si 1 Si 2... Si), J-t the linear factor X Xo by [Si 1 Si 2... si 111, linear factor. It is obvious that all the factorizations obtained by Hermann the first element in each initial with similar symbols for Xi and its corresponding may be obtained by letting matrix Xo be Si and permiiting the other elements in all possible ways. Thus Xo may be chosen in tl1-l ways. However it is not necessary to employ Hermann s rule to obtain the remaining conjugates. It is sufficient to choose these matrices so that the elements occupying the k-th position in the t conjugates shall be distinct roots of F(Â) 0. Keeping Xo fixed, it is obvious that no distinct factorizations of F(X) will be lost if we let the first element of Xi be si2. The remaining elements of X1, and - hence X1 itself, may be chosen in (t ways. Similarly, for any fixed X o and X l, we - may choose X2 in (t ways. Finally, Xt-1 may be chosen in one way. Hence, we have THF,ORF,M 1. If u is the number of distinct latent roots of a matrix A, then any polynomial F(Â) of degree t, with simple zeros, breaks up in (t!)u-1 ways in the ring R(A ). Below are shown, by way of exaniple, the 36 ways of factoring when t,u 3, and F(Â) (À - 1)(Â -- - 3). The first factorization in each line is obtained by Hermam s rule, and the corresponding matrices may be called conjugates in the sense of Hermann. It has been shown 3) that when A has simple latent roots, the sets (123), (231), (312) and (132), (213), (321) are conjugates in the sense of Taber, while all other sets whose leading matrix is (123) or (132) are conjugates in the sense of Franklin. 3) Matric conjugales in a ring R(A) [Bulletin Amer. Math. Soc. 44 (1938), 2582013261].

237 3. Similar factorizations. Two different sets of factors will be called similar if there exists a non-singular matrix T which transforms each matrix of the first set into a matrix of the second set, the same T serving for every transformation. In general, the factorizations given by Theorem 1 are not all dissimilar. For example, if A has simple latent roots, tlien among the above 36 sets there are 13 sets which are mutually dissimilar. The " scalar set (111)(222)(333) is, of course, not transformable into any other set. The sets (123)(231)(312) and (132)(213)(321) are similar, while the remaining sets are similar in groups of three, as, for example, (112)(221)(333), (121)(212)(333), and (211)(122)(333). Although the number of dissimilar sets in the case of a general matrix A has not been investigated, in the special case to which we have just referred we may pick out similar sets by means of the following theorem. THEOREM 2. If A has simple latent roots 4), two sets {Xi} and {Yi} are similar if the symbols j or corresponding matrices differ only by a cyclic rearrangement of the numbers in the symbols. Let the sets {Xi} and {Yi} consist of matrices X0, X1,..., Xt-l and Yo, Y,,..., Yt-1 respectively. Since the distinct numbers within any ma.tric symbol (si si... si ) are the roots of the 2 n minimum equation of the matrix5), the elementary divisors of all matrices under considération are linear and any such matrix can be transformed to diagonal form 6) with diagonal elements Si, Si,..., s2. Also, since Xi and Yi have the same 1 2 n elementary divisors, there exists a non-singular matrix T suchthat T-lX,T Y. We shall prove that the same matrix T will serve for all values of i. We shall consider the case where Yi is obtained cyclicly from 4) with slight modification, the proof may be carried through if A has a Segre characteristic [kk... k]. 5) Wedderburn, loc. cit. p. 26. 6) C. C. MACDUFFEE, Theory of Matrices [Berlin, Springer (1933)], p. 70.

238 Xi by replacing il by k-,. The general case may be proved by repetition of the argument. Let and Then if P transforms Xo into the diagonal matrix A o, we have where the ei are the principal idempotent elements of A o, having unity as the i-th diagonal element and zeros elsewhere. Similarly, P transforms Yo into a diagonal matrix Bo. Let Q transform A 0 into Bo. Then we have Since P-leiP ei, into its corresponding diagonal matrix Ai, and Yi into Bi. And since Ai is transformed into Bi by an interchange of rows and of columns (the same for every i), this can always be effected by the same matrix Q. Hence T PQP-1 will transform each Xi into the corresponding Yi, and the two sets are similar. (Received March 31st, 1938.) it follows that P will transform each Xl