Abstract Algebra - lifting up a factor group

nebbish
Messages
18
Reaction score
0
Abstract Algebra -- lifting up a factor group

After spending an extended period with my Professor during office hours I must admit I am mystified. He kept on talking about "lifting up" factor groups. I think this has something to do with using a factor group, say G/N, to show that there exists a larger group within G itself somehow related to G/N. It would be nice if the relationship were an isomorphism but I don't think we're guaranteed that. I've been looking over all the isomorphism and homomorphism theorems especially as they relate to factor groups but am still lost. The text never uses the phrase "lifting up" and I see nothing in the text or my notes about how to go from G/N back into G itself in any useful way. Note that there are clearly trivial non-useful ways to go from G/N back into G, I just can't find a useful way.

Any idea what he's talking about?
 
Physics news on Phys.org
This is now not homework, and you might get a better discussion inthe algebra thread. All he's using are the isomorphism theorems:

Subgroups of G/N are subgroups of G that contain N. If N<H<G, then H is a lift of H/N.
 
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...

Similar threads

Back
Top