
Abstract Algebra Abstract Algebra Math Forum 
 LinkBack  Thread Tools  Display Modes 
December 19th, 2018, 09:27 AM  #1 
Newbie Joined: Dec 2018 From: Darjeeling, India Posts: 4 Thanks: 1 
Let G be a group in which (ab)^2 = (a^2)(b^2) for all a,b ∈ G. Show that H = { g^2g ∈ G } is a normal subgroup of G. Last edited by skipjack; December 19th, 2018 at 10:36 AM. 
December 19th, 2018, 11:02 AM  #2 
Global Moderator Joined: Dec 2006 Posts: 20,628 Thanks: 2077 
Hint: the condition given for G is equivalent to commutativity.

December 19th, 2018, 05:33 PM  #3 
Newbie Joined: Dec 2018 From: Darjeeling, India Posts: 4 Thanks: 1 
Can you show me how please.

December 19th, 2018, 05:57 PM  #4 
Global Moderator Joined: Dec 2006 Posts: 20,628 Thanks: 2077 
(ab)² = (a²)(b²) can be written as a(ba)b = a(ab)b, which is equivalent to ba = ab. It's now easy to show that H is a subgroup of G, so it's a normal subgroup. 
December 19th, 2018, 06:01 PM  #5 
Newbie Joined: Dec 2018 From: Darjeeling, India Posts: 4 Thanks: 1 
Dear Sir, I see that our motive is to show that G is abelian. But I think that in this case we need to show that: a*b=b*a i.e., (ab)²=(ba)² i.e., a²b²=b²a². Can you enlighten me regarding this. And the question holds only 2 marks. So kindly give me outline of steps of my answer as I don't think it's practical to show that H is a subgroup first & then normal using the axioms & definitions for 2 marks. 
December 19th, 2018, 06:27 PM  #6  
Math Team Joined: May 2013 From: The Astral plane Posts: 2,156 Thanks: 878 Math Focus: Wibbly wobbly timeywimey stuff.  Quote:
Dan  
December 19th, 2018, 06:57 PM  #7 
Senior Member Joined: Aug 2017 From: United Kingdom Posts: 311 Thanks: 109 Math Focus: Number Theory, Algebraic Geometry  
December 19th, 2018, 07:31 PM  #8 
Global Moderator Joined: Dec 2006 Posts: 20,628 Thanks: 2077 
As the group operation is associative, (ab)² = (a²)(b²) is equivalent to a(ba)b = a(ab)b. a(ba)b = a(ab)b implies a$^{1}$a(ba)bb$^{1}$ = a$^{1}$a(ab)bb$^{1}$, which simplifies to ba = ab. Conversely, ba = ab implies a(ba)b = a(ab)b. 
January 5th, 2019, 12:09 PM  #9  
Banned Camp Joined: Mar 2015 From: New Jersey Posts: 1,720 Thanks: 125  Quote:
H is normal sub group if gH=Hg for all g in G where gH={ghh$\displaystyle \epsilon$H} Hg={hgh$\displaystyle \epsilon$H gh=gg$\displaystyle ^{2}$=g$\displaystyle ^{3}$=hg regardless of OP conditions Hopefully I survive this post. After the last one my screen went blank, and I notice a red warning sign next to home button "Not secure" Last edited by zylo; January 5th, 2019 at 12:19 PM.  
January 5th, 2019, 01:11 PM  #10  
Math Team Joined: May 2013 From: The Astral plane Posts: 2,156 Thanks: 878 Math Focus: Wibbly wobbly timeywimey stuff.  Quote:
Dan  

Tags 
normal, problem, subgroups 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Normal Subgroups  shashank dwivedi  Abstract Algebra  4  June 22nd, 2017 02:40 AM 
Normal Subgroups of S4  dpsmith  Abstract Algebra  1  January 15th, 2017 03:38 PM 
Normal Subgroups  BrettsGrad  Abstract Algebra  2  February 20th, 2013 08:28 AM 
Normal subgroups  Fernando  Abstract Algebra  1  April 11th, 2012 12:40 AM 
Normal Subgroups!!  donwu777  Abstract Algebra  1  December 10th, 2008 04:03 PM 