Split-complex number

In abstract algebra, especially in the area of group theory, a strong generating set of a permutation group is a generating set that clearly exhibits the permutation structure as described by a stabilizer chain. A stabilizer chain is a sequence of subgroups, each containing the next and each stabilizing one more point.

Let $G\le S_n$ be a group of permutations of the set $\{1,2,\dots ,n\}.$ Let

$B=({\beta }_1,{\beta }_2,\dots ,{\beta }_r)$

be a sequence of distinct integers, ${\beta }_i\in \{1,2,\dots ,n\},$ such that the pointwise stabilizer of $B$ is trivial (i.e., let $B$ be a base for $G$). Define

$B_i=({\beta }_1,{\beta }_2,\dots ,{\beta }_i),$

and define $G^{(i)}$ to be the pointwise stabilizer of $B_i$. A strong generating set (SGS) for G relative to the base $B$ is a set

$S\subseteq G$

such that

$⟨S\cap G^{(i)}⟩=G^{(i)}$

for each $i$ such that $1\le i\le r$.

The base and the SGS are said to be non-redundant if

$G^{(i)}\ne G^{(j)}$

for $i\ne j$.

A base and strong generating set (BSGS) for a group can be computed using the Schreier–Sims algorithm.

References

• A. Seress, Permutation Group Algorithms, Cambridge University Press, 2002.