Purchase Solution

# Rigorous Subgroup Proofs

Not what you're looking for?

I need to see rigorous proofs of these propositions.

1.) Suppose [G:H] is finite. Show that there is a normal subgroup K of G
with K, a subgroup of H, such that [G:K] is finite.

2.) Suppose H is a subgroup of S_n but H is not a subgroup of A_n. Show
that [H:A_n intersect H]=2.

3.) Prove that if H,K are normal subgroups of G and HK=G, then
G/(H intersect K)is isomorphic to (G/H)X(G/K)

4.) Prove the tower law: If K is a subgroup of H a subgroup of G, then
[G:K]=[G:H][H:K]

5.) If A,B are subgroups of G and y is an element of G define
(A,B)-double coset AyB={ayb|a in A, b in B}. Show that G is the
disjoint union of its (A,B)-double cosets. Show that
|AyB|=[A^y:A^y intersect B]|B| if A,B are finite.

##### Solution Summary

This provides examples of several proofs regarding subgroups in PDF form.

##### Free BrainMass Quizzes

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.

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

##### Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

##### 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.