subgrel - Maple Help

subgrel

represent a subgroup of a group

 Calling Sequence subgrel(gens, grelgrp)

Parameters

 gens - set of equations designating the generators of the subgroup grelgrp - the group for which this is a subgroup

Description

 • 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.

Examples

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

 > $\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)$ (1)

the next example will give an error:

 > $\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)$

Maple will generate names for any unnamed generators:

 > $\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)$ (2)