Let G be a finite group of even order with n elements. H is a subgroup of G, with n/2 elements.(adsbygoogle = window.adsbygoogle || []).push({});

I need to show that H is normal. I have set up the phi function to be: phi(x) = 1 if x is an element of H. phi(x) = -1 if x is not an element of H. Thus H is the kernal.

I am trying to show that H is a homomorphism. Then from that I know that H is normal.

I am breaking this up into cases. I have been successful showing that the homomorphism holds if x,y are both in H. It also holds if x is in H and y is in G.

However, I am having difficulty showing that if x and y are both in G, then their product xy must be in H. How do I go about showing that?

Colleen

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Another homomorphism question

Loading...

Similar Threads - Another homomorphism question | Date |
---|---|

I Division Rings & Ring Homomorphisms ... A&W Corollary 2.4 .. | Mar 13, 2018 |

I Field Extensions - Lovett, Theorem 7.1.10 - Another question | May 7, 2017 |

I Another Question about Finite Dimensional Division Algebras ... | Nov 17, 2016 |

I Finitely Generated Modules ... another question | Oct 2, 2016 |

I Triangular Matrix RIngs ... Another Question | Sep 17, 2016 |

**Physics Forums - The Fusion of Science and Community**