In
abstract algebra, a
finite group is a mathematical
group with a
finite number of elements. A group is a set of elements together with an operation which associates, to each ordered pair of elements, an element of the set. With a finite group, the set is finite.