A group is a set with an associative, binary operation for which there is an identity and inverses.