Let (π,π) be a [[Semi-Riemannian manifold|semi-Riemannian πΆπΌ-manifold]].
An isometryπβIsoβ‘(π,π) is a πΆπΌ-diffeomorphismπ:πβπ which preserves the metric, diff
i.e. the pullbackπβπππ satisfyies πβπππ=πππ.
The isometries form a Lie groupIsoβ‘(π,π),
whose corresponding Lie algebra π¦π°π¬(π,π) consists of Killing fields.