(p1p2p3...) to where form of infinite order. In this case the ground forms, called also perpetuants, have been enumerated and actual representative seminvariant forms established. Putting n equal to co, in a generating function obtained above, we find that the function, which enumerates the asyzvgetic seminvariants of degree 0, is 1 1-z2.1-z3.1-z4....1-z0 that is to say, of the weight w, we have one form corresponding to each non-unitary partition of w into the parts 2, 3, 4,...0. The extraordinary advantage of the transformation of S2 to association with non-unitary symmetric functions is now apparent; for we may take, as representative forms, the symmetric functions which are symbolically denoted by the partitions referred to. Ex, gr., of degree 3 weight 8, we have the two forms (322), a(24). If we wish merely to enumerate those whose partitions contain the figure 0, and do not therefore contain any power of a as a factor, we have the generator ze 1-z2.1-z3.1-z4....1-z0.

If 0=2, every form is obviously a ground form or perpetuant, and the series of forms is denoted by (2), (22), (23),...(2K+1).... Similarly, if 0 =3, every form (3K+12,x) is a perpetuant. For these two cases the perpetuants are enumerated by z 2 23 -z2' and l -z2.1-z3 respectively.

When 0=4 it is clear that no form, whose partition contains a part 3, can be reduced; but every form, whose partition is composed of the parts 4 and 2, is by elementary algebra reducible by means of perpetuants of degree 2. These latter forms are enumer ated by I - z 24 I -z 4; hence the generator of quartic perpetuants must be z4 z4 z7 1-z 2.1 -z 3.1z 4 1-z 2.1-s 4 1-22.1-z3.1-z4' and the general form of perpetuants is (4 K+ 1 3A+1 2�).

When 0 _ 5, the reducible forms are connected by syzygies which there is some difficulty in enumerating. Sylvester, Cayley and MacMahon succeeded, by a laborious process, in establishing the generators for 0=5, and 0=6, viz.: 5 15 531 1 -z 2.1-z 3.1-z 4.1-z 5 ' 1-z2.1-z3.1-z4.1-z5.1-z6' but the true method of procedure is that of Stroh which we are about to explain.

it was noted that Stroh considers Method of Stroh.-In the section on " Symmetric Function," (alai +a 2 a 2 +... + veae)'°, where a1-i-a2+���+a0=0 and 7.= 2 =...= SB = a. symbolically, to be the fundamental form of seminvariant of degree 0 and weight w; he observes that every form of this degree and weight is a linear lic expressions. We may write function of such symbolic + (1+ai)(1+alt)...(16e)=1+A2t 2 +A3E 3 +...+A0 °.

If we expand the symbolic expression by the multinomial theorem, and remember that any symbolic product ai 1 a2 2 a3 3 ... retains the same value, however the suffixes be permuted, we shall obtain a i 7 2 ar a2 a33?Q"l 7r2 rr3 w hich in r a l sum of terms, such as w! - - - r 2 e Ex. gr. ?

7r 7T - 2 ! 2 ! 2r3!

form is w! a irl a� 2 a a3 ...Ev 1 02 2 ?3 3 ...; and, if we express Ea l v2 2 0-3 3 in terms of A2, A3 i ..., and arrange the whole as a linear function of products of A2, A3,..., each coefficient will be a seminvariant, and the aggregate of the coefficients will give us the complete asyzygetic system of the given degree and weight.

When the proper degree 0 is < w a factor ao -e must be of course understood.

2 ?(Qlal+a2a2+a3a3+Q4a4) 2 = 21??+Qi+ ala2nria2 =a2(-2A2) +alA 2 = (ai - 2a2)A2 = (2)A 2 =a8 (2)A2. In general the coefficient, of any product A n A m A 7, 3 ..., will have, as coefficient, a seminvariant which, when expressed by partitions, will have as leading partition (preceding in dictionary order all others) the partition (Tr1lr2lr3�..). Now the symbolic expression of the seminvariant can be expanded by the binomial theorem so as to be exhibited as a sum of products of seminvariants, of lower degrees if alai 0-2a2 +...+crea0 can be broken up into any two portions (alai -1-0-2a2-1-��� +asas) +(as+1as +1 +o-8+2as+2+��� +ooae), such that Q1 +a2+... +QS = 0, for then v8+1+ as+2+���+Cre= 0; and each portion raised to any power denotes a seminvariant.

