to the symbols for the classes contained in the princpal genus, because two forms of that genus compound into one o the same kind. If this latter group is cyclical, that is, if all the classes of the principal genus can be represented in the form 1, A, A²,. . .A^v−1, the determinant D is said to be regular; if not, the determinant is irregular. It has been proved that certain specified classes of determinants are always irregular; but no complete criterion has been found, other than working out the whole set of primitive classes, and determining the group of the principal genus, for deciding whether a given determinant is irregular or not.

If A, B are any two classes, the total character of AB is found by compounding the characters of A and B. In particular, the class A², which is called the duplicate of A, always belongs to the principal genus. Gauss proved, conversely, that every class in the principal genus may be expressed as the duplicate of a class. An ambiguous class satisfies A'= 1, that is, its duplicate is the principal class; and the converse of this is true. Hence if Br, B¢, . .Bi are the base classes for the whole composition-group, and A=B1'BZ”. .BH (as above) A2= I, if 2x==o or m, 2y=o or rt, &c.; hence the number of ambiguous classes is 2'. As an example, when D = -1460, there are four ambiguous classes, represented by

(I. 0, 355)» (2, 2. 183). (5. 0, 73)» (10, 101 39>: hence the composition-group must be dibasic, and in fact, if we put Br, B2 for the classes represented by (lx, 6, 34) and (2, 2, 183), we have B110 =B22= I and the 20 primitive classes are given by B1"B21f (xé. 10, yé 2). In this case the determinant is regular and the classes in the principal genus are I, BF; B14, BN, BF. 38. On account of its historical interest, we may briefly consider the form x'--y2, for which D = -4. If is an odd prime of the form 4n+I, the congruence mza—4(mod 4pi> is soluble (§ 3I); let one of its roots be m, and rn' +4 =4lp. Then (p, m, l) is of determinant -4, and, since there is only one primitive class for this determinant, we must have (p, rn. l)~ (I, 0, I). By known rules we can actually find a substitution <3 which converts the first form into the second; this being so, will transform the second into the first, and we shall have p =72 -1-52, a representation of p as the sum of two squares. This is unique, except that we may put p=(=°=-y)2+(=4=6)'. We also have 2 = I2'i-I2 while no prime 4n +3 admits of such a representation.

The theory of composition for this determinant is expressed by the identity (x2+y”) (x”j-y ) = (xx' iyyf)2+(xy'=¢= yx')'; and by repeated application of this, and the previous theorem, we can show that if N=2“p”q°. ., where p, q, . are odd primes of the form 4n-l-1, we can find solutions of N =x'+y“, and indeed distinct solutions. For instance 65 = 12-l-8*=4“+72, and conversely two distinct representations N =x'+y2 = ui-i-1/2 lead to the conclusion that N is composite. This is a simple example of the application of the theory of forms to the difficult problem of deciding whether a given large number is prime or composite; an application first indicated by Gauss, though, in the present simple case, probably known to Fermat.

39. Number of classes. Class-number Relations.-It appears from Gauss's posthumous papers that he solved the very difficult problem of finding a formula for h(D), the number of properly primitive classes for the determinant D. The first published solution, however, was that of P. G. L. Dirichlet; it depends on the consideration of series of the form E(ax2-i-bxy-1-cy2)'1" where s is a positive quantity, ultimately made very small. L. Kronecker has shown the connexion of Dirichlet's results with the theory of elliptic functions, and obtained more comprehensive formulae by taking (a, b, c) as the standard type of a quadratic fcrm, whereas Gauss, Dirichlet, and most of their successors, took (a, 2b, c) as the standard, calling (bi-ae) its determinant. As a sample of the kind of formulae that are obtained, let p be a prime of the form 411--3; then h(-4p) =>:a-ze. htm wg <»+u~/ z>> =1<»g TI('¢aI1%> where in the first formula Za. means the sum of all quadratic residues of p contained in the series I, 2, 3, . .%(p-I) and Z5 is the sum of the remaining non-residues; while in the second formula (I, u) is the least positive solution of £2-pu2= 1, and the product extends to all values of b in the set 1, 3, 5, . (4p-I) of which p is a non residue. The remarkable fact will be noticed that the second formula gives a solution of the Pellian equation in a trigonometrical form.

Kronecker was the first to discover, in connexion with the complex multiplication of elliptic functions, the simplest instances of a very curious group of arithmetical formulae involving sums of class numbers and other arithmetical functions; the theory of these relations has been greatly extended by A. Hurwitz. The simplest of all these theorems may be stated as follows. Let H (A) represent the number of classes for the determinant -A, with the convention that § and not I is to be reckoned for each class containing a reduced form of the type (a, o, a) and if for each class containing a reduced form (a, a, a); then if n is any positive integer,

E H(4n-K2) =Φ(n)+I/(rt) (-2/né xé 2#7l)

where Φ(n) means the sum of the divisors of n, and I/(rt) means the excess of the sum of those divisors of n which are greater than J n over the sum of those divisors which are less than / n. The formula is obtained by calculating in two different ways the number of reduced values of z which satisfy the modular equation ](nz) =](z), where ](z) is the absolute invariant which, for the elliptic function p(u; gg, gs) is g;»3+ (gf-27g32), and z is the ratio of any two primitive periods taken so that the real part of iz is negative (see below, § 68). It should be added that there is a series of scattered papers by J. Liouville, which implicitly contain Kronecker's class-number relations, obtained by a purely arithmetical process without any use of transcendent.

