Scribd Logo
Upload

Welcome to Scribd!

  • Semi Direct Iso

    Uploaded by

    Kieran Farrar
    10 views1 page
    The document discusses isomorphisms between semi-direct product groups G1 and G2 that are defined based on homomorphisms θ1 and θ2 from a group K to the automorphism group of another group H. It proves that if there exist isomorphisms α of H and β of K such that θ2β(k) = αθ1(k)α−1 for all k in K, then there is an isomorphism between G1 and G2 that maps H1 to H2. It also proves the converse, that if H is abelian and such an isomorphism between G1 and G2 exists, then the condition relating θ1, θ2, α, and β

    Original Description:

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    The document discusses isomorphisms between semi-direct product groups G1 and G2 that are defined based on homomorphisms θ1 and θ2 from a group K to the automorphism group of another group H. It proves that if there exist isomorphisms α of H and β of K such that θ2β(k) = αθ1(k)α−1 for all k in K, then there is an isomorphism between G1 and G2 that maps H1 to H2. It also proves the converse, that if H is abelian and such an isomorphism between G1 and G2 exists, then the condition relating θ1, θ2, α, and β

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    10 views1 page

    Semi Direct Iso

    Uploaded by

    Kieran Farrar
    The document discusses isomorphisms between semi-direct product groups G1 and G2 that are defined based on homomorphisms θ1 and θ2 from a group K to the automorphism group of another group H. It proves that if there exist isomorphisms α of H and β of K such that θ2β(k) = αθ1(k)α−1 for all k in K, then there is an isomorphism between G1 and G2 that maps H1 to H2. It also proves the converse, that if H is abelian and such an isomorphism between G1 and G2 exists, then the condition relating θ1, θ2, α, and β

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 1

    Isomorphisms of semi-direct products.

    Proposition. Let H, K be groups, let i : K Aut(H) (i = 1, 2) be homomorphisms, and let Gi := H i K be the corresponding semi-direct products. Let Hi and Ki be the natural images of H and K respectively in Gi . If
    (C) : there exist isomorphisms : H H, : K K such that k K,

    2 (k) = 1 (k) 1 , [that is, the following diagram commutes: K Aut(H) 1 conjugation by K Aut(H)
    2

    then there exists an isomorphism : G1 G2 such that (H1 ) = H2 . Conversely, if H is abelian and such a exists, then (C) holds. Proof. If (C) holds, dene by (h, k) = (h), (k) (h H, k K),

    and check . . . Now suppose only that exists. let : G1 /H1 G2 /H2 be the induced isomorphism. Dene and to be the natural compositions
    : H H1 H2 H, : K K1 G1 /H1 G2 /H2 K2 K. j

    Unraveling the denitions, we nd for all h H, k K that: () 2 (k) (h) = j (1, (k))(h, 1)(1, (k))1 , 1 (k) 1 (h) = j (1, k)(1 (h), 1)(1, k 1 ) = j (1, k)(h, 1)(1, k)1 .

    Set x = (1, (k)) and y = (1, k). These two elements of G2 have the same image in G2 /H2 , so x = ya for some a H2 ; and since H2 H is abelian we have, with = b = (h, 1) H2 , xbx1 = yaba1 y 1 = ybaa1 y 1 = yby 1 , so that both lines in () represent the same element, and (C) holds.

    You might also like