Show that commutativity is a structural property

  • #1
Mr Davis 97
1,462
44
I am trying to prove that if two groups are isomorphic then one is abelian iff the other is abelian. This is a simple task, but I am a little confused about how to write it up.

Suppose that ##\phi : G \to H## is an isomorphism. Let ##a,b \in G##. Then ##ab = ba \implies \phi (a) \phi (b) = \phi (b) \phi (a)##. Here is where my question lies. To show that ##H## is abelian, I need to show that any two arbitrary elements commute. Why does ##\phi (a) \phi (b) = \phi (b) \phi (a)## tell me that any two arbitrary elements of ##H## commute? Does it have something to with ##\phi## being a bijection?
 

Answers and Replies

  • #2
fresh_42
Mentor
Insights Author
2021 Award
17,248
17,245
I am trying to prove that if two groups are isomorphic then one is abelian iff the other is abelian. This is a simple task, but I am a little confused about how to write it up.

Suppose that ##\phi : G \to H## is an isomorphism. Let ##a,b \in G##. Then ##ab = ba \implies \phi (a) \phi (b) = \phi (b) \phi (a)##. Here is where my question lies. To show that ##H## is abelian, I need to show that any two arbitrary elements commute. Why does ##\phi (a) \phi (b) = \phi (b) \phi (a)## tell me that any two arbitrary elements of ##H## commute? Does it have something to with ##\phi## being a bijection?
Yes. ##\phi## covers all elements of ##H##:
##ab = ba \Longleftrightarrow \phi (a) \phi (b) = \phi (b) \phi (a) \Longleftrightarrow a'b'=b'a'##
You simply already have written all elements of ##H## since ##H=\operatorname{im} \phi = \{\,\phi(a)\,|\,a\in G\,\}##.
 
  • Like
Likes Mr Davis 97

Suggested for: Show that commutativity is a structural property

  • Last Post
Replies
6
Views
755
  • Last Post
Replies
0
Views
318
  • Last Post
Replies
10
Views
1K
  • Last Post
Replies
11
Views
576
  • Last Post
Replies
13
Views
1K
  • Last Post
Replies
4
Views
471
  • Last Post
Replies
2
Views
680
  • Last Post
Replies
11
Views
1K
Replies
19
Views
2K
Top