The identity permutation of a set is the bijection with for every . It is the identity element of the symmetric group: composing it on either side of any permutation leaves that permutation unchanged.
On its one-line notation is and its complete cycle decomposition is . Fixed one-cycles are usually omitted, so the same permutation is often written , or when the underlying set is understood.
Every element is fixed. For a finite set it has no inversions of a permutation, has sign , and is its own inverse. The empty set also has exactly one permutation, its identity, consistent with .
New to topics? Read the docs here!