Proof of Homomorphism: f(eG) = eH

  • Thread starter Thread starter lockedup
  • Start date Start date
  • Tags Tags
    Proof
lockedup
Messages
67
Reaction score
0

Homework Statement


If f:G\rightarrowH is a homomorphism, then f(eG) = eH.


Homework Equations


The proof from my professor's notes:
f(eG) = f(eG*GeG) = f(eG)*f(eG)
f(eG) = f(eG)*eH
f(eG)*f(eG) = f(eG)*eH
f(eG) = eH

The Attempt at a Solution

My question is, how do you get from the first line to the second. Because it looks like she's using the proposition to prove itself.
 
Physics news on Phys.org
The second line doesn't follow from the first. It simply says that if you multiply any element of H by the identity element of H, you get ... (fill in the rest).

Petek
 
Petek said:
The second line doesn't follow from the first. It simply says that if you multiply any element of H by the identity element of H, you get ... (fill in the rest).

Petek
:blushing: I feel like an idiot. Thank you!
 
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