My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum

LinkBack Thread Tools Display Modes
January 28th, 2017, 12:29 PM   #1
Joined: Jan 2017
From: Nowhere

Posts: 5
Thanks: 1

Show that H is subgroup

I'm struggling with the next exercise. Can someone help me out?
Let G be a finite group. $\displaystyle \emptyset \neq H \subseteq G $ with the propriety that $\displaystyle xy \in H \quad \forall x,y \in H $. Multiplicative notation is used.
MozartInACan is offline  
January 28th, 2017, 01:26 PM   #2
Senior Member
Joined: Aug 2012

Posts: 2,355
Thanks: 737

Since $H \neq \emptyset$ let $h \in H$ and consider $\{h, h^2, h^3, \dots\}$. Each power of $h$ is contained in $H$ by hypothesis and since $H$ is finite one of them must be the identity (why?), so $H$ is a subgroup.

For a counterexample in the infinite case take the positive integers in the group of integers with addition. The proof fails because $1 + 1 + \dots + 1$ is never $0$.

Last edited by Maschke; January 28th, 2017 at 01:35 PM.
Maschke is offline  

  My Math Forum > College Math Forum > Abstract Algebra

show, subgroup

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
G be a finite p group and H a proper subgroup, show that nor johnmath Abstract Algebra 1 March 1st, 2011 08:34 AM
want to show that show that two infinite summations R equal notnaeem Real Analysis 4 August 16th, 2010 12:32 PM
Show a Set is a Subgroup HairOnABiscuit Abstract Algebra 4 November 2nd, 2009 10:34 AM
Subgroup/Normal Subgroup/Automorphism Questions envision Abstract Algebra 3 October 4th, 2009 10:37 PM
Subgroup/Normal Subgroup/Factor Group Questions envision Abstract Algebra 1 October 4th, 2009 03:24 AM

Copyright © 2019 My Math Forum. All rights reserved.