Let be a [[Semi-Riemannian manifold|semi-Riemannian -manifold]].
An isometry is a -diffeomorphism which preserves the metric, diff
i.e. the pullback satisfyies .
The isometries form a Lie group,
whose corresponding Lie algebra consists of Killing fields.