Proving Every Element in G is a Square Using Factor Groups

  • Thread starter Thread starter Benzoate
  • Start date Start date
  • Tags Tags
    Group
Benzoate
Messages
418
Reaction score
0

Homework Statement


Suppose that G is an Abelian group and H is a subgroup of G. If every element of H is a square and every element of G/H is a square , prove that every element of G is a square.


Homework Equations





The Attempt at a Solution


Let a and b be elements of G. The ab=ba since G is an abeleian group. If H is a subgroup of G, then doesn't H share the same opperations with G? If so, since every element of in H is a square, then a^2*b^2 =(aa)(bb)=(bb)(aa) since G is abelian, H should be abelian. Therefore , there is an element in G that is a square
 
Last edited:
Physics news on Phys.org
If H is a subgroup of G, then indeed the operation on H is the same as that from G. And since G is abelian, so is H. Indeed, there is an element of G that is a square (in fact, any element from G that is in H is a square).
But the question was to prove that every element of G is a square.

You didn't use the information about G/H yet. So let a be any element of G. Now you will want to prove that there exists some element b (or you could very suggestively name it \sqrt{a} such that b b = a. How can you do this?
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top