Normal series and composition series

In summary, the given conversation is discussing the construction of equivalent normal series for two groups, ##G## and ##H##, that have equivalent normal series. By using the Jordan Holder theorem and the correspondence theorem, it can be shown that any two composition series of a group will have the same factors. Therefore, by constructing two composition series for ##G## and ##H## and showing their equivalence, it can be concluded that the composition factors of ##G## and ##H## are the same. This can be further illustrated with an example of two groups, ##S_3## and ##C_6##, that are not isomorphic but have equivalent normal series. In order to construct equivalent normal series, refinements can be made by
  • #1
fishturtle1
394
82
Homework Statement
Let ##G## and ##H## be finite groups. If there are normal series of ##G## and ##H## having the same set of factor groups, then ##G## and ##H## have the same composition factors.
Relevant Equations
A normal series of a group ##G## is
$$G = G_0 \ge G_1 \ge G_2 \ge \dots \ge G_n = 1$$
where ##G_i \trianglelefteq G_{i+1}## for all ##i##. The factor groups of this series are ##G_{i}/G
_{i+1}## for all ##i##. The length of this series is the number of distinct factors.

A composition series is a normal series whose factors are simple or trivial.
Attempt so far: We're given that ##G## and ##H## have equivalent normal series
$$G = G_0 \ge G_1 \ge \dots \ge G_n = 1$$
and
$$H = H_0 \ge H_1 \ge \dots \ge H_n = 1$$

We can assume they have the same length because they are equivalent. I think from here I need to construct two composition series; one for ##G## and one for ##H##, and then show they are equivalent. By Jordan Holder theorem, any two composition series of a group will have the same factors. So this would be enough, I think.

But I'm having trouble constructing a composition series, starting with ##G##... I think I need to write
##G = G_0 \ge G_{0, 1} \ge G_{0, 2} \ge \dots \ge G_{0, k} \ge G_1 \ge G_{1, 1} \ge \dots##, but I'm not sure how to define ##G_{i, j}## to such that the series is a composition series. Can I have a hint, please?

Edit: For each ##G_i/G_{i+1}## there is an ##H_j/H_{j+1}## such that ##G_i/G_{i+1} \cong H_j/H_{j+1}##.
By correspondence theorem, there is a bijection between the set of subgroups of ##G_i## that contain ##G_{i+1}## and the set of subgroups of ##G_{i}/G_{i+1}##. Similarly, there is a bijection between the set of subgroups of ##H_i## that contain ##H_{i+1}## and the set of subgroups of ##H_i/H_{i+1}##. Hence, there is a bijection between the set of subgroups of ##G_i## that contain ##G_{i+1}## and the set of subgroups of ##H_{i}## that contain ##H_{i+1}##.
 
Last edited:
Physics news on Phys.org
  • #2
You should note why composition series exist in your case.

We have isomorphic normal series. We need to show that their refinements lead to isomorphic composition series: The factors are in both, so you can add all refinements of either at the according place of the other. You only need to map the factors accordingly. Or use the given bijection of the factors, refine them one by one, and copy the refinement from ##G## into the series of ##H##.

Do you have an example for ##G## and ##H## which fulfill the conditions of the exercise, and which are not isomorphic?
 
  • Informative
Likes fishturtle1
  • #3
Thanks for the reply!

Proof: We are given that ##G## and ##H## are finite which implies they both have composition series. We are also given that there exists normal series
$$G = G_0 \ge G_1 \ge \dots \ge G_n = 1$$
and
$$H = H_0 \ge H_1 \ge \dots \ge H_n = 1$$
that are equivalent. Hence, for each ##G_i/G_{i+1}## there exists ##H_{j}/H_{j+1}## such that ##G_i/G_{i+1} \cong H_j/H_{j+1}##, and vice versa. Fix ##i##. By Correspondence theorem, there is a bijection ##f## between the set of subgroups of ##G_i## that contain ##G_{i+1}## and the set of subgroups of ##H_j## that contain ##H_{+1}##.

Consider the normal series ##G_i \ge G_{i+1}##. We will refine it into a composition series. If it already a composition series, we are done. Otherwise, choose maximal normal subgroup ##G_{i, 1} \le G_i## and consider the normal series ##G_i \ge G_{i, 1} \ge G_{i+1}##. By choice, ##G_i/G_{i, 1}## is simple. If ##G_{i, 1}/G_{i+1}## is simple, we are done. Otherwise, choose maximal normal subgroup ##G_{i, 2} \le G_{i, 1}##. If
##G_i \ge G_{i, 1} \ge G_{i, 2} \ge G_{i+1}## is a composition series, then we are done. Otherwise, choose maximal normal subgroup ##G_{i, 3} \le G_{i, 2}## and consider ##G_i \ge G_{i, 1} \ge G_{i, 2} \ge G_{i, 3} \ge G_{i +1}##. ... Continuing in this way, we get
$$G_i \ge G_{i, 1} \ge G_{i, 2} \ge \dots \ge G_{i, k} \ge G_{i+1}$$
is a series whose factors are all simple.

It follows ? that
$$H_j \ge f(G_{i, 1}) \ge f(G_{i, 2}) \ge \dots \ge f(G_{i, k}) \ge H_{j+1}$$ is a series whose factors are simple. Moreover, these two series are equivalent? Doing this for all ##i##, we get a composition series for ##G## and a composition series for ##H## that are equivalent.

