Purchase Solution

Cosets

Not what you're looking for?

Ask Custom Question

Note:
C means set containment (not proper)
|G:H| means index of subgroup H in G
U means union of sets
E means belonging to

Let K C H C G be groups. Show that both |G:H| and |H:K| are finite if and only if |G:K| is finite, and then |G:K| = |G:H||H:K|.

Hint: if |H:K| = n, let Kh1, Kh2, ..., Khn be the distinct cosets of K in H. Show that Hg = Kh1g UKh2g U ......U Khng is a disjoint union for all g E G

Purchase this Solution

Solution Summary

This is a proof regarding finite groups.

Solution Preview

Proof:
If |G:K| is finite and |G:K|=|G:H||H:K|, then obviously |G:H| and |H:K| is finite.
If |G:H| and |H:K| is finite, then we can suppose |G:H|=m, |H:K|=n.
So ...

Purchase this Solution


Free BrainMass Quizzes
Probability Quiz

Some questions on probability

Solving quadratic inequalities

This quiz test you on how well you are familiar with solving quadratic inequalities.

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.