We recall the definition of a transformation group. Suppose we have a set of transformations with k parameters,
where the fv are smooth functions of their arguments in a certain domain. We say that this set forms a k-parameter group of transformations if the following conditions are satisfied.
1. Among the transformations (5.1) there exists the identity transformation.
3. For each pair of transformations ...