We can conclude the composition factors of ##G## and the compositions factors of ##H## are the same. []

Is this on the right track?

Also: ##S_3 \not\cong C_6## but ##S_3 \ge C_3 \ge 1## and ##C_6 \ge C_3 \ge 1## are equivalent normal series.
 
  • #4
A bit too long, me thinks. I just looked up how van der Waerden had explained it. It took him 4 lines: idea and formal proof are almost the same. Also, don't we have the same factors, i.e. ##G_i/G_{i+1} = H_j/H_{j+1}##, so any mapping only takes place on the indices ##1,\ldots,n## and not on the group level, in my example here ##f(i)=j##?
 
  • Informative
Likes fishturtle1
  • #5
Yes, I think you're right about the mapping taking place on the indices.

So if ##G_i/G_{i+1} = H_j/H_{j+1}##, then for any normal series ##G_i \ge G_{i,1} \ge \dots \ge G_{i, k} \ge G_{i+1}## there exists equivalent normal series ##H_j \ge H_{j, 1} \dots \ge H_{j, k} \ge H_{j+1}##? I'm sorry if it's obvious, but why is this true?

edit: never mind! I think i see why... thinking about it...
 
  • #6
I tried reading van der Waerden's proof and just want to make sure I understand... Suppose we have ##G_i/G_{i+1} = H_j/H_{j+1}##. There is a correspondence between the normal series for ##G_i/G_{i+1}## and the series' from ##G_{i}## to ##G_{i+1}##.
Hence, for any refinement of a series from ##G_i## to ##G_{i+1}##, there is a corresponding normal series for ##G_i/G_{i+1}##. Then there exists equivalent normal series for ##H_j/H_{j+1}## which has corresponding series from ##H_j## to ##H_{j+1}##.

Hence, for any refinement of a series from ##G_{i}## to ##G_{i+1}##, there exists equivalent series from ##H_j## to ##H_{j+1}##.
 
  • #7
Yes. If ##G_{i}/G_{i+1}## is not simple, then it has a proper normal subgroup. This looks like ##G_{i,1}/G_{i+1}## with ##G_{i,1}\leq G_{i}##. Thus we get ##G_{i} \triangleright G_{i,1} \triangleright G_{i+1}.## We also have
$$
G_{i}/G_{i,1} \cong (G_{i}/G_{i+1})/(G_{i,1}/G_{i+1}) = (H_{j}/H_{j+1})/(G_{i,1}/G_{i+1})
$$
So ##G_{i,1}/G_{i+1}## is a normal subgroup of ##H_{j}/H_{j+1}## and thus of the form ##H_{j,1}/H_{j+1}.## This means ##H_j \triangleright H_{j,1} \triangleright H_{j+1}.## And if ##G_{i,1}/G_{i+1} = H_{j,1}/H_{j+1}## then all new factors are equal and we can proceed with the next non simple factor group.
 
  • Informative
Likes fishturtle1
  • #8
fresh_42 said:
Yes. If ##G_{i}/G_{i+1}## is not simple, then it has a proper normal subgroup. This looks like ##G_{i,1}/G_{i+1}## with ##G_{i,1}\leq G_{i}##. Thus we get ##G_{i} \triangleright G_{i,1} \triangleright G_{i+1}.## We also have
$$
G_{i}/G_{i,1} \cong (G_{i}/G_{i+1})/(G_{i,1}/G_{i+1}) = (H_{j}/H_{j+1})/(G_{i,1}/G_{i+1})
$$
So ##G_{i,1}/G_{i+1}## is a normal subgroup of ##H_{j}/H_{j+1}## and thus of the form ##H_{j,1}/H_{j+1}.## This means ##H_j \triangleright H_{j,1} \triangleright H_{j+1}.## And if ##G_{i,1}/G_{i+1} = H_{j,1}/H_{j+1}## then all new factors are equal and we can proceed with the next non simple factor group.
That makes sense, thank you!
 

What is a normal series?

A normal series is a sequence of subgroups of a group, where each subgroup is normal in the previous subgroup and the final subgroup is the whole group. This series is used to study the structure of a group and its quotient groups.

What is a composition series?

A composition series is a normal series in which each quotient group is simple, meaning it has no nontrivial normal subgroups. This series is used to break down a group into its simplest components, similar to how prime factorization breaks down a number into its prime factors.

How do you determine if a group has a normal series?

A group has a normal series if it can be broken down into a sequence of subgroups, where each subgroup is normal in the previous subgroup and the final subgroup is the whole group. This can be determined by examining the group's structure and properties, or by using specific algorithms and techniques.

What is the difference between a normal series and a composition series?

The main difference between a normal series and a composition series is that a composition series has simple quotient groups, while a normal series does not necessarily have simple quotient groups. This means that a composition series breaks down a group into its simplest components, while a normal series may still have more complex quotient groups.

Why are normal series and composition series important in group theory?

Normal series and composition series are important in group theory because they help us understand the structure and properties of a group. By breaking down a group into smaller, simpler components, we can better analyze and classify groups, as well as make connections between different groups. These series also have applications in other areas of mathematics, such as in the study of group representations and Galois theory.

Similar threads

  • Calculus and Beyond Homework Help
Replies
7
Views
964
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
2K
  • Calculus and Beyond Homework Help
Replies
15
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
924
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
Replies
4
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
6
Views
765
Replies
1
Views
707
Back
Top