Formation & Properties of Automorphism Group G_1 \star_A G_2

  • Thread starter Oxymoron
  • Start date
  • Tags
    Group
In summary, if two groups G_1 and G_2 have a common subgroup A, then the free product of G_1 and G_2 amalgamated over A, denoted by G_1 \star_A G_2, can be associated with a tree \Gamma. This tree has a natural G-action which induces a homomorphism from G to the group of automorphisms of \Gamma, \mbox{Aut}(\Gamma). This homomorphism takes an element a from G and maps it to the conjugation of a, which is an automorphism of \Gamma.
  • #1
Oxymoron
870
0
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]?
 
Physics news on Phys.org
  • #2
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.
 
  • #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]? I am 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:
  • #4
Oxymoron said:
[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]? I am sure this is correct.
Yes, to every a in G, associate the automorphism that maps x to ax.

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.
 
  • #5
The map x --> ax is not an automorphism. (because it's not a homomorphism)

The map x --> x^(-1) a x is, though.
 
  • #6
Posted by Hurkyl:
The map x --> ax is not an automorphism. (because it's not a homomorphism)

The map x --> x^(-1) a x is, though.

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:
  • #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?
 
  • #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?
 
  • #9
Oxymoron said:
[itex]\Gamma[/itex] is the tree associated to [itex]G:=G_1\star_A G_2[/itex].

You called that T in the first post

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?

yes

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?

yes. and?

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

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.

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]? I am sure this is correct.

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

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.


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.
 
  • #10
Oxymoron said:
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.

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.
 
  • #11
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)
 
  • #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:
  • #13
AKG said:
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.


Why say that? The map from G to AUt(G) is just the identification of G with the inner automorphisms.
 
  • #14
Oxymoron said:
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.

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.
 
  • #15
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?
 
  • #16
Posted by Matt Grime:

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

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.
 
  • #17
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.
 
  • #18
matt grime said:
Why say that? The map from G to AUt(G) is just the identification of G with the inner automorphisms.
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)?"
 
  • #19
Oxymoron said:
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.
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).
 
  • #20
Posted by Matt Grime:

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

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?

Posted by Matt Grime:

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.

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?

Posted by AKG:

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

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:
  • #21
are you sure that graph is a tree if the group is free, or only if the group is free on the given set of generatorsby the way it makes little sense to me to be discussing a situatio where you do not even know the definitions you are supposed to be using

or maybe i am just too tired to try to invent them.
 

FAQ: Formation & Properties of Automorphism Group G_1 \star_A G_2

What is an automorphism group?

An automorphism group is a mathematical concept that represents a set of transformations or symmetries that preserve the structure of a mathematical object. In other words, it is a group of all possible ways to rearrange or transform an object while maintaining its essential properties.

How is the automorphism group G_1 \star_A G_2 formed?

The automorphism group G_1 \star_A G_2 is formed by combining the automorphism groups of two mathematical objects, G_1 and G_2, through a binary operation A. This operation can be thought of as a way to combine and compare the transformations of the two objects.

What are some properties of the automorphism group G_1 \star_A G_2?

The properties of the automorphism group G_1 \star_A G_2 will depend on the specific objects G_1 and G_2, as well as the binary operation A. However, some common properties include closure (the result of the operation is also within the group), associativity (the order of operations does not matter), and identity (there is an element that does not change under the operation).

How is the automorphism group G_1 \star_A G_2 related to the individual automorphism groups of G_1 and G_2?

The automorphism group G_1 \star_A G_2 is a combination of the individual automorphism groups of G_1 and G_2. This means that it contains all the transformations that preserve the structures of both objects, but it may also include additional transformations that are specific to the combined object.

What is the significance of the automorphism group G_1 \star_A G_2 in mathematics?

The automorphism group G_1 \star_A G_2 plays an important role in understanding the symmetries and structures of mathematical objects. It can help identify and classify these objects, as well as provide insights into their properties and relationships with other objects. Additionally, the study of automorphism groups has applications in various fields, such as algebra, geometry, and group theory.

Back
Top