variables. For instance, those of a ternary form involve two classes which may be geometrically interpreted as point and line co-ordinates in a plane; those of a quaternary form involve three classes which may be geometrically interpreted as point, line and plane coordinates in space.

Professor Michael Roberts (Quart. Math. J. iv.) was the first to remark that the study of covariants may be reduced to the study of their leading coefficients, and that from any relations connecting the latter are immediately derivable the relations connecting the former. It has been shown above that a covariant, in general, satisfies four partial differential equations. Two of these show that the leading coefficient of any covariant is an isobaric and homogeneous function of the coefficients of the form; the remaining two may be regarded as operators which cause the vanishing of the covariant. These may be written, for the binary nie, Zka k _. l aa k -x 2 d d- = 0; Z(nk)ak+l adk - x ldd2=0; or in the form d d 52-x 2(7 =0, O - x1ax2 = 0; where 0 = ao d a l + 2a 1 -?...+na,,_id an, 0 = nal dao -? (n -1)azd al -f-... + andan_l. Let a covariant of degree e in the variables, and of degree 8 in the coefficients (the weight of the leading coefficient being w and n8-2w = �), be Coxl -}- ec l l 1 x 2 -{-... .

Operating with 5l-xidxlwe find S2C 0 =o; that is to say, C ° satisfies one of the two partial differential equations satisfied by an invariant. It is for this reason called a seminvariant, and every seminvariant is the leading coefficient of a covariant. The whole theory of invariants of a binary form depends upon the solutions of the equation SZ=o. Before discussing these it is best to trans form the binary form by substituting I !a i, 2 ! a 2 , 3 ! a 31 ...n !a�, for a l, a 2, a 3 ...a n respectively; it then becomes a e xi +na l xi -I x 2 +n (n -1)a 9 xl -2 x2 +... +n ! anx2, and 52 takes the simpler form dd d d aodal+alda2+a2da,1--... + an -ldan. One advantage we have obtained is that, if we now write ao =o, and substitute a 8 _ 1 for a,, when s>o, we obtain d d aO da l +al da 2 +a2 da �....+an_2dan_1 which is the form of SZ for a binary (n- Henceby merely diminishing each suffix in a seminvariant by unity, we obtain another seminvariant of the same degree, and of weight w-8, appertaining to the (n-I) ic. Also, if we increase each suffix in a seminvariant, we obtain terms, free from a 0, of some seminvariant of degree 8 and weight w+8. Ex. gr. from the invariant a2 -2a 1 a 3 -2aoa4 of the quartic the diminishing process yields ai-2a 0 a 21 the leading coefficient of the Hessian of the cubic, and the increasing process leads to a3 -2a 2 a 4 +2a i a 5 which only requires the additional term-2aoa 6 to become a seminvariant of the sextic. A more important advantage, springing from the new form of S2, arises from the fact that if x"-aix n- +a2x n-2. ..(-)nan= (x- a1)(x-a2)... (x- an), the sums of powers Ea t, Za 3, Za 4, ...Za n all satisfy the equation Si=o. Hence, excluding ao, we may, in partition notation, write down the fundamental solutions of the equation, viz. (2), (3), (4),...(n), and say that with ao, we have an algebraically complete system. Every symmetric function denoted by partitions, not involving the figure unity (say a non-unitary symmetric function), which remains unchanged by any increase of n, is also a seminvariant, and we may take if we please another fundamental system, viz. a 0 ,(2), (3), (22), (32),...(24") or (32/(n-3)).

Observe that, if we subject any symmetric function the diminishing process, it becomes ao 1 - P2 (p2p3...)� Next consider the solutions of 0=o o which are of degree 0 and weight w. The general term in a solution involves the product ao°ai 1 a2 2 ...an" wherein Tr =0, Zs7r s =w; the number of such products that may appear depends upon the number of partitions of w into B or fewer parts limited not to exceed n in magnitude. Let this number be denoted by (w; 0, n). In order to obtain the seminvari ants we would write down the (w; 0, n) terms each associated with a literal coefficient; if we now operate with 52 we obtain a linear function of (w - I; 8, n) products, for the vanishing of which the literal coefficients must satisfy (w-I; 0, n) linear equations; hence (w; 8, n)-(w-I; 0, n) of these coefficients may be assumed arbitrarily, and the number of linearly independent solutions of 52=o, of the given degree and weight, is precisely (w; 8, n) - (w - I; 0, n). This theory is due to Cayley; its validity depends upon showing that the (w - I; 0, n) linear equations satisfied by the literal coefficients are independent; this has only recently been established by E. B. Elliott. These seminvariants are said to form an asyzygetic system. It is shown in the article on Combinatorial Analysis that (w; 0,n) is the coefficient of a e z w in the ascending expansion of the fraction 1-a. 1 -az. 1-az2....1-azn' Hence (w; 0, n) - (w - I; 0, n) is given by the coefficient of aez'° in the fraction 1-z 1 -a.1-az. 1 - az 2. ...1 - azn.' the enumerating generating function of asyzygetic seminvariants. We may, by a well-known theorem, write the result as a coefficient of z w in the expansion of 1 - z n+1. -v ol. - zn +9 1 -z2.1 -z3....1-z8; and since this expression is unaltered by the interchange of n and B we prove Hermite's Law of Reciprocity, which states that the asyzygetic forms of degree 0 for the /t ie are equinumerous with those of degree n for the The degree of the covariant in the variables is e=nO-2w; consequently we are only concerned with positive terms in the developments and (w, 0, n) - (w - r; 0, n) will be negative unless nO It is convenient to enumerate the seminvariants of degree 0 and order e=n0-2w by a generating function; so, in the first written generating function for seminvariants, write z2 for z and az n for a;. we obtain 1 - z - 2 1 -az". 1 -az 74 - 2.1 -azn-4....1 - azn+4.1 - az n+2.1 - az-n in which we have to take the coefficient of aezne-2', the expansion. being in ascending powers of a. As we have to do only with that part of the expansion which involves positive powers of z, we must try to isolate that portion, say A n (z). For n=2 we can prove that. the complete function may be written ll A2(z) i 2A2 (z/ ' A 2 z 1az2 1.1-a2; and this is the reduced generating function which tells us, by its. denominator factors, that the complete system of the quadratic is composed of the form itself of degree order I, 2 shown by az 2, and of the Hessian of degree order 2, o shown by a2.

Again, for the cubic, we can find A3(z) - -a6z6 1 -az 3.1 -a 2 z 2.1 -a 3 z 3.1 -a4 where the ground forms are indicated by the denominator factors, viz.: these are the cubic itself of degree order I, 3; the Hessian of degree order 2, 2; the cubi-covariant G of degree order 3, 3, and the quartic invariant of degree order 4, o. Further, the numerator factor establishes that these are not all algebraically independent,, but are connected by a syzygy of degree order 6, 6.

Similarly for the quartic A 4 /z) - -a s z 1 -az4.1 -a2.1-a2z4.1-a3 .1 establishing the 5 ground forms and the syzygy which connects them.

The process is not applicable with complete success to quintic and higher ordered binary forms. This arises from the circumstance that the simple syzygies between the ground forms are not all independent, but are connected by second syzygies, and these again by third syzygies, and so on; this introduces new difficulties which have not been completely overcome. As regards invariants. a little further progress has been made by Cayley, who established the two generating functions for the quintic 1 -a3s 11 -a8.1 a12.

and for the sextic 1 -a3° 1-a 2.1-a 4.1-a'.1 -a io. 1-a'5 Accounts of further attempts in this direction will be found in Cayley's Memoirs on Quantics (Collected"Papers), in the papers of Sylvester and Franklin (Amer. J. i.-iv.), and in Elliott's Algebra of Quantics, chap. viii.

Perpetuants.-Many difficulties, connected with binary forms of finite order, disappear altogether when we come to consider the