(3m - 4)/2 when m is even.' Although these groups are somewhat more

Size: px

Start display at page:

Download "(3m - 4)/2 when m is even.' Although these groups are somewhat more"

Claude Curtis
6 years ago
Views:

236 MA THEMA TICS: BRA UER A ND NESBITT PROC. N. A. S. abelian group of order p(m + 1)/2 which contains no operator of order p2 just as in the case when G involves no operator of order p2.

1 236 MA THEMA TICS: BRA UER A ND NESBITT PROC. N. A. S. abelian group of order p(m + 1)/2 which contains no operator of order p2 just as in the case when G involves no operator of order p2. In the present case the group may be extended arbitrarily by an operator of order p or by an operator of order p2 except that at least one of the (m - 1)/2 extending operators must be of order p2. Hence there result m - 2 distinct groups since the extending operators can always be so selected that they have different orders except in one case. When G involves an invariant operator of order p2, all the possible groups can be constructed by starting with the abelian subgroup of type 2, 1(m - 2)/2. Since the extending operator can be selected so as to have either of two different orders in each of the (m - 2)/2 possible cases, the number of the possible non-abelian G's in this case is again m - 2. As there is also one possible abelian group it results that, including direct products there are m - 1 groups of order pm which have the property that each of them involves invariant operators of order p2 and contains exactly m - 1 independent generators, m being even. When m is odd this number is m - 2. In the special case when p = 2 a necessary and sufficient condition that a group of order pm has m - 1 independent generators is that the squares of all its operators generate the subgroup of order 2. It is known that the number of these groups of order 2' is 3(m - 1)/2 when m is odd and (3m - 4)/2 when m is even.' Although these groups are somewhat more complex than those relating to the more general case when p is odd they seem to require no consideration here since their fundamental properties were determined in the article to which we referred at the close of the preceding sentence and in those referred to therein. 1 G. A. Miller, these PROCEEDINGS, 22, 112 (1936). ON THE REGULAR REPRESENTATIONS OF ALGEBRAS By R. BRAUER AND C. NESBITr UNIVERSITY OF TORONTO Communicated February 24, 1937 The regular representations play an important r6le in the work of Molien, Cartan and Frobenius' in the theory of hypercomplex numbers. More recently, the theory of groups of linear transformations has been extended and new concepts have been introduced. Our first aim was to study the regular representations of an algebra with regard to these new ideas.

2 VOL. 23, 1937 MA THEMA TICS: BRA UER AND NESBITT 237 We consider an associative algebra A over a field F, assuming that A has a unit element. Since we shall be concerned with the absolutely irreducible constituents of the regular representations of A, we may assume without restriction that F is algebraically closed. Let el, e2,..., Ex be a basis of A. For every a in A, we have equations e,= ErK)<E)i, (1) as, = Ejsxj, ex (2) where the coefficients r,x and sk*a lie in F. We then obtain two representations 91 and e of A by associating the matrices R = (r,,), S = (skx) with a. These are the two regular representations. The decomposition of 9R and of e is our first concern. Let A be a representation of an algebra A by linear transformations of a vector space V. Then, 2a is decomposable if V is the direct sum of two vector spaces V1 and V2 both invariant under W. Adapting the co6rdinate system in V to this decomposition, we obtain K in the form ( l Of ) (3) where 2h operates in V1 and 212 in V2. The representations 21, and 2 may still be decomposable. Writing them in the same form as 2I in (3) and continuing in this manner we finally obtain the splitting of 2I into indecomposabke constituents. These-xe uniquely determined2 if equivalent representations are consideredus'equal. The indecomposable constituents may still be reducible.3 We get,,of tourse, the irreducible constituents of 21 if we break up every indecomposa4le constituent into its irreducible parts. Let us denote by Ul, U2,..-.,^U, the non-equivalent indecomposable constituents of 9R and by -I, Z&'..., Q13 the non-equivalent indecomposable constituents of S. Let a,, a2.. a. be the totality of all nonequivalent irreducible representations of A. Combining the powerful method used by Cartan' with new methods we obtain the following results which we state here without proof: The numbers k, I and m of the U,, the Q%, and the,,, respectively, are equal. We may arrange the V3x and in such a manner that QTx contains ax as first irreducible constituent (X = 1, 2,..., k), i.e., ( where t>, is a (reducible or irreducible) representation of A, and the asterisk stands for term&s about which we are not concerned. In (4) we include. ) (4)

