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.

Principle

Finiteness permits combinatorial and arithmetic control: orders of elements divide group orders for finite groups, subgroup indices are integers, and enumerative tools (coset counting, orbit-stabilizer) yield structural constraints and existence results such as Sylow theorems.

Demonstration

The symmetric group S_n on n letters is finite of order n!; the cyclic group Z/nZ is finite of order n. Finite matrix groups like GL(m, q) over a finite field have explicitly computable orders and rich subgroup structure used in combinatorics and representation theory.

Misapplication

Applying infinite-group intuitions (e.g., existence of arbitrarily large cyclic subgroups) to finite groups, or assuming classification in a naive way without invoking finite-specific theorems. Another misuse is treating cardinality-based properties as invariant under non-bijective maps.

Consequence

Finite groups admit powerful discrete techniques: Sylow theory, Cauchy’s theorem on element orders, the use of character theory and finite representation theory, and in many contexts a complete taxonomy is possible or approachable through families and sporadic exceptions.

Reversal

Infinite groups lack global numeric constraints: element orders need not divide a group order, counting methods fail, and phenomena such as torsion-free infinite groups or groups with continuum cardinality appear, requiring different tools (topology, geometry, infinite combinatorics).

Boundary

This entry is limited to groups with finite underlying sets. It excludes infinite groups, profinite groups (inverse limits of finite groups with topology), and groups considered with extra continuous or algebraic structure unless the underlying set is finite.

Semantic Tension

‘Finite group’ can be conflated with 'finite permutation group' or 'finite matrix group'; the tension is between abstract finite cardinality and additional realizations that bring extra structure (actions, representations) which change available techniques and interpretations.

Synthesis

A finite group is a group with a finite number of elements; finiteness enables counting and arithmetic methods that produce strong existence and classification results not available in the infinite setting.