Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Automorphism Group

  1. Oct 22, 2006 #1
    If you have two groups, [itex]G_1[/itex] and [itex]G_2[/itex] and A is a common subgroup, then you can form the free product of [itex]G_1[/itex] and [itex]G_2[/itex] amalgamated over A. Denote this free product by [itex]G_1 \star_A G_2[/itex].

    Q1: Now I have read that you can associated a tree, T, to [itex]G_1 \star_A G_2[/itex]. Is this true?

    Q2: What is [itex]\mbox{Aut}(\Gamma)[/itex]? Is it the collection of all isomorphic homomorphisms [itex]\varphi[/itex] from the tree to itself?

    Q3: Does it make sense to think that there should be a homomorphism from the free product [itex]G_1 \star_A G_2[/itex] to [itex]\mbox{Aut}(\Gamma)[/itex]?
     
  2. jcsd
  3. Oct 22, 2006 #2

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    A1. Probably. You can associate a tree to anything.

    A2. You've not defined what Gamma is. Aut(X) is always the isomorphisms of X whatever X is.

    A3. See A2.
     
  4. Oct 23, 2006 #3
    [itex]\Gamma[/itex] is the tree associated to [itex]G:=G_1\star_A G_2[/itex].

    So are you saying that [itex]\mbox{Aut}(\Gamma)[/itex] is the collection of all isomorphisms

    [tex]\varphi\,:\,\Gamma \rightarrow \Gamma[/tex]

    from the tree into itself?

    But if I have a tree, [itex]\Gamma[/itex], then an automorphism [itex]\varphi[/itex] on [itex]\Gamma[/itex] is a map which preserves edges and vertices, is it not?

    The question is can I mix the idea of tree/graph automorphisms with group automorphisms?

    I understand a group automorphism is a group isomorphism from a group to itself. So it looks like this

    [tex]\phi\,:\,G \rightarrow G[/tex]

    The collection of all such maps is the group [itex]\mbox{Aut}(G)[/itex]. Now is it true that for every group [itex]G[/itex] there exists a natural group homomorphism [itex]G \rightarrow \mbox{Aut}(G)[/itex]? Im sure this is correct.

    But then I read a theorem somewhere that if I have the natural map

    1. [tex]G \rightarrow \mbox{Aut}(G)[/tex]

    there there exists a map

    2. [tex]G \rightarrow \mbox{Aut}(\Gamma)[/tex]

    I would just like to know how 1. relates to 2.
     
    Last edited: Oct 23, 2006
  5. Oct 23, 2006 #4

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Yes, to every a in G, associate the automorphism that maps x to ax.

     
  6. Oct 23, 2006 #5

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    The map x --> ax is not an automorphism. (because it's not a homomorphism)

    The map x --> x^(-1) a x is, though.
     
  7. Oct 23, 2006 #6
    Right, this is the conjugate map is it not?

    [tex]\varphi_C(a) \,:\, a \mapsto gag^{-1}[/tex]

    and I checked that this is indeed a homomorphism since

    [tex]\varphi_C(ab) = gabg^{-1} = gag^{-1}gbg^{-1} = \varphi_C(a)\varphi_C(b)[/tex]

    [tex]\varphi_C^{-1}(a) = g^{-1}(gag^{-1})g = a[/tex]

    I guess the idea is that the conjugation map of group elements, a, is an automorphism of the group. But the conjugation map is of the form

    [tex]\varphi_C\,:\,G \rightarrow G[/tex]

    not

    [tex]\varphi_C\,:\,G \rightarrow\mbox{Aut}(G)[/tex]

    The conjugation is an automorphism so

    [tex]\mbox{Conjugation} \in \mbox{Aut}(G)[/tex]

    But then what is stopping me from constructing a map which takes an element a of some group G and mapping it to its conjugation:

    [tex]\varphi_C(a) = gag^{-1}[/tex]

    Then surely, isn't this map of the form

    [tex]\varphi\,:\,G \rightarrow \mbox{Aut}(G)[/tex]??

    That is, [itex]\varphi[/itex] takes an element a from a group G and maps it to the conjugation of a (which, in turn, is an automorphism). So in this case [itex]\varphi[/itex] is a map from a group element to an automorphism. Is this right?
     
    Last edited: Oct 23, 2006
  8. Oct 23, 2006 #7
    And since conjugation is a group action (is it not?) then this G-action induces a homomorphism

    [tex]\varphi\,:\,G \rightarrow \mbox{Aut}(G)[/tex]

    is this where the meaning behind the part in italics comes from?
     
  9. Oct 23, 2006 #8
    If my last two posts are correct then do all G-actions induce a homomorphism [itex]G \rightarrow \mbox{Aut}(G)[/itex]? I guess they must, since once you have a G-action on a group G you automatically have a natural way to construct a homomorphism into the group of automorphisms of G.

    So the question remains: If I have a tree [itex]\Gamma[/itex] (not a group!) which is in someway associated with the amalgam-decomposition [itex]G:=G_1\star_A G_2[/itex] with its natural G-action, then can I put meaning behind a map of the form

    [tex]G \rightarrow \mbox{Aut}(\Gamma)[/tex]?

    I mean, from what we have discussed, [itex]\mbox{Aut}(\Gamma)[/itex] is the group of automorphisms of the tree, that is, the group of bijective homomorphisms from the tree onto itself:

    [tex]\phi\,:\,\Gamma\rightarrow\Gamma[/tex]

    An example of such a bijective homomorphism is the trivial one: The map which takes each vertex and edge to themselves. Another could be the map which takes each vertex to the next and the last to the first. A third could be the inverse of this.

    If I am correct, these types of maps are automorphisms of the tree [itex]\Gamma[/itex].

    The current question reads like this:

    Let [itex]A[/itex] be a common subgroup of [itex]G_1[/itex] and [itex]G_2[/itex] and let [itex]G:=G_1\star_A G_2[/itex]. Then suppose we have the tree, [itex]\Gamma[/itex], associated to this amalgam-decomposition of [itex]G[/itex] with its natural G-action (which induces the homomorphism [itex]G \rightarrow \mbox{Aut}(\Gamma)[/itex]). Then explain the part in parenthesis???
     
  10. Oct 23, 2006 #9

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    You called that T in the first post

    yes

    yes. and?

    No. One is an automorphism of a tree the other a graph. It is of course perfectly possible that in the association of Gamma to your amalgam that you fail to define that any automorphism of the underlying group induces an automorphism of the tree and vice versa.

    Of course G is isomorphic to the set of inner automorphisms given by conjugation.


    Since you have failed to define Gamma for us we cannot say. If you tell us what the tree associated to the group is we might be able to help.
     
  11. Oct 23, 2006 #10

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    No. A G action on itself is not necessarily an automorphism, it is just a map on the underlying set of G.


    Let g be in G. Define an automorphism f_g of G by f_g(h) = ghg^{-1} for all h. The map

    g--> f_g is the thing you're struggling to define as the map G --> Aut(G)

    The rest of the post remains unanswerable, as it has since post 1, since you've not told us what this mysterious association is between trees and amalgams. I can guess, and can think of a reasonalbe one, but it is up to you to tell us what it is.
     
  12. Oct 23, 2006 #11

    AKG

    User Avatar
    Science Advisor
    Homework Helper

    A G-action on a set X is, by definition (at least in my book) a homomorphism G -> S(X), where S(X) is the set of bijections X -> X. If X is a group, Aut(X) is a subset of S(X). So a G-action on G itself is a homomorphism f: G -> S(G), and if there is a natural homomorphism g: S(G) -> Aut(G) then I suppose you can say that the action induced a natural homomorphism G -> Aut(G), namely gof.

    I don't know how you've defined Aut(T), for a tree T, but I would assume that a G-action on T would, by my book's definition, be a homomorphism from G to Aut(T). All you have to do is:

    a) clearly define the natural G-action on a tree T
    b) clearly define Aut(T)
     
  13. Oct 23, 2006 #12
    I swear, all I know about my tree [itex]\Gamma[/itex] is that it is that tree associated to the amalgam-decomposition of [itex]G:=G_1\star_A G_2[/itex] with its natural G-action (which induces a homomorphism [itex]G\rightarrow\mbox{Aut}(\Gamma)[/itex]. This is all I am told. And I basically just want to work out what [itex]G\rightarrow\mbox{Aut}(\Gamma)[/itex] is and what kind of map it is, how it came to be, and possibly an example.

    EDIT: I have a theorem which states: Let [itex]G:=G_1\star_A G_2[/itex] be an amalgam of two groups. Then there exists a tree [itex]\Gamma[/itex] (and exactly one, up to isomorphism) on which G acts, with fundamental domain a segment whose vertices are P and Q and whose edges are [itex]y[/itex] and [itex]\bar{y}[/itex] such that [itex]G_P = G_1[/itex], [itex]G_Q = G_2[/itex], and [itex]G_y = A[/itex] and their respective stabilizers.

    Perhaps this tells me exactly what the tree is.
     
    Last edited: Oct 23, 2006
  14. Oct 23, 2006 #13

    matt grime

    User Avatar
    Science Advisor
    Homework Helper


    Why say that? The map from G to AUt(G) is just the identification of G with the inner automorphisms.
     
  15. Oct 23, 2006 #14

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    Then you're a bit stuffed, aren't you?

    Let me suggest how to make Gamma. Either its edges or vertices will be labelled by elements of the amalgam. Since G acts on G by left multiplication, amongst other things, G will act on Gamma. It will be a bijection on either the edges or the vertices since G's action on itself will be a bijection on the underlying set.

    For example, there is the obvious way to get a tree from F_2 the free group on 2 elements, and it is the topologists television aerial. Do you need me to describe it? It is the covering space of the bouquet of two circles.

    Start with a node for the identity. There are 4 edges out of this node, one each to nodes labelled a,b,A and B where we use A for a^-1 (neat trick someone told me recently).

    For a, say, there are edges back to e=aA, and edges to modes labelled aa, ab, aB, then repeat.

    Clearly the map x-->gx on the labelling of the nodes is an automrophism of the tree.
     
  16. Oct 23, 2006 #15

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    In general, fix a set of generators of G, the vertices of G will probably be labelled by elements of G, and there will be an edge from x to y x=gy for some generator g of G. That is one way to do it. There could be others. We don't know. Ask the person how set the question, perhaps?
     
  17. Oct 23, 2006 #16
    Maybe. Although the actual question asks

    Show, by example, that [itex]G \rightarrow \mbox{Aut}(\Gamma)[/itex] need not be surjective or injective

    although I didn't want to ask this just yet (or at all!), hoping that perhaps by discussing the ingredients (the automorphisms, etc...), the solution to the question stated here would come naturally. Unfortunately, this didn't happen, and now you are saying that I need the tree to be defined explicitly (for the other questions I have been asking) but maybe not for the actual question. So I thought I'd post the actual question before getting stuck on something that may not be worth getting stuck at. However, if the tree needing to be defined explicitly is still required to answer the question of whether that map need be surjective/injective then we will continue with that problem and I will ask my lecturer what's up with that.
     
  18. Oct 23, 2006 #17

    matt grime

    User Avatar
    Science Advisor
    Homework Helper

    There are many trees on which G acts. Infinitely many, in fact. Strictly speaking it is a proper class, since we can easily define non-isomoprhic ones for each ordinal number.

    All we know is that T/Gamma is a tree. It is defined in some way so that it has an action of G on it in a certain way. We don't know how. (Any time G acts as bijections on some X you get a map from G to Aut(X))

    I can probably prove that the map from G to Aut(T/Gamma) is not surjective quite trivially. Aut(T/Gamma) will just be far too big, and there won't even be a set isomorphism from G to it, never mind a group isomorphism.

    I can also probably show why it won't be injective. If there are two different g's with the same g action then the map is not injective. For instance, if G acts on a group G by conjugation, then the identification g-->f_g is injective if and only if the centre of G is trivial. So if G is abelian, the action of G on itself by conjugation is always trivial, and the map fromG to Aut(G) sends every element to the identity mapping.
     
  19. Oct 23, 2006 #18

    AKG

    User Avatar
    Science Advisor
    Homework Helper

    It was in response to the question "do all G-actions on G induce a homomorphism G to Aut(G)?" not "does the particular G-action on G of conjugation induce a homomorphism G to Aut(G)?"
     
  20. Oct 23, 2006 #19

    AKG

    User Avatar
    Science Advisor
    Homework Helper

    Could you define fundamental domain, GP, GQ, and Gy?

    My book gives a construction of a graph associated with a group. In general, this won't be a tree:

    Start with a group G and a set of generators X for G. For simplicity, assume X has no self-inverse elements. Then the associated graph is the ordered pair (V,E) where:

    V = G [or rather, the underlying set of G]
    E = {(g,z) | g in G and either z in X or z-1 in X}

    Note that the edges of the graph are labelled by the ordered pairs (g,z), but this does not mean that they are the edges with initial point g and final point z. (g,z) is just a labelling. The initial point of (g,z) is defined to be g, and the final point is defined to be gz. The reverse of (g,z) is defiend to be (gz,z-1). So vertices g and h of the graph have an edge between them iff there is a generator x in X such that either gx = h or g = hx. g in G acts on (V,E) by sending vertex v to gv, and sending edge (h,z) to (gh,z).

    This graph is connected. If G is free over X, then the graph described above is also a tree (but I'm not sure if the converse is true).
     
  21. Oct 24, 2006 #20
    Right. Should I remember that the map [itex]G\rightarrow\mbox{Aut}(\Gamma)[/itex] is induced by the G-action on the tree. So to show that the induced homomorphism [itex]G\rightarrow\mbox{Aut}(\Gamma)[/itex] need not be surjective I need to come up with an example which is not surjective.

    So, what properties must the map [itex]G \rightarrow \mbox{Aut}(\Gamma)[/itex] hold? Well, just the properties of a homomorphism, no? Which means all it has to do is preserve the structure of the group G. But [itex]\mbox{Aut}(\Gamma)[/itex] is the collection of all automorphisms of the tree [itex]\Gamma[/itex]. If I could somehow show that the set of all automorphisms of the tree was bigger than G then the trivial homomorphism [itex]G \rightarrow \mbox{Aut}(\Gamma)[/itex] would suffice to show that it need not be surjective. Is this right?

    Is this an example which shows that the map [itex]G \rightarrow \mbox{Aut}(\Gamma)[/itex] is a homomorphism which is not injective? - or the map [itex]G \rightarrow \mbox{Aut}(G)[/itex] is not injective?

    Definition

    Let [itex]G[/itex] be a group acting without inversion on a graph [itex]\Gamma[/itex]. A fundamental domain of [itex]\Gamma[/itex] mod [itex]G[/itex] is a subgraph [itex]T[/itex] of [itex]\Gamma[/itex] such that [itex]T \rightarrow G\backslash \Gamma[/itex] is an isomorphism.
     
    Last edited: Oct 24, 2006
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Automorphism Group
  1. Automorphism Group (Replies: 13)

  2. Automorphism groups (Replies: 7)

Loading...