The Tree consists of the Root G^{(2)} ≅ (3,3), the infinite Trunk G^{(3)} = G^{(3,3)},G^{(4,5)},G^{(5,7)},…,G^{(m,2m3)},… , up to six infinite Branches starting with each node on the Trunk, finite Twigs, and Leaves (terminal nodes). We restrict the Tree to (isomorphism classes of) groups G in CBF(m,n) of order 3^{n} and class m1 that occur as automorphism groups Gal(K_{2}K) for quadratic base fields K with discriminant between 10^{6} and 10^{7}. K_{2} denotes the 2^{nd} Hilbert 3class field of K. The Leaves (and certain other nodes^{1)}) are represented together with their multiplet(s) of capitulation types distinguishing Ground States and Excited States. (These concepts are dependent on the kind of base field!) The finite Twigs with the Leaves of capitulation types D.5, D.10, and the Ground States of G.19, H.4 are represented in a position above the groups of lower than second maximal class only to save space. Their nodes are groups G of second maximal class and G´ is of rank 3, with the exception of G.19. ^{1)} Since January 1^{st} 2008 we know that an internal node can occur as automorphism group Gal(K_{2}K), as the capitulation type c.21 shows. 


Annihilator Modules Let G be a 2stage metabelian 3group with two generators S_{1},S_{2}. Denote by A := [S_{2},S_{1}] = S_{2}^{1}S_{1}^{1}S_{2}S_{1} the main commutator of G´. The operation of G on the abelian normal subgroup G´ by conjugation A^{S} := S^{1}AS can be extended to an operation of the group ring Z[S_{1},S_{2}] on G´. The mapping h: (Z[S_{1},S_{2}],+)>(G,*), f(S_{1},S_{2})>A^{f(S1,S2)} is a group homomorphism with image im(h) = G´ (according to Furtwängler) and with kernel M := ker(h) = { f(S_{1},S_{2}) in Z[S_{1},S_{2}]  A^{f(S1,S2)} = 1 }, the symbolic order (or annihilator module) of A. Consequently, by the homomorphism theorem, we have an isomorphism (Z[S_{1},S_{2}]/M,+)>(G´,*). The symbolic orders M which actually occur for the main commutator A of 2stage metabelian 3groups G with commutator factor group of type (3,3) are generated by powers of the invertible linear polynomials X := S_{1}1 and Y := S_{2}1. Hence, we replace the group ring Z[S_{1},S_{2}] by the isomorphic ring Z[X,Y] and we display the inclusion relations among the various symbolic orders M in a network diagram, using the following notation: L := (3,X,Y), L_{2} := (3,X^{2},XY,Y^{2}), Y_{a} := (X^{a},Y,3+3X+X^{2}), X_{a} := (X^{a},XY,Y^{2},3+3X+X^{2}), R_{a,b} := (X^{a},XY,Y^{b},3+3X+3Y+X^{2}+Y^{2}). 



Structure of the Commutator Subgroup Using the isomorphism (Z[S_{1},S_{2}]/M,+)>(G´,*), the structure of the commutator subgroup G´ of G can also be determined by means of ring theory. For the various symbolic orders M, we obtain: Z[X,Y]/L = <1> of type (3) (cyclic), Z[X,Y]/Y_{a} = <1,X> of type (3^{u+1},3^{u}), if a = 2u+1 is odd, and of type (3^{u},3^{u}), if a = 2u is even (Rank 2), Z[X,Y]/L_{2} = <1,X,Y> of type (3,3,3) (Rank 3), Z[X,Y]/X_{a} = <1,X,Y> of type (3^{u+1},3^{u},3), if a = 2u+1 is odd, and of type (3^{u},3^{u},3), if a = 2u is even (Rank 3), Z[X,Y]/R_{a,b} = <1,X,Y,Y^{2}> of type (3^{u},3^{u},3^{v},3^{v1}), if a >= b > 2, a = 2u, b = 2v are even (Rank 4). 

Capitulation Types Now we give the connection of the symbolic orders with the capitulation types: First the symbolic orders of the main commutator of groups in CBF^{a}(m,n): Z[X,Y] is associated with a degenerate form of type a.1, L with the unique type A.1, L_{2} with the types in section D (D.5, D.10), Y_{2} with the ground state of types a.2, a.3* and a.3, Y_{4} with the first excited state of types a.2 and a.3, X_{3} with the ground state of types in section c (c.18, c.21), X_{5} with the first excited state of types in section c, X_{4} with the ground state of types in section E (E.6, E.8, E.9, E.14), X_{6} with the first excited state of types in section E, R_{4,3} with the ground state of types in section d (d.19, d.23, d.25), R_{4,4} with the ground state of types in section F (F.7, F.11, F.12, F.13), R_{6,4} with the first excited state of types in section F. Second the symbolic orders of the main commutator of groups in CBF^{b}(m,n): Y^{'}_{4} is associated with the ground state of type a.1, Z_{5} with the ground state of type G.16, V^{'}_{5,5} with the regular excited state of type G.16, V_{5,5} with the irregular excited state of type G.16, Z with the ground state of type G.19, T^{'}_{5,5} with the regular excited state of type G.19, T_{5,5} with the irregular excited state of type G.19, V_{4,4} with the ground state of type b.10, Z^{'} with the ground state of type H.4, Z^{'}_{5} with the first excited state of type H.4, Z^{'}_{7} with the second excited state of type H.4, V^{'}_{5,5} with the regular excited state of type H.4, V_{5,5} with the irregular excited state of type H.4. 

Navigation Center 
Back to Algebra 