A group representation is a map