normal subgroup problem

[Prasant36]

Let G be a group in which, (ab)^2 = (a^2)(b^2) for

all a,b ∈G . Show that H = { g^2|g ∈G } is

a normal subgroup of G.

[taeto]

Where are you stuck, showing that H is a subgroup or showing that H is normal?

[Prasant36]

Actually both. I can prove it by using axioms & definitions, 1st by showing that H is a sgp & then its normal. But the question holds only 2 marks. So I think there is a shorter way of doing it as well. I want help regarding that. Thank you.

[taeto]

I suspect you are supposed to see that G is abelian. That certainly helps for showing normality.

[Prasant36]

Okay. Thank you Sir.

[Martin Rattigan]

Deleted

 

Edited July 29, 2020 by Martin Rattigan
was rubbish

[joigus]

  On 12/20/2018 at 8:10 AM, taeto said:

I suspect you are supposed to see that G is abelian. That certainly helps for showing normality.

Expand  

Good tip.+1. Is this homework, @Prasant36?

Edit: You also need Abelian character for showing closure

Edited July 29, 2020 by joigus
Addition

[ahmet]

  On 7/29/2020 at 1:25 AM, joigus said:

 

Edit: You also need Abelian character for showing closure

Expand  

in mathematics, closure can correspond many things.may I ask:  which type of closure do you meantion here?

Edited July 29, 2020 by ahmet

[joigus]

  On 7/29/2020 at 6:11 PM, ahmet said:

in mathematics, closure can correspond many things.may I ask:  which type of closure do you meantion here?

Expand  

Take a guess.

[ahmet]

  On 7/29/2020 at 6:22 PM, joigus said:

Take a guess.

Expand  

I can guess many things really such as Algebraic closure, closure in topology and analysis , and functional analysis...

[joigus]

  On 7/29/2020 at 6:44 PM, ahmet said:

Algebraic closure,

Expand  

Bingo!!

"Is a group" refers to algebraic properties.

$$g_{1},g_{2}\in H\Rightarrow g_{1}g_{2}\in H$$

We're not talking topological groups. (I'm not aware that anybody mentioned a basis of neighbourhoods). Welcome to page 1.

Neither have I read anything about a metric space.

[ahmet]

I think almost all parts of mathematics have intersections (even topology and functional analysis with algebra)

....

[joigus]

  On 7/29/2020 at 6:11 PM, ahmet said:

in mathematics, closure can correspond many things.may I ask:  which type of closure do you meantion here?

Expand  

Also, by "normal" (in this context) I understand:

$$gHg^{-1}\subseteq H$$

Not "perpendicular". Any more questions?

[ahmet]

  On 7/29/2020 at 7:27 PM, joigus said:

Also, by "normal" (in this context) I understand:

 

gHg−1⊆H

 

Not "perpendicular". Any more questions?

Expand  

no (more) questions ,I just tried to understand what you meant 

[joigus]

  On 7/29/2020 at 7:26 PM, ahmet said:

I think almost all parts of mathematics have intersections (even topology and functional analysis with algebra)

....

Expand  

They do. I know, and you know. And I know you know. And you know I know you know.

Can we stick to the topic, please?   It's algebra. Group theory. That's why we are @ 

•  
• Linear Algebra and Group Theory 
•  
• normal subgroup problem

  On 7/29/2020 at 7:28 PM, ahmet said:

no (more) questions ,I just tried to understand what you meant 

Expand  

Ah, OK. I'm sorry if I misunderstood your question in any sense.