In this package we compute the canonical conjugacy representatives of elements and subgroups of nilpotent groups given by a nilpotent sequence. This package also include functions to compute the intersection of subgroups of nilpotent group and to compute the product of subgroups of nilpotent groups.
Let G be a finitely generated nilpotent group. Then G has a series G = G_1 > G_2 > \dots > G_n > G_{n+1} = {1} so that each Gi is normal in G and each quotient G_i/G_{i+1} is cyclic and central in G/G_{i+1}. We call such a series a nilpotent series of G. Then (g_1,\dots, g_n) is called a nilpotent sequence of G and (o_1,\dots, o_n) are its relative orders. Note that the nilpotent sequence determines its nilpotent series as G_i = \langle g_i,\dots, g_n \rangle holds for 1 \leq i \leq n.
Each element g \in G can be written uniquely as g = g_1^{e_1} \dots g_n^{e_n} with e_i \in \mathbb{Z} and e_i \in \{0,\dots, o_{i ā1}\} if i \in I. The factorisation g_1^{e_1} \dots g_n^{e_n} for g \in G is called the normal form of g. The associated integer vector (e_1,\dots, e_n) is the exponent vector of g. We write e(g) = (e_1, \dots , e_n). If e_1 = \dots = e_{iā1} = 0 and e_i \neq 0, then we write dep(g) = i and call this the depth of g. The leading exponent of an element g is e_d where d = dep(g). The identity element satisfies dep(1) = n + 1 and does not have leading exponent.
generated by GAPDoc2HTML