3 238 MA THEMA TICS: BRA UER A ND NESBITT PROC. N. A. S. the case that 23), itself is equal to jv,. Moreover, if we have a splitting of V%, into constituents and! is completely reducible, then t must be equivalent to WA. In other words: If we split Q3, into largest completely reducible constituents in the sense of A. Loewy,4 the first constituent of this form is ax itself. This shows, in particular, that the one-to-one correspondence between 23A and ax, established in (4) is uniquely determined. We obtain a corresponding result for 9R if we consider the last irreducible constituent of U,, instead of the first. This shows: We can numerate the U, in such a way that a is the last constituent in Us, U= ( 9). (5) Here U, is uniquely determined by a,. It is not possible to find another splitting of U,, of the form (5), in which there stands another completely reducible representation at the place of a,,. In what follows the numeration of the Ux and Q3 will be as in (4) and (5). We say that an indecomposable constituent U of a representation 2t has the multiplicity f, if f of the indecomposable constituents of S are equivalent to U. Similarly, we may define the multiplicity of an irreducible constituent of W. We denote the degree of a), by f,,, that of U,, by ux, and that of 3, by v>. Then we can show that U,, has the multiplicity f), as an indecomposable constituent of 9R, and QA, has the same multiplicity fx in S. On the other hand, WA appears as an irreducible constituent of multiplicity va in 9? and of multiplicity u,, in.6 It is easy to give examples of algebras for which ux is different from v>. We shall denote by ck, the multiplicity of a), as irreducible constituent of Q,. The number cxk then gives the multiplicity of a), as irreducible constituent of S3K. Considering the degrees of the different representations we obtain the relations, UK =, cfx V. E = f (6) n = E u,f, = E f = E xf = c>jf, fx, (7) Another property of the numbers cx, is connected with the matrices intertwining the indecomposable constituents. Let 55 and ( be any two representations of A which associate the matrices B(Ca) and C(a) with the

4 VOL. 23, 1937 MA THEMA TICS: BRA UER A ND NESBITT 239 element a of A. The representation e3 is intertwzined with X, if there exists a matrix P * 0, independent of a, for which B(a)P = PC(a) for all a in A (8) holds.6 We say that e is h times intertwined with ( if there exist exactly h linearly independent matrices P satisfying (8). We then set h = I(s). If eb is a representation containing, exactly h times as an irreducible constituent, the relations hold, h = I(U,., 0) = I(5, SK). (9) This implies the following characterization of the ck^a: CKX = I(l., Qx) = I(Ux, U.) = I(YJ3, Z.) (10) A third characterization of the ckwa can be obtained from Cartan's ideas. The quotient algebra A/N, where N is the radical of A is a sum of simple algebras H1,. Let the elements -i, (mod N) give the unit elements of these Hx. The number I of elements flx is equal to the number k of the jk and we may numerate the t^ in such a way that q,, is represented by the unit matrix in j&, and by zero in the other,. We may choose the i) so that 2 2 = vk v7x = 0 for K *. Then c,s,)f,fx gives the number of linearly independent elements a in A for which t-,af7), = a holds. Cartan's results concerning the determinants of the regular representations are contained in those given above. A fourth characterization of the c,,), has been given by Frobenius.7 We put a! = Xle1 + X2C Xnen, Yel +Y2C2 + *+ Yn.n and denote by R(a), R(j3), S(a), S(#) the matrices representing a and,b in 9? and c5, respectively. The c,) then appear as exponents of the irreducible factors of the polynomial det (S(a) + R(3)') = $P(xl. *.. xn, Yi,... I Yn) in xi,...., x", Yi, * * *, Yn- We consider now algebras A for which the two regular respresentations are equivalent. A necessary and sufficient condition for this equivalence has been given by Frobenius,' namely that the parastrophic determinant should not identically vanish. We shall denote such an A as a Frobenius algebra. If we consider A as an n-dimensional vector space, we can express the characteristic condition for Frobenius algebras in the following form: Not every hyperplane in A contains a right ideal. In case of a Frobenius algebra we certainly have Ux = Vx. The totality U1, U2,..., Uk of indecomposable constituents of T coincides with the

240 MA THEMA TICS: N. JACOBSON PROC. N. A. S. totality of indecomposable constituents of S. It is, however, possible that U,, is not equivalent to -$X. Moreover, there exist examples where ck?

5 240 MA THEMA TICS: N. JACOBSON PROC. N. A. S. totality of indecomposable constituents of S. It is, however, possible that U,, is not equivalent to -$X. Moreover, there exist examples where ck?, is different from c). This led us to seek a sub-class of the Frobenius algebras in which U,, and Q%, would be equivalent. We will call an algebra symmetric, if the following condition is satisfied: There exists a hyperplane in A which contains all commutator elements a# - /3a, but does not contain a right ideal. Every such algebra is, of course, a Frobenius algebra. The semi-simple algebras belong to the symmetric algebras, and so do the group rings of finite groups, even in the case when the latter are not semi-simple, i.e., the case where the characteristic of the field is a prime dividing the order of the group. A necessary and sufficient condition for an algebra A to be symmetric is that there exists a symmetric matrix P transforming T into (. In the case of symmetric algebras, we can prove that U,, and Ql3, are equivalent. This implies that the first and the last irreducible constituent of U,, are the same. It also follows immediately that c,,x = cxk for all K, X. In particular, these results hold for the representations of finite groups in Galois fields. l Th. Molien, Math. Ann., 41, 83 (1893); E. Cartan, Annales de Toulouse, 12, B1 (1898); G. Frobenius, Sitzungsber. Preuss. Akad. Wiss., 1903, 401 and W. KrUll, Math. Zeit., 23, 161 (1925). Cf. also R. Brauer-I. Schur, Sitzungsber. Preuss. Akad. Wiss., 1930, See, for instance, H. Weyl, The Theory of Groups and Quantum Mechanics, London (1931), pp for the definition of irreducibility and equivalence. 4 Trans. Amer. Math. Soc., 6, 504 (1905). 6 Cf. R. Brauer, Actualites scientifiques et industrielles, No. 195 (1935). Theorem II. 6 Cf. I. Schur, Sitzungsber. Preuss. Akad. Wiss., 1905, Frobenius, 11 (3). SIMPLE LIE ALGEBRAS OF TYPE A By N. JACOBSON' DEPARTMENT OF MATHEMATICS, UNIVERSITY OF CICAGO Communicated March 8, 1937 If W is an associative algebra over b it becomes a Lie algebra2 when [a, b] is defined as ab - ba where ab is the associative product originally given in W. If in addition 21 is self-reciprocal, i.e., there is defined a correspondence a o- aje2x such that (a + b)' = aj + bj (&a)- + aaj (ab)j = baj, ae then the elements a such that aj = -a are called J-skew and their totality

A NOTE ON SPLITTING FIELDS OF REPRESENTATIONS OF FINITE

A NOTE ON SPLITTING FIELDS OF REPRESENTATIONS OF FINITE GROUPS BY Let @ be a finite group, and let x be the character of an absolutely irreducible representation of @ An algebraic number field K is defined