Jump to content

Base (group theory)

From Wikipedia, the free encyclopedia

Let be a finite permutation group acting on a set . A sequence

of k distinct elements of is a base for G if the only element of which fixes every pointwise is the identity element of .[1]

Bases and strong generating sets are concepts of importance in computational group theory. A base and a strong generating set (together often called a BSGS) for a group can be obtained using the Schreier–Sims algorithm.[2]

Not every group has a base. In particular, if a group action is not faithful, then no base exists. This is because by the definition of an unfaithful action, there are multiple elements of that fix every element in pointwise.

It is often beneficial to deal with bases and strong generating sets as these may be easier to work with than the entire group. A group may have a small base compared to the set it acts on. In the "best case", a base can have size 1, as in the case of the additive group of the integers. On the other hand, the symmetric groups and alternating groups have large bases (the symmetric group Sn has base size n − 1), and there are often specialized algorithms that deal with these cases.

References

[edit]
  1. ^ Dixon, John D. (1996), Permutation Groups, Graduate Texts in Mathematics, vol. 163, Springer, p. 76, ISBN 9780387945996.
  2. ^ Seress, Ákos (2003), Permutation Group Algorithms, Cambridge Tracts in Mathematics, vol. 152, Cambridge University Press, pp. 1–2, ISBN 9780521661034, Sim's seminal idea was to introduce the notions of base and strong generating set.