Finite Group

- Pure Mathematics -
Algebra Dictionary
Definition
A group whose underlying set has finite cardinality |G| = n for some natural number n. The order of the group is the number of its elements; many theorems in group theory specialize to the finite case and exploit counting arguments.