<html><head><title>[Polycyclic] 2 Introduction to polycyclic presentations</title></head> <body text="#000000" bgcolor="#ffffff"> [<a href = "chapters.htm">Up</a>] [<a href ="CHAP001.htm">Previous</a>] [<a href ="CHAP003.htm">Next</a>] [<a href = "theindex.htm">Index</a>] <h1>2 Introduction to polycyclic presentations</h1><p> <p> Let <var>G</var> be a polycyclic group and let <var>G = C<sub>1</sub> rhdC<sub>2</sub> ...C<sub>n</sub>rhd C<sub>n+1</sub> = 1</var> be a <strong>polycyclic series</strong>, that is, a subnormal series of <var>G</var> with non-trivial cyclic factors. For <var>1 leqi leqn</var> we choose <var>g<sub>i</sub> inC<sub>i</sub></var> such that <var>C<sub>i</sub> = langleg<sub>i</sub>, C<sub>i+1</sub> rangle</var>. Then the sequence <var>(g<sub>1</sub>, ..., g<sub>n</sub>)</var> is called a <strong>polycyclic generating sequence of <var>G</var></strong>. Let <var>I</var> be the set of those <var>i in{1, ..., n}</var> with <var>r<sub>i</sub> := [C<sub>i</sub> : C<sub>i+1</sub>]</var> finite. Each element of <var>G</var> can be written <var>uniquely</var> as <var>g<sub>1</sub><sup>e_1</sup>cdotsg<sub>n</sub><sup>e_n</sup></var> with <var>e<sub>i</sub>in<font face="helvetica,arial">Z</font></var> for <var>1leqileqn</var> and <var>0leqe<sub>i</sub><r<sub>i</sub></var> for <var>iinI</var>. <p> Each polycyclic generating sequence of <var>G</var> gives rise to a <strong>power-conjugate (pc-) presentation</strong> for <var>G</var> with the conjugate relations <p><var>g<sub>j</sub><sup>g_i</sup> = g<sub>i+1</sub><sup>e(i,j,i+1)</sup> cdotsg<sub>n</sub><sup>e(i,j,n)</sup> for 1 leqi < j leqn,<p></var> <p><var>g<sub>j</sub><sup>g_i^-1</sup> = g<sub>i+1</sub><sup>f(i,j,i+1)</sup> cdotsg<sub>n</sub><sup>f(i,j,n)</sup> for 1 leqi < j leqn,<p></var> and the power relations <p><var>g<sub>i</sub><sup>r_i</sup> = g<sub>i+1</sub><sup>l(i,i+1)</sup> cdotsg<sub>n</sub><sup>l(i,n)</sup> for i inI.<p></var> <p> <p> Vice versa, we say that a group <var>G</var> is defined by a pc-presentation if <var>G</var> is given by a presentation of the form above on generators <var>g<sub>1</sub>,...,g<sub>n</sub></var>. These generators are the <strong>defining generators</strong> of <var>G</var>. Here, <var>I</var> is the set of <var>1leqileqn</var> such that <var>g<sub>i</sub></var> has a power relation. The positive integer <var>r<sub>i</sub></var> for <var>iinI</var> is called the <strong>relative order</strong> of <var>g<sub>i</sub></var>. If <var>G</var> is given by a pc-presentation, then <var>G</var> is polycyclic. The subgroups <var>C<sub>i</sub> = langleg<sub>i</sub>, ..., g<sub>n</sub> rangle</var> form a subnormal series <var>G = C<sub>1</sub> geq...geqC<sub>n+1</sub> = 1</var> with cyclic factors and we have that <var>g<sub>i</sub><sup>r_i</sup>inC<sub>i+1</sub></var>. However, some of the factors of this series may be smaller than <var>r<sub>i</sub></var> for <var>iinI</var> or finite if <var>inotinI.</var> <p> If <var>G</var> is defined by a pc-presentation, then each element of <var>G</var> can be described by a word of the form <var>g<sub>1</sub><sup>e_1</sup>cdotsg<sub>n</sub><sup>e_n</sup></var> in the defining generators with <var>e<sub>i</sub>in<font face="helvetica,arial">Z</font></var> for <var>1leqileqn</var> and <var>0leqe<sub>i</sub><r<sub>i</sub></var> for <var>iinI</var>. Such a word is said to be in <strong>collected form</strong>. In general, an element of the group can be represented by more than one collected word. If the pc-presentation has the property that each element of <var>G</var> has precisely one word in collected form, then the presentation is called <strong>confluent</strong> or <strong>consistent</strong>. If that is the case, the generators with a power relation correspond precisely to the finite factors in the polycyclic series and <var>r<sub>i</sub></var> is the order of <var>C<sub>i</sub>/C<sub>i+1</sub></var>. <p> The GAP 4 package <font face="Gill Sans,Helvetica,Arial">polycyclic</font> is designed for computations with polycyclic groups which are given by consistent pc-presentations. In particular, all the functions described below assume that we compute with a group defined by a consistent pc-presentation. See Section <a href="CHAP003.htm">Collectors</a> for a routine that checks the consistency of a pc-presentation. <p> A pc-presentation can be interpreted as a <strong>rewriting system</strong> in the following way. One needs need to add a new generator <var>G<sub>i</sub></var> for each generator <var>g<sub>i</sub></var> together with the relations <var>g<sub>i</sub>G<sub>i</sub> = 1</var> and <var>G<sub>i</sub>g<sub>i</sub> = 1</var>. Any occurrence in a relation of an inverse generator <var>g<sub>i</sub><sup>-1</sup></var> is replaced by <var>G<sub>i</sub></var>. In this way one obtains a monoid presentation for the group <var>G</var>. With respect to a particular ordering on the set of monoid words in the generators <var>g<sub>1</sub>,...g<sub>n</sub>,G<sub>1</sub>,...G<sub>n</sub></var>, the <strong>wreath product ordering</strong>, this monoid presentation is a rewriting system. If the pc-presentation is consistent, the rewriting system is confluent. <p> In this package we do not address this aspect of pc-presentations because it is of little relevance for the algorithms implemented here. For the definition of rewriting systems and confluence in this context as well as further details on the connections between pc-presentations and rewriting systems we recommend the book <a href="biblio.htm#Sims94"><cite>Sims94</cite></a>. <p> <p> [<a href = "chapters.htm">Up</a>] [<a href ="CHAP001.htm">Previous</a>] [<a href ="CHAP003.htm">Next</a>] [<a href = "theindex.htm">Index</a>] <P> <address>Polycyclic manual<br>Februar 2009 </address></body></html>