Undergrad What is the group action of G on itself by left conjugation?

  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Group
Click For Summary
The discussion clarifies the concept of a group G acting on itself through left conjugation, where each element g in G induces a mapping of G to itself via the function x maps to gxg^{-1}. This action is defined as g · x = gxg^{-1}, though the textbook's use of "map" may cause confusion since g is an element, not a function. The mapping can be understood as a homomorphism from G to the group of inner automorphisms, denoted as Inn(G), where each g corresponds to an inner automorphism represented by conjugation. The terminology of "acting on" is equivalent to expressing this relationship through the homomorphism. Understanding this framework helps clarify the notation and the underlying group action.
Mr Davis 97
Messages
1,461
Reaction score
44
My textbook says the following: "Let ##G## be a group and ##G## act on itself by left conjugation, so each ##g \in G## maps ##G## to ##G## by ##x \mapsto gxg^{-1}##". I am confused by the wording of this. ##g## itself is not a function, so how does it map anything at all? I am assuming this is supposed to mean that ##g \cdot x = gxg^{-1}## is the definition of the action, but why does it use the map notation as if ##g## is a function, when ##g## is really an element?
 
Physics news on Phys.org
Mr Davis 97 said:
My textbook says the following: "Let ##G## be a group and ##G## act on itself by left conjugation, so each ##g \in G## maps ##G## to ##G## by ##x \mapsto gxg^{-1}##". I am confused by the wording of this. ##g## itself is not a function, so how does it map anything at all? I am assuming this is supposed to mean that ##g \cdot x = gxg^{-1}## is the definition of the action, but why does it use the map notation as if ##g## is a function, when ##g## is really an element?
It's ##\varphi : G \longrightarrow Inn(G)## with ##g \longmapsto \iota_g## where ##\iota_g : x \longmapsto gxg^{-1}## is the inner automorphism "conjugation by ##g##". ##\varphi## is a group homomorphism from ##G## to the group of inner automorphisms which is a subgroup of the automophism group ##Aut(G)## of ##G##. Whether you say "##G## acts on ##X##" or ##G \longmapsto Aut(X)## is a group homomorphism is the same thing. The notation "acts / operates on" with a dot is only a bit shorter than to introduce this homomorphism ##\varphi## and replace the dot by ##\varphi##.
 
  • Like
Likes member 587159
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 1 ·
Replies
1
Views
499
  • · Replies 26 ·
Replies
26
Views
827
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 4 ·
Replies
4
Views
490
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
852
  • · Replies 1 ·
Replies
1
Views
1K