Constructing a Normal Series for G from Given Normal Series for N and G/N

  • Thread starter Thread starter Chaos2009
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary

Homework Help Overview

The problem involves constructing a normal series for a group G based on given normal series for a normal subgroup N and the quotient group G/N. This is situated within the context of Abstract Algebra, specifically relating to the Jordan-Hölder theorem.

Discussion Character

  • Conceptual clarification, Problem interpretation

Approaches and Questions Raised

  • The original poster attempts to construct a normal series U from the normal series S for N and T for G/N, expressing concern about the isomorphism requirement for the series. Participants discuss the definition of isomorphism between normal series and its implications for the construction.

Discussion Status

The discussion is exploring the definitions and implications of isomorphism in the context of normal series. Some participants have clarified their understanding of the term and its application, while the original poster is seeking to reconcile their approach with the requirements of the problem.

Contextual Notes

There is a mention of the correspondence theorem and its relevance to mapping normal series, indicating that certain assumptions and definitions are under examination.

Chaos2009
Messages
81
Reaction score
0

Homework Statement



Suppose that [itex]N \triangleleft G[/itex]. Show that given normal series [itex]S[/itex] for [itex]N[/itex] and [itex]T[/itex] for [itex]G / N[/itex] one can construct a normal series [itex]U[/itex] for [itex]G[/itex] such that the first part of [itex]U[/itex] is isomorphic to [itex]S[/itex] and the rest is isomorphic to [itex]T[/itex].


Homework Equations



This is from the last couple of weeks of an undergraduate Abstract Algebra course. The teacher assigned it as homework while discussing a proof of the Jordan-Holder theorem.

The Attempt at a Solution



I'd like to simply construct [itex]U[/itex] from [itex]S[/itex] and [itex]T[/itex]. Using [itex]S[/itex] would be straightforward as this is already a normal series from [itex]\left\{ e \right\}[/itex] to [itex]N[/itex]. However, I'd hoped to use correspondence theorem to map the normal series [itex]T[/itex] to a normal series from [itex]N[/itex] to [itex]G[/itex]. I believe, however that there is a problem with the part where it says this part of the series should be isomorphic to [itex]T[/itex].
 
Physics news on Phys.org
What does it mean to say that two normal series are isomorphic?
 
I guess that was the part I was confused about as well. My roommate now informs me that we defined two normal series to be isomorphic as follows:

Series [itex]S[/itex] and [itex]T[/itex] are isomorphic if there exists a bijection from the factors of [itex]S[/itex] to the factors of [itex]T[/itex] such that the corresponding factors are isomorphic.

So, that makes a bit more sense to me now.
 
Typically that's referred to as "equivalence", but anyway, your idea does work, i.e. it will produce an equivalent normal series.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K