# finding the order of a group

## 1 Group order and Membership

*Problem 1* (Find Group Order). Given a finite group^{} $G$, and a subset $S$ of $G$, determine
the order of the subgroup^{} $H=\u27e8S\u27e9$.

*Problem 2* (Membership Test). Given a finite group $G$, and a subset $S$ of $G$ and an element $g\in G$, determine if $g\in H=\u27e8S\u27e9$.

Of course both problems have a simple solution: list all the elements of $H$ by repeated multiplication^{}. However, if $G={S}_{100}$, $S$ is some arbitrary subset, it is possible for $\u27e8S\u27e9$ to have order up to $100!$, far in excess of any reasonable computation. So the problems are actually feasiblity questions.

At first glance the two problems seem unrelated, but indeed, often they are two versions of the same problem. For example, if we can determine the order of the group $\u27e8S\u27e9$ for any subset $S$, then given any $g\in G$, compute the order of $\u27e8S\u27e9$ and $\u27e8S,g\u27e9$. If they are equal then $g\in \u27e8S\u27e9$, otherwise $g\notin \u27e8S\u27e9$.

If instead we are able to test membership, then we may sometimes build up to the group $H$ by locating a subgroup of $H$, testing if the elements of $S$ lie in this subgroup, if not, extend to a larger group building a transversal for the resulting cosets as we go. In the end we have a list of subgroups

$$H={H}_{k}>{H}_{k-1}>\mathrm{\cdots}>{H}_{0}=1$$ |

and a set of transversals ${T}_{i}$ for ${H}_{i}/{H}_{i-1}$ (as cosets not as quotient groups^{} as ${H}_{i-1}$ need not be normal). The size of each ${T}_{i}$ is the index
$[{H}_{i}:{H}_{i-1}]$ and so we can compute the order of $H$ as

$$|H|=[{H}_{k}:{H}_{k-1}]\mathrm{\cdots}[{H}_{1}:{H}_{0}].$$ |

Notice this required we build $|{T}_{0}|+|{T}_{1}|+\mathrm{\cdots}+|{T}_{k}|$ many elements of $H$. To make this process efficient requires $|{T}_{i}|$ and $k$ be small enough. Part of this is handled in the next basic, yet powerful, result.

###### Proposition 1.

For every finite group $G$ and every set of generators^{} $S$ of $G$, there
exists a subset of $T$ of $S$ of size no more than ${\mathrm{log}}_{\mathrm{2}}\mathit{}\mathrm{|}G\mathrm{|}$ which
also generates $G$. Furthermore, every chain of subgroups has length no
more than ${\mathrm{log}}_{\mathrm{2}}\mathit{}\mathrm{|}G\mathrm{|}$.

###### Proof.

Given $S=\{{s}_{1},\mathrm{\dots},{s}_{k}\}$ build the subgroup chain ${G}_{i}=\u27e8{s}_{1},\mathrm{\dots},{s}_{i}\u27e9$. Notice then that

$$G={G}_{k}\ge {G}_{k-1}\ge \mathrm{\cdots}\ge {G}_{0}=1.$$ |

We create $T$ as the subset of ${s}_{{i}_{r}}\in S$ such that ${G}_{{i}_{r}}\ne {G}_{{i}_{r-1}}$, that is, we remove elements the generate the same subgroups in the chain. So now

$$G={G}_{{i}_{j}}>\mathrm{\cdots}>{G}_{0}=1.$$ |

Hence

$$|G|=[{G}_{{i}_{j}}:{G}_{{i}_{j-1}}]\mathrm{\cdots}[{G}_{{i}_{1}}:{G}_{0}]$$ |

and $2\le [{G}_{{i}_{r}}:{G}_{{i}_{r-1}}]$ so $j\le {\mathrm{log}}_{2}|G|$. ∎

We now outline the known state of these problems in various computational domains.

## 2 Permutation Groups

Given $G={S}_{n}$, then both finding the group order and the membership test problem have polynomial times^{} solutions, polynomial in $n$. The first algorithms^{} of this sort where developed by Charles C. Sims and the computational complexity established by Frust Hopcroft and Luks. These are now known collectively as the Schreier-Sims algorithms because their principle theoretical tool is Schreier’s lemma.

To solve use ${G}^{(i)}=\{g\in G:{1}^{g}=1,\mathrm{\dots},{i}^{g}=i\}$ which gives a chain of subgroups

$$G={G}^{(0)}>{G}^{(1)}>\mathrm{\cdots}>{G}^{(n-1)}=1.$$ |

Applying a careful use of Schreier’s lemma to establish transversals of each section^{} of the chain produce the order of $G$. Moreover, this also implicitly factors every $g\in G$ uniquely into ${g}_{1}{g}_{2}\mathrm{\cdots}{g}_{n-1}$ where ${g}_{i}\in {G}^{(i-1)}$ but ${g}_{i}\notin {G}^{(i)}$. If some $g\in {S}_{n}$ cannot be factored through the algorithm (a process usually called *sifting*) then $g\notin G$. Thus memberhsip is also solved.

## 3 Polycyclic Presentations

A polycyclic presentation^{} by its very design exhibits a chain of subgroups of known prime indices. The order of the group is therefore a produce of the primes. Membership testing can be handled in various ways including sifting the element of the generators of the presentation.

## 4 Matrix groups

Here the process of computing orders and testing membership collapses to basic problems in number theory^{}: discrete logarithms^{}, and large integer factorization. Unfortunately, these problems have unknown computational complexity and their complexity is the backbone of many cryptographic systems.

For example, given a subgroup $H$ of $GL(2,q)$ for some $q={p}^{i}$, $i$ sufficiently large, it may be that $H$ is a cyclic group^{}, for example a subgroup of the multiplication of the field $GF{(q)}^{\times}$. For instance

$$H\le \u27e8\left[\begin{array}{cc}\hfill 1\hfill & \hfill 0\hfill \\ \hfill 1\hfill & \hfill 1\hfill \end{array}\right]\u27e9.$$ |

It is a well known hard problem to factor $q-1$ for $q={p}^{i}$ a large power of a prime. Thus it is often the case that we cannot determine subgroups of $H$ as there may be none of small order. Indeed $H$ may be isomorphic^{} to ${\mathbb{Z}}_{r}$ for $r$ a very large prime. For example, is ${2}^{127}-1$ a prime?
To determine for a given $g\in GL(2,{2}^{127})$ what $|g|=|\u27e8g\u27e9|$ is can require a test of this sort in general.

For membership testing the same number theoretic problems arrise. To test if $g\in H=\u27e8h\u27e9=GF{(q)}^{\times}$ would require we find out if $g={h}^{i}$ in $GF(q)$. This is a problem known as the discrete logarithm.

## 5 General presentations of groups

Given an arbitrary presentation of a group, Boone demonstrates it is impossible even to know if the group is the trivial group. Thus the problem of knowning if the order is non-zero is impossible. Membership testing is therefore also impossible.

Title | finding the order of a group |
---|---|

Canonical name | FindingTheOrderOfAGroup |

Date of creation | 2013-03-22 15:54:06 |

Last modified on | 2013-03-22 15:54:06 |

Owner | Algeboy (12884) |

Last modified by | Algeboy (12884) |

Numerical id | 6 |

Author | Algeboy (12884) |

Entry type | Algorithm |

Classification | msc 20B40 |

Related topic | SchreiersLemma |