If the conjugacy relation on a group $G$ (i.e. $a \sim b \iff \exists x\in G\colon b=a^x $) is a congruence then $G$ is abelian. How to prove that?
Conjugacy relation
1
$\begingroup$
abstract-algebra
group-theory
-
0@lh$f$: we should link to that from the Ask A Question page... It is tiring to have to repeat it with variations! – 2012-01-08
1 Answers
3
Note the following:
- A group $G$ is abelian iff any conjugacy class of it consists of exactly one element.
- In any group $G$ the conjugacy class of $1$ is exactly $\lbrace 1\rbrace$.
- For any $a,b\in G$ $a\sim a^b$.
Now suppose that $\sim $ is a congruence relation, then $a\sim b\wedge c\sim d\Rightarrow ac\sim bd$ Try using the above 3 statements (after proving them, of course) with $c=a^{-1}$ and $d=(a^{-1})^b$, and see where this gets you :-)
-
0Oh, thanks! I already got that result using $c$ just like you say and $d=c$ obtaining the same relation without using (3). But I did not known how to conclude with (1). Thanks again. – 2012-01-08