GroupTheory - Maple Programming Help

Home : Support : Online Help : Mathematics : Group Theory : GroupTheory/Relators

GroupTheory

 Relators
 return the relators of a finitely presented group

 Calling Sequence Relators( G )

Parameters

 G - a finitely presented group

Description

 • The Relators( G ) command returns the relators of a finitely presented group.

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $G≔⟨⟨a,b⟩|⟨{a}^{2},{b}^{3},{\left(a·b\right)}^{5}=1⟩⟩$
 ${G}{≔}⟨{}{a}{,}{b}{}{\mid }{}{{a}}^{{2}}{,}{{b}}^{{3}}{,}{a}{}{b}{}{a}{}{b}{}{a}{}{b}{}{a}{}{b}{}{a}{}{b}{}⟩$ (1)
 > $\mathrm{Relators}\left(G\right)$
 $\left\{\left[{a}{,}{a}\right]{,}\left[{b}{,}{b}{,}{b}\right]{,}\left[{a}{,}{b}{,}{a}{,}{b}{,}{a}{,}{b}{,}{a}{,}{b}{,}{a}{,}{b}\right]\right\}$ (2)

Compatibility

 • The GroupTheory[Relators] command was introduced in Maple 17.