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