86 PROCEEDINGS OF THE AMERICAN ACADEMY. 



is generated by an infinitesimal transformation of the group, if and only 

 if the A'i . . . A' r fulfil relations of the form 



r 

 (Xj, -Xj) = -s C jks X, 



(./,*• = 1,2 . . . r), 



where (Xj, X k ) denotes the alternant A", X k — X k Xj, and the coefficients 

 c ib are quantities independent of the ar's.* 



In Volume XXXV. of the " Proceedings of the American Academy of 

 Arts and Sciences," pp. 239 et seq., I pointed out an error in the demon- 

 stration of what Lie calls the first fundamental theorem,! upon which 

 he bases the demonstration of his chief theorem. This error consists in 

 neglecting conditions imposed at the outset upon certain auxiliary quan- 

 tities fxi, ju 2 • • • {*ri introduced iu the course of the demonstration. Thus 

 in the " Continuierliche Gruppen," pp. 372-37G (and substantially in 

 " Transformationsgruppen," III. pp. 558-564), Lie proceeds as follows : 

 Being ffiven at the outset a family with an oo r of transformations T a , de- 

 fined by the equations 



% i = J, ( x li • • • x m a li ' ' • a r) 

 (i = 1, 2 . . . n), 



containing the identical transformation, rind such, moreover, that the a/'s 

 satisfy a certain system of differential equations, he defines by the intro- 

 duction of new parameters /x a family of transformations E M 



x'i = F t (p? lt . • ■ X n , fA l} . . . fr) 



(, = 1,2. . . n), 



each of which is generated by an infinitesimal transformation. Lie then 

 establishes the symbolic equation 



To E^ = T .X 



* Transformationsgruppen, III. 690; Continuierliche Gruppen, 211, 305, 390. 

 t Transformationsgruppen, III •">»;;; Continuierliche Gruppen, 376. 

 i If the equations defining the families >'t" transformations /'.. and A' M are. 

 i, spectively, 



(.■ = 1.2 . . »), 



and 



.r' t = /•>-', . . . r n , a-, . . . ^,) 



(, - 1,2, . »), 



the symbolic equation /"„ / „ T is equivalent to the simultaneous system of 

 equations 



