Characteristic Subgroup is Normal

Click For Summary

Homework Help Overview

The discussion revolves around the properties of characteristic subgroups within group theory, specifically addressing the relationship between characteristic subgroups and normal subgroups.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to demonstrate that a characteristic subgroup is normal by exploring the implications of automorphisms and conjugation. Some participants question the nature of the automorphism related to conjugation and its role in establishing normality.

Discussion Status

Participants are engaging with the definitions and properties of subgroups, with some guidance provided regarding the conditions for normality. The original poster expresses uncertainty about their reasoning, while others contribute insights that may clarify the concepts involved.

Contextual Notes

The discussion includes an exploration of the definitions of characteristic and normal subgroups, as well as the implications of automorphisms in group theory. There is an acknowledgment of the need for further clarification on the relationship between these concepts.

e(ho0n3
Messages
1,349
Reaction score
0
Homework Statement
Recall that a subgroup N of a group G is called characteristic if f(N) = N for all automorphisms f of G. If N is a characteristic subgroup of G, show that N is a normal subgroup of G.

The attempt at a solution
I must show that if g is in G, then gN = Ng. Let n be in N. Since N is characteristic, there are automorphisms f and f' of G and elements a and a' of G such that n = f(a) = f'(a'). There are also elements b and b' in G such that g = f(b) = f'(b') so that gn = f(b)f(a) = f(ba) = f'(b')f(a) = f(b)f'(a') = f'(b')f'(a') = f'(b'a'). This is all I can think of and I don't see how this allows me to prove that N is normal. Am I missing something?
 
Physics news on Phys.org
A subgroup is normal if and only if it is fixed (set wise) under conjugation by any element. That's precisely what gN=Ng (i.e gNg^-1 = N) says
 
Wouldn't it be nice if f_g:G-->G: h-->ghg^-1 were an automorphism of G for each g in G?
 
Thanks for the tip quasar987. I understand now.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K