Given a group , the regular representation of over a field is the representation whose underlying vector space is the -vector space of formal linear combinations of elements of , defined by
Equivalently, the regular representation is the induced representation on of the trivial representation on the subgroup of .