In mathematics, a group is a set, together with a binary operation satisfying certain axioms, detailed in the group article.
Group theory is that branch of mathematics concerned with the study of groups.