Cambridge Philosophical Society. 457 



and so on. Some slight investigation of properties is made, to ex- 

 hibit the notation. 



The following rule is suggested to determine, in any complicated 

 case, whether the number of contiguous interchanges by which one 

 arrangement of letters is converted into another shall be odd or even. 

 This is an important matter in the theory of eliminants, though very 

 complicated instances may seldom occur in practice. Write down 

 one arrangement under the other, and, beginning at one letter in one 

 line, mark the companion letter in the other line, pass on to that 

 companion in the first line, mark its companion, and so on, until we 

 an-ive at a letter already marked. Call this sequence a chain, each 

 mark being one link. Having formed one chain, begin at a letter 

 not yet used, and form another ; and so on until every letter has 

 been used. Then, according as the number of chains with even 

 links is odd or even, the number of interchanges of contiguous letters 

 required is odd or even. For example, the two arrangements being 



ABCDEFGHIJKLMNOPQ 

 HMOGQBKLJPFC I NADE 

 121 23221222124 12 3. 

 Under A is H, under H is L, under L is C, under C is O, under 

 O is A, already taken : the first chain has five links, the second is 

 found to have nine, tlie third two, the fourth one. The number 

 having even links is one, an odd number ; hence an odd number of 

 contiguous interchanges converts the first arrangement into the 

 second. 



23 . The following is the method of ascertaining whether the bior- 

 dinal equation 



Q + Rr + S5+T/ + U(s2_rO = . . . . (1) 



possesses a primordinal of the form /(a;, y, z, p, q)=0, containing 

 an arbitrary function. Considering x, y, z, p, q as five independent 

 variables, integrate, by common methods, the equations 

 dv\ , mdv k ^dv 



dp l-\-k dq 



,,/dv , dv\ , T, dv 1 



uf — 4- a — 1 + R — — 



\dy ^dz) dq \+k 



S^=0, 



k being one of the roots of *S«=(1 + A)2(RT + QU). If a common 

 solution v=A can be found, then A=const. is a primordinal of (1). 

 If two common solutions, A and B, can be found, then B=ra'A is 

 a primordinal, ra being arbitrary. But though in this case A^const. 

 and B= const, are solutions, they cannot coexist, unless the values of 

 Ar be equal, or unless S^=4(RT+QU). This last equation is one 

 condition of polarity ; and if, when satisfied, we find three (and there 

 cannot be more) common solutions. A, B, C, inexpressible in terms 

 of each other, then /(A, B, C)=0 is the most general primordinal, 

 any two forms of it may coexist, or even any three, which amount 

 to A=const., B=const., C=const. Elimination of/; and q between 

 these last equations gives <p{x, y, z, a, b, c)=0, the modular equa- 



