Sentence from Dummit and Foote

  • Thread starter Thread starter Bashyboy
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on the relationship between group elements and their induced permutations on a set A, as described in Dummit and Foote. It establishes that two elements g and h from group G induce the same permutation if and only if they belong to the same coset of the kernel of the homomorphism φ: G → S_A. Furthermore, it clarifies that the action of G on A can be viewed as a faithful action of the quotient group G/ker φ on A, where elements of the kernel do not affect the action's uniqueness.

PREREQUISITES
  • Understanding of group theory concepts, specifically cosets and kernels.
  • Familiarity with permutation representations and symmetric groups, particularly S_A.
  • Knowledge of quotient groups and their properties.
  • Basic grasp of group actions and their implications on sets.
NEXT STEPS
  • Study the properties of kernel and image in group homomorphisms.
  • Learn about the structure and significance of quotient groups in group theory.
  • Explore the concept of faithful group actions and their applications.
  • Investigate examples of permutation representations in various groups.
USEFUL FOR

Mathematicians, particularly those specializing in abstract algebra, students studying group theory, and anyone interested in the applications of group actions in mathematical contexts.

Bashyboy
Messages
1,419
Reaction score
5

Homework Statement



"Two group elements induce the same permutation on ##A## if and only if they are in the same coset of the kernel (if and only if they are in the same fiber of the permutation representation). In particular an action of ##G## on ##A## may also be viewed as a faithful action of ##G/\ker \varphi## on ##A##."

Homework Equations

The Attempt at a Solution



I am having trouble parsing the quotation given above, which comes from Dummit and Foote. Letting ##\varphi : G \to S_A## defined by ##\varphi(g) = \sigma_g## denote the permutation representation, does the first sentence in quotation say "If ##g,h \in G##, then ##\sigma_g = \sigma_h## if and only if ##g,h \in x \ker \varphi## for some ##x \in G## if and only if ##g,h \in \varphi^{-1}(\sigma_y)## for some ##\sigma_y \in S_A##"?

As for the second sentence, it seems to say that the group action of ##G## on ##A## induces a faithful action of ##G/\ker \varphi## on ##A##. What exactly is this induced action? The best I could come up with is ##(g \ker \varphi ) \cdot a = g \cdot a##. Is this right?
 
Physics news on Phys.org
Yes and yes. The elements of the kernel are those who map on the identity permutation of ##A## which means they don't contribute to the action. Simultaneously this destroys uniqueness, resp. a faithful action. Dividing it off solves the problem, which of course has to be shown, because such a quotient doesn't always work, e.g. ##C(G/C(G)) \neq_{i.g.} \{1\}##, i.e. the quotient of a group and its center doesn't necessarily lead to a group with a trivial center.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
Replies
12
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 93 ·
4
Replies
93
Views
16K
  • · Replies 48 ·
2
Replies
48
Views
13K
  • · Replies 114 ·
4
Replies
114
Views
12K
  • · Replies 40 ·
2
Replies
40
Views
18K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 12 ·
Replies
12
Views
4K
  • Poll Poll
  • · Replies 3 ·
Replies
3
Views
8K