Polycyclic Groups

Polycyclic Groups

Polycyclic groups Eamonn O'Brien September 2010 Introduction Let F be free group on a non-empty set X. A group presentation is a set consisting of X and a set, R, of words in X. If R is the normal closure of R in F , the group G defined by the presen- tation is F=R and is written h X : R i. Example 1. G = ha; bja4; b2; ab = a−1i H = ha; bja4; b2 = a2; ab = a−1i What can we discover about the structure of G or H? One area of substantial progress at algorithmic and computational level is in the study of particular quotients of G. Examples include abelian, p-quotient, soluble quotients. May discover that G infinite, by examining the invariants of its largest abelian quotient. Can compute \useful" presentations for other quotients of the group: those which have prime-power order, are nilpotent, or are soluble. Central feature of these presentations is that they provide a solution to the word problem: Decide if two words in the generators X represent the same element of G. Outline of lecture series Abelian quotients. Polycyclic generating sequences: basic properties. 1 Polycyclic presentations: consistency and collection. Constructing polycyclic presentations. Generating descriptions of p-groups. An application: SmallGroups. Constructing automorphism groups of p-groups. Deciding isomorphism of p-groups. 2 Abelian quotients Lemma 2. G=N abelian if and only if N ≥ G0. Largest abelian quotient of G is G=G0. Structure of this abelian group can be determined fairly readily. Definition 3. A is in Smith Normal Form if for some k ≥ 0 the entries di = Ai;i for 1 ≤ i ≤ k are positive, A has no other non-zero entries, and dijdi+1 for 1 ≤ i ≤ k. Determine the structure of G=G0 1. Abelianise the presentation of G by adding relations to make G abelian. 0 ∼ n n 2. G=G = Z =B where B is a subgroup of Z . 3. Describe B by a matrix S(B). n 4. To obtain the structure of Z =B, we apply row-and-column operations to S(B) to convert it to Smith normal form S. n 5. We read off abelian invariants of Z =B from S. Example 4. G = hx; y; zj(xyz−1)2; (x−1y2z)2; (xy−2z−1)2i Abelianise to obtain 2 G=G0 = hx; y; zj(xyz−1)2; (x−1y2z)2; (xy−2z−1) ; xy = yx; xz = zx; yz = zyi 0 2 2 −21 Describe B by S(B) = @−2 4 2 A 2 −4 −2 02 0 01 Smith Normal form of S(B) is @0 6 0A 0 0 0 0 ∼ Hence G=G = Z2 × Z6 × Z and so it is infinite. 3 Polycyclic Groups Definition 5. G is polycyclic if it has a descending chain of subgroups G = G1 ≥ G2 ≥ · · · ≥ Gn+1 = 1 in which Gi+1 C Gi, and Gi=Gi+1 is cyclic. Such a chain of subgroups is called a polycyclic series. Polycyclic groups: solvable groups in which every subgroup is finitely generated. Example 6. G = Alt(4) = h(1; 3)(2; 4); (1; 2)(3; 4); (1; 2; 3)i where V = h(1; 3)(2; 4); (1; 2)(3; 4)iC G and Z2 = h(1; 3)(2; 4)i C V . So Alt(4) B V B Z2. Polycyclic sequences Let G be polycyclic with polycyclic series G = G1 ≥ G2 ≥ · · · ≥ Gn+1 = 1. Since Gi=Gi+1 is cyclic, there exist xi 2 G with hxiGi+1i = Gi=Gi+1 for every i 2 f1; : : : ; ng. Definition 7. A sequence of elements X = [x1; : : : ; xn] such that hxiGi+1i = Gi=Gi+1 for 1 ≤ i ≤ n is a polycyclic sequence (PCGS) for G. Definition 8. Let X be a PCGS sequence for G. The sequence R(X) := (r1; : : : ; rn) defined by ri := jGi :Gi+1j 2 N [ f1g is the sequence of relative orders for X. Let I(X) := fi 2 f1 : : : ng j ri finiteg. Example 9. X := [(1; 2; 3); (1; 2)(3; 4); (1; 3)(2; 4)] is PCGS for Alt(4) where R(X) = [3; 2; 2] and I(X) = [1; 2; 3]. Relative orders exhibit information about G. G is finite iff every entry in R(X) is finite or, equivalently iff I(X) = f1 : : : ng. If G is finite, then jGj = r1 ··· rn, the product of the entries in R(X). ∼ Example 10. Let G := h(1; 2; 3; 4); (1; 3)i = D8. ∼ a) Let G2 := h(1; 2; 3; 4)i = C4. Then G = G1 ≥ G2 ≥ G3 = 1 is polycyclic series for G. X := [(1; 3); (1; 2; 3; 4)] and Y := [(2; 4); (1; 4; 3; 2)] are PCGS defining this series. R(X) = R(Y ) = (2; 4) and I(X) = I(Y ) = f1; 2g. 4 ∼ ∼ b) Let G2 := h(1; 2)(3; 4); (1; 3)(2; 4)i = V and G3 := h(1; 3)(2; 4)i = C2. So G = G1 ≥ G2 ≥ G3 ≥ G4 = 1. X := [(2; 4); (1; 2)(3; 4); (1; 3)(2; 4)] and Y := [(1; 2; 3; 4); (1; 2)(3; 4); (1; 3)(2; 4)] are polycyclic sequences defining this series. R(X) = R(Y ) = (2; 2; 2) and I(X) = I(Y ) = f1; 2; 3g. Example 11. Let G := ha; bi with −1 0 −1 −1 a := and b := : 0 1 0 1 ∼ G = D1, the infinite dihedral group. A polycyclic sequence for G is X := [a; ab] with relative orders R(X) = (2; 1) and finite orders I(X) = f1g. Lemma 12. Let X = [x1; : : : ; xn] be a polycyclic sequence for G with the relative orders R(X) = (r1; : : : ; rn). For every g 2 G there exists a sequence (e1; : : : ; en), with ei 2 Z for 1 ≤ i ≤ n and 0 ≤ ei < ri if i 2 I(X), such that e1 en g = x1 ··· xn . e1 Proof. Since G1=G2 = hx1G2i, we find that gG2 = x1 G2 for some e1 2 Z. If 1 2 I(X), then r1 < 1 and we can choose ei 2 f0 : : : r1 −1g. −e1 Let h = x1 g 2 G2. By induction on the length of a polycyclic sequence, we can assume that e2 en we know expression of the desired form for h; that is, h = x2 ··· xn . e1 e2 en Hence g = x1 x2 ··· xn as desired. Example 13. G = Alt(4) X := [x1 = (1; 2; 3); x2 = (1; 2)(3; 4); x3 = (1; 3)(2; 4)] is PCGS for G where R(X) = [3; 2; 2] and I(X) = [1; 2; 3]. V = hx2; x3i and H = hx3i. g = (1; 2; 4). 2 −2 gV = x1V so x1 g = (1; 4)(2; 3) 2 V . −1 Now v := (1; 4)(2; 3) satisfies vH = x2H, so x2 v = (1; 3)(2; 4) 2 H. −1 Hence x2 v = x3 so v = x2x3. 2 Hence g = x1x2x3. 5 Normal form e1 en Definition 14. The expression g = x1 ··· xn is the normal form of g 2 G with respect to X. The sequence expX (g) := (e1; : : : ; en) is the exponent vector of g with respect to X. n Can define an injective map G ! Z : g 7! expX (g) from G into the n additive group of Z . This is not a group homomorphism! Polycyclic group to presentation? Exponent vectors of elements of G can be used to describe relations for G in terms of X. Lemma 15. Let X = [x1; : : : ; xn] be a polycyclic sequence for G with relative orders R(X) = (r1; : : : ; rn). ri ri ai;i+1 ai;n a) Let i 2 I(X). The normal form of a power xi is xi = xi+1 ··· xn . −1 b) Let 1 ≤ j < i ≤ n. The normal form of a conjugate xj xixj is −1 bi;j;j+1 bi;j;n xj xixj = xj+1 ··· xn . −1 c) Let 1 ≤ j < i ≤ n. The normal form of a conjugate xjxixj is −1 ci;j;j+1 ci;j;n xjxixj = xj+1 ··· xn . Polycyclic presentation Definition 16. A presentation f x1; : : : ; xn j R g is a polycyclic presentation if there is a sequence S = (s1; : : : ; sn) with si 2 N [ f1g and integers ai;k; bi;j;k; ci;j;k such that R consists of the following relations: si ai;i+1 ai;n xi = xi+1 ··· xn for 1 ≤ i ≤ n with si < 1; −1 bi;j;j+1 bi;j;n xj xixj = xj+1 ··· xn for 1 ≤ j < i ≤ n; −1 ci;j;j+1 ci;j;n xjxixj = xj+1 ··· xn for 1 ≤ j < i ≤ n: We describe the presentation by Pch x1; : : : ; xn j R i. If G is defined by such a polycyclic presentation then G is a PC-group. Theorem 17. Every polycyclic sequence determines a (unique) polycyclic presentation. Thus every polycyclic group can be defined by a polycyclic presentation. 6 Example 18. Let D8 := h(1; 3); (1; 2; 3; 4)i with polycyclic sequence X := [(1; 3); (1; 2; 3; 4)] and relative orders R(X) = (2; 4). Polycyclic presentation defined by X has generators x1; x2, power expo- 2 4 −1 3 nents s1 = 2 and s2 = 4. Relations are x1 = 1, x2 = 1, x1x2x1 = x2 and −1 3 x1 x2x1 = x2. Example 19. S4 has PCGS X = [(3; 4); (2; 4; 3); (1; 3)(2; 4); (1; 2)(3; 4)] where R(X) = [2; 3; 2; 2]. 2 3 2 2 x1 2 Pchx1; x2; x3; x4 j x1 = x2 = x3 = x4 = 1; x2 = x2; x1 x2 x2 x3 = x3x4; x3 = x4; x4 = x3x4i Finite p-groups Usually write power-commutator presentation.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    51 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us