X a vectorfield on M.
X used to generate an infinitesimal diffeomorphism.
If 
Then X is a killing vector.
This relation can also be found by plugging in to the equation for an isometry.
The maximum number of KVF's is 
.
The KVF's form a lie algebra.
For 
,They are 
.