40. Bilinear Forms.—A bilinear form means an expression of the type Eagkxfyk (i=1, 2, . . .m; k=I, 2, . n); the most important case is when m=n, and only this will be considered here. The invariants of a form are its determinant [am] and the elementary factors thereof. Two bilinear forms are equivalent when each can be transformed into the other b linear integral substitutions x'=Eax, y'=2/Sy. Every bilinear form is equivalent to a reduced Y

form 2e, x;y, , and r =n, unless [a, ,, .] =o. In order that two forms may 1

be equivalent it is necessary and sufficient that their invariants should be the same. Moreover, if a-b and e-d, and if the invariants of the forms a+)c, b+>d are the same for all values of >, we shall have a+)c-b~{-Ad, and the transformation of one form to the other may be effected b a. substitution which does not involve). The theory of bilinear forms practically includes that of quadratic forms, if we suppose xi, yr to be cogredient variables. Kronecker has develo ed the case when n=2, and deduced various class-relations for quadratic forms in a manner resembling that of Liouvil'le. So far as the bilinear forms are concerned, the main result is that the number of classes for the positive determinant alla”-a12a21==A is 12Φ(Δ)+I/(A)}+2e, where e is 1 or 0 according as A is or is not a square, and the symbols <1>, ' have the meaning previously assigned to them (§ 39).

41. Higher Quadratic Forms.-The algebraic theory of quadratics is so complete that considerable advance has been made in the much more complicated arithmetical theory. Among the most important results relating to the general case of n variables are the proof that the class-number is finite; the enumeration of the arithmetical invariants of a form; classification according to orders and genera, and proof that genera with specified characters exist; also the determination of all the rational transformations of a given form into itself. In connexion with a definite form there is the important conception of its weight; this is defined as the reciprocal of the number of its proper auto morphs. Equivalent forms are of the same weight; this is defined to be the weight of their class. The weight of a genus or order is the sum of the weights of the classes contained in it; and expressions for the weight of a given genus have actually been obtained. For binary forms the sum of the weights of all the genera coincides with the expression denoted by H(A) in § 39. The complete discussion of a form requires the consideration of (n-2) associated quadratics; one of these is the contra variant of the given form, each of the others contains more than rt variables. For certain quaternary and senary classes there are formulae analogous to the class-relations for binary forms referred to in § 39 (see Smith, Proc. R.S. xvi., or Collected Papers, i. 510).

Among the most interesting special applications of the theory are certain propositions relating to the representation of numbers as the sum of squares. In order that a number may be expressible as the sum of two squares it is necessary and sufficient for it to be of the form PQ”, where P has no square factor and no prime factor of the form 4n-Q-3. A number is expressible as the sum of three s uares if, and only i, it is of the form m2n with rt: I, =r=2 =+=3 (mod til); when rn = I and 1153 (mod 8), all the squares are odd, and hence follows Fermat's theorem that every number can be expressed as the sum of three triangular numbers (one or two of which may be 0). Another famous theorem of Fermat's is that every number can be expressed as the sum of four squares; this was first proved by jacobi, who also proved that the number of solutions of rt =x' +y' +z2+t” is 84>(n), if rt is odd, while if rt is even it is 24 times the sum of the odd factors of rt. Explicit and finite, though more complicated, formulae have been obtained for the number of representations of rt as the sum of five, six, seven and eight squares respectively. As an example of the outstanding difficulties of this part of the subject may be mentioned the problem of finding all the integral (not merely rational) auto morphs of a given form f. When f is ternary, C. Hermite has shown that the solution depends on finding all the integral solutions of F(x, y, z) +P = I, where F is the contra variant of f.

Thanks to the researches of Gauss, Eisenstein, Smith, Hermite and others, the theory of ternary quadratics is much less incomplete than that of quadratics with four or more variables. Thus methods of reduction (iliave been found both for definite and for indefinite forms; so that it would be possible to draw up a table of representative forms, if the result were worth the labour. One specially important theorem is the solution of ax'+by2 -1-cz' ==o; this is always possible if -bc, -ca, -ab are quadratic residues of a, b, c respectively, and a formula can then be obtained which furnishes all the solutions.

42. Complex Numbers.-One of Gauss's most important and far reaching contributions to arithmetic was his introduction of complex