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

  • Context: Undergrad 
  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Group
Click For Summary
SUMMARY

The group action of a group \( G \) on itself by left conjugation is defined as \( g \cdot x = gxg^{-1} \) for each \( g \in G \) and \( x \in G \). This action can be represented as a homomorphism \( \varphi : G \longrightarrow Inn(G) \), where \( \iota_g : x \longmapsto gxg^{-1} \) denotes the inner automorphism. The notation used in textbooks may imply that elements of \( G \) act as functions, but they actually represent mappings through the inner automorphism group \( Inn(G) \), which is a subgroup of the automorphism group \( Aut(G) \).

PREREQUISITES
  • Understanding of group theory concepts, specifically group actions.
  • Familiarity with inner automorphisms and the notation \( Inn(G) \).
  • Knowledge of homomorphisms and their properties in group theory.
  • Basic understanding of automorphism groups, particularly \( Aut(G) \).
NEXT STEPS
  • Study the properties of inner automorphisms in detail.
  • Learn about the structure and significance of the automorphism group \( Aut(G) \).
  • Explore examples of group actions and their applications in various mathematical contexts.
  • Investigate the relationship between group homomorphisms and group actions.
USEFUL FOR

Mathematicians, particularly those specializing in abstract algebra, group theorists, and students seeking to deepen their understanding of group actions and automorphisms.

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   Reactions: member 587159

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K