# Cosets

Not what you're looking for?

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.