A group is a set of elements with a binary operation that satisfies four properties: closure, associativity, identity, and inverses. Groups can be finite or infinite, commutative or non-commutative. Examples of groups include integers under addition, rational numbers without 0 under multiplication, general linear groups of matrices, integers modulo n under addition, and dihedral and permutation groups. The defining properties of a group ensure the binary operation behaves similarly to ordinary arithmetic.