# Base (group theory)

Let $G$ be a finite permutation group acting on a set $\Omega$. A sequence
$B = [\beta_1,\beta_2,...,\beta_k]$
of k distinct elements of $\Omega$ is a base for G if the only element of $G$ which fixes every $\beta_i \in B$ pointwise is the identity element of $G$.