Important: The subgrel command has been deprecated. Use the superseding command GroupTheory[Group] instead.

The function subgrel is used as a procedure and an unevaluated procedure call. As a procedure, subgrel checks its arguments and then either exits with an error or returns the unevaluated subgrel call.

The first argument is a set of equations or words on the generators of the parent group. The left side of each equation is the name of a subgroup generator; the right side is a word in the group generators (see grelgroup) representing the subgroup generator. If only a word is specified, then a name for the generator is produced automatically.

$\mathrm{subgrel}\left(\left\{x=\left[a\,b\,\frac{1}{a}\right]\right\}\,\mathrm{grelgroup}\left(\left\{a\,b\right\}\,\left\{\left[b\,b\right]\,\left[a\,a\,a\right]\right\}\right)\right)$

$\mathrm{subgrel}\left(\left\{x=\left[a\,b\,\frac{1}{a}\right]\right\}\,\mathrm{grelgroup}\left(\left\{a\,b\right\}\,\left\{\left[b\,b\right]\,\left[a\,a\,a\right]\right\}\right)\right)$

$\mathrm{subgrel}\left(\left\{y=\left[a\,b\,c\right]\right\}\,\mathrm{grelgroup}\left(\left\{a\,b\right\}\,\left\{\left[a\,a\right]\,\left[b\,a\right]\right\}\right)\right)$

Error, (in subgrel) generator [a, b, c] contains a syllable `c' that is not a generator, or the inverse of a generator, of the parent group

$\mathrm{subgrel}\left(\left\{u=\left[b\,b\right]\,\left[a\,a\,a\right]\right\}\,\mathrm{grelgroup}\left(\left\{a\,b\right\}\,\left\{\left[a\,b\,\frac{1}{a}\,\frac{1}{b}\right]\right\}\right)\right)$

$\mathrm{subgrel}\left(\left\{\mathrm{\_x0}=\left[a\,a\,a\right]\,u=\left[b\,b\right]\right\}\,\mathrm{grelgroup}\left(\left\{a\,b\right\}\,\left\{\left[a\,b\,\frac{1}{a}\,\frac{1}{b}\right]\right\}\right)\right)$