Suppose that the finitely generated group G is given by a nilpotent sequence (g_1,\dots,g_n). For g \in G and U \leq G, we denote the conjugacy class of g under U by g^U = {g^h | h \in U} and the centralizer of g in U by C_U (g) = \{h \in U | g^h = g\}.
Let \ll be the well-order 0 \ll 1 \ll 2 \ll \dots \ll −1 \ll −2 \dots of \mathbb{Z}. We order the exponent vectors extending the well-order lexicographically; that is, (e_1,\dots, e_n) \ll (f_1, \dots, f_n) if e_1 = f_1, \dots , e_{i−1} = f_{i−1} and e_i \ll f_i for some i \in {1,\dots,n} . We order the elements of G via their exponent vectors; that is, g \ll h if e(g) \leq e(h). One of the main program of this package is to compute the minimum element in g^U with respect to \ll this element is known as the canonical conjugacy representative of g, this element is denoted as Cano_U(g). This program also computes the centralizer C_U(g). This package is supplementary to the article of Eick and Fernández Ayala [EFA25].
‣ CentralizerNilGroup( G, elms ) | ( function ) |
Computes the centralizer of a given set of elements elms in G.
‣ IsConjugateNilGroup( G, g, h ) | ( function ) |
Checks if two given elements g and h in G are conjugate. If so it returns the conjugating element.
‣ CanonicalConjugateElements( G, elms ) | ( function ) |
Computes the canonical conjugate representative of a given elements elms in G. Returns a record containing the canonical conjugates, the conjugating elements to obtain the canonical conjugate and the centralizers of the given elements.
‣ IsCanonicalConjugateElements( G, elms ) | ( function ) |
Checks if a set of elements elms in G are conjugate using the canonical representative aproach. If so it returns a record containing the canonical conjugate representative, the conjugating elements and the centralizer.
‣ InfoConjugacyElements | ( info class ) |
Info class for the functions of canonical conjugates for elements.
Suppose that the finitely generated group G is given by a nilpotent sequence (g_1,\dots,g_n). Given U, V \leq G we write U^V = \{U^g | g ∈ V \} for the conjugacy class of U under V and N_V(U) = \{g \in V | U^g = U\} for the corresponding normalizer. Let U \leq G be given by its basis (u_1,\dots, u_n). Let N \leq N_G(U) and g \in N. We define Cano_N^U(g) as the unique reduced preimage of Cano_{N/U}(gU) under the natural homomorphism N \rightarrow N/U. Now we consider two subgroups W and V of G, and write W_i = W \cap G_i for 1 \leq i \leq n. We define Cano_V (W ) inductively: suppose that U_{i+1} = Cano_V (W_i+1) is given by a basis u_{i+1},\dots, u_n together with a conjugating element U_i+1 = W^v_{i+1} and its normalizer N = N_V (U_{i+1}). Suppose that W_i \neq W_{i+1} and W_i = ⟨w_i, W_{i+1}⟩ . Let w_i^\prime be the normalized power of the conjugate w^v_i. Set u_i = Cano^{U_{i+1}}_N(w^\prime_i), then (u_i,\dots, u_n) is a basis for a subgroup U_i of G_i. We write Cano_V (W ) for the subgroup U_1 eventually determined by an iterated process. One of the main program of this package is to compute Cano_V (W ). This program also computes the normalizer of N_V(W) .
‣ NormalizerNilGroup( G, U ) | ( function ) |
Computes the normalizer of a given subgroup U of G.
‣ IsConjugateSubgroups( G, U, V ) | ( function ) |
Checks if two given subgroups U and V of G are conjugate. If so it returns the conjugating element.
‣ CanonicalConjugateSubgroup( G, U ) | ( function ) |
Computes the canonical conjugate representative of a given subgroup U of G. Returns a record containing the canonical conjugate subgroup, the conjugating element and the normalizer of the given subgroup.
‣ IsCanonicalConjugateSubgroups( G, U, V ) | ( function ) |
Checks if two subgroup U,V of G are conjugate using the canonical representative aproach. If so it returns a record containing the canonical conjugate subgroup, the conjugating elements and the normalizer of the given subgroups.
‣ InfoConjugacySubgroups | ( info class ) |
Info class for the functions of canonical conjugates for subgroups.
‣ CanonicalConjugateList( G, list ) | ( function ) |
Given a list of elements of a nilpotent group G returns a list of canonical representative conjugates of the list and the position of the elements that belong to the given canonical conjugacy class.
‣ IsConjugateList( G, list ) | ( function ) |
Given a list of elements of a nilpotent group G returns a list of representative conjugates of the list and the position of the elements that belong to the given conjugacy class.
This algorithms are based on Eddie's work [Lo98].
‣ IntersectionSubgroupsNilGroups( G, U, V ) | ( function ) |
Given two subgroups U,V of a nilpotent group G computes the intersection of both subgroups.
‣ ProductDecomposition( G, U, V, g ) | ( function ) |
Given two subgroups U,V of a nilpotent group G computes the subgroup product pair of both subgroups. Given two subgroups U,V of a nilpotent group G and an element g in G computes the decompostion of g under the product pair of both subgroups.
generated by GAPDoc2HTML