Stroh assumes that every reducible seminvariant can in this way be reduced. The existence of such a relation, as 0-1+0-2+.,.+cr2=0, necessitates the vanishing of a certain function of the coefficients A2, A 3 ,...A 9, and as a consequence one product of these coefficients can be eliminated from the expanding form and no seminvariant, which appears as a coefficient to such a product (which may be the whole or only a part of the complete product, with which the seminvariant is associated), will be capable of reduction.

Ex. gr. for 0=2, (a l a i +v 2 a 2) w; either v l or cr 2 will vanish if a1a2=A2=o; but every term, in the development, is of the form (222...)Ar and therefore vanishes; so that none are left to undergo reduction. Therefore every form of degree 2, except of course that one whose weight is zero, is a perpetuant. The generating function is I - z2' 52 For 0 =3, (alai +a2a2+a3a3) 10; the condition is clearly a1a2a3 = A3 = 0, and since every seminvariant, of proper degree 3, is associated, as coefficient, with a product containing A3, all such are perpetuants.

The general form is (3'2 A and the generating function 3 3.

1-z:l-z For 0=4, (alai+a2a2+a3a3+a4a4) TO; the condition is ala2a3a4(Q1+a2)(01+a3) (al +Q4) =A4A 3 = 0.

Hence every product of A 1, A2, A3, A4, which contains the product A 4 A 3 disappears before reduction; this means that every seminvariant, whose partition contains the parts 4, 3, is a perpetuant. The general form of perpetuant is (4 K 3 A 2"`) and the generating function 1-z2.1-z3.1-z4 In general when 0 is even and =20, the condition is a l a 2 ...U 24 II(v 1 +a 2)II(a l +a 2 +cr 3)...II(Q 1 +a 2 -}-... -1-Q 4)) =0; and we can determine the lowest weight of a perpetuant; the degree in the quantities a is 20+(2)+(1)+...+() =2 2 ° -1 -1 =2e-1-1. Again, if 0 is uneven =20+I, the condition is a 1 a 2 ...cr 241 II(a 1 +a 2)II(cr 1 +a 2 +(73)...II(a 1 +a 2 +...+ac) =0; and the degree, in the quantities a, is 20+1 + (42+1) +(21) �...-F(254)�1) =22°-1= 2e-1-1 Hence the lowest weight of a perpetuant is 2 0 - 1 -1, when 0 is >2. The generating function is thus z2e-1 - 1 (1 -z 2) (1 -z 3) (1 -z 4)... (1-20) The actual form of a perpetuant of degree 0 has been shown by MacMahon to be +1 K0_1+1 K 3+20-4 K2 ,01 ,0-2 ,0-3 ,...3 ,2), K 0 ,Ke -1 ,...K 2 being given any zero or positive integer values.

Forms.-Taking the two forms to be a o xi + pa l x i 1x2+p(p-1)a2xr2x2-I-... +aPx2, boxi +qb1 xi -1x2+q(q - 1) b 2 xPx2+... +bx 2, every leading coefficient of a simultaneous covariant vanishes by the operation of a+Sib=aoda +alda.2+...+a7,-1d a P+bod b

Observe that we may employ the principle of suffix diminution to obtain from any seminvariant one appertaining to a (p-I)i c and a q - I ie, and that suffix augmentation produces a portion of a higher seminvariant, the degree in each case remaining unaltered. Remark, too, that we are in association with non-unitary symmetric functions of two systems of quantities which will be denoted by partitions in brackets ()a, ()b respectively. Solving the equation

by the Ordinary Theory Of Linear Partial Differential Equations, We Obtain P Q 1 Independent Solutions, Of Which P Appertain To S2Au = 0, Q To 12 B U =0; The Remaining One Is Ab =Aobl A 1 Bo, The Leading Coefficient Of The Jacobian Of The Two Forms. This Constitutes An Algebraically Complete System, And, In Terms Of Its Members, All Seminvariants Can Be Rationally Expressed. A Similar Theorem Holds In The Case Of Any Number Of Binary Forms, The Mixed Seminvariants Being Derived From The Jacobians Of The Several Pairs Of Forms. If The Seminvariant Be Of Degree 0, 0' In The Coefficients, The Forms Of Orders P, Q Respectively, And The Weight W, The Degree Of The Covariant In The Variables Will Be P0 Qo' 2W =E, An Easy Generalization Of The Theorem Connected With A Single Form.