Group Theory Question involving nonabelian simple groups and cyclic groups

Click For Summary
SUMMARY

The discussion centers on proving that if A is a cyclic normal subgroup of a group G and G/A is a nonabelian simple group, then Z(G) equals A. Key insights include that A being cyclic implies it is abelian, and the simplicity of G/A indicates that the only normal subgroup of G containing A is G itself. The proof involves demonstrating that the centralizer CG(A) is normal in G and that A must equal Z(G) due to the properties of nonabelian groups.

PREREQUISITES
  • Understanding of group theory concepts, specifically normal subgroups and cyclic groups.
  • Familiarity with the definitions and properties of simple groups.
  • Knowledge of centralizers and the center of a group, denoted as Z(G).
  • Basic experience with quotient groups, particularly G/A.
NEXT STEPS
  • Study the properties of nonabelian simple groups and their implications in group theory.
  • Learn about the structure and significance of centralizers in groups, specifically CG(A).
  • Explore the relationship between normal subgroups and the center of groups in depth.
  • Investigate examples of cyclic groups and their role in larger group structures.
USEFUL FOR

This discussion is beneficial for advanced undergraduate or graduate students studying abstract algebra, particularly those focusing on group theory, as well as mathematicians interested in the properties of nonabelian simple groups and their applications.

paddyoneil
Messages
1
Reaction score
0

Homework Statement


Let A be a normal subgroup of a group G, with A cyclic and G/A nonabelian simple. Prove that Z(G)= A

Homework Equations



Z(G) = A <=> CG(G) = A = {a in G: ag = ga for all g in G}

My professor's hint was "what is G/CG(A)?"

The Attempt at a Solution


A is cyclic => A is abelian
A normal in G <=> gAg-1 = A
So gA=Ag. Then gA is an element of G/A.

I don't really know where to go. I have been working on this for several hours and am at a loss. Any help would be greatly appreciated.
 
Physics news on Phys.org
paddyoneil said:

Homework Statement


Let A be a normal subgroup of a group G, with A cyclic and G/A nonabelian simple. Prove that Z(G)= A

Homework Equations



Z(G) = A <=> CG(G) = A = {a in G: ag = ga for all g in G}

My professor's hint was "what is G/CG(A)?"

The Attempt at a Solution


A is cyclic => A is abelian
A normal in G <=> gAg-1 = A
So gA=Ag. Then gA is an element of G/A.

I don't really know where to go. I have been working on this for several hours and am at a loss. Any help would be greatly appreciated.

the fact that G/A is simple means that there are no normal subgroups of G containing A except G itself.

now if A is cyclic, show that CG(A) is normal in G. now every element of A certainly commutes with every other (A is abelian). thus CG(A) is a normal sbgroup of A, containing A, so CG(A) = G.

now show that this implies A = Z(G) (containment of A in Z(G) is easy-see above). use the fact that G/A is non-abelian to show that if g is not in A, g does not commute with some member of G